Välistatud kolmanda seadus ja väidete tõestatavus
Karmo Talts
Sõnastame ettevaatlikuma variandi välistatud kolmanda seadusest, mis ütleb, et kui väite tõeväärtus on tõestatav, siis on väide on tõestatavalt tõene või tõestatavalt väär.
Sõnastame nüüd sellega kokku sobiva variandi vasturääkivuse seadusest. Väide ei saa olla korraga tõestatavalt tõene ja tõestatavalt väär.
Vaatame nüüd eituse sissetoomise analoogi. Kui väitest järeldub vasturääkivus, siis on väide tõestatavalt väär või ei ole väite tõeväärtus tõestatav.
No comments:
Post a Comment