تناقض: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز r2.5.2) (ربات افزودن: eo:Kontraŭdiro (filozofio) |
جز ربات: مرتبسازی ردهها؛ زیباسازی |
||
خط ۱:
* تناقض عبارت است از رویارویی دو گزاره که از لحاظ موضوع و محمول یکساناند، ولی از حیث کیفیت یکسان نیستند و نیز کمیت یکسان ندارند (یکی از آن دو کلی، و دیگری جزئی است)، مانند « همهٔ دانشجویان روشنفکر هستند » و « برخی از دانشجویان، روشنفکر نیستند » . درستی هر دو طرف همستیزی امکان ندارد، یعنی اگر قضیۀ « همۀ دانشجویان، روشنفکر هستند» درست باشد، از درستی آن لازم می آید که قضیۀ « برخی از دانشجویان روشنفکر نیستند» نادرست باشد و برعکس . نادرستی هر دو طرف همستیزی هم امکان ندارد، به این معنی که اگر قضیۀ « همۀ دانشجویان، روشنفکر هستند » نادرست باشد، از نادرستی آن لازم میآید که قضیۀ «برخی از دانشجویان، روشنفکر نیستند» درست باشد، زیرا امکان دیگری در میان نیست. در این صورت باید گفت که در برابر هر قضیه فقط یک قضیۀ همستیز وجود دارد. به بیان دیگر دو طرف همستیزی برخلاف دوطرف تضاد، هیچ امکانی برای شق ثالث باقی نمیگذارند.<ref name="d">دو منطق – اثر امیرحسین آریان پور – نشر احیا - 1357</ref>
با آن که معمولا برای تحقق همستیزی باید یکی از دو قضیه دارای موضوعی کلی، و قضیۀ دیگر دارای موضوعی جزئی باشد، میان دو قضیه که دارای موضوع جزئی مشترکی باشند، نیز رابطۀ همستیزی برقرار میشود. از این رو دو گزارۀ «سازمان ملل
برای تحقق هرگونه همستیزی باید قضیههای دوگانه در هشت مورد، مشترک باشند: دارای موضوع و محمول مشترک و شامل مکان و زمان مشترک باشند، هر دو مطلق یا هر دو و به شرطهایی مشترک مقید باشند و از حیث اضافه
* در منطق، یک '''همستیزی''' عبارت است از ناسازگاری منطقی بین دو [[گزاره (منطق)|گزاره]]. هرگاه قضیهای صادق و درست باشد، [[نقیض]] آن '''کاذب''' و نادرست خواهد بود و برعکس. دو قضیهای را که نسبت به هم چنان اختلاف و تقابلی داشته باشند، دو قضیهٔ '''همستیز''' مینامند. در [[منطق صوری]] '''همستیزی''' خود یکی [[فرمول گزارهای]] است که همواره نادرست میباشد و با علامت <math>\bot</math> نشان داده میشود.
در همستیزی کمیت و کیفیت قضیه تغییر میکند؛ بنابراین همستیز قضیهٔ کلیه، قضیهٔ جزئیه است و برعکس. همستیز قضیهٔ موجبه، قضیهٔ سالبه است و برعکس. مثلاً دو جملهٔ «هر عالمی پرهیزکار است» و جملهٔ «بعضی عالمان پرهیزکار نیستند» همستیز هم هستند؛ همچنین دو جملهٔ «هیچ فلزی عایق نیست» و «بعضی فلزها عایقاند» متناقضاند.
خط ۳۵:
{{پانویس}}
[[رده:منطق گزارهای]]▼
[[رده:منطق ریاضی]]▼
[[رده:مارکسیسم]]
[[رده:مغالطههای منطقی]]
[[رده:منطق]]
▲[[رده:منطق ریاضی]]
▲[[رده:منطق گزارهای]]
[[cs:Kontradikce]]
|