ارزیابی تحلیل استیونسون از مسئله «Tonk» / مرتضی مزگی نژاد، لطف‌الله نبوی و سید محمدعلی حجتی
چکیده:
چکیده
در رویکرد استنتاج گرایی به معناداری، معنای ثوابت منطقی، از طریق قواعد معرفی و حذف به دست می آید. آرتور پرایور با ارائه مثال نقض tonk، نشان می دهد صرف وجود قواعدی برای معرفی و حذف لزوماً سبب معرفی یک ثابت منطقی نمی شود. استیونسون در تأیید ادعای پرایور، مثال نقض وی را مشکل کلیدی رویکرد استنتاجی به معناداری می داند. به باور وی، رویکرد مدل تئوری به معناداری با چنین مشکلی روبه رو نیست؛ زیرا در مدل تئوری، جدول ارزش مانع ورود ثوابت منطقی معیوب به سیستم منطقی می شود. در این مقاله ویژگی های جدول ارزش که این قابلیت را به آن داده بررسی می شود. نتیجه به دست آمده، گویای این مطلب است که دو ویژگی جدول ارزش منطق کلاسیک عبارت اند از دو ارزشی بودن و صدق نگه دار بودن آن؛ اما این دو ویژگی در رویکرد استنتاج گرایی نیز می تواند پیاده شود.
کلیدواژه ها
جدول ارزش، استنتاج گرایی، مدل تئوری، مسئله tonk، اعتبار.
Article data in English (انگلیسی)
شیوه ارجاع به این مقاله:
RIS
Mendeley
BibTeX
APA
MLA
HARVARD
VANCOUVER
(نویسنده تعیین نشده).(1395) ارزیابی تحلیل استیونسون از مسئله «Tonk» / مرتضی مزگی نژاد، لطف‌الله نبوی و سید محمدعلی حجتی. دو فصلنامه معارف منطقی، 3(1)، 117-
(نویسنده تعیین نشده)."ارزیابی تحلیل استیونسون از مسئله «Tonk» / مرتضی مزگی نژاد، لطف‌الله نبوی و سید محمدعلی حجتی". دو فصلنامه معارف منطقی، 3، 1، 1395، 117-
(نویسنده تعیین نشده).(1395) 'ارزیابی تحلیل استیونسون از مسئله «Tonk» / مرتضی مزگی نژاد، لطف‌الله نبوی و سید محمدعلی حجتی'، دو فصلنامه معارف منطقی، 3(1), pp. 117-
