نقدی بر مقاله «روشی جدید در استنتاج صوری با کمترین قاعده»

عسکری سلیمانی امیری روشی جدید در استنتاج صوری یافته است که با کمترین تعداد قواعد به کار می‌رود: نقض محمول و عکس مستوی. او به کمک روش خود قواعد تازه‌ای را نیز کشف کرده است که در منطق ارسطویی سابقه نداشته است. او همچنین به پاره‌ای از گزاره‌های منحرفه که در ناحیه محمول آنها سور وجود دارد، پرداخته است، از جمله: «هیچ الف برخی ب نیست» و «برخی الف برخی ب نیست». افزون بر این، قواعد عکس مستوی و قیاس را برای این دو گزاره منحرفه بیان کرده است. در این نوآوری جسورانه و تحسین‌برانگیز، کاستی‌ها و ناراستی‌هایی هست که این مقاله به جبران کاستی‌ها و زدودن ناراستی‌های آن می‌پردازد.