Vasturääkivuse mõiste üldistus ja rohkem kui kahe tõeväärtusega loogikad

Vasturääkivuse mõiste üldistus ja rohkem kui kahe tõeväärtusega loogikad

Karmo Talts 

Vaatame võimalusi vasturääkivuse mõiste üldistamiseks. Ka mitteklassikalistes loogikates sõltub eituse tõeväärtus jaatuse tõeväärtusest. Seega peab ka vasturääkivuse üldistusel olema midagi tegemist jaatuse ja eituste tõeväärtuste sobimatusega.

Vaatame nüüd klassikalist vasturääkivust. Kui väide on korraga tõene ja väite eitus on korraga tõene, siis on väitel väite eituse tõeväärtust arvestades liiga kõrge ja väite eitusel väite tõeväärtust arvestades liiga kõrge tõeväärtus. Seega on vasturääkivus see, et väite eitust arvestades on väitel liiga kõrge ja väite eitusel väite tõeväärtust arvestades liiga kõrge tõeväärtus või on see vasturääkivuse üks tunnus.

Vaatame nüüd, kas loogikas, kus on kolmas tõeväärtus "korraga tõene ja väär", on üldistataumal tasandil lubatud vasturääkivused. Kui väide on ainult tõene, siis on väite eitusel liiga kõrge tõväärtus siis, kui väite eitus on korraga tõene ja väär või on ainult tõene ja  kui väite eitus on ainult tõene, siis on väitel liiga kõrge tõeväärtus, kui väide on korraga tõene ja väär või on ainult tõene. Seega üldistatumal tasandil ei luba selline loogika ikkagi vasturääkivusi.