Väidetele viitavad väited, identsus ja mitme muutujaga funktsioonid
Karmo Talts
Uurime seda, kas identsus on ühe või mitme muutujaga funktsioon.
Selleks vaatame väidetele viitavaid väiteid. Kui X on Y-i nimi, siis saab X-i asendada nii X-i, kui ka Y-ga. Seega on identsus vähemalt nende väidete puhul mitme muutujaga funktsioon ja väitele viitav väide on identne mitme väitega.
Vaatame nüüd selle tähtsus väidetele viitavate väidete tõeväärtuse jaoks. Väitele viitav väide on identne mitme väitega ja neil väidetel on tõeväärtused, mis ei pruugi kattuda.
Vaatame nüüd valetaja paradoksi. Kui X on X on väär nimi, siis on X identne kahe erineva väitega, X-i ja X on vääraga. Kuna teine neist on väide esimese väite vääruse kohta, siis on neil väidetel erinev tõeväärtus.
No comments:
Post a Comment