Loogika, kus vasturääkivuse seadus on kujul "väide ei saa korraga olla väär ja mitte olla väär

Loogika, kus vasturääkivuse seadus on kujul "väide ei saa korraga olla väär ja mitte olla väär"

Karmo Talts

 

Vaatame loogikat, kus vasturääkivuse seadus on kujul "väide ei saa korraga olla väär ja mitte olla väär, muidu tekib vasturääkivus". Kuna vasturääkivus tekib alles siis, kui väide on korraga väär ja pole väär, siis eitus tuuakse sisse eeldusest, millest järeldub vähemalt ühte eitust kasutava väite ja selle väite eitus konjunktsioon.

Vaatame nüüd kahekordse eituse sissetoomist. Kuna väide ei saa olla korraga väär ja mitte olla väär, siis tuuakse kahekordne eitus sisse väidetest, mis kasutavad vähemalt ühte eitust.

Vaatame nüüd disjunktiivset süllogismi. Kuna väide ei saa korraga olla väär ja mitte olla väär, siis saab disjunktiivset süllogismi kasutada siis, kui on tõene disjunktsioon, mille üks osaväide kasutab vähemalt ühte eitust ja on tõene selle osaväite eitus.