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