Hulkade moodustamine ja ebamäärasus
Karmo Talts
Vaatame võimalust, et kiilaspeade hulka pole võimalik moodustada. Siis pole ka võimalik otsustada, missugused elemendid sellesse hulka kuuluvad.
Vaatame nüüd, kas sellele räägib vastu see, et me mõnede inimeste puhul teame, et nad on kiilad. Kui leidub mõne hulga alamklass, mille liikmed on defineeritud kiilasuse kaudu, siis on võimalik otsustada, et selle liikmed sellesse alamklassi kuuluvad.
Vaatame nüüd, kas inimesed, kelle puhul on selge, et nad kiilad, kuuluvad sellisesse alamklassi. Predikaat „inimene, kelle puhul on selge, et ta on kiilas“ omistab inimestele kiilasuse. Seega on inimeste, kelle puhul on midagi selge, hulgal alamklass, mille liikmed on defineeritud kiilasuse predikaadi abil ja me saame otsustada, et nad sellesse alamklassi kuuluvad.
No comments:
Post a Comment