Dynamická sémantika - Dynamic semantics

Dynamická sémantika je rámec logiky a sémantiky přirozeného jazyka, který pojímá význam věty jako její potenciál aktualizovat kontext. Ve statické sémantice znamená znalost významu věty vědět, kdy je pravdivá; v dynamické sémantice znamená znát význam věty znalost „změny, kterou přináší v informačním stavu kohokoli, kdo přijímá zprávy, které sdělil“. V dynamické sémantice jsou věty mapovány na funkce zvané potenciály změny kontextu , které přebírají vstupní kontext a vracejí výstupní kontext. Dynamická sémantika byla původně vyvinuta Irene Heim a Hansem Kampem v roce 1981 k modelování anafory , ale od té doby byla široce aplikována na jevy zahrnující předpoklad , množné číslo , otázky , diskurzní vztahy a modalitu .

Dynamika anafory

Prvními systémy dynamické sémantiky byla úzce související sémantika změny souborů a teorie reprezentace diskurzu , kterou vyvinuli současně a nezávisle Irene Heim a Hans Kamp . Tyto systémy byly určeny k zachycení oslí anafory , která odolává elegantnímu kompozičnímu zpracování v klasických přístupech k sémantice, jako je Montagueova gramatika . Oselskou anaforu dokládají nechvalně proslulé oslí věty, kterých si nejprve všiml středověký logik Walter Burley a na moderní pozornost je upozornil Peter Geach .

Oslí věta (relativní věta) : Každý farmář, který vlastní osla, ho porazí.

Oslí věta (podmíněná) : Pokud zemědělec vlastní osla, porazí ho.

Abychom zachytili empiricky pozorované pravdivostní podmínky takových vět v logice prvního řádu , bylo by třeba přeložit neurčitou podstatnou frázi „osel“ jako univerzální kvantifikátor, který by překračoval proměnnou odpovídající zájmenu „to“.

FOL překlad oslí věty :${\ Displaystyle \ forall x \ forall y (\, ({\ text {farmer}} (x) \ land {\ text {donkey}} (y) \ land {\ text {own}} (x, y)) \ rightarrow {\ text {beat}} (x, y) \,)}$

Tento překlad sice zachycuje (nebo přibližuje) pravdivostní podmínky vět přirozeného jazyka, ale jeho vztah k syntaktické formě věty je záhadný dvěma způsoby. Za prvé, neurčitky v kontextech, které nejsou osly, obvykle vyjadřují spíše existenciální než univerzální kvantifikaci. Za druhé, syntaktická poloha zájmena osla by normálně neumožňovala, aby byla svázána neurčitkem.

Aby vysvětlili tyto zvláštnosti, Heim a Kamp navrhli, aby neurčitky přirozeného jazyka byly speciální v tom, že zavádějí nový referent diskurzu, který zůstává k dispozici mimo syntaktický rozsah operátora, který jej zavedl. Aby vydělali tuto myšlenku, navrhli své formální systémy, které zachycují oslí anaforu, protože potvrzují Egliho větu a její důsledek.

Egliho věta :${\ Displaystyle (\ existuje x \ varphi) \ land \ psi \ Leftrightarrow \ existuje x (\ varphi \ land \ psi)}$

Egliho důsledek :${\ Displaystyle (\ existuje x \ phi \ rightarrow \ psi) \ Leftrightarrow \ forall x (\ phi \ rightarrow \ psi)}$

Aktualizujte sémantiku

Aktualizace sémantiky je rámec dynamické sémantiky, který vyvinul Frank Veltman . V aktualizované sémantice je každý vzorec mapován na funkci, která přebírá a vrací kontext diskurzu . Pokud je tedy kontext, pak je kontext, který člověk získá aktualizací pomocí . Systémy sémantiky aktualizací se liší jak v tom, jak definují kontext, tak v sémantických položkách, které přiřazují vzorcům. Nejjednodušší aktualizační systémy jsou intersektivní , které jednoduše zvednou statické systémy do dynamického rámce. Sémantika aktualizací však zahrnuje systémy expresivnější, než jaké lze definovat ve statickém rámci. Zejména umožňuje sémantické položky citlivé na informace , ve kterých informace přispívající aktualizací pomocí nějakého vzorce mohou záviset na informacích, které jsou již v kontextu přítomny. Tato vlastnost sémantiky aktualizací vedla k její rozšířené aplikaci na předpoklady , modály a podmíněné podmínky . ${\ Displaystyle \ varphi}$${\ Displaystyle [\ varphi]}$${\ displaystyle C}$${\ Displaystyle C [\ varphi]}$${\ displaystyle C}$${\ Displaystyle \ varphi}$

Intersektivní aktualizace

Aktualizace pomocí se nazývá intersective, pokud se rovná průniku vstupního kontextu s návrhem označeným . Zásadně tato definice předpokládá, že existuje jeden pevný návrh, který vždy označuje, bez ohledu na kontext. ${\ Displaystyle \ varphi}$${\ Displaystyle \ varphi}$${\ Displaystyle \ varphi}$

• Intersective update: Budiž návrh označen . Pak je intersektivní, když a pouze pokud pro někoho , máme to${\ displaystyle [\! [\ varphi] \!]}$${\ Displaystyle \ varphi}$${\ Displaystyle \ varphi}$${\ displaystyle C}$${\ Displaystyle C [\ varphi] = C \ cap [\! [\ varphi] \!]}$

Intersektivní aktualizaci navrhl Robert Stalnaker v roce 1978 jako způsob formalizace řečového aktu tvrzení. V původním systému Stalakera je kontext (nebo kontextová sada ) definován jako sada možných světů představujících informace ve společném základu konverzace. Například, pokud to představuje situaci, kdy se informace dohodli všichni účastníci v rozhovoru naznačuje, že skutečný svět musí být buď , nebo . Pokud by pak aktualizace pomocí vrátila nový kontext . Tvrzení by tedy bylo chápáno jako pokus vyloučit možnost, že skutečný svět je . ${\ Displaystyle C = \ {w, v, u \}}$${\ displaystyle w}$${\ displaystyle v}$${\ displaystyle u}$${\ Displaystyle [\! [\ varphi] \!] = \ {w, v \}}$${\ displaystyle C}$${\ Displaystyle \ varphi}$${\ Displaystyle C [\ varphi] = \ {w, v \}}$${\ Displaystyle \ varphi}$${\ displaystyle u}$

Z formálního hlediska lze intersektivní aktualizaci brát jako recept na pozvednutí preferované statické sémantiky k dynamické sémantice. Vezmeme -li například jako výchozí bod klasickou výrokovou sémantiku, tento recept přináší následující sémantiku intersektivních aktualizací.

• Intersective update sémantika založená na klasické výrokové logice:

1. ${\ Displaystyle C [P] = \ {w \ in C \ mid w (P) = 1 \}}$
2. ${\ Displaystyle C [\ neg \ varphi] = CC [\ varphi]}$
3. ${\ Displaystyle C [\ varphi \ land \ psi] = C [\ varphi] \ cap C [\ psi]}$
4. ${\ Displaystyle C [\ varphi \ lor \ psi] = C [\ varphi] \ cup C [\ psi]}$

Pojem intersektivity lze rozložit na dvě vlastnosti známé jako eliminativita a distribučnost . Eliminativita říká, že aktualizace může pouze odstranit světy z kontextu - nemůže je přidat. Distribuce říká, že aktualizace pomocí je ekvivalentní aktualizaci každé podmnožiny singletonů pomocí a poté sdružování výsledků. ${\ displaystyle C}$${\ Displaystyle \ varphi}$${\ displaystyle C}$${\ Displaystyle \ varphi}$

• Eliminativity: je eliminační právě když pro všechny kontexty${\ Displaystyle \ varphi}$${\ Displaystyle C [\ varphi] \ subseteq C}$${\ displaystyle C}$
• Distribuce: je distribuční iff${\ Displaystyle \ varphi}$${\ Displaystyle C [\ varphi] = \ bigcup \ {\ {w \} [\ varphi] \ mid w \ in C \}}$

Intersektivita je konjunkce těchto dvou vlastností, jak dokazuje Johan van Benthem .

Sémantika testu pro modály

Rámec sémantiky aktualizací je obecnější než statická sémantika, protože není omezen na intersektivní významy. Neintersektivní významy jsou teoreticky užitečné, protože přispívají různými informacemi v závislosti na tom, jaké informace již v kontextu jsou. Pokud je například intersektivní, pak aktualizuje jakýkoli vstupní kontext přesně stejnými informacemi, konkrétně informacemi zakódovanými propozicí . Na druhou stranu, pokud je neinteraktivní, mohlo by přispět, když aktualizuje některé kontexty, ale některé úplně jiné informace, když aktualizuje jiné kontexty. ${\ Displaystyle \ varphi}$${\ displaystyle [\! [\ varphi] \!]}$${\ Displaystyle \ varphi}$${\ displaystyle [\! [\ varphi] \!]}$

Mnoho výrazů v přirozeném jazyce má argument, že mají neintersektivní významy. Nonintersectivity of epistemic modální slovesa lze vidět v neštěstí z epistemic rozporů .

Epistemický rozpor : #Prší a možná neprší.

Tyto věty byly považovány za logické rozpory v dobré víře, na rozdíl od povrchně podobných příkladů, jako jsou Moorovy věty , kterým lze podat pragmatické vysvětlení.

Princip epistemického rozporu :${\ Displaystyle \ varphi \ land \ Diamond \ neg \ varphi \ models \ bot}$

Tyto věty nelze analyzovat jako logické rozpory v čistě intersektivních rámcích, jako je relační sémantika pro modální logiku . Princip Epistemic Contradiction platí pouze pro třídu relačních rámců , takže . Takové rámce však také potvrzují přijetí od do . Účtování o nedostatku epistemických rozporů v rámci klasické sémantiky pro modály by tedy přineslo nevítanou předpověď, že „může pršet“ znamená „prší“. Aktualizace sémantiky tento problém obchází poskytnutím neintersektivní denotace pro modály. Když je zadán takový denotát, vzorec může aktualizovat vstupní kontexty odlišně v závislosti na tom, zda již obsahují informace, které poskytují. Nejvíce široce přijímanou sémantickou položkou pro modály v aktualizované sémantice je testovací sémantika navržená Frankem Veltmanem . ${\ Displaystyle Rwv \ Rightarrow (w = v)}$${\ Displaystyle \ Diamond \ varphi}$${\ Displaystyle \ varphi}$${\ Displaystyle \ Diamond \ neg \ varphi}$${\ Displaystyle \ varphi}$

• Sémantika testů pro modály: ${\ Displaystyle C [\ Diamond \ varphi] = {\ begin {cases} C & {\ text {if}} C [\ varphi] \ neq \ varnothing \\\ varnothing & {\ text {else}} \ end {případy }}}$

Na této sémantice testuje, zda je možné aktualizovat vstupní kontext, aniž by došlo k bagatelizaci, tj. Bez vrácení prázdné sady. Pokud vstupní kontext projde testem, zůstane nezměněn. Pokud selže v testu, aktualizace trivializuje kontext vrácením prázdné sady. Tato sémantika zvládne epistemické rozpory, protože bez ohledu na vstupní kontext, aktualizace pomocí vždy vydá kontext, který selže v testu uloženém . ${\ Displaystyle \ Diamond \ varphi}$${\ Displaystyle \ varphi}$${\ Displaystyle \ varphi}$${\ Displaystyle \ Diamond \ neg \ varphi}$

Viz také

• Konverzační srovnávací tabulka
• Oselská anafora
• Teorie reprezentace diskurzu
• Formální sémantika programovacích jazyků
• Hans Kamp
• Import Export
• Irene Heim
• Modální logika
• Rozsah (formální sémantika)

Poznámky

externí odkazy

• Dynamická sémantika, Stanfordská encyklopedie filozofie
• Dynamic Sémantika Notes, Daniel Rothschild
• Dynamická sémantika a pragmatické alternativy, poznámky k kurzu ESSLLI 2017