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

A New Method of Formal Deduction with the Application of Minimum Number of rules

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

All rules of deduction are separately introduced and their conditions are stated in direct and syllogistic arguments in classical logic. All deductions are made on the basis of these rules. In order to explain the accuracy of the conclusions of these rules, logicians sometimes reduce the rules of some to those of the others. According to the method suggested by this article, there are only two rules of refuting the predicate and simple conversion that are introduced in direct arguments. Other deductive rules such as‘ conversion by contradiction’ ‘refutation of the subject’ ‘perfect refutation’ and ‘converse refutation’ are deduced from these two rules without being introduced. Similarly’ the article explains the nature of ‘simple conversion’ through the genealogy of ‘categorical propositions’ and the method of artificial quantification of predicates. Similarly, it suffices to introducing syllogism and the role of the middle term in it in categorical syllogisms. Through this method, one can reach to the conclusions of all figures of the syllogism without introducing them or reducing the second, the characterized as third and the forth figures of syllogism to the first figure of syllogism. Moreover, this method is a simple one, always used in the same manner, needing no various conditions.