Predikaadid ning olemasolevad väited, omadused ja suhted

Predikaadid ning olemasolevad väited, omadused ja suhted 

Karmo Talts

 

Tõlgendame tõeväärtusega objekte nii: kui leidub tõene objekt x või leidub väär objekt x, siis saab selle asendada lausemuutujaga. St., et lausemuutujaid ei saa lihtsalt defineerida, sest lausemuutujaga saab asendada ainult olemasolevaid tõeväärtusega objekte.

Vaatame nüüd objekti x, mis on defineeritud x on väärana. Kuna siis, kui leiduks x, siis leiduks korraga tõene ja väär objekt, siis x-i ei leidu. Kuna x-i ei leidu, ei saa seda lausemuutujaga asendada ja seega ei leidu valetajalauset.

Laiendame nüüd meie käsitluse mistahes predikaatidele. Kui leidub omadus x või suhe x, siis saab selle asendada ühe- või rohkemakohalise predikaadiga.

Vaatame nüüd x-i, mis on defineeritud suhtena „ei käi enda kohta”. Kui leidub x, siis ta korraga käib enda kohta ja ei käi enda kohta. Seega x-i ei leidu. Kuna x-i ei leidu, siis ei saa seda ühe või rohkemakohalise predikaadiga asendada ja seega leidu predikaati Heteroloogiline.