Curry lausete hulk ja väide, et Curry lausest järeldub absurdsus
Karmo Talts
Sõnastame üldisuskvantori abil Curry lausega ekvivalentse väite. Iga Curry lause puhul järeldub Curry lausest, et absurdsus on tõene.
Vaatame nüüd võimalust, et Curry lauseid ei leidu. Siis on see tühi tõde, et iga Curry lause puhul järeldub Curry lausest, et absurdsus on tõene.
Vaatame nüüd, kas väide "iga Curry lause puhul järeldub Curry lausest, et absurdsus on tõene" viitab iseendale ja seega on ise Curry lause. See väide viitab väidete hulgale, mitte üksikväitele ja seega see väide ei viita iseendale.
No comments:
Post a Comment