ارزیابی تحلیل استیونسون از مسئله «Tonk»

در رویکرد استنتاج گرایی به معناداری، معنای ثوابت منطقی (ꓥ، ،...) از طریق قواعد معرفی و حذف به دست می آید. آرتور پرایور با ارائه مثال نقض tonk، نشان می دهد لزوما صرف وجود قواعدی برای معرفی و حذف، سبب معرفی یک ثابت منطقی نمی شود. استیونسون در تایید ادعای پرایور، مثال نقض وی را مشکل کلیدی رویکرد استنتاجی به معناداری می داند. به باور وی، رویکرد مدل تئوری به معناداری با چنین مشکلی روبه رو نیست؛ زیرا در مدل تئوری، جدول ارزش مانع ورود ثوابت منطقی معیوب به سیستم منطقی می شود. در این مقاله ویژگی های جدول ارزش که این قابلیت را به آن داده بررسی می شود. نتیجه به دست آمده، گویای این مطلب است که دو ویژگی جدول ارزش منطق کلاسیک عبارت اند از دو ارزشی بودن و صدق نگه دار بودن آن؛ اما این دو ویژگی در رویکرد استنتاج گرایی نیز قابل پیاده سازی است.