Väite mitte-tõesuse tingimused
Karmo Talts
Vaatame väite mittetõesuse piisavaid tingimusi. Klassikalises loogikas ei ole vasturääkivused lubatud. Seega siis, kui väitest järeldub vasturääkivus, pole see väide tõene.
Kasutame nüüd kontrapositsiooni. Kui väide on tõene, siis sellest väitest ei järeldu vasturääkivus.
Vaatame nüüd selle tähendust Tarski skeemi jaoks. Tarski skeem eirab seda, et see, et väitest järeldub vasturääkivus, on väite mitte-tõesuse piisav tingimus ja seda, et see, et väitest ei järeldu vasturääkivus, on väite tõesuse tarvilik tingimus.
No comments:
Post a Comment