Abstract

A rst-order language is interpreted in the following way: terms are regarded as referring to situations and the truth of formulae is relativized to a situation. The language is then extended to include formulae of the form t : (where t is a term and is a formula) meaning that is true in the situation referred to by t. Gentzen's sequent calculus for classical rst-order logic is extended with rules which capture this interpretation. Variants of the calculus and extensions of the language are discussed and the Cut rule is shown to be eliminable from some of the proposed calculi. Situation theory has been concerned with a range of issues centring around the partiality, context dependency and intensional structure of information. In formalizing situation theory one must focus on a specic aspect of the whole package | there is too much uncertainty and equivocation about the connections between the various parts. A dominant approach in recent years has been to focus on build...

Citations