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