صدق تارسکی به عنوان یک محمول فرازبانی موضعی | ||
| منطقپژوهی | ||
| دوره 11، شماره 1 - شماره پیاپی 21، فروردین 1399، صفحه 229-245 اصل مقاله (290.13 K) | ||
| نوع مقاله: پژوهشی | ||
| شناسه دیجیتال (DOI): 10.30465/lsj.2021.33183.1311 | ||
| نویسنده | ||
| محمد ابراهیم مقصودی* | ||
| گروه فلسفه علم دانشگاه صنعتی شریف تهران ایران | ||
| چکیده | ||
| استدلال خواهم کرد که نه تنها پارادوکس های سمانتیکی پیچیده تر از پارادوکس دروغگو اشکالی برای راه حل تارسکی برای آن، یعنی تعهد به سلسله مراتب زبان، ایجاد نخواهند کرد، بلکه می توان از آنها برای یافتن ساختار درست فرازبان بهره گرفت: پارادوکس ها زمانی بروز می کنند که برای زبان یک ساختار طبقاتی سرتاسری را پیشفرض بگیریم. این کاوش ما را به تصویر غنی تری از فرازبان رهنمون خواهد شد: فرازبان را نیز نباید به منزلۀ طبقۀ فوقانی زبان موضوعی تلقی کرد، در عوض باید آن را به منزلۀ یک توپولوژی تعریف شده بر زبان موضوعی دانست، که تنوعی از ساختارهای سلسله مراتبی میان مراتب زبان را مجاز می دارد. بحث خواهم کرد که در این تصویر توسعه یافته از مراتب زبان، صدق تارسکی را باید محمولی موضعی در نظر گرفت. نهایتاً بحث خواهم کرد که این رویکرد حاوی پیشنهاداتی برای تحلیل بهتر پارادوکس ها، و به طور خاص پارادوکس یابلو، است: با در نظر گرفتن یک توپولوژی دایره ای می توان مدلی بدون خودارجاعی و غیرپارادوکسیکال برای انتساب صدق و کذب به عبارات یابلو بدست داد. | ||
| کلیدواژهها | ||
| صدق تارسکی؛ پارادوکس های سمانتیکی؛ ساختار سلسله مراتبی زبان؛ فرازبان؛ صدق موضعی؛ پارادوکس یابلو | ||
| مراجع | ||
|
| ||
|
آمار تعداد مشاهده مقاله: 681 تعداد دریافت فایل اصل مقاله: 399 |
||