وصف معین

در زبان انگلیسی، یک وصف معین (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") بدون شک، موفق به ارجاع نمی‌شود. اما از سوی دیگر، جمله «پادشاه فرانسه طاس است» (همچنین نفی آن) کاملا مفهوم به نظر می‌رسد، که این نشان می‌دهد که «پادشاه کنونی فرانسه» نمی‌تواند بی‌معنی باشد.
راسل، برای حل این معما، استفاده از نظریه توصیفات اش را مطرح کرد. وی پشنهاد کرد که یک وصف معین (در زبان انگلیسی) مانند "the present King of France" (به فارسی: «پادشاه کنونی فرانسه»)‌، برخلاف آنچه که ممکن است در ابتدا به نظر برسد، یک عبارت ارجاع دهنده نیست، بلکه نمادی «نا کامل» که ساختاری سوری را در جمله‌ای که در آن نمایان می‌شود، معرفی می‌کند. برای نمونه، جمله «پادشاه کنونی فرانسه طاس است» (به انگلیسی: "the present King of France is bald") به عنوان عطف سه جمله سوردار زیر تحلیل می‌شود:
وجود دارد x ای که x در حال حاضر پادشاه فرانسه است: (از Kx به عنوان x در حال حاضر پادشاه فرانسه است استفاده می‌کنیم.)
برای هر x و y اگر x در حال حاضر پادشاه فرانسه است و y در حال حاضر پادشاه فرانسه است، در آنصورت x=y (یعنی حداکثر یک چیز وجود دارد که پادشاه کنونی فرانسه است):
برای هر x که در حال حاضر پادشاه فرانسه است، x طاس است: ( B برای طاس استفاده شده است.)
بطور خلاصه‌تر، ادعای اینکه «پادشاه کنونی فرانسه کچل است» می‌گوید که x ای هست که x در حال حاضر پادشاه فرانسه است، و اینکه هر y ای در حال حاضر پادشاه فرانسه است، تنها اگر y = x، و اینکه x طاس است:
این نادرست است، چرا که اینطور نیست که چنین x ای در حال حاضر پادشاه فرانسه باشد.
نفی این جمله، یعنی «پادشاه فرانسه طاس نیست» (به انگلیسی: "The present King of France is not bald") مبهم است. این جمله، بسته به اینکه در کجای آن نفی نیست (در نسخه انگلیسی: not) را قرار دهیم، می‌تواند دو چیز مختلف را معنی دهد. در یک خوانش، این می‌تواند به این معنی باشد که هیچ کس ندارد وجود دارد که در حال حاضر پادشاه فرانسه و طاس باشد. این خوانش، به زبان منطقی، به صورت زیر ترجمه می‌شود:
در این ابهامزدایی، جمله درستاست (چرا که در واقع هیچ x ای وجود ندارد که در حال حاضر پادشاه فرانسه باشد).
در خوانش دوم، نفی می‌تواند به این صورت اطلاق شود که مستقیما به طاس متصل می‌شود، و لذا، جمله به این معنیست که در حال حاظر، پادشاه فرانسه‌ای وجود دارد، اما این پادشاه طاس است. این خوانش، به زبان منطقی بصورت زیر نوشته می‌شود:
در این ابهامزدایی، این جمله نادرست است (از آنجا که هیچ x ای وجود ندارد که در حال حاضر پادشاه فرانسه باشد).
بنابراین، اینکه «پادشاه کنونی فرانسه طاس نیست» (به انگلیسی: "the present King of France is not bald") درست باشد یا نادرست، بستگی به این دارد که چگونه در سطح فرم منطقی‌اش تعبیر شود: اگر نفی با دامنه‌ی فراخ (wide scope) تعبیر شود (آنگونه در حالت نخست بالا آورده شد)، درست است، در حالیکه اگر نفی با دامنه‌ی محدود (narrow scope) در نظر گرفته شود (آنگونه که در دومین حالت بالا در نظر گرفته شد)، نادرست است. در هیچیک از حالات، جمله فاقد ارزش صدق نیست.
بنابراین، اصل طرد ثالث مورد تهاجم قرار نگرفته است: «پادشاه کنونی فرانسه طاس است» (یعنی ) نادرست است، چرا که در حال حاضر فرانسه پادشاهی ندارد. نفی این جمله آن است که در آن نیست دامنه‌ی فراخ می‌گیرد: . این عبارت درست است، چرا که چیزی وجود ندارد که در حال حاضر پادشاه فرانسه باشد.
منطق ریاضی
در پی مثال مبادی ریاضیات، رسم بر این است که یک اپراتور وصف معین، با استفاده از «گردانده شده‌ی» (چرخیده‌ی) حرف کوچک یونانی یوتا (iota) با کاراکتر "℩"، استفاده شود.
نماد ℩
به معنی « منحصر به فرد ای که » است.
معادل «دقیقا یک وجود دارد و آن دارای خاصیت است:
همچنین نگاه کنید
درستی پوچ
فلسفه زبان
فلسفه تحلیلی
برتراند راسل
جان سرل