teisipäev, 13. oktoober 2026

Kategooriviga predikaatide omistamisel, eitus ja hulgad

Kategooriviga predikaatide omistamisel, eitus ja hulgad

Karmo Talts

 

Vaatame eelduse, et leidub predikaate ja objekte, mille puhul on predikaadi omistamine objektile kategooriaviga, tähendust eituse jaoks. Me vajame kahte eitust. Üks eitus ütleb, et kuigi objektile x predikaadi P omistamine pole kategooriaviga, x-il pole P-d. Teine ütleb, et P omistamine x-ile on kategooriaviga.

Vaatame nüüd selle tähendust hulkade moodustamisele. Hulga objektidest, millele pole kategooriaviga rakendada predikaati P, elemente saab jagada alamhulkadesse P omamise kaudu. Elemendid, mille on kategooriaviga P-d rakendada, ei kuulu sellesse hulka.

Vaatame nüüd väiteid. Väidete puhul saab eitada nii seda, et on nii nagu väide ütleb, kui ka seda, et väite sõnastamisel pole tehtud kategooriaviga.

Kommentaare ei ole:

Postita kommentaar