Skip to content

Formal Semantics

← Back to Domain-Specific Abstractions by Domain

6 domain-specific abstractions whose origin domain is Formal Semantics.

  • Alternative semantics — A formal semantics in which expressions denote sets of alternatives rather than single values, enabling compositional accounts of focus, questions and indefinites.
  • Discourse representation theory — A dynamic formal-semantics framework that builds discourse representation structures to track referents, conditions and anaphoric accessibility across sentences.
  • Extension (predicate logic) — The set of ordered tuples for which a predicate is true under a particular interpretation.
  • Inquisitive semantics — A semantic framework in which a sentence denotes a downward-closed set of information states, capturing both information conveyed and issues raised.
  • Quantificational variability effect — The interpretive correspondence between adverbial quantification over situations or events and determiner quantification over participating individuals.
  • Veridicality — The semantic property of an operator or context F for which accepting F(p) commits the interpretation to the truth of the embedded proposition p.