نظام استنتاجی منطق رواقی

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

Keywords:

منطق رواقی , امپریکوس , نظام اصل موضوعی , اثبات نشده ها , تما ها