Eeldus, et valetajalause eeldab iseenda eksistentsi ja muutujate asendamine
Karmo Talts
Vaatame valetajalauset lähtudes eeldusest, et valetajalause eeldab iseenda eksistentsi. Valetajaluse eeldab, et leidub täpselt üks väär väide, mis on ta ise.
Vaatame nüüd selle tähendust muutujate asendamise jaoks. Valetajalause peab endale viitamiseks kasutama muutujat, mida tal on ühtlasi vaja selle väljendamiseks, et teda on täpselt üks. Seega peab valetajalause kasutama endale viitamiseks iseendas esinevat sidumata muutujat. See on lubamatu ja seega ei saa valetajalause endale viidata.
No comments:
Post a Comment