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

A Critique of “A New Method in Formal Inference with Minimum Rules”

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

Askari Sulaym?ni Amiri has found a new method for formal inference with the application of minimum rules: predicate negation and even conversion. Based on his new methodology, he has discovered some new rules which do not date back to Aristotelian logic. He has also treated some deviated propositions with quantifiers in their predicates. Among these proposition are: ‘No A is a part of B” and “Some of A is not some of B”. Moreover, he has related the laws of even conversion and syllogism for these two deviated propositions. This bold and admirable innovation suffers from certain flaws which the present article tries to remove.