Tarski skeemist järelduv välistav disjunktsioon ja valetajalause tõetingimused
Karmo Talts
Vaatame bikonditsionaali „P on tõene parajasti siis, kui P“. Sellest bikonditsionaalist järeldub välistav disjunktsioon „kas P pole tõene või P, aga mitte mõlemad korraga“.
Vaatame nüüd valetajalauset. Valetajalausest järeldub väljendi „see väide“ asendamisel valetajalausega, et valetajalause pole tõene.Valetajalausest ja väitest, et valetajalause pole tõene saab sisse tuua konjunktsiooni "on nii nagu valetajalause ütleb ja valetajalause pole tõene".
Vaatame nüüd selle tähendust. Disjunktsioon „kas valetajalause pole tõene või on nii, nagu valetajalause ütleb, aga mitte mõlemad“ ja seega ka bikonditsionaal „valetajalause on tõene parajasti siis, kui on nii, nagu valetajalause ütleb“ pole tõesed juhul, kui konjunktsioon "on nii nagu valetajalause ütleb ja valetajalause pole tõene"on tõene ja see konjunktsioon on selle, et on nii, nagu valetajaluse ütleb, tarvilik tingimus. Seega pole Tarski skeem valetajalause tõetingimus.
No comments:
Post a Comment