Dynaaminen semantiikka - Dynamic semantics

Dynaaminen semantiikka on logiikan ja luonnollisen kielen semantiikan kehys, joka käsittelee lauseen merkityksen mahdollisuutena päivittää asiayhteys. Staattisessa semantiikassa lauseen merkityksen tunteminen merkitsee tietämistä, milloin se on totta; dynaamisessa semantiikassa lauseen merkityksen tunteminen tarkoittaa "sen muutoksen aiheuttaman muutoksen tietämistä jokaiselle, joka hyväksyy sen välittämät uutiset". Dynaamisessa semantiikassa lauseet yhdistetään funktioiksi, joita kutsutaan kontekstin muutospotentiaaliksi , jotka ottavat syöttökontekstin ja palauttavat tulostuskontekstin. Dynaamisen semantiikan kehittivät alun perin Irene Heim ja Hans Kamp vuonna 1981 anaforian mallintamiseksi , mutta sitä on sittemmin sovellettu laajasti ilmiöihin, kuten olettamuksiin , monikkoihin , kysymyksiin , diskurssisuhteisiin ja modaliteettiin .

Anafyran dynamiikka

Ensimmäiset dynaamisen semantiikan järjestelmät olivat läheisesti liittyvät tiedostomuutossematiikka ja diskurssin esitysteoria , jotka Irene Heim ja Hans Kamp ovat kehittäneet samanaikaisesti ja itsenäisesti . Näiden järjestelmien oli tarkoitus vangita aasin anafora , joka vastustaa tyylikästä koostumuskäsittelyä klassisissa semantiikan lähestymistavoissa, kuten Montague -kieliopissa . Aasin anafora on esimerkki surullisista aasilauseista, jotka keskiaikainen logiikka Walter Burley huomasi ensimmäisenä ja Peter Geach toi tämän päivän tietoon .

Aasi lause (suhteellinen lauseke) : Jokainen maanviljelijä, joka omistaa aasin, lyö sen.

Aasi lause (ehdollinen) : Jos maanviljelijä omistaa aasin, hän lyö sen.

Tällaisten lauseiden empiirisesti havaittujen totuusolosuhteiden vangitsemiseksi ensimmäisen asteen logiikassa on tarpeen kääntää määrittelemätön substantiivilause "aasi" yleismaailmalliseksi kvanttoijaksi, joka ulottuu pronomini "it" vastaavan muuttujan yli.

Aasi -lauseen FOL -käännös ::${\ displaystyle \ forall x \ forall y (\, ({\ text {farmer}} (x) \ land {\ text {aasi}} (y) \ land {\ text {own}} (x, y)) \ oikea nuoli {\ text {beat}} (x, y) \,)}$

Vaikka tämä käännös kuvaa (tai lähentää) luonnollisen kielen lauseiden totuusolosuhteita, sen suhde lauseen syntaktiseen muotoon on hämmentävä kahdella tavalla. Ensinnäkin määrittelemättömyys ei-aasikonteksteissa ilmaisee yleensä eksistentiaalista eikä universaalia kvantifiointia. Toiseksi, aasin pronominin syntaktinen sijainti ei normaalisti salli sen sitomista määrittelemättömään.

Selittääkseen nämä erityispiirteet Heim ja Kamp ehdottivat, että luonnollisen kielen määrittelemättömyydet ovat erityisiä siinä mielessä , että ne ottavat käyttöön uuden diskurssiviittauksen, joka on edelleen käytettävissä sen käyttöön ottaneen operaattorin syntaktisen soveltamisalan ulkopuolella. Tämän idean rahoittamiseksi he ehdottivat omia virallisia järjestelmiään, jotka sieppaavat aasin anaforia, koska ne vahvistavat Eglin lauseen ja sen seuraukset.

Eglin lause :${\ displaystyle (\ olemassa x \ varphi) \ maa \ psi \ Vasen oikea nuoli \ on x (\ varphi \ maa \ psi)}$

Eglin seuraus :${\ displaystyle (\ olemassa x \ phi \ rightarrow \ psi) \ Leftrightarrow \ forall x (\ phi \ rightarrow \ psi)}$

Päivitä semantiikka

Update semantics on dynaamisen semantiikan kehys, jonka on kehittänyt Frank Veltman . Päivityssemantikassa jokainen kaava on yhdistetty funktioon, joka ottaa ja palauttaa keskustelun kontekstin . Näin ollen, jos on yhteydessä niin on yhteydessä ihmiset mukaan päivitys kanssa . Päivityssemantiikan järjestelmät vaihtelevat sekä kontekstin määrittämisen että kaavoille määrittämiensä semanttisten merkintöjen osalta. Yksinkertaisimmat päivitysjärjestelmät ovat intersektiivisiä , jotka yksinkertaisesti nostavat staattiset järjestelmät dynaamiseen kehykseen. Päivityssemantiikka sisältää kuitenkin ilmaisevampia järjestelmiä kuin mitä voidaan määrittää staattisessa kehyksessä. Se mahdollistaa erityisesti arkaluonteisia semanttisia merkintöjä, joissa jollakin kaavalla päivitetyt tiedot voivat riippua jo kontekstissa olevista tiedoista. Tämä ominaisuus päivitys semantiikan on johtanut sen laaja soveltaminen on oletuksia , modals ja conditionals . ${\ displaystyle \ varphi}$${\ displaystyle [\ varphi]}$${\ displaystyle C}$${\ displaystyle C [\ varphi]}$${\ displaystyle C}$${\ displaystyle \ varphi}$

Intersective päivitys

Päivitystä, jota kutsutaan, kutsutaan intersektiiviseksi, jos se vastaa syöttökontekstin leikkauskohdan merkitsemää ehdotusta . Tärkeintä on, että tämä määritelmä olettaa, että on olemassa yksi kiinteä ehdotus, joka merkitsee aina kontekstista riippumatta. ${\ displaystyle \ varphi}$${\ displaystyle \ varphi}$${\ displaystyle \ varphi}$

• Intersective päivitys: Olkoon ehdotus merkitty . Sitten se on intersektiivinen, jos ja vain jos meillä on sellainen${\ displaystyle [\! [\ varphi] \!]}$${\ displaystyle \ varphi}$${\ displaystyle \ varphi}$${\ displaystyle C}$${\ displaystyle C [\ varphi] = C \ cap [\! [\ varphi] \!]}$

Intersective päivitys ehdotti Robert Stalnaker vuonna 1978 keinona virallistamiseksi puheaktin on väitteen. Stalnakerin alkuperäisessä järjestelmässä konteksti (tai asiayhteysjoukko ) määritellään joukko mahdollisia maailmoja, jotka edustavat keskustelun yhteisen pohjan tietoja. Esimerkiksi, jos tämä merkitsee tilanteessa, jossa tiedot sovittu kaikki osallistujat keskusteluun osoittaa, että todellinen maailma on joko , tai . Jos , niin päivittäminen jossa palaisi uudessa ympäristössä . Näin ollen väite ymmärrettäisiin yrityksenä sulkea pois mahdollisuus, että todellinen maailma on . ${\ 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}$

Muodollisesta näkökulmasta intersektiivinen päivitys voidaan ottaa reseptinä halutun staattisen semantiikan nostamiseksi dynaamiseen semantiikkaan. Jos esimerkiksi otamme lähtökohdaksi klassisen ehdotuksen semantiikan, tämä resepti tarjoaa seuraavan intersektiivisen päivityssematiikan.

• Klassiseen ehdotuslogiikkaan perustuva interaktiivinen päivityssemantiikka:

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]}$

Leikkauksen käsite voidaan hajottaa kahteen ominaisuuteen, jotka tunnetaan nimellä eliminaatiokyky ja jakautuvuus . Eliminatiivisuus sanoo, että päivitys voi vain poistaa maailmoja kontekstista - se ei voi lisätä niitä. Distributivity mukaan päivittäminen kanssa vastaa päivittämiseen kunkin Singleton osajoukko kanssa ja sitten yhdistämällä tulokset. ${\ displaystyle C}$${\ displaystyle \ varphi}$${\ displaystyle C}$${\ displaystyle \ varphi}$

• Eliminativity: on eliminatiivinen joss kaikille yhteyksissä${\ displaystyle \ varphi}$${\ displaystyle C [\ varphi] \ subseteq C}$${\ displaystyle C}$
• Jakelu: on jakautuva iff${\ displaystyle \ varphi}$${\ displaystyle C [\ varphi] = \ bigcup \ {\ {w \} [\ varphi] \ mid w \ C \}}$

Intersectivity tarkoittaa näiden kahden ominaisuuden yhdistelmää, kuten Johan van Benthem on osoittanut .

Testaussematiikka modaaleille

Päivityssemantiikan kehys on yleisempi kuin staattinen semantiikka, koska se ei rajoitu intersektiivisiin merkityksiin. Ei -interaktiiviset merkitykset ovat teoreettisesti hyödyllisiä, koska ne antavat erilaisia ​​tietoja sen mukaan, mitä tietoja jo on kontekstissa. Jos se on esimerkiksi intersektiivinen, se päivittää minkä tahansa syöttökontekstin täsmälleen samoilla tiedoilla, nimittäin ehdotuksen koodaamilla tiedoilla . Toisaalta, jos se on ei -interaktiivinen, se voi vaikuttaa, kun se päivittää joitakin yhteyksiä, mutta joitakin täysin erilaisia ​​tietoja, kun se päivittää muita yhteyksiä. ${\ displaystyle \ varphi}$${\ displaystyle [\! [\ varphi] \!]}$${\ displaystyle \ varphi}$${\ displaystyle [\! [\ varphi] \!]}$

Monien luonnollisen kielen ilmaisujen on väitetty olevan ei -interaktiivisia merkityksiä. Nonintersectivity on episteemiset modals voidaan nähdä infelicity on episteemiset ristiriitoja .

Episteeminen ristiriita : #Sataa, eikä ehkä sataa.

Näiden lauseiden on väitetty olevan vilpittömiä loogisia ristiriitoja, toisin kuin pinnallisesti samankaltaiset esimerkit, kuten Mooren lauseet , joille voidaan antaa pragmaattinen selitys.

Episteeminen ristiriitaisuusperiaate :${\ displaystyle \ varphi \ land \ Diamond \ neg \ varphi \ models \ bot}$

Nämä lauseet ei voida analysoida looginen ristiriidat puhtaasti intersective kehysten, kuten relaatio semantiikan varten modaalilogiikan . Episteeminen Ristiriita periaatteessa vain pitää kiinni luokan relaatio kehyksiä siten, että . Kuitenkin, kuten kehykset myös validoida telleensä kohteesta kohteeseen . Näin ollen episteemisten ristiriitaisuuksien virheettömyyden huomioon ottaminen modaalien klassisessa semantiikassa toisi mukanaan ei -toivotun ennustuksen, jonka mukaan "saattaa sataa" tarkoittaa "sataa". Päivitys Semantics kiertää tämän ongelman tarjoamalla ei -interaktiivisen merkinnän modaaleille. Kun tällainen merkintä annetaan, kaava voi päivittää syöttöyhteydet eri tavalla riippuen siitä, sisältävätkö ne jo annetut tiedot . Laajimmin hyväksytty semanttinen merkintä modaaleille päivityssemantikassa on Frank Veltmanin ehdottama testi semantiikka . ${\ displaystyle Rwv \ Rightarrow (w = v)}$${\ displaystyle \ Diamond \ varphi}$${\ displaystyle \ varphi}$${\ displaystyle \ Diamond \ neg \ varphi}$${\ displaystyle \ varphi}$

• Testaussematiikka modaaleille: ${\ displaystyle C [\ Diamond \ varphi] = {\ begin {tapauksissa} C & {\ text {if}} C [\ varphi] \ neq \ varnothing \\\ varnothing & {\ text {muuten}} \ end {tapaukset }}}$

Tässä semantiikassa testataan, voidaanko syöttökontekstia päivittää ilman, että sitä trivialisoidaan, eli palauttamatta tyhjää joukkoa. Jos syöttökonteksti läpäisee testin, se pysyy muuttumattomana. Jos se epäonnistuu testissä, päivitys vähättelee kontekstia palauttamalla tyhjän sarjan. Tämä semantiikka pystyy käsittelemään epistemisiä ristiriitoja, koska riippumatta syöttökontekstista, päivitys -merkki tuottaa aina kontekstin, joka ei läpäise pakotettua testiä . ${\ displaystyle \ Diamond \ varphi}$${\ displaystyle \ varphi}$${\ displaystyle \ varphi}$${\ displaystyle \ Diamond \ neg \ varphi}$

Katso myös

• Keskustelun tulostaulu
• Aasin anafora
• Diskurssin esitysteoria
• Ohjelmointikielien muodollinen semantiikka
• Hans Kamp
• Tuonti ja vienti
• Irene Heim
• Modaalinen logiikka
• Soveltamisala (muodollinen semantiikka)

Huomautuksia

Ulkoiset linkit

• Dynaaminen semantiikka, Stanfordin filosofian tietosanakirja
• Dynaamiset semantiikan muistiinpanot, Daniel Rothschild
• Dynaaminen semantiikka ja pragmaattiset vaihtoehdot, ESSLLI 2017 Course Notes