Tõendusteoreetiline lähenemine, mille järgi vasturääkivuse eituse tõestab tõene eeldus

Tõendusteoreetiline lähenemine, mille järgi vasturääkivuse eituse tõestab tõene eeldus 

Karmo Talts

Vaatame, kas vasturääkivuse seaduse ainus võimalik tõestusteoreetiline tõlgendus on, et vasturääkivus on paratamatult väär ja vasturääkivus tõestab vääruse. Kui seadust mõista ühelt poolt nii, et tõene väide tõestab vasturääkivuse eituse, siis sümmeetriliselt vasturääkivus tõestab tõese väite eituse.
Vaatame nüüd, kuidas selline tõlgendus motiveerib vääradest eeldustest lähtumise vältimise püüdlusi. Vääri eeldusi tuleb püüda vältida mitte selle pärast, et vähendada võimalusi tõestada midagi väära, vaid selleks, et vähendada võimalusi tõestada mõne tõese väite eitus.