Predikaadi definitsioon mingi konkreetse elementide kollektsiooni elementide jaoks ja tõde

Predikaadi definitsioon mingi konkreetse elementide kollektsiooni elementide jaoks ja tõde

Karmo Talts

 

Vaatame mõistete, mis ei ole heteroloogilisuse mõiste, hulka. Eeldus, et sellel hulgal on heteroloogiliste ja autoloogilisyte mõistete alamklassid, ei ole pardoksaalne.

Vaatame nüüd võimalusi seletada seda erinevust mõistete, mis ei ole heteroloogilisuse mõiste, ja mõistete, mis on heteroloogilisuse mõiste, kollektsioonide vahel. Heteroloogilisuse mõiste on defineeritud mõistete, mis ei ole heteroloogilisuse mõiste, kollektsiooni elementide jaoks ja pole defineeritud mõistete, mis on heteroloogilisuse mõiste, kollektsiooni elementide jaoks.

Vaatame selle üldisemat tähendust. Kui predikaat P on defineeritud kollektsiooni x elementide jaoks, siis selle kollektsiooni elementidel on predikaat P või puudub predikaat P, kolmandat võimalust pole.

Vaatame nüüd selle tähendust tõe jaoks. Kui predikaat P on defineeritud hulga x elementide jaoks, siis saab sõnatada väiteid x-i kuuluvate elementide ja predikaat P suhete kohta. Nende väidetega saab asendada lausemuutujad Tarski skeemis ja nii selguvad nende väidete tõetingimused.