Kontradikcia
Rozpor je vtedy, keď existujú dva alebo viac výrokov, ktoré nemôžu byť pravdivé súčasne.
Príbeh, ktorý ukazuje, čo je to rozpor, pochádza z Číny. V tomto príbehu je obchodník, ktorý predáva oštepy aj štíty. Hovorí, že jeho oštepy sú také ostré, že by mohli preraziť akýkoľvek štít. Zároveň hovorí, že jeho štíty sú také silné, že by mohli zablokovať akékoľvek kopije. Ide o rozpor, pretože tieto dve tvrdenia nemôžu byť obe pravdivé. Buď kopija prelomí štít, alebo štít zablokuje kopiju, ale nie oboje. Z tohto dôvodu je v čínštine slovo pre rozpor máodùn (矛盾), čo doslova znamená "oštep a štít".
V Aristotelovej logike sa hovorí, že dve protichodné tvrdenia nemôžu byť obe pravdivé. Napríklad výroky "A je B" a "A nie je B" sa navzájom vylučujú. Napríklad výroky "pápež je katolík" a "pápež nie je katolík" nemôžu byť oba pravdivé. Pravdivý je len jeden z výrokov, a nie druhý.
Otázky a odpovede
Otázka: Čo je to rozpor?
Odpoveď: Rozpor je vtedy, keď existujú dva alebo viac výrokov, ktoré nemôžu byť pravdivé súčasne.
Otázka: Čo je to tvrdenie, ktoré si protirečí?
Odpoveď: Sebaprotirečivý výrok je výrok, ktorý v logike označuje rozpor a niekedy sa označuje symbolom "⊥" alebo "0".
Otázka: Môže oštep preraziť akýkoľvek štít a štít zároveň zablokovať akýkoľvek oštep?
Odpoveď: Nie, ide o rozpor, pretože tieto dva výroky nemôžu byť oba pravdivé.
Otázka: Ako sa v čínštine nazýva rozpor?
Odpoveď: Slovo pre rozpor v čínštine je máodùn (矛盾), čo doslova znamená "kopija a štít".
Otázka: Môžu byť podľa Aristotelovej logiky dve protichodné tvrdenia obe pravdivé?
Odpoveď: Nie, dve protichodné tvrdenia nemôžu byť obe pravdivé.
Otázka: Vylučujú sa výroky "A je B" a "A nie je B"?
Odpoveď: Áno, výroky "A je B" a "A nie je B" sa navzájom vylučujú, čo znamená, že pravdivý môže byť len jeden z nich, a nie oba.
Otázka: Môžu byť výroky "pápež je katolík" a "pápež nie je katolík" oba pravdivé?
Odpoveď: Nie, pravdivý je len jeden z výrokov, a nie druhý.
