تحت تضاد

غالباً تمایز قضایای حقیقیه و خارجیه را چنین بیان می کنند که عنوان موضوع آیا مناط و سببِ عنوان محمول هست یا نیست؛ اگر باشد قضیه حقیقیه است و گرنه آن را خارجیه می گیرند. اما «عدمِ» مناط و سبب بودن در قضیه خارجیه را به دو صورت می توان اخذ کرد: بشرط لا و لابشرط. خارجیه «بشرط لا» آن است که «حکم می کند» به مناط و سبب «نبودنِ» عنوان موضوع برای عنوان محمول؛ ولی خارجیه «لابشرط» آن است که «حکم نمی کند» به مناط و سبب «بودنِ» عنوان موضوع برای عنوان محمول. با این توضیح، این سؤال پیش می آید که در سنت منطق سینوی، قائلان به قضیه خارجیه، کدام معنای آن را در نظر داشته اند، بشرط لا یا لابشرط؟ بر خلاف انتظار، نشان می دهم که منطق دانان قائل به قضیه خارجیه، صرفا معنای «لابشرط» را در ذهن داشته اند. برای اثبات این نکته، نشان می دهم که اولا، این منطق دانان قواعد منطقی و به ویژه قیاس های ارسطویی (با مقدمات مطلقه و غیر موجهه) را برای قضایای حقیقیه و خارجیه به یکسان قبول داشته اند و ثانیا، این قواعد صرفا برای قضیه خارجیه «لابشرط» برقرار است و بیشتر آنها برای قضیه خارجیه «بشرط لا» نامعتبرند. هم چنین، نشان می دهم که حتی منکران قضیه خارجیه مانند ابن سینا نیز قضیه خارجیه را به معنای «لابشرط» می گرفتند و همین معنا را انکار می کردند و نه معنای «بشرط لا» را، که اصلاً محل بحث و نزاع نبوده است. اما بیشتر متأخران و نیز معاصران به پیروی از سعدالدین تفتازانی خارجیه را به معنای «بشرط لا» گرفته اند.