Kontradikce

Kontradikce (z lat. contra-dicere, protiřečit) znamená spor nebo protimluv.

V logice

V logice znamená dvojici takových výroků, že z pravdivosti jednoho plyne nepravdivost druhého a z nepravdivosti jednoho plyne pravdivost druhého. Kontradiktorní mohou být i dva atributy, pokud nemají žádný společný prvek a dohromady pokrývají všechny možné případy. Například výroky „A je bílé“ a „A není bílé“ jsou kontradiktorické, protože pokud platí jeden, nemůže platit druhý a naopak. Konjunkce takových výroků („A je bílé a není bílé“) je vždy nepravdivá, jejich disjunkce („A je bílé nebo není bílé“) je vždy pravdivá (tautologická).

Contradictio in adiecto (lat.) znamená protimluv či spor ve spojení podstatného a přídavného jména, například spojení „kulatý čtverec“.

Kontrární

Výroky „A je bílé“ a „A je černé“ se sice vylučují, ale z toho, že A není bílé neplyne ještě, že by muselo být černé. Takové výroky nejsou kontradiktorické, nýbrž kontrární (opačné, protivy): nemohou být současně pravdivé, ale mohou být současně nepravdivé.

Odkazy

Reference

V tomto článku byl použit překlad textu z článku Kontradiktion na německé Wikipedii.

Související články

• Contradictio in adjecto
• Tautologie
• Výroková logika

Externí odkazy

• (anglicky) Contradiction Stanford encyclopedia of philosophy, heslo Contradiction

Literatura

• Ottův slovník naučný, heslo Contradictio (Sv. 5, str. 604) a Kontrární (Sv. 14, str. 764)