Objektid, millel puudub mingi predikaat, ja hulkade moodustamine

Objektid, millel puudub mingi predikaat, ja hulkade moodustamine

Karmo Talts

 

Vaatame objekti, mis on valge. Üks selle objekti predikaatidest on predikaat Valge.

Vaatame nüüd objekti, mis pole sinine. Loomulikum on öelda, et ükski selle objekti predikaatidest pole sinine, kui öelda, et selle objekti üks predikaatidest on mitte-sinine.

Vaatame nüüd, kuidas moodustada hulkasid elementidest, millel puudub predikaat P. Need elemendid ei kuulu hulka, kuhu kuuluvad elemendid predikaadiga P. Kui mõned neist ei kuulu ühtegi hulka, mille liikmetel on mõni tein predikaat ja puudub predikaat P, siis nad moodustavad elementide, millel puudub predikaat P ja millel puuduvad ka kõik teised predikaadid, mis on mõne teise hulga liikmetel, hulga.

Vaatame nüüd hulki, mis ei kuulu iseendasse. Need objektid ei kuulu hulkade, kuhu kuuluvad hulgad, mis kuuluvad endasse, hulka Kui mõned neist ei ei kuulu ühtegi teise hulka, mille liikemetel on mingi teine predikaat ja mille liikmetel puudub predikaat P, siis nad moodustavad hulga, mille elemendid ei kuulu endasse ja millel pole ühtegi teist predikaati, mis on mõne teise hulga liikmetel.