منطق های مبتنی بر عکس نقیض و نقض محمول

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