Dynamic semantics is a framework in logic and 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."[1] 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, but has since been applied widely to phenomena including presupposition, plurals, questions, discourse relations, and modality.[2]
^Veltman, Frank (1996). "Defaults in Update Semantics" (PDF). Journal of Philosophical Logic. 25 (3). doi:10.1007/BF00248150. S2CID 19377671.
^Nowen, Rick; Brasoveanu, Adrian; van Eijck, Jan; Visser, Albert (2016). "Dynamic Semantics". In Zalta, Edward (ed.). The Stanford Encyclopedia of Philosophy. Retrieved 2020-08-11.
Dynamicsemantics is a framework in logic and natural language semantics that treats the meaning of a sentence as its potential to update a context. In...
Semantics is the study of linguistic meaning. It examines what meaning is, how words get their meaning, and how the meaning of a complex expression depends...
structures conditionally execute statements. The dynamicsemantics (also known as execution semantics) of a language defines how and when the various constructs...
sentences are addressed in the field of linguistics of syntax. Philosophical semantics tends to focus on the principle of compositionality to explain the relationship...
exchange and was one of the major motivations for the framework of dynamicsemantics, in which expressions' denotations are equated with their ability...
In logic, the semantics of logic or formal semantics is the study of the semantics, or interpretations, of formal languages and (idealizations of) natural...
A proposition is a central concept in the philosophy of language, semantics, logic, and related fields, often characterized as the primary bearer of truth...
semanticists have proposed a variety of formalisms including systems of dynamicsemantics such as Discourse representation theory. Their name comes from the...
"The Semiotic Aspect of Alfred Korzybski's General Semantics" (PDF). ETC: A Review of General Semantics. 1. 40 (1). JSTOR: 16–21. doi:10.5840/cpsem19828...
Descriptivism Direct reference theory Dramatism Dynamicsemantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory...
analysis correspond to syntax (rules governing the structure of sentences), semantics (meaning), morphology (structure of words), phonetics (speech sounds and...
analyses have treated them using tools such as causal models and dynamicsemantics. Other research has addressed their metaphysical, psychological, and...
[is y]]" or "[x [does y]]". Recently, this model of semantics has been complemented with more dynamic models of meaning that incorporate shared knowledge...
Descriptivism Direct reference theory Dramatism Dynamicsemantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory...
Rick; Brasoveanu, Adrian; van Eijck, Jan; Visser, Albert (2016). "DynamicSemantics". In Zalta, Edward (ed.). The Stanford Encyclopedia of Philosophy...
Russell, Wittgenstein, Austin, Tarski, and Quine. Kripke provided a semantics for modal logic. In Saul Kripke's publication Naming and Necessity, Kripke...
Descriptivism Direct reference theory Dramatism Dynamicsemantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory...
natural languages but on a much more abstract level, possess a syntax and semantics very much like those of natural languages. For the Portuguese logician...
to Non-Aristotelian Systems and General Semantics. Institute of General Semantics, 2005. "General semantics | philosophy". Encyclopedia Britannica. Archived...
be "well typed" or to "go wrong" are properties of its static and dynamicsemantics, which are specific to each programming language. Consequently, a...