Kooskõlaliselt defineeritud negatiivsed predikaadid
Karmo Talts
Vaatame, millise predikaadi jaoks ei saa laieneda predikaadi P, mis on defineeritud predikaadi Q eituse kaudu, definitsioon. See ei saa laieneda iseendale, st. juhtudele, kus P ja Q on identsed.
Vaatame nüüd negatiivsete predikaatide kooskõlalist defineerimist. x-il on predikaat P parajasti siis, kui x-il puudub predikaat Q ja P pole identne Q-ga.
Vaatame nüüd kooskõlaliselt defineeritud heteroloogilisuse predikaati. Mõiste on heteroloogiline parajasti siis, kui mõiste ei käi enda kohta ja pole heteroloogilisuse mõiste. See tähendab, et mõiste on autoloogiline parajasti siis, kui mõiste käib enda kohta või on heteroloogilisuse mõiste.
Vaatame nüüd väärust. Väide on väär parajasti siis, kui pole nii, nagu väide ütleb ja väide ei ütle, et ta on väär.
No comments:
Post a Comment