نظریه حداقلی صدق

نظریه حداقلی صدق (MT) نظریه ای است که پول هاریچ آن را مطرح کرده و به دفاع از آن پرداخته است. این نظریه ، در گروه نظریه های انقباضی صدق قرار می گیرد و می توان آن را جدیدترین گونه از این نظریات محسوب کرد. هاریچ ادعا می کند MT، «شرایط کفایت» نظریه های صدق را برآورده می سازد؛ یعنی با استفاده از آن می توان همه امورِ واقعِ مربوط به صدق را تبیین کرد. در این مقاله، چهارچوب کلی MT و شرایط کفایت آن به اختصار معرفی می شوند. بعضی منتقدان تلاش کرده اند با نشان دادن امورِ واقعی که به نظر می رسد به صدق مربوط هستند ولی ظاهراً MT نمی تواند آن ها را تبیین کند، کفایت MT را مورد تردید قرار دهند. انتقادهای آنیل گوپتا و اسکات سومز در این چهارچوب کلی قرار می گیرد. به طور خاص آن ها می خواهند نشان دهندMT کفایت لازم را برای تبیین امور واقعِ کلی ندارد و اصطلاحاً با مسئله تعمیم روبه رو است. در ادامه مقاله، انتقادهای گوپتا و سومز مرور می گردد، پاسخ هاریچ به آن انتقادها مورد بررسی و ارزیابی قرار می گیرد، و استدلال می شود که پاسخ او به انتقادهای مطرح شده رضایت بخش نیست. در پایان، پاسخ دیگری به انتقادهای مطرح شده فراهم می شود و نشان داده می شود که پاسخ پیشنهادی، هیچ یک از مشکلات پاسخ هاریچ را ندارد.

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