Vastuolu

Vastuolu on siis, kui on kaks või enam väidet, mis kõik ei saa olla samaaegselt tõesed.

Üks lugu, mis näitab, milline on vastuolu, pärineb Hiinast. Selles loos on kaupmees, kes müüb nii oda kui ka kilpi. Ta ütleb, et tema odad on nii teravad, et suudavad iga kilbi läbi murda. Samal ajal ütleb ta, et tema kilbid on nii tugevad, et suudavad blokeerida iga oda. See on vastuolu, sest need kaks väidet ei saa mõlemad olla tõesed. Kumbki oda murrab kilbi või kilp blokeerib oda, kuid mitte mõlemad. Seepärast on hiina keeles sõna máodùn (矛盾), mis tähendab sõna-sõnalt "oda ja kilp".

Aristotelese loogikas öeldakse, et kaks vastuolulist väidet ei saa mõlemad olla tõesed. Näiteks väited "A on B" ja "A ei ole B" välistavad teineteist. Näiteks väited "paavst on katoliiklane" ja "paavst ei ole katoliiklane" ei saa mõlemad olla tõesed. Ainult üks väitest, mitte aga teine, on tõene.

Küsimused ja vastused

K: Mis on vastuolu?


V: Vastuolu on see, kui on kaks või enam väidet, mis ei saa kõik korraga tõesed olla.

K: Mis on iseenesest vastuoluline väide?


V: Enesevigastuslik väide on väide, mis tähistab loogikas vastuolu ja mida mõnikord tähistatakse sümboliga "⊥" või "0".

K: Kas oda võib üheaegselt murda läbi mis tahes kilbi ja kilp blokeerida mis tahes oda?


V: Ei, see on vastuolu, sest need kaks väidet ei saa mõlemad olla tõesed.

K: Mis on hiina keeles sõna, mis tähendab vastuolu?


V: Hiina keeles on vasturääkivuse sõna máodùn (矛盾), mis tähendab sõna-sõnalt "oda ja kilp".

K: Kas Aristotelese loogika kohaselt võivad kaks vastuolulist väidet olla mõlemad tõesed?


V: Ei, kaks vastuolulist väidet ei saa mõlemad olla tõesed.

K: Kas väited "A on B" ja "A ei ole B" välistavad teineteist?


V: Jah, väited "A on B" ja "A ei ole B" on teineteist välistavad, mis tähendab, et ainult üks neist, mitte mõlemad, võivad olla tõesed.

K: Kas väited "paavst on katoliiklane" ja "paavst ei ole katoliiklane" võivad mõlemad olla tõesed?


V: Ei, ainult üks väitest, mitte aga teine, on tõene.

AlegsaOnline.com - 2020 / 2023 - License CC3