Valetajalause eksistents
Karmo Talts
Vaatame valetajalauset eksistentsi seisukohast. Kui me same tõestada, et ei leidu tõest valetajalauset ja tõestada, et ei leidu väär valetajalauset, siis eeldusel, et väited on tõesed või väärad, me same tõestada, et ei leidu valetajalauset.
Vaatame nüüd selle tähendust. Lause "see väide on väär" on grammatiline lause. See, mida me nimetame valetajalauseks, on propositsioon, mida see lause eeldatavalt väidab ja ei leidu sellist propositsiooni, mida see grammatiline lause tegelikult väljendaks.
Vaatame nüüd formaalset konstruktsiooni P↔Fl⌜P⌝. Kui leidub tõene propositsioon, millega saab P asendada, saame me tõese väite. Kui leidub väär propositsioon, millega saab P asendada, saame me väära väite. Kui ei leidu kumbagi, siis pole sel konstruktsioonil sisu.
No comments:
Post a Comment