Konditsionaal, mille sissetoomiseks on vaja tõestada, et konditsionaali eeldus on väär või konditsionaali järeldus on tõene, ja Curry paradoks
Karmo Talts
Vaatame, mida annaks materiaalse konditsionaali asendamine konditsionaaliga, mille sissetoomiseks on vaja tõestada, et konditsionaali eeldus on väär või tõestada, et konditsionaali järeldus on tõene. Kuna me ei saa tõestada Curry lause järeldust, sest see on väär ja tõestada Curry lause eelduse väärust, sest vastasel juhul me tõestaks, et Curry lause on korraga tõene ja väär, siis me ei saa tõestada Curry lauset.
Vaatame nüüd, mida selline konditsionaal tähendaks loogika teoreemide jaoks. Väite P identsuse tõestamine eeldaks, et me tõestame kas selle, et P on väär või tõestame selle, et P on tõene. Seega poleks identsus enam loogika teoreem.
Kommentaare ei ole:
Postita kommentaar