Aksincha (mantiq) - Contrary (logic)

Ushbu diagramma o'rtasidagi qarama-qarshi munosabatlarni ko'rsatadi qat'iy takliflar ichida kvadrat muxolifat ning Aristotel mantig'i.

Aksincha bu ikkalasi o'rtasidagi munosabatlar takliflar ikkalasi ham bo'la olmasa to'g'ri (ikkalasi ham yolg'on bo'lishi mumkin). Shunday qilib, biz darhol xulosa qilish agar biri to'g'ri bo'lsa, boshqasi yolg'on bo'lishi kerak.

Qonun uchun amal qiladi A va E aristotelning takliflari kvadrat muxolifat. Masalan, "har bir inson halol" degan taklif va "hech kim halol emas" degan E taklif ikkalasi bir vaqtning o'zida haqiqat bo'lolmaydi, chunki hech kim bir vaqtning o'zida halol va halol bo'la olmaydi. Ammo ikkalasi ham yolg'on bo'lishi mumkin, agar ba'zi erkaklar rostgo'y bo'lsa, ba'zilari esa rost emas. Agar ba'zi erkaklar halol bo'lsa, "hech kim halol emas" degan taklif yolg'ondir. Agar ba'zi erkaklar halol bo'lmasa, "har bir inson halol" degan taklif ham yolg'ondir.

E'tibor bering A va E takliflar qarama-qarshi bo'lib, faqat agar A "har bir inson halol" degan taklif, zamonaviy mantiq formulasini standart talqinidan farqli o'laroq, "kamida bitta odam bor va har bir inson halol" degan ma'noni anglatadi. universal miqdor, ${ displaystyle ( forall x) ( mathrm {man} (x) rightarrow mathrm {honest} (x))}$ . Ning zamonaviy taqdimotlari kvadrat muxolifat va variantlar odatda buni aniq ko'rsatib beradi.^[1]

Shuningdek qarang

Tashqi havolalar

^ Westerståhl. "Muxolifatning zamonaviy va boshqa maydonlariga qarshi klassikalari" (PDF). Beziau va Payette (tahr.), Muxolifat maydoni, Piter Lang, Bern, 195-229.

Qarama-qarshilik haqida maqola ichida Stenford falsafa entsiklopediyasi

[modern-1] Westerståhl. "Muxolifatning zamonaviy va boshqa maydonlariga qarshi klassikalari" (PDF). Beziau va Payette (tahr.), Muxolifat maydoni, Piter Lang, Bern, 195-229.

[1]