تناقض: تفاوت میان نسخه‌ها

'''تناقض''' عبارت است از رویارویی دو [[گزاره]] که از لحاظ موضوع و محمول یکسان‌اند، ولی از حیث کیفیت یکسان نیستند و نیز کمیت یکسان ندارند (یکی از آن دو کلی، و دیگری جزئی است)، مانند «همهٔ دانش‌جویان روشن‌فکر هستند» و «برخی از دانشجویان، روشنفکر نیستند». درستی هر دو طرف هم‌ستیزی امکان ندارد، یعنی اگر قضیهٔ «همهٔ دانشجویان، روشن‌فکر هستند» درست باشد، از درستی آن لازم می‌آید که قضیهٔ «برخی از دانش‌جویان روشن‌فکر نیستند» نادرست باشد و برعکس. نادرستی هر دو طرف هم‌ستیزی هم امکان ندارد، به این معنی که اگر قضیهٔ «همهٔ دانشجویان، روشنفکر هستند» نادرست باشد، از نادرستی آن لازم می‌آید که قضیهٔ «برخی از دانشجویان، روشنفکر نیستند» درست باشد، زیرا امکان دیگری در میان نیست. در این صورت باید گفت که در برابر هر قضیه فقط یک قضیهٔ هم‌ستیز وجود دارد. به بیان دیگر دو طرف هم‌ستیزی برخلاف دوطرف [[تضاد]]، هیچ امکانی برای شق ثالث باقی نمی‌گذارند.<ref name="d">دو منطق – اثر امیرحسین آریان پور – نشر احیا - 1357</ref>

 

 

برای تحقق هرگونه هم‌ستیزی باید قضیه‌های دوگانه در هشت مورد، مشترک باشند: دارای موضوع و محمول مشترک و شامل مکان و زمان مشترک باشند، هر دو مطلق یا هر دو و به شرط‌هایی مشترک مقید باشند و از حیث اضافه یا نسبت و جزء یا کل بودن و در مرحله قوه یا فعل قرارداشتن یکسان باشند. چنانکه ملاحظه می‌کنیم، در همه گونه‌های [[قضیه‌های متقابل]] میان دو قضیه تغایری وجود دارد. این تغایر در مورد قضیه‌های متداخل نسبتاً ملایم است و در مورد قضیه‌های هم‌ستیز بسیار شدید است.<ref name="d"/>