Veel valetaja paradoksist
Karmo Talts
Vaatame eeldust, et Tarski skeem on tõene ja valetajalause on tõene. Sellest järeldub vasturääkivus. Seega pole Tarski skeem a valetajalause korraga tõesed.
Vaatame nüüd eeldust, ett Tarski skeem on tõene ja valetajalause on väär. Sellest järeldub vasturääkivus. Seega pole korraga Tarski skeem tõene ja valetajalause väär.
Vaatame nüüd, millised võimalused üle jäävad. Kuna juhul, kui Tarski skeem on tõene, siis ei saa valetajalause olla ei tõene ega väär, siis pole Tarski skeem tõene.
No comments:
Post a Comment