Contradictie
Van een tegenspraak is sprake wanneer er twee of meer beweringen zijn die niet alle tegelijk waar kunnen zijn.
Een verhaal dat laat zien wat een tegenstelling is, komt uit China. In dit verhaal is er een koopman die zowel speren als schilden verkoopt. Hij zegt dat zijn speren zo scherp zijn dat ze door elk schild kunnen breken. Tegelijkertijd zegt hij dat zijn schilden zo sterk zijn dat ze elke speer kunnen blokkeren. Dit is een tegenstrijdigheid omdat deze twee beweringen niet allebei waar kunnen zijn. Of de speer zal het schild breken of het schild zal de speer blokkeren, maar niet beide. Daarom is het woord voor tegenspraak in het Chinees máodùn (矛盾), wat letterlijk "speer en schild" betekent.
In de logica van Aristoteles wordt gezegd dat twee tegenstrijdige stellingen niet allebei waar kunnen zijn. Bijvoorbeeld, de stellingen "A is B" en "A is niet B" sluiten elkaar uit. Zo kunnen bijvoorbeeld de beweringen "de paus is katholiek" en "de paus is niet katholiek" niet beide waar zijn. Slechts één van de stellingen, en niet de andere, is waar.
Vragen en antwoorden
V: Wat is een tegenspraak?
A: Een tegenspraak is wanneer er twee of meer beweringen zijn die niet allemaal tegelijk waar kunnen zijn.
V: Wat is een tegenstrijdige verklaring?
A: Een tegenstrijdige uitspraak is een uitspraak die een tegenstrijdigheid in de logica aangeeft en die soms wordt aangeduid met het symbool "⊥" of "0".
V: Kan een speer door een schild breken en een schild tegelijkertijd een speer blokkeren?
A: Nee, dit is een tegenspraak, want deze twee beweringen kunnen niet beide waar zijn.
V: Wat is het woord voor tegenspraak in het Chinees?
Antwoord: Het woord voor tegenspraak in het Chinees is máodùn (矛盾), wat letterlijk "speer en schild" betekent.
V: Kunnen volgens de logica van Aristoteles twee tegenstrijdige stellingen allebei waar zijn?
Antwoord: Nee, twee tegenstrijdige stellingen kunnen niet allebei waar zijn.
V: Sluiten de stellingen "A is B" en "A is niet B" elkaar uit?
A: Ja, de beweringen "A is B" en "A is niet B" sluiten elkaar uit, wat betekent dat er slechts één, en niet allebei, waar kan zijn.
V: Kunnen "de paus is katholiek" en "de paus is niet katholiek" allebei waar zijn?
A: Nee, slechts één van de beweringen, en niet de andere, is waar.
