Sisuline ja formaalne tõde
Karmo Talts
Eristame sisulise ja formaalse tõe. Väide, et x-il on predikaat P, on sisuliselt tõene siis, kui P ei ole tõeväärtuspredikaat, ja x-il on predikaat P. P on formaalselt tõene siis, kui P ja P on sisuliselt tõene või P on tuletatud tõeste eelduste, mille ahela alguses on vähemalt üks sisuliselt tõene eeldus, hulgast.
No comments:
Post a Comment