Formální sémantika (přirozený jazyk) - Formal semantics (natural language)
Formální sémantika je rámec, který nabízí teoretický popis toho, jak jsou významy vět odvozeny z významů jejich částí. Formální sémantika je procvičována v lingvistika, matematická logika a filozofie, čerpající z dřívější práce ve Windows filozofie jazyka, teorie formálního jazyka, a logika.
Přehled
Lingvisté zřídka používali formální sémantiku až do Richard Montague ukázal, jak lze s angličtinou (nebo jakýmkoli přirozeným jazykem) zacházet jako s formálním jazykem.[1] Jeho příspěvek k lingvistické sémantice, který je nyní známý jako Montague gramatika, byl základem pro další vývoj, jako je kategoriální gramatika z Bar-Hillel a kolegové a novější typově logická sémantika (nebo gramatika) založená na Lambekův počet.[2]
Cíle a oblast působnosti
Existují určité neshody ohledně vysvětlujících rolí připisovaných formální sémantice. Několik teoretiků zakládá sémantiku na faktech o komunikaci, konvencích a pravdě,[3] zatímco ostatní to mají tendenci vidět jako syntakticky - řízený projekt zaměřený především na vysvětlování produktivita a systematičnost v přirozeném jazyce, a tedy součást většího jazykového podniku, jako je Chomskyanská lingvistika[4] nebo jakýkoli jiný modulární pohled na lidské jazykové schopnosti.[5]
Odrůdy formální sémantiky
Většina současných přístupů k formální sémantice spadá do paradigmatu tzv podmíněná sémantika pravdy, který se pokouší vysvětlit význam věty poskytnutím podmínek, za kterých by byla pravdivá.[3][6] Několik stoupenců podmíněného programu pravdy však také tvrdilo, že smysl má více než pravdivé podmínky.[7] Alternativní přístupy zahrnují více kognitivně orientované návrhy, jako je Pietroskiho chápání významů jako pokynů k vytváření konceptů, přičemž věty postrádají pravdivostní podmínky.[8] Další řada dotazů, použití lineární logika, je sémantika lepidla, který je založen na myšlence „interpretace jako dedukce“, úzce souvisí s paradigmatem „gramatiky jako dedukce“ kategoriální gramatiky.[9]
Kognitivní sémantika se objevily a vyvinuly jako reakce proti formální sémantice, ale v poslední době došlo k několika pokusům o sladění obou pozic.[10]
Viz také
- Dynamická sémantika
- Montague gramatika
- Výpočetní sémantika
- Teorie reprezentace diskurzu
- Rámcová sémantika (lingvistika)
- Sémantická analýza
Reference
- ^ Velmi čitelný a výstižný přehled toho, jak si formální sémantika našla cestu do lingvistiky, najdete v článku Formální přístup k významu: Formální sémantika a její nedávný vývoj podle Barbara Abbott. In: Journal of Foreign Languages (Shanghai), 119: 1 (January 1999), 2–20.
- ^ Michael Moortgat (1988). Kategorická šetření: logické a jazykové aspekty Lambekova počtu. Walter de Gruyter. ISBN 978-90-6765-387-9. Citováno 5. dubna 2011.
- ^ A b Lewis, David (prosinec 1970). "Obecná sémantika". Syntezátor. 22 (1/2): 18–67. doi:10.1007 / BF00413598.
- ^ Seth Yalcin (2014). "Sémantika a metasémantika v kontextu generativní gramatiky". V Alexis Burgess; Brett Sherman (eds.). Metasemantika: nové eseje o základech smyslu. Oxford University Press. ISBN 9780199669592.
- ^ Borg, Emma (2004). Minimální sémantika. Oxford University Press. ISBN 978-0199206926.
- ^ Irene Heim; Angelika Kratzer (1998). Sémantika v generativní gramatice. Wiley-Blackwell. ISBN 978-0-631-19713-3.
- ^ Stefano Predelli (2013). To znamená bez pravdy. Oxfordské stipendium. ISBN 9780199695638.
- ^ Paul Pietroski (2018). Související významy. Oxford University Press. ISBN 9780198812722.
- ^ Harry Bunt (2008). Výpočetní význam. 3. Springer. str. 458. ISBN 978-1-4020-5957-5.
- ^ Hamm, Fritz; Kamp, Hans; Lambalgen, Michiel van (01. 09. 2006). „Mezi formální a kognitivní sémantikou neexistuje žádný odpor.“ Teoretická lingvistika. 32 (1): 1–40. CiteSeerX 10.1.1.80.6574. doi:10.1515 / tl.2006.001. ISSN 1613-4060.
Další čtení
- Max Cresswell (2006). "Formální sémantika". V Michael Devitt, Richard Hanley (ed.). Blackwellův průvodce filozofií jazyka. Wiley-Blackwell. ISBN 978-0-631-23142-4. Velmi přístupný přehled hlavních myšlenek v této oblasti.
- John I. Saeed (2008). Sémantika. Představujeme lingvistiku (3. vydání). Wiley-Blackwell. ISBN 978-1-4051-5639-4. Kapitola 10, Formální sémantika, obsahuje nejlepší pokrytí hlavních technických směrů na úrovni kapitol
- Johan van Benthem; Alice Ter Meulen (2010). Příručka logiky a jazyka (2. vyd.). Elsevier. ISBN 978-0-444-53726-3. Nejkomplexnější reference v této oblasti.
- Emmon W. Bach (1989). Neformální přednášky o formální sémantice. SUNY Stiskněte. ISBN 978-0-88706-772-3. Jedna z prvních učebnic. Přístupné vysokoškolákům.
- Ronnie Cann (1993). Formální sémantika: úvod. Cambridge University Press. ISBN 978-0-521-37610-5.
- Irene Heim; Angelika Kratzer (1998). Sémantika v generativní gramatice. Wiley-Blackwell. ISBN 978-0-631-19713-3.
- Gennaro Chierchia; Sally McConnell-Ginet (2000). Význam a gramatika: úvod do sémantiky (2. vyd.). MIT Stiskněte. ISBN 978-0-262-53164-1.
- Sean A. Fulop (2004). O logice a učení jazyka. Trafford Publishing. ISBN 978-1-4120-2381-8.[samostatně publikovaný zdroj ]
- Glyn V. Morrill (1994). Typ logická gramatika: kategorická logika znaků. Springer. ISBN 978-0-7923-3095-0.
- Reinhard Muskens. Typově logická sémantika[trvalý mrtvý odkaz ]. Routledge Encyclopedia of Philosophy Online.
- Bob Carpenter (1998). Typově logická sémantika. MIT Stiskněte. ISBN 978-0-262-53149-8.
- Johan van Benthem (1995). Jazyk v akci: kategorie, lambda a dynamická logika. MIT Stiskněte. ISBN 978-0-262-72024-3.
- Barbara H. Partee. Úvahy formálního sémantika k únoru 2005. Dostatek historických informací. (Rozšířená verze úvodní eseje v Barbara H. Partee: Kompozičnost ve formální sémantice: Vybrané příspěvky Barbary Parteeové. Blackwell Publishers, Oxford, 2004.)
 | Tento sémantika článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |