Kontradikce
O rozporu hovoříme tehdy, když existují dva nebo více výroků, které nemohou být pravdivé současně.
Příběh, který ukazuje, co je to rozpor, pochází z Číny. V tomto příběhu je obchodník, který prodává oštěpy i štíty. Říká, že jeho oštěpy jsou tak ostré, že by dokázaly prorazit jakýkoli štít. Zároveň říká, že jeho štíty jsou tak silné, že by mohly zablokovat každé kopí. To je rozpor, protože tato dvě tvrzení nemohou být obě pravdivá. Buď kopí prorazí štít, nebo štít zablokuje kopí, ale ne obojí. Z tohoto důvodu se v čínštině pro rozpor používá slovo máodùn (矛盾), což doslova znamená "kopí a štít".
V Aristotelově logice se říká, že dvě protichůdné věty nemohou být obě pravdivé. Například věty "A je B" a "A není B" se navzájem vylučují. Například výroky "papež je katolík" a "papež není katolík" nemohou být oba pravdivé. Pravdivý je pouze jeden z výroků, nikoli druhý.
Otázky a odpovědi
Otázka: Co je to rozpor?
Odpověď: Rozpor je, když existují dvě nebo více tvrzení, která nemohou být pravdivá současně.
Otázka: Co je to tvrzení, které si odporuje?
Odpověď: Sebekontroverzní výrok je výrok, který v logice označuje rozpor a někdy se označuje symbolem "⊥" nebo "0".
Otázka: Může oštěp prorazit jakýkoli štít a zároveň štít zablokovat jakýkoli oštěp?
Odpověď: Ne, jedná se o rozpor, protože tato dvě tvrzení nemohou být obě pravdivá.
Otázka: Jak se v čínštině řekne rozpor?
Odpověď: Slovo pro rozpor v čínštině je máodùn (矛盾), což doslova znamená "kopí a štít".
Otázka: Mohou být podle Aristotelovy logiky dvě protichůdné věty obě pravdivé?
Odpověď: Ne, dvě protichůdné věty nemohou být obě pravdivé.
Otázka: Vylučují se výroky "A je B" a "A není B"?
Odpověď: Ano, výroky "A je B" a "A není B" se vzájemně vylučují, což znamená, že pravdivý může být pouze jeden z nich, nikoli oba.
Otázka: Mohou být výroky "papež je katolík" a "papež není katolík" oba pravdivé?
Odpověď: Ne, pravdivý je pouze jeden z výroků, nikoli druhý.
