Hästi defineeritud ja ebamäärased predikaadid
Karmo Talts
Sõnastame järgmise arusaama selle kohta, kuidas hästi defineeritud predikaate eristada ebamäärastest predikaatidest: P on hästi defineeritud predikaat siis, kui on selge, missuguste teiste konkreetsete predikaatide omamise korral on välistatud see, et objektil on predikaat P.
Vaatame nüüd predikaate, nagu Kiilas jne. Pole selge, millised juuksekarvade arvud välistavad selle, et keegi on kiilas jne. Seega on sellised predikaadid ebamäärased.
Vaatame nüüd predikaate nagu Kuulub hulka, On tõene jne. Sellisete predikaatide omamist välistavad predikaadid Ei kuulu hulka, Pole tõene jne. on puhtabstraktsed ja ei ütle milliste konkreetsete predikaatide omamine välistab selle, et element kuulub hulka, et väide on tõene jne. Seega on ka predikaadid nagu Kuulub hulka, On tõene jne. ebamäärased.
No comments:
Post a Comment