Võimaluse, et mõned vasturääkivused pole ei tõesed ega väärad, lubamine
Karmo Talts
Eeldame, et vasturääkivus on väär või pole ei tõene ega väär. Sel juhul erinevad teoreemid, mis käsitlevad eeldusi, millest järeldub vasturääkivus, klassikalistest.
Vaatame nüüd eituse sisse toomist. Kui väitest järeldub vasturääkivus, siis on väide väär või pole ei tõene ega väär.
Vaatame nüüd absurdi tõestamist. Kui väite eitusest järeldub vasturääkivus, siis on väide tõene või pole ei tõene ega väär.
No comments:
Post a Comment