Frege mõistatus ja nimed
Karmo Talts
Vaatame Frege mõistatust sellest seisukohast, et "Ehatäht" ja "Koidutäht" on erinevad nimed. Avastus seisnes selles, et need nimed käivad ühe ja sama objekti kohta.
Vaatame nüüd selle tähendust selle avastuse väljendamise jaoks predikaatloogikas. Ühekohaliste predikaatide Ehatäht(x) ja Koidutäht(y) ja identsusväite x=y abil ei saa seda avastust edasi anda, sest me räägime lisaks objektile nimedest. Seega on selle avastuse edasi andmiseks vaja kahekohalisi predikaate Käib kohta (Nimi "Koidutäht", x) ja Käib kohta (Nimi "Ehatäht, y) ja identsusväidet x=y
No comments:
Post a Comment