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

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

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

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

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