معمای صدق در زبانهای بسته
نویسندگان
doi
10.82587/pi.2025.1233093چکیده
پارادوکس دروغگو که با جملات خودارجاعی نظیر "این جمله کاذب است" صورتبندی میشود، یکی از عمیقترین چالشهای فراروی منطق و فلسفه زبان است. این معما با نقض اصول بنیادین "دوارزشی" و "طرد شق ثالث"، سازگاری فرم T تارسکی در زبانهای طبیعی را به پرسش میگیرد. مقاله حاضر با هدف ارائه راهکاری برای نجات مفهوم صدق از دام "بستگی معنایی"، پس از تبارشناسی تاریخی مسئله، پنج رویکرد اصلی و رقیب در قرن بیستم و بیستویکم را مورد واکاوی قرار میدهد: ۱) نظریه "سلسلهمراتب زبانی" آلفرد تارسکی که با لایهبندی زبان سعی در حذف امکان خودارجاعی دارد؛ ۲) نظریه "نقاط ثابت" سول کریپکی که بر مبنای منطق کلینی قوی و پذیرش شکاف ارزش صدق بنا شده است؛ ۳) "دوگانهانگاری صدق" گراهام پریست که وجود تناقضهای واقعی را میپذیرد؛ ۴) "نظریه بازبینی" آنیل گوپتا و نوئل بلناپ که صدق را مفهومی دوری و ناپایدار میداند؛ و ۵) رویکردهای "تورمی و کاهشی" نظیر دیدگاه پل هورویچ. پژوهش حاضر با ارزیابی هزینه منطقی و هستیشناختی این دیدگاهها، استدلال میکند که نظریه کریپکی با تکیه بر مفهوم "مبنامندی"، کمترین آسیب را به ساختار شهودی زبان وارد میکند. در نهایت، با بهرهگیری از ابزار "ابرارزشگذاری" و "عملگرهای تعین" برای پاسخ به مسئله "انتقام دروغگو"، از کارآمدی الگوی کریپکی در برابر نقدهای متأخر دفاع میشود.
