نمایش مبدأ برای وصف معین

در زبان انگلیسی، یک '''وصف معین''' (definite description)، یک [[گروه (دستور زبان)|عبارت]] [[تمیزگری|تمییزگر]] (denoting phrase) به شکل "the X" است که در آن X یک عبارت اسمی یا [[اسم (دستور زبان)|اسم]] منفرد رایج است. وصف معین، ''خاص ''(proper) است اگر X بر شیء یا شخصی منحصر به فرد بکار رود. به عنوان مثال: "[[یوری گاگارین|نخستین فرد در فضا]]" ("the first person in space") و "[[بیل کلینتون|۴۲امین رئیس جمهور ایالات متحده آمریکا]]" ("the 42nd President of the United States of America") هردو خاص هستند. توصیفات "فردِ در فضا" ("the person in space") و "سناتورِ [[اوهایو|ایالت اوهایو]]" ("the Senator from Ohio") ''غیرخاص'' هستند، چونکه عبارت اسمیِ X بر بیش از یک چیز به کار می‌رود، و توصیفات معین "اولین انسان در مریخ" ("the first man on Mars") ''غیرخاص ''است، چرا که X بر هیچ چیز دلالت نمی‌کند. توصیفات غیر خاص، پرسشهایی دشوار را دربارهٔ [[اصل طرد ثالث]]، تمیزگری (denotation)، [[وجهیت]] و [[ذهن|محتوای ذهنی]] مطرح می‌کنند.

باید توجه کرد که عبارتی با کارکرد مشابه the برای ساختن وصفهای معین، در [[زبان فارسی]] وجود ندارد، اگرچه در برخی گویش‌ها یا زبان‌های نزدیک به فارسی، می‌توان موارد مشابهی دید. برای نمونه، در [[لهجه تهرانی]]، معادل عبارت "the book"، عبارت "(اون) کتاب ــِ" است، در واقع، افزودن یک کسره به انتهای اسم یا عبارت اسمی، همان کاری را می‌کند که افزون پیشوند "the" به اسم یا عبارت اسمی در [[زبان انگلیسی]] می‌کند. موارد مشابهی در دیگر گویشهای زبان فارسی می‌توان دید.

== تحلیل راسل ==
از آنجا که [[فرانسه]] در حال حاضر[[جمهوری پنجم فرانسه| جمهوری]] است، پادشاهی ندارد. [[برتراند راسل]] اشاره کرد که این مسئله، معمایی را در زبان انگلیسی و دربارهٔ ارزش صدق جمله «پادشاه کنونی فرانسه طاس است.» (به انگلیسی:".The present King of France is bald") مطرح می‌کند.

این جمله به نظر نمی‌رسد درست باشد: اگر تمام چیزهای طاس را برشماریم، پادشاه کنونی فرانسه در میان آن‌ها نیست؛ چرا که [[فهرست شاهان فرانسه|درپادشاه کنونی فرانسه]] ای وجود ندارد. اما اگر جمله غلط است، انتظار می‌رود که [[نقیض|نفی]] این عبارت، یعنی «چنین نیست که پادشاه کنونی فرانسه طاس باشد» (با انگلیسی: "It is not the case that the present King of France is bald")، یا [[هم‌ارزی منطقی|هم‌ارز منطقی]] اش، «پادشاه کنونی فرانسه طاس نیست.» (به انگلیسی: "The present King of France is not bald") درست باشد. اما این جمله نیز به نظر نمی‌رسد درست باشد: پادشاه کنونی فرانسه در میان چیزهایی که طاس نیستند نیز حضور ندارد؛ بنابراین، به نظر می‌رسد که [[اصل طرد ثالث]] مورد تعرض قرار گرفته باشد.

آیا این جمله بی‌معنی است؟ ممکن است چنین به نظر برسد (و برخی از فیلسوفان، چنین فکر می‌کنند)، چون عبارت «پادشاه کنونی فرانسه» (به انگلیسی: "the present King of France") بدون شک، [[شکست در ارجاع|موفق به ارجاع نمی‌شود]]. اما از سوی دیگر، جمله «پادشاه فرانسه طاس است» (همچنین نفی آن) کاملاً مفهوم به نظر می‌رسد، که این نشان می‌دهد که «پادشاه کنونی فرانسه» نمی‌تواند بی‌معنی باشد.

راسل، برای حل این معما، استفاده از [[نظریه توصیفات]]<nowiki/>اش را مطرح کرد. وی پیشنهاد کرد که یک وصف معین (در زبان انگلیسی) مانند "the present King of France" (به فارسی: «پادشاه کنونی فرانسه»)، برخلاف آنچه که ممکن است در ابتدا به نظر برسد، یک عبارت [[مرجع|ارجاع دهنده]] نیست، بلکه نمادی «نا کامل» که ساختاری [[سور|سوری]] را در جمله ای که در آن نمایان می‌شود، معرفی می‌کند. برای نمونه، جمله «پادشاه کنونی فرانسه طاس است» (به انگلیسی: "the present King of France is bald") به عنوان عطف سه جمله سوردار زیر تحلیل می‌شود:
# وجود دارد x ای که x در حال حاضر پادشاه فرانسه است:  <math>\exists xKx</math> (از 'Kx' به عنوان 'x در حال حاضر پادشاه فرانسه است' استفاده می‌کنیم)
# برای هر x و y اگر x در حال حاضر پادشاه فرانسه است و y در حال حاضر پادشاه فرانسه است، در آن صورت x=y (یعنی حداکثر یک چیز وجود دارد که پادشاه کنونی فرانسه است): <math>\forall x \forall y ((Kx \land Ky) \rightarrow x=y)</math>
# برای هر x که در حال حاضر پادشاه فرانسه است، x طاس است: <math>\forall x (Kx \rightarrow Bx)</math> ('B' برای 'طاس' استفاده شده‌است)
به‌طور خلاصه تر، ادعای اینکه «پادشاه کنونی فرانسه کچل است» می‌گوید که x ای هست که x در حال حاضر پادشاه فرانسه است، و اینکه هر y ای در حال حاضر پادشاه فرانسه است، تنها اگر y = x، و اینکه x طاس است:
:<math>\exists x((Kx \land \forall y(Ky \rightarrow y =x)) \land Bx)</math>
این ''نادرست ''است، چرا که اینطور ''نیست ''که چنین x ای در حال حاضر پادشاه فرانسه باشد.

نفی این جمله، یعنی «پادشاه فرانسه طاس نیست» (به انگلیسی: "The present King of France is not bald") مبهم است. این جمله، بسته به اینکه در کجای آن نفی 'نیست' (در نسخه انگلیسی: 'not') را قرار دهیم، می‌تواند دو چیز مختلف را معنی دهد. در یک خوانش، این می‌تواند به این معنی باشد که هیچ‌کس ندارد وجود دارد که در حال حاضر پادشاه فرانسه و طاس باشد. این خوانش، به زبان منطقی، به صورت زیر ترجمه می‌شود:
:<math>\lnot \exists x ((Kx \land \forall y (Ky \rightarrow y = x)) \land Bx)</math>

در این ابهام زدایی، جمله ''درست''است (چرا که در واقع هیچ x ای وجود ندارد که در حال حاضر پادشاه فرانسه باشد).

در خوانش دوم، نفی می‌تواند به این صورت گفته شود که مستقیماً به 'طاس' متصل می‌شود، و لذا، جمله به این معنیست که در حال حاضر، پادشاه فرانسه‌ای وجود دارد، اما این پادشاه طاس است. این خوانش، به زبان منطقی به صورت زیر نوشته می‌شود:
:<math>\exists x ((Kx \land \forall y (Ky \rightarrow y = x)) \land \lnot Bx)</math>
در این ابهام زدایی، این جمله ''نادرست ''است (از آنجا که هیچ x ای وجود ندارد که در حال حاضر پادشاه فرانسه باشد).

بنابراین، اینکه «پادشاه کنونی فرانسه طاس نیست» (به انگلیسی: "the present King of France is not bald") درست باشد یا نادرست، بستگی به این دارد که چگونه در سطح [[فرم منطقی|فُرم منطقی]]<nowiki/>اش تعبیر شود: اگر [[نقیض|نفی]] با دامنهٔ فراخ (wide scope) تعبیر شود (آنگونه که در حالت نخست بالا آورده شد)، درست است، در حالیکه اگر نفی با دامنهٔ محدود (narrow scope) در نظر گرفته شود (آنگونه که در دومین حالت بالا در نظر گرفته شد)، نادرست است. در هیچ‌یک از حالات، جمله فاقد ارزش صدق نیست.

بنابراین، [[اصل طرد ثالث]] مورد تهاجم قرار ''نگرفته ''است: «پادشاه کنونی فرانسه طاس است» (یعنی <math>\exists x((Kx \land \forall y(Ky \rightarrow y =x)) \land Bx)</math>) نادرست است، چرا که در حال حاضر فرانسه پادشاهی ندارد. نفی این جمله آن است که در آن 'نیست' دامنهٔ فراخ می‌گیرد: <math>\lnot \exists x ((Kx \land \forall y (Ky \rightarrow y = x)) \land Bx)</math>. این عبارت ''درست'' است، چرا که چیزی وجود ندارد که در حال حاضر پادشاه فرانسه باشد.

== منطق ریاضی ==
در پی مثال [[مبادی ریاضیات]]، رسم بر این است که یک اپراتور وصف معین، با استفاده از «گردانده شده ی» (چرخیده ی) حرف کوچک یونانی یوتا (iota) با کاراکتر "℩"، استفاده شود.
نماد <math>\psi(</math>℩<math>x(\phi x))</math>
به معنی «<math>x</math> منحصر به فرد ای که <math>\phi x</math>» است.
:<math>\psi(</math>℩<math>x(\phi x))</math>
معادل «دقیقاً یک <math>\phi</math> وجود دارد و آن دارای خاصیت <math>\psi</math> است:
:<math>\exists x\forall y (\phi(y) \iff y=x \land \psi(y))</math>

== جستارهای وابسته ==
* [[درستی پوچ]]
* [[فلسفه زبان]]
* [[فلسفه تحلیلی]]
* [[برتراند راسل]]
* [[جان سرل]]

== منابع ==
{{چپ چین}}
* Donnellan, Keith, "Reference and Definite Descriptions," in ''Philosophical Review'' 75 (1966): 281-304.
* Neale, Stephen, ''Descriptions'', [[انتشارات ام‌آی‌تی|MIT Press]], 1990.
* Ostertag, Gary (ed.). (1998) ''Definite Descriptions: A Reader'' Bradford, MIT Press. (Includes Donnellan (1966), Chapter 3 of Neale (1990), Russell (1905), and Strawson (1950).)
* Reimer, Marga and Bezuidenhout, Anne (eds.) (2004), ''Descriptions and Beyond'', Clarendon Press, Oxford
* Russell, Bertrand, "On Denoting," in ''[[مجله ذهن|Mind]]'' 14 (1905): 479-493. [http://www.fh-augsburg.de/~harsch/anglica/Chronology/20thC/Russell/rus_deno.html Online text]
* Strawson, P. F. , "On Referring," in ''Mind'' 59 (1950): 320-344.
{{پایان چپ چین}}

== پیوند به بیرون ==
* {{Cite SEP|url-id=descriptions|title=Descriptions}}
[[رده:برتراند راسل]]
[[رده:فلسفه زبان]]
[[رده:عناصر نحوی]]
[[رده:معناشناسی]]