Väidete nimed formaalses keeles ja väidete sisu
Karmo Talts
Vaatame väidetele viitamist nimede abil formaalsetes keeltes väidete sisu seisukohast. Kui me asendame deklaratiivse lause a termiga X ja me paneme X-ile nimeks Y, siis Y toimib sisuliselt a nimena. Kui me asendame deklaratiivse lause a X-iga ja me paneme väitele „X on tõene” nimeks Y, siis Y toimib sisuliselt väite „a on tõene” nimena. Jne.
Vaatame nüüd valetajalauset. Kui me asendame deklaratiivse lause a X-iga ja paneme väitele „X on väär” nimeks X, siis sisuliselt toimib X väite „a on väär” nimena. Formaalselt on X väite „X on väär” nimi, st. X toimib sisuliselt ka väite „väide „a on väär” on väär” nimena. Seega toimib X sisuliselt kahe erineva väite nimena ja me kasutame sisuliselt X-i kahes erinevas tähenduses.
Vaatame nüüd selle tähendust. Formaalse keele paradoksaalsetele väidetele ei saa anda sisu, sest siis me kasutame ühte ja sama termi erinevatele sisulistele väidetele viitamiseks.
Kommentaare ei ole:
Postita kommentaar