Kontradiktion
En modsigelse er, når der er to eller flere udsagn, som ikke alle kan være sande på samme tid.
En historie, der viser, hvad en modsigelse er, kommer fra Kina. I denne historie er der en købmand, som sælger både spyd og skjolde. Han siger, at hans spyd er så skarpe, at de kan bryde igennem ethvert skjold. Samtidig siger han, at hans skjolde er så stærke, at de kan blokere ethvert spyd. Dette er en selvmodsigelse, fordi disse to udsagn ikke begge kan være sande. Enten vil spyddet bryde skjoldet eller skjoldet vil blokere spyddet, men ikke begge dele. Af denne grund er ordet for modsigelse på kinesisk máodùn (矛盾), som bogstaveligt talt betyder "spyd og skjold".
I Aristoteles' logik hedder det, at to modstridende sætninger ikke begge kan være sande. F.eks. udelukker sætningerne "A er B" og "A er ikke B" hinanden gensidigt. For eksempel kan udsagnene "Paven er katolik" og "Paven er ikke katolik" ikke begge være sande. Kun den ene af udsagnene er sandt, og ikke den anden.
Spørgsmål og svar
Spørgsmål: Hvad er en modsigelse?
A: En modsigelse er, når der er to eller flere udsagn, som ikke alle kan være sande på samme tid.
Spørgsmål: Hvad er et selvmodsigende udsagn?
Svar: Et selvmodsigende udsagn er et udsagn, der angiver en modsigelse i logikken, og det betegnes undertiden med symbolet "⊥" eller "0".
Spørgsmål: Kan et spyd bryde igennem ethvert skjold og et skjold blokere ethvert spyd på samme tid?
Svar: Nej, det er en modsigelse, fordi disse to udsagn ikke begge kan være sande.
Spørgsmål: Hvad er ordet for modsigelse på kinesisk?
Svar: Ordet for modsigelse på kinesisk er máodùn (矛盾), som bogstaveligt talt betyder "spyd og skjold".
Spørgsmål: Kan to modstridende sætninger ifølge Aristoteles' logik begge være sande?
Svar: Nej, to modstridende sætninger kan ikke begge være sande.
Spørgsmål: Er udsagnene "A er B" og "A er ikke B" gensidigt udelukkende?
Svar: Ja, udsagnene "A er B" og "A er ikke B" udelukker hinanden, hvilket betyder, at kun det ene og ikke begge udsagn kan være sande.
Spørgsmål: Kan "paven er katolik" og "paven er ikke katolik" begge være sande?
Svar: Nej, kun et af udsagnene, og ikke det andet, er sandt.