Väite tõeväärtuse tõestatavus ja loogika praktiline tähtsus
Karmo Talts
Vaatame seda, kas sellel, kas klassikalise loogika seadused kehtivad, on praktilist tähtsust. Isegi siis, kui leidub tõelisi vasturääkivusi, aga neid ei saa tõestada, ei saa me tõestada vasturääkivust. Seega võib praktika seisukohast asendada vasturääkivuse seaduse seadusega, et vasturääkivust pole võimalik tõestada.
Vaatame nüüd välistatud kolmanda seadust. Kõigi väidete tõeväärtust pole võimalik tõestada. Seega võib praktika seisukohast asendada välistatud kolmana seaduse seadusega, mis näeb ette võimaluse, et väite tõeväärtust ei saa tõestada.
Vaatame nüüd paradokse. Kui väitest P järeldub absurdus, siis on väide P tõestatavalt väär või väite P tõeväärtust ei saa tõestada.
No comments:
Post a Comment