جلد پشتی
داخل رو نگاه کنید

صدق تارسکی به عنوان یک محمول فرازبانی موضعی

چکیده:

استدلال خواهم کرد که نه تنها پارادوکس های سمانتیکی پیچیده تر از پارادوکس دروغگو اشکالی برای راه حل تارسکی برای آن، یعنی تعهد به سلسله مراتب زبان، ایجاد نخواهند کرد، بلکه می توان از آنها برای یافتن ساختار درست فرازبان بهره گرفت: پارادوکس ها زمانی بروز می کنند که برای زبان یک ساختار طبقاتی سرتاسری را پیشفرض بگیریم. این کاوش ما را به تصویر غنی تری از فرازبان رهنمون خواهد شد: فرازبان را نیز نباید به منزلۀ طبقۀ فوقانی زبان موضوعی تلقی کرد، در عوض باید آن را به منزلۀ یک توپولوژی تعریف شده بر زبان موضوعی دانست، که تنوعی از ساختارهای سلسله مراتبی میان مراتب زبان را مجاز می دارد. بحث خواهم کرد که در این تصویر توسعه یافته از مراتب زبان، صدق تارسکی را باید محمولی موضعی در نظر گرفت. نهایتاً بحث خواهم کرد که این رویکرد حاوی پیشنهاداتی برای تحلیل بهتر پارادوکس ها، و به طور خاص پارادوکس یابلو، است: با در نظر گرفتن یک توپولوژی دایره ای می توان مدلی بدون خودارجاعی و غیرپارادوکسیکال برای انتساب صدق و کذب به عبارات یابلو بدست داد.

تحصیلات

سمت

محمد ابراهیم مقصودی گروه فلسفه علم دانشگاه صنعتی شریف تهران ایران

تعداد صفحات

17

فصلنامه

فصلنامه منطق پژوهی دوره 11شماره 1

ناشر

پژوهشگاه علوم انسانی و مطالعات فرهنگی

نقد و بررسی

هیچ دیدگاهی هنوز نیست.

اولین نفری باشید که نظر می دهید “صدق تارسکی به عنوان یک محمول فرازبانی موضعی”

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *

1 × پنج =