اصل موضوعی یا استنتاج طبیعی: نگاهی به نظام استنتاج قیاسی ارسطو

در نیمه نخست قرن بیستم لوکاسیاویچ در چهارچوب قواعد منطق کلاسیک نظام منطقی نظریه قیاس‌های حملی ارسطویی را نظامی اصل موضوعی معرفی کرده و تبیین دقیقی از این نظام ارائه داد. نظامی که در آن ضرب‌های barbara وdatisi به همراه اصل این‌همانی، اصول موضوعه هستند و سایر ضروب قضایایی منتج با کمک قواعد استنتاجی وام گرفته از منطق گزاره‌ها از این دو ضرب‌اند. اما در نخستین سال‌های دهه هفتاد میلادی، اسمایلی و کرکوران با تلقی لوکاسیا‌ویچ از نظریه قیاس‌های حملی ارسطو مخالفت کردند. اسمایلی و جدی‌تر از او کرکوران، منطق ارسطویی را نظامی مبتنی بر استنتاج طبیعی معرفی و اصل موضوعی پنداشتن آن را دور شدن از اندیشههای ارسطو دانستند. در پژوهش پیش‌رو پس از معرفی هریک از این دو رویکرد و مقایسه هریک با گفته‌های ارسطو، دلایلی مبتنی بر استنتاج طبیعی بودن نظام منطقی قیاس‌های حملی در منطق ارسطو ارائه می‌شود.

axiomatic or natural deduction: a study of aristotle's syllogistic system

in 20th century, classic logic allowed logicians to look at aristotelian logic from a broader perspective. with the fruition of the studies and research of lukasiewicz about aristotelian logic in the first half of the 20th century, a new path opened for logicians. in the framework of classic logic and using its rules and principles, lukasiewicz introduced aristotelian syllogisms as axiomatic system, providing a detailed explanation of his method. in this approach, barbara and datisi beside the identity are axioms; therefore, other moods are deducible by applying these two and borrowing inference rules from propositional logic. later, in the early 1970s, smiley and corcoran disagreed with lukasiewicz's view. smiley and corcoran introduced aristotelian syllogism as natural deduction system, the upcoming research aim is to present reasons based on the deductive nature of the aristotelian logical system after introducing each approach and comparing them with aristotle's statements .