Selle, et Curry lausete eeldused on konditsionaalid, tähendus
Karmo Talts
Vaatame selle, et Curry laused on iseenda eeldused, tähendust. Curry laused on konditsionaalid. Seega on Curry lausete eeldusteks konditsionaalid.
Vaatame nüüd omakorda selle tähendust, et et Curry lausete eeldused on konditsionaalid. Konditsionaalid on tühjalt tõesed siis, kui nende eeldus on väär. Seega saab Curry lause eeldus olla tühjalt tõene.
Vaatame nüüd, millal on Curry lause eeldus tühjalt tõene. See on nii siis, kui Curry lause on väär, sest Curry lause on iseenda ja iseenda eelduse eeldus.
Vaatame nüüd selle tähendust konditsionaalide tõestamise jaoks. Selleks, et tõestada konditsionaali, mille eeldus on samuti konditsionaal, tõesust, on vaja näidata seda, et konditsionaali järeldus on tõene siis, kui konditsionaali eeldus on sisukalt tõene.
Vaatame nüüd, kas me saame Curry lauset tõestada. Curry lause eeldus on sisukalt tõene siis, kui Curry lause on tõene ja absurdsus on tõene. Kuna absurdsus pole tõene, siis pole Curry lause tõene ja absurdsus tõene. Seega pole Curry lause eeldus sisukalt tõene.
No comments:
Post a Comment