قضایای حقیقیه و خارجیه نزد ارسطو

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