Designeeritud ja designeerimata tõdede eristus, konditsionaalid ning Curry paradoks
Karmo Talts
Vaatame designeeritud ja designeerimata tõdede eristuse tähendust konditsionaalide jaoks. Ainult siis, kui designeeritult tõene eeldus P tõestab, et Q on designeeritult tõene, on konditsionaal "kui P, siis Q" designeeritult tõene.
Vaatame nüüd Curry lauset. Kui Curry lause eeldus on designeeritult tõene, siis on soovimatu järeldus designeeritult tõene. Seega Curry lause eeldus pole designeeritult tõene.
Kommentaare ei ole:
Postita kommentaar