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

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

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

سؤال نامناسبی که درباره صدق مطرح می‌گردد، این است که «صدق چیست». لذا بهتر است با پرسش «صدق یک گزاره (عبارت، جمله، باور) چیست» کار آسانتر شود. هدف این مقاله این است که پیرامون سؤال فوق به تبیین تعدادی از تئوریهای صدق و به عبارتی دقیق‌تر، خانواده نظریات مربوط به صدق بپردازد: تئوریهای پیوستگی مشتمل بر نسبتهای پیوستگی بین یک مجموعه از باورهاست. تئوریهای مطابقت رویکردی به صدق گزاره‌ها دارد نه از آن جهت که با گزاره‌های دیگر چه نسبتی دارد، بلکه از این باب که نسبت آن گزاره با خارج چگونه است، یعنی مطابقت آن با اعیان خارجی و واقع. در تئوریهای عملگرایی صدق یک باور از مطابقت آن با واقع برگرفته می‌شود، اما تأکید می‌کند که بقای باورها، توسط آزمون تجربه حاصل می‌شود یعنی مطابقت آن با باورهای دیگر. از نظر تارسکی، صدق برحسب یک نسبت معنایی از صدق‌پذیری تعریف می‌شود. در تئوری صدق بیان زائد، «صادق» امری است زائد. زیرا گفتن اینکه «P صادق است» معادل است با گفتن P.

سؤال نامناسبی كه درباره صدق مطرح می گردد، اين است كه «صدق چيست». لذا بهتر است كه با پرسش «صدق يك گزاره (عبارت، جمله، باور) چيست» كار آسانتر شود. هدف اين مقاله اين است كه پيرامون سؤال فوق به تبيين تعدادی تئوريهای صدق و به عبارتی دقيق تر، خانواده نظريات مربوط به صدق بپردازد: تئوريهای پيوستگی مشتمل بر نسبت های پيوستگی بين يك مجموعه از باورهاست. تئوريهای مطابقت رويكردی به صدق گزاره ها دارد نه از آن جهت كه با گزاره های ديگر چه نسبتی دارد، بلكه از اين باب كه نسبت آن گزاره با جهان خارج چگونه است، يعنی مطابقت آن با اعيان خارجی و واقع. در تئوريهای عملگرايی صدق يك باور از مطابقت آن با واقع برگرفته می شود، اما تأكيد می كند كه بقای باورها، توسط آزمون تجربه حاصل می شود يعنی مطابقت آن با باورهای ديگر. از نظر تارسكی، صدق بر حسب يك نسبت معنايی از صدق پذيری تعريف می شود. در تئوری صدق بيان زائد، «صادق» امری است زائد. زيرا گفتن اينكه «P صادق است» معادل است با گفتن P.