Predikaadid „rakendub esimese järgu objektile” ja „rakendub predikaadile”

Predikaadid „rakendub esimese järgu objektile” ja „rakendub predikaadile” 

Karmo Talts

 

Eristame predikaadid „rakendub esimese järgu objektile” ja „rakendub predikaadile”.

Vaatame nüüd lihtsat näidet nende kahe predikaadi suhetest. Kui P rakendub esimese järgu objektile x, siis P-le rakendub predikaat „rakendub esimese järgu objektile”, kus objekti millele P rakendub, kohta täidab x.

Vaatame nüüd, mida see tähendab lihtsate juhtude tingimuste jaoks. See, et P rakendub esimese järgu objektile või objektidele, on lihtsatel juhtudel selle, et P-le rakendub asjassepuutuv predikaat Q, tarvilik tingimus.

Vaatame nüüd lähenemist, mille järgi alati siis, kui P-le rakendub predikaat Q, leidub vähemalt üks objekt x, millele rakendub predikaat R. Kolmanda järgu predikaadid on vahend sellest rääkimiseks, millistele esimese järgu objektidele esimese/teise järgu predikaadid rakenduvad. Neljanda järgu predikaadid on vahend sellest rääkimiseks, millistele esimese/teise järgu predikaatidele kolmanda järgu predikaadid rakenduvad. Jne.