Selle, et eri keerukusega väited on identsed, võimatus ja paradoksid
Karmo Talts
Sõnastame järgmise seaduse: ükski väide ei ole identne väitega, mis on temast keerukam.
Vaatame nüüd Curry lauseid. Kui Curry laused oleks korrektselt moodustatud, siis oleks Curry lause eeldus identne Curry lausega. Kuna konditsionaali eeldus on konditsionaalist lihtsam, siis ei saa konditsionaali eeldus olla identne konditsionaaliga ja seega on Curry lause vigaselt moodustatud.
Vaatame nüüd valetajalauset. Kui valetajalause oleks korrektselt moodustatud, siis oleks väide "see väide on väär" identne väitega "väide "see väide on väär" on väär". Kuna teine neist väidetest on esimesest keerukam, siis ei saa neid väited olla identsed ja seega on valetajalause vigaselt moodustatud.
No comments:
Post a Comment