مربع مخالفت در منطق صوری
مربع مخالفت در منطق صوری (شاخهای از منطق فلسفی) نمایی است که روابط بین چهار گزاره مقولهای اساسی را نشان میدهد. ریشههای این مربع به رساله ارسطو با عنوان درباره تأویل و تمایز بین دو نوع مخالفت: تناقض و تضاد برمیگردد.
ارسطو هیچ نمایی ترسیم نکرد، اما قرنها بعد آپولونیوس و بوئتیوس این کار را انجام دادند.
گزارههای مقولهای
هر گزاره مقولهای به یکی از چهار شکل منطقی الف، ب، ج و د کاهش مییابد. این اشکال بر اساس لاتین تصدیق میکنم و انکار میکنم نامگذاری شدهاند.
- الف: همه س هستند ص
- ب: هیچ س نیست ص
- ج: برخی س هستند ص
- د: برخی س نیستند ص
روابط بین این گزارهها شامل تضاد، زیرتضاد، زیر따름 و بالاتبار است.
چالشهای تاریخی
پیتر آبلارد مسئله واردات هستیشناختی را مطرح کرد: اگر هیچ مردی وجود نداشته باشد، آیا گزارهها همچنان معنا دارند؟
با وجود هیچ مردی، نه «همه مردان مرد هستند» درست است و نه «برخی مردان مرد نیستند».
مربع مخالفت مدرن
جورج بول و گوتلوب فرگه مربع مخالفت را در منطق مدرن بازتعریف کردند. امروزه ششضلعی منطقی و دیگر توسعهها، این مفهوم را گسترش دادهاند.