نظام اصل موضوعی

رواقیان معتقد بودند استدلال های معتبر از طریق "تما"ها به "اثبات نشده" ها فروکاسته می شوند؛ چنین درکی از نظام منطق رواقی که در گزارش های نویسندگان دوره باستان به آن اشاره شده است، منطق رواقی را به مثابه نظامی اصل موضوعی با قواعد اشتقاقی منظور می کند؛ با این همه، امپریکوس در بخشی از کتاب "برضد منطق دانان" در ضمن توضیح دو مثال، اثبات نشده ها را به مثابه قواعد استنتاجی در تجزیه و تحلیل استدلال ها به کار می گیرد و بوخنسکی و میتس نیز بدون توجه به چنین تعارضی، این دو مثال را همانند امپریکوس مورد تجزیه و تحلیل قرار می دهند؛ این مقاله با طرح چنین تعارضی، دو راه حل را برای برطرف کردن این تعارض پیشنهاد می کند، در راه حل نخست منطق رواقی دارای دو سطح متفاوت در نظر گرفته شده و بدین ترتیب، هم قواعد جمله ای و هم قواعد اشتقاقی می توانند هم زمان در آن به کار گرفته شوند؛ در راه حل دوم، بر اساس تحول منطق رواقی در طول زمان، هر یک از دو تفسیر بالا به یک دوره ی تاریخی منتسب شده و بدین ترتیب، تعارض مورد مناقشه توضیح داده می شود.

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