Situation Theory

Jon Barwise and John Perry developed in scenes and sitatt a theory of situations, which we will call ``Barwisean situation theory''. The goal of this section is to outline the major properties and results of the Barwisean situation theory.

Situation theory is a mathematical theory of meaning, supposed to be a semantic for natural language. In it, the world consists of individuals, properties, relations, spatio-temporal entities, and situations.

A basic assumption in Barwises situation theory is that everything used in the theory can be objectified and treated as an object of the theory, especially situations, relations, operations, conditions, parameters.