Rozpor je vtedy, keď existujú dva alebo viac výrokov, ktoré nemôžu byť pravdivé súčasne. Formálne hovoríme, že množina výrokov je nekonzistentná, ak z nej možno odvodiť výrok p aj jeho negáciu ¬p; samotný protikladný pár p ∧ ¬p sa často označuje symbolom ⊥ (falošné, contradiction).

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ýklad v tradičnej logike

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ú. Ak platí "pápež je katolík", potom výrok "pápež nie je katolík" nemôže byť pravdivý súčasne. V tejto perspektíve platí základný zákon neprotirečenia: žiadny výrok nemôže byť súčasne pravdivý a nepravdivý v tom istom zmysle a v tom istom čase.

Typy a spôsoby vyjadrenia rozporu

  • Logický (formálny) rozpor: súbor premís vedie k tomu, že možno odvodiť p aj ¬p. V matematike a formálnej logike sa rozpor zvyčajne ukáže formálnym odvodzovaním.
  • Sémantický rozpor: dva výroky sú v konflikte vzhľadom na ich význam (napr. "Sníh je biely" vs. "Sníh nie je biely").
  • Protirečenia a opozície: v klasickej logickej tradícii sa rozlišuje medzi contradictories (ktoré nemôžu byť obe pravdivé a nemôžu byť obe nepravdivé) a contraries (ktoré nemôžu byť obe pravdivé, ale môžu byť obe nepravdivé), napr. v štvorci opozícií.

Dôsledky rozporných premís

V klasickej (monotónnej) logike platí princíp explózie (lat. ex contradictione sequitur quodlibet): ak je sústava premís rozporná, potom z nej možno odvodzovať ľubovoľný výrok. To znamená, že raz zistený rozpor vážne podkopáva dôveryhodnosť celého systému tvrdení, pretože dovolí dokázať čokoľvek.

Existujú však aj alternatívne logické systémy:

  • Parakonzistentné logiky odmietajú princíp explózie a umožňujú pracovať s rozpormi bez toho, aby z nich vyplývalo čokoľvek.
  • Dialetický prístup alebo dialetizmus niekedy uvažuje o tom, že rozpory môžu byť zdrojom pohybu a zmeny v myslení (napr. niektoré filozofické smery), pričom niektoré názory dokonca pripúšťajú, že niektoré výzvy môžu byť skutočne pravdivé aj ako rozporné (tzv. dialetheizmus).

Praktické príklady

  • Bežný príklad: výrok "Dnes prší" a súčasný výrokom "Dnes neprší" — oba nemôžu byť pravdivé súčasne (ak hovoríme o tom istom mieste a čase).
  • Formálny príklad v matematike: ak z axiómov teórie možno odvodiť tvrdenie p aj jeho negáciu ¬p, teória je nekonzistentná a obvykle sa považuje za problém, ktorý treba odstrániť (revízia axiómov alebo ich formalizácie).

Ako rozpoznať a vyriešiť rozpor

  • Preskúmajte definície a význam kľúčových pojmov — často sa rozpor ukáže ako dôsledok nejednoznačnosti termínov.
  • Skontrolujte predpoklady (premisy) — niekedy postačí upraviť alebo vylúčiť chybnú premisu, aby sa rozpor odstránil.
  • Formalizujte argument do logického systému — tým ľahšie zistíte, či z premís skutočne nasleduje p a ¬p.
  • Zvážte použitie parakonzistentnej logiky, ak je cieľom pracovať s rozpormi bez kolapsu systému.

Rozpor je preto základným pojmom nielen v klasickej logike, ale aj v diskusiách o metodológii, filozofii vedy, etike či politike: identifikácia a riešenie rozporov pomáha vyjasniť pozície, opraviť chyby a dospieť k konzistentnejšiemu porozumeniu.