مؤسسه آموزشی و پژوهشی امام خمینی(ره) معارف منطقی 2383-1774 3 1 2016 11 21 ارزیابی تحلیل استیونسون از مسئله «Tonk» / مرتضی مزگی نژاد، لطف‌الله نبوی و سید محمدعلی حجتی 117 36 FA Journal Article 2016 05 14 <p dir="rtl"><strong>چکیده</strong></p> <p dir="rtl">در رویکرد استنتاج گرایی به معناداری، معنای ثوابت منطقی، از طریق قواعد معرفی و حذف به دست می آید. آرتور پرایور با ارائه مثال نقض <span dir="ltr">tonk</span>، نشان می دهد صرف وجود قواعدی برای معرفی و حذف لزوماً سبب معرفی یک ثابت منطقی نمی شود. استیونسون در تأیید ادعای پرایور، مثال نقض وی را مشکل کلیدی رویکرد استنتاجی به معناداری می داند. به باور وی، رویکرد مدل تئوری به معناداری با چنین مشکلی روبه رو نیست؛ زیرا در مدل تئوری، جدول ارزش مانع ورود ثوابت منطقی معیوب به سیستم منطقی می شود. در این مقاله ویژگی های جدول ارزش که این قابلیت را به آن داده بررسی می شود. نتیجه به دست آمده، گویای این مطلب است که دو ویژگی جدول ارزش منطق کلاسیک عبارت اند از دو ارزشی بودن و صدق نگه دار بودن آن؛ اما این دو ویژگی در رویکرد استنتاج گرایی نیز می تواند پیاده شود.</p> <p dir="rtl">&nbsp;</p> <p dir="rtl"><strong>کلیدواژه ها</strong></p> <p dir="rtl">جدول ارزش، استنتاج گرایی، مدل تئوری، مسئله <span dir="ltr">tonk</span>، اعتبار.</p> <p><br clear="all" /> &nbsp;</p>