Piirang tõestamist vajava konditsionaali kasutamisele selle sama konditsionaali tõestamiseks ja Curry paradoks
Karmo Talts
Sõnastame järgmise piirangu konditsionaali tõestamisele: kui P-d saab kasutada Q tõestamiseks ilma, et Q tõestamise käigus kasutatakse tõestamist vajavat konditsionaali ennast, siis me same tõestada konditsionaali "kui P, siis Q".
Vaatame nüüd Curry lauset. Kui me paneme väitele "kui C, siis absurdsus" nimeks C, eeldame, et C ja asendame C ekvivalentse konditsionaaliga, siis me saame me tõestamist vajava konditsionaali. Seega kasutab tuletuskäik lubamatut eeldust.
No comments:
Post a Comment