View source for Dynamic semantics

{{Short description|Framework in logic and natural language semantics}}
'''Dynamic semantics''' is a framework in [[logic]] and [[Formal semantics (linguistics)|natural language semantics]] that treats the meaning of a sentence as its potential to update a context. In static semantics, knowing the meaning of a sentence amounts to knowing when it is true; in dynamic semantics, knowing the meaning of a sentence means knowing "the change it brings about in the information state of anyone who accepts the news conveyed by it."<ref name = "defaults" >{{cite journal |last1=Veltman |first1=Frank |date=1996 |title=Defaults in Update Semantics |url=https://staff.fnwi.uva.nl/f.j.m.m.veltman/papers/FVeltman-dius.pdf |journal=Journal of Philosophical Logic |volume=25 |issue=3|doi=10.1007/BF00248150 |s2cid=19377671 }}</ref> In dynamic semantics, sentences are mapped to functions called ''context change potentials'', which take an input context and return an output context. Dynamic semantics was originally developed by [[Irene Heim]] and [[Hans Kamp]] in 1981 to model [[anaphora (linguistics)|anaphora]], but has since been applied widely to phenomena including [[presupposition]], [[plurals]], [[questions]], [[discourse relation]]s, and [[linguistic modality|modality]].<ref name = "dynsemsep" >{{cite encyclopedia |last1=Nowen |first1=Rick |last2=Brasoveanu | first2=Adrian | last3=van Eijck | first3=Jan | last4=Visser |first4=Albert |editor-last=Zalta |editor-first= Edward |encyclopedia= The Stanford Encyclopedia of Philosophy |title=Dynamic Semantics |url=https://plato.stanford.edu/archives/win2016/entries/dynamic-semantics/ |access-date=2020-08-11 |year=2016}}</ref>

== Dynamics of anaphora ==

{{see also|Discourse representation theory|Donkey anaphora}}

The first systems of dynamic semantics were the closely related ''File Change Semantics'' and ''[[discourse representation theory]]'', developed simultaneously and independently by [[Irene Heim]] and [[Hans Kamp]]. These systems were intended to capture [[donkey anaphora]], which resists an elegant compositional treatment in classic approaches to semantics such as [[Montague grammar]].<ref name = "dynsemsep" /><ref name = "drtsep">{{cite encyclopedia |last1=Geurts |first1=Bart |last2=Beaver | first2=David | last3=Maier | first3=Emar |  editor-last=Zalta |editor-first= Edward |encyclopedia= The Stanford Encyclopedia of Philosophy |title=Discourse Representation Theory |url=https://plato.stanford.edu/archives/spr2020/entries/discourse-representation-theory |access-date=2020-08-11 |year=2020}}</ref> Donkey anaphora is exemplified by the infamous donkey sentences, first noticed by the medieval logician [[Walter Burley]] and brought to modern attention by [[Peter Geach]].<ref>{{cite book|title=Reference and Generality: An Examination of Some Medieval and Modern Theories|author=Peter Geach|date=1962|author-link=Peter Geach}}</ref><ref name = "anaphorasep" >{{cite encyclopedia |last1=King |first1=Jeffrey |last2=Lewis | first2=Karen |editor-last=Zalta |editor-first= Edward |encyclopedia= The Stanford Encyclopedia of Philosophy |title=Anaphora |url=https://plato.stanford.edu/archives/win2016/entries/dynamic-semantics/ |access-date=2020-08-11 |year=2018}}</ref>

::'''Donkey sentence (relative clause)''': Every farmer who owns a donkey beats it.
::'''Donkey sentence (conditional)''': If a farmer owns a donkey, he beats it.

To capture the empirically observed truth conditions of such sentences in [[first order logic]], one would need to translate the [[Article (grammar)#Indefinite article|indefinite noun phrase]] "a donkey" as a [[universal quantifier]] scoping over the variable corresponding to the pronoun "it".

:: '''FOL translation of donkey sentence''':  : <math> \forall x \forall y (\,(\text{farmer} (x) \land \text{donkey}(y) \land \text{own}(x,y)) \rightarrow \text{beat}(x,y)\,)</math>

While this translation captures (or approximates) the truth conditions of the natural language sentences, its relationship to the syntactic form of the sentence is puzzling in two ways. First, indefinites in non-donkey contexts normally express [[existential quantification|existential]] rather than universal quantification. Second, the syntactic position of the donkey pronoun would not normally allow it to be [[binding (linguistics)|bound]] by the indefinite.

To explain these peculiarities, Heim and Kamp proposed that natural language indefinites are special in that they introduce a new ''discourse referent'' that remains available outside the syntactic scope of the operator that introduced it. To cash this idea out, they proposed their respective formal systems that capture donkey anaphora because they validate ''Egli's theorem'' and its corollary.<ref>{{cite conference |url=http://journals.linguisticsociety.org/proceedings/index.php/SALT/article/viewFile/3097/2820 |title=On If And Only If |first=Paul |last=Dekker |year=2001 |conference=Semantics and Linguistic Theory |editor-last1=Hastings |editor-first1=R |editor-last2=Jackson |editor-first2=B |editor-last3=Zvolenszky |editor-first3= Z |volume=11 |book-title=Proceedings of SALT XI | publisher=[[Linguistic Society of America]] }}</ref>

::'''Egli's theorem''': <math>(\exists x \varphi) \land \psi \Leftrightarrow \exists x (\varphi \land \psi) </math>
::'''Egli's corollary''': <math>(\exists x \phi \rightarrow \psi) \Leftrightarrow \forall x(\phi \rightarrow \psi ) </math>
<!-- Here's some content that doesn't fit at present but could be useful in expanding the article:

This problem can also be seen in cases of ''Intersentential Anaphora'' where an indefinite in one sentence can bind a pronoun in a different sentence.<ref name = "anaphorasep" />

::'''Intersentential anaphora''': A farmer owns a donkey. He beats it. -->

== Update semantics ==

''Update semantics'' is a framework within dynamic semantics that was developed by [[Frank Veltman]].<ref name="defaults" /><ref>{{cite journal |last1=Goldstein |first1=Simon |date=2019 |title=Generalized Update Semantics |url=https://www.dropbox.com/s/x19ujcknqviy2tr/gus%20-%20pen.pdf?dl=0 |journal=Mind |volume=128 |issue=511 |pages=795–835 |doi=10.1093/mind/fzy076}}</ref> In update semantics, each formula <math>\varphi</math> is mapped to a function <math>[\varphi]</math> that takes and returns a ''discourse context''. Thus, if <math> C</math> is a context, then <math>C[\varphi]</math> is the context one gets by updating <math> C </math> with <math> \varphi </math>. Systems of update semantics vary both in how they define a context and in the semantic entries they assign to formulas. The simplest update systems are ''intersective'' ones, which simply lift static systems into the dynamic framework. However, update semantics includes systems more expressive than what can be defined in the static framework. In particular, it allows ''information sensitive'' semantic entries, in which  the information contributed by updating with some formula can depend on the information already present in the context.<ref name="goldsteinthesis"/> This property of update semantics has led to its widespread application to [[presupposition]]s, [[linguistic modality|modal]]s, and [[conditional sentence|conditional]]s.

=== Intersective update ===

An update with <math>\varphi</math> is called ''intersective'' if it amounts to taking the intersection of the input context with the proposition denoted by <math>\varphi</math>. Crucially, this definition assumes that there is a single fixed proposition that <math>\varphi</math> always denotes, regardless of the context.<ref name = "goldsteinthesis" >{{cite thesis |last=Goldstein |first=Simon |date=2017 |title=Informative Dynamic Semantics |type=PhD |chapter=Introduction |publisher=Rutgers University |url= https://rucore.libraries.rutgers.edu/rutgers-lib/55481/PDF/1/play/}}</ref>

* '''Intersective update:''' Let <math> [\![\varphi]\!] </math> be the proposition denoted by <math>\varphi</math>. Then <math> \varphi </math> is ''intersective'' if and only if for any <math> C </math>, we have that <math> C[\varphi] = C \cap [\![\varphi]\!]  </math>

Intersective update was proposed by [[Robert Stalnaker]] in 1978 as a way of formalizing the [[speech act]] of assertion.<ref>{{cite book |last=Stalnaker |first=Robert |editor-last=Cole |editor-first=Peter |title=Pragmatics |publisher=Brill |date=1978 |pages=315–332 |chapter=Assertion | doi=10.1163/9789004368873_001 }}</ref><ref name="goldsteinthesis" />  In Stalnaker's original system, a context (or ''context set'') is defined as a set of [[possible world]]s representing the information in the common ground of a conversation. For instance, if <math> C = \{w,v,u\}</math> this represents a scenario where the information agreed upon by all participants in the conversation indicates that the actual world must be either <math>w</math>, <math>v</math>, or <math>u</math>. If <math> [\![\varphi]\!] = \{w,v\}</math>, then updating <math> C </math> with <math> \varphi </math> would return a new context <math> C[\varphi] = \{w,v\}</math>. Thus, an assertion of <math>\varphi</math> would be understood as an attempt to rule out the possibility that the actual world is <math> u </math>.

From a formal perspective, intersective update can be taken as a recipe for lifting one's preferred static semantics to dynamic semantics. For instance, if we take classical propositional semantics as our starting point, this recipe delivers the following intersective update semantics.<ref name = "goldsteinthesis" />

* '''Intersective update semantics based on classical propositional logic:'''
# <math> C[P] = \{w \in C \mid w(P) = 1 \} </math> 
# <math> C[\neg \varphi] = C - C[\varphi] </math> 
# <math> C[\varphi \land \psi] = C[\varphi] \cap C[\psi] </math>
# <math> C[\varphi \lor \psi] = C[\varphi] \cup C[\psi] </math>

The notion of intersectivity can be decomposed into the two properties known as ''eliminativity'' and ''distributivity''. Eliminativity says that an update can only ever remove worlds from the context—it can't add them. Distributivity says that updating <math> C </math> with <math>\varphi</math> is equivalent to updating each singleton subset of <math> C </math> with <math>\varphi</math> and then pooling the results.<ref name = "goldsteinthesis" />

* '''Eliminativity:''' <math> \varphi </math> is ''eliminative'' iff <math>C[\varphi] \subseteq C</math> for all contexts <math>C</math>
* '''Distributivity:''' <math> \varphi </math> is ''distributive'' iff <math>C[\varphi] = \bigcup\{ \{w\}[\varphi] \mid w \in C\}</math>

Intersectivity amounts to the conjunction of these two properties, as proven by [[Johan van Benthem (logician)|Johan van Benthem]].<ref name = "goldsteinthesis" /><ref>{{cite book |last=van Benthem |first=Johan |author-link=Johan van Benthem (logician) |date=1986 |title=Essays in logical semantics |location=Dordrecht |publisher=Reidel}}</ref>

=== The test semantics for modals ===

The framework of update semantics is more general than static semantics because it is not limited to intersective meanings. Nonintersective meanings are theoretically useful because they contribute different information depending on what information is already present in the context. For instance, if <math> \varphi</math> is intersective, then it will update any input context with the exact same information, namely the information encoded by the proposition <math> [\![\varphi]\!]</math>. On the other hand, if <math> \varphi</math> is nonintersective, it could contribute <math> [\![\varphi]\!]</math> when it updates some contexts, but some completely different information when it updates other contexts.<ref name = "goldsteinthesis" />

Many natural language expressions have been argued to have nonintersective meanings. The nonintersectivity of epistemic modals can be seen in the [[felicity (linguistics)|infelicity]] of ''epistemic contradictions''.<ref>{{cite journal |last1=Yalcin |first1=Seth |date=2007 |title=Epistemic Modals |journal=Mind |volume=116 |issue=464 |pages=983–1026 |doi=10.1093/mind/fzm983 |url = https://static1.squarespace.com/static/551f03bce4b0bf9fbfefa27c/t/5aae0575f950b791b56478a6/1521354102943/yalcin+2007+em.pdf}}</ref><ref name = "goldsteinthesis" />

:'''Epistemic contradiction''': #It's raining and it might not be raining.

These sentences have been argued to be bona fide logical contradictions, unlike superficially similar examples such as [[Moore's paradox|Moore sentences]], which can be given a [[pragmatics (linguistics)|pragmatic]] explanation.<ref name = "yalcinem" >{{cite journal |last1=Yalcin |first1=Seth |date=2007 |title=Epistemic Modals |journal=Mind |volume=116 |issue=464 |pages=983–1026 |doi=10.1093/mind/fzm983 |url = https://static1.squarespace.com/static/551f03bce4b0bf9fbfefa27c/t/5aae0575f950b791b56478a6/1521354102943/yalcin+2007+em.pdf}}</ref><ref name = "goldsteinthesis" />

:'''Epistemic contradiction principle''': <math> \varphi \land \Diamond \neg \varphi \models \bot </math>

These sentences cannot be analysed as logical contradictions within purely intersective frameworks such as the [[relational semantics]] for [[modal logic]]. The Epistemic Contradiction Principle only holds on the class of [[Kripke frame|relational frames]] such that <math> Rwv \Rightarrow (w=v) </math>. However, such frames also validate an entailment from <math> \Diamond \varphi </math> to <math> \varphi</math>. Thus, accounting for the infelicity of epistemic contradictions within a classical semantics for modals would bring along the unwelcome prediction that "It might be raining" entails "It is raining".<ref name = "yalcinem" /><ref name = goldsteinthesis /> Update Semantics skirts this problem by providing a nonintersective denotation for modals. When given such a denotation, the formula <math> \Diamond \neg \varphi </math> can update input contexts differently depending on whether they already contain the information that <math>\varphi</math> provides. The most widely adopted semantic entry for modals in update semantics is the ''test semantics'' proposed by [[Frank Veltman]].<ref name="defaults"/>

*'''The test semantics for modals:''' <math> C[\Diamond \varphi ] = \begin{cases}
  C & \text{if } C[\varphi] \neq \varnothing \\
  \varnothing & \text{otherwise}  
\end{cases}
</math>

On this semantics, <math>\Diamond \varphi</math> tests whether the input context could be updated with <math>\varphi</math> without getting trivialized, i.e. without returning the empty set. If the input context passes the test, it remains unchanged. If it fails the test, the update trivializes the context by returning the empty set. This semantics can handle epistemic contradictions because no matter the input context, updating with <math>\varphi</math> will always output a context that fails the test imposed by <math>\Diamond \neg \varphi </math>.<ref name = "goldsteinthesis" /><ref>For a complete derivation of the Epistemic Contradiction Principle within Update Semantics, see for instance Goldstein (2016), p. 13. This derivation crucially depends on a particular definition of entailment, as well as an intersective semantic entry for <math>\neg</math> and a treatment of <math>\land</math> as updating consecutively with the conjuncts in their linear order.</ref>

== See also ==
{{Portal|Linguistics}}
* [[Conversational scoreboard]]
* [[Donkey anaphora]]
* [[Discourse representation theory]]
* [[Formal semantics of programming languages]]
* [[Hans Kamp]]
* [[Import-Export (logic)|Import-Export]]
* [[Irene Heim]]
* [[Modal logic]]
* [[Scope (formal semantics)]]

==Notes==
{{Reflist|20em}}

==External links==
* [https://plato.stanford.edu/entries/dynamic-semantics/ Dynamic Semantics, Stanford Encyclopedia of Philosophy]
* [http://danielrothschild.com/dyncon/ Dynamic Semantics Notes, Daniel Rothschild]
* [http://danielrothschild.com/esslli2017/ Dynamic Semantics and Pragmatic Alternatives, ESSLLI 2017 Course Notes]

{{Formal semantics}}
{{Non-classical logic}}
[[Category:Semantics]]
[[Category:Logic]]
[[Category:Philosophy of language]]
[[Category:Non-classical logic]]
[[Category:Systems of formal logic]]
[[Category:Linguistic modality]]