Situation semantics
From Wikipedia, the free encyclopedia
Situation semantics is an alternative to possible world semantics developed by Jon Barwise and John Perry in the early eighties. Situations, unlike worlds, are not complete in the sense that every proposition or its negation holds in a world. According to situation semantics, meaning is a relation between a discourse situation, a connective situation and a described situation. The original theory of Situations and Attitudes soon ran into foundational difficulties and had to be reformulated in Peter Aczel's non-well-founded set theory.