Loading AI tools
From Wikipedia, the free encyclopedia
Situation theory provides the mathematical foundations to situation semantics, and was developed by writers such as Jon Barwise and Keith Devlin in the 1980s. Due to certain foundational problems, the mathematics was framed in a non-well-founded set theory. One could think of the relation of situation theory to situation semantics as like that of type theory to Montague semantics.
Types in the theory are defined by applying two forms of type abstraction, starting with an initial collection of basic types.
Basic types:
Infons are made of basic types. For instance: If l is a location, then l is of type LOC, and the infon <<of-type, l, LOC, 1>> is a fact.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.