Hulkadele, väidetele ja mõistetele rakenduvad predikaadid ja teistlaadi objektid

Hulkadele, väidetele ja mõistetele rakenduvad predikaadid ja teistlaadi objektid

Karmo Talts

 

Vaatame hulkasid, mis kuuluvad endasse ja hulkasid, mis ei kuulu endasse. Sellised objektid on hulgad. Seega objektid, millele ei saa rakendada ei predikaati „hulk, mis kuulub endasse“ ega predikaati „hulk, mis ei kuulu endasse“ pole hulgad.

Käsitleme nüüd analoogselt tõeväärtustega seotud predikaate. Objektid, millele neid rakendada saab, on väited ja objektid, millele neid ei saa rakendada, pole väited.

Vaatame nüüd selle tähendust väidete sõnastamise jaoks. Me saame anda praktilisi juhendeid väidete sõnastamise jaoks, aga need ei saa olla ammendavad, sest selleks, et objekt oleks väide, peab objekt lisaks formaalsetele kriteeriumitele vastamise omama ka tõeväärtust.  

Vaatame nüüd autoloogilisuse ja heteroloogilisuse predikaate. Need käiva mõistete kohta. Seega objektid, millele ei saa neist kumbagi rakendada, ei ole mõisted.

Vaatame nüüd selle tähendust heteroloogilisuse kontseptsiooni jaoks. Me saame anda praktilisi juhendeid selle kindlaks tegemiseks, kas mõiste on autoloogiline, aga me ei saa heteroloogilisuse mõistet lõpuni defineerida.