اثبات نشده ها

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

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