Search results
Results From The WOW.Com Content Network
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 ...
Groenendijk wrote a joint Ph.D. dissertation with Martin Stokhof on the formal semantics of questions, under the supervision of Renate Bartsch and Johan van Benthem. He was also an important figure in the development of dynamic semantics (together with Stokhof, Veltman and others, following earlier work by Irene Heim and Hans Kamp).
Montague grammar is an approach to natural language semantics, named after American logician Richard Montague. The Montague grammar is based on mathematical logic, especially higher-order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models. Montague pioneered this approach in the 1960s and ...
In dynamic semantics, modals are analyzed as tests which check whether their prejacent is compatible with (or follows from) the information in the conversational common ground. Probabilistic approaches motivated by gradable modal expressions provide a semantics which appeals to speaker credence in the prejacent.
Dynamic Syntax (DS) is a grammar formalism and linguistic theory whose overall aim is to explain the real-time processes of language understanding and production, and describe linguistic structures as happening step-by-step over time. Under the DS approach, syntactic knowledge is understood as the ability to incrementally analyse the structure ...
ACD is a classic puzzle for theories of the syntax-semantics interface, since it threatens to introduce an infinite regress. It is commonly taken as motivation for syntactic transformations such as quantifier raising , though some approaches explain it using semantic composition rules or by adoption more flexible notions of what it means to be ...
In logic, the semantics of logic or formal semantics is the study of the semantics, or interpretations, of formal languages and (idealizations of) natural languages usually trying to capture the pre-theoretic notion of logical consequence.
In formal linguistics, discourse representation theory (DRT) is a framework for exploring meaning under a formal semantics approach. One of the main differences between DRT-style approaches and traditional Montagovian approaches is that DRT includes a level of abstract mental representations (discourse representation structures, DRS) within its formalism, which gives it an intrinsic ability to ...