Formaalsed lähenemised keeleteaduses
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. Nt: see poiss on geenius = see poiss on selles hulgas, kuhu geeniused kuuluvad.
Hulgateooria predikatsioon ehk suhe ,,kuulub x hulka". Komplekspredikaate võib tõlgendada hulkade ühisosana (nt valge
koer on valgete asjade hulga ja koerte hulga ühisosa üks liikmetest).
Vabad muutujad: x, y jne hoiavad kohta. Vaba muutuja väärtus on avatud sisuga. Muutuja seotakse kvantoriga.
Eksistentsiaalkvantor = eksisteerib miski/mõni asi, mille kohta kehtib, et... Sellega kaasneb konjunktsioon.
Üldsuskvantor = kõik/igaüks. Iga konkreetse asja kohta peab kehtima, et... Sellega kaasneb implikatsioon.
Semantika ülesanded
annaabi.ee 
