Curry paradoks ja konditsionaalid mängusemantikas
Karmo Talts
Vaatame konditsionaale mängusemantika seisukohast. Konditsionaal ütleb, et kui me kaitseme eeldust, siis me kaitseme järeldust.
Vaatame nüüd Curry lauseid. Need ütlevad, et kui me kaitseme Curry lauset, siis me kaitseme midagi soovimatut. Seega juhul, kui me ei soovi ühelgi juhul kaitsta midagi soovimatut, ei tohi me kaitsta Curry lauset.
Kommentaare ei ole:
Postita kommentaar