نقدی بر مقاله «روشی جدید در استنتاج صوری با کمترین قاعده»
First Statement of Responsibility
فلاحی اسداله
SUMMARY OR ABSTRACT
Text of Note
عسکری سلیمانی امیری روشی جدید در استنتاج صوری یافته است که با کمترین تعداد قواعد به کار می رود: نقض محمول و عکس مستوی. او به کمک روش خود قواعد تازه ای را نیز کشف کرده است که در منطق ارسطویی سابقه نداشته است. او همچنین به پاره ای از گزاره های منحرفه که در ناحیه محمول آنها سور وجود دارد، پرداخته است، از جمله: «هیچ الف برخی ب نیست» و «برخی الف برخی ب نیست». افزون بر این، قواعد عکس مستوی و قیاس را برای این دو گزاره منحرفه بیان کرده است. در این نوآوری جسورانه و تحسین برانگیز، کاستی ها و ناراستی هایی هست که این مقاله به جبران کاستی ها و زدودن ناراستی های آن می پردازد.