"lihtpredikaatide" - 1 õppematerjal

Formaalsed lähenemised keeleteaduses

Loogiline eitus ­ ¬, muudab väite tähenduse vastupidiseks. Disjunktsioon ­ v, mis saab olla nii kaasav (tähendus: ja/või) kui ka välistav (kas üks või teine, aga mitte mõlemad). Tähenduselt lähedane inimkeele sõnale või. Implikatsioon ­ , sarnane inimkeele tingimuslausega kui... siis. PREDIKAATARVUTUS: Predikaat ­ seos, tunnus vms, mis kehtib argumentide kohta. Argument - subjekt Lihtpredikaatide representeerimine ­ 1 predikaat (verb; ilma ajata) + mõned argumendid (konstantsed). Predikaadid viitavad omadustele: formaalses semantikas tähendab ,,predikaat" hulka. Tavanoomenid on semantiliselt predikaadid, sest neid võib muuta konkreetsele objektile viitavaks (nt minu koer), sest paljudes keeltes pole vaja koopulat (nt vene k) ja sest nimisõna kasutus on predikatiivne (Lotte on koer). Kui predikaat on hulk, siis selle kasutus on võrdne mingi indiviidi asetamisega sellesse hulka