جستجوي پيشرفته | کتابخانه مجازی الفبا

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