Formální sémantika (přirozený jazyk)
Formální sémantika je obor lingvistiky, který se zabývá významem přirozeného jazyka. Používá formální nástroje, jako je logika a teorie množin, k reprezentaci a analýze významu jazykových výrazů.
Základní pojmy
Význam: To, co jazykový výraz vyjadřuje nebo na co odkazuje.
Reference: Vztah mezi jazykovým výrazem a entitou ve světě, na kterou odkazuje.
Interpretace: Přiřazení významů jazykovým výrazům v daném kontextu.
Model: Abstraktní reprezentace světa, která umožňuje interpretovat jazykové výrazy.
Sémantická hodnota: Hodnota, která je přiřazena jazykovému výrazu v dané interpretaci.
Hlavní přístupy
Existují různé přístupy k formální sémantice, včetně:
Modelově teoretický přístup: Založený na myšlence, že význam jazykového výrazu je určen jeho vztahem ke světu.
Diskursní přístup: Založený na myšlence, že význam jazykového výrazu je určen jeho použitím v kontextu diskurzu.
Lexikální přístup: Založený na myšlence, že význam jazykového výrazu je určen jeho lexikálními vlastnostmi.
Aplikace
Formální sémantika má širokou škálu aplikací, včetně:
Počítačová lingvistika: Pochopení a generování přirozeného jazyka v počítačových systémech.
Logika: Poskytování formálního základu pro logické uvažování a argumentaci.
Filosofie jazyka: Zkoumání povahy významu a vztahu mezi jazykem a světem.
Kognitivní věda: Modelování mentálních procesů, které jsou zapojeny do porozumění a produkce jazyka.
Významní představitelé
Někteří významní představitelé formální sémantiky jsou:
Alfred Tarski
Richard Montague
David Kaplan
Saul Kripke
Ray Jackendoff