## Simple Situation Theory and its Graphical Representation (1991)

Venue: | DYANA Report R2.1.C |

Citations: | 17 - 4 self |

### BibTeX

@INPROCEEDINGS{Barwise91simplesituation,

author = {Jon Barwise and Robin Cooper},

title = {Simple Situation Theory and its Graphical Representation},

booktitle = {DYANA Report R2.1.C},

year = {1991},

pages = {38--74}

}

### OpenURL

### Abstract

ion If we have box B containing free parameter symbols, so that it represents some parametric object b(X; Y; Z; : : :) (possibly with a restriction) we indicate that some of its parameters have been abstracted over by putting the corresponding parameter symbols in a small box at the top right of the box B representing b. Thus for example, we can bind the parameter symbols X and Z by creating the box: (7) X;Z b(X; Y; Z; : : :) If we want to apply this abstract to some objects, say those denoted by a; c, we would write (8) X;Z b(X; Y; Z; : : :) [a; c] According to the semantics we will give, this will denote the same object as (9) b(a; Y; c; : : :) In certain cases, an abstract like this may denote the sort of thing one can predicate of objects. In this case, we will provide ourselves with a variant notation, to show that the abstract can be used as a predicate. The variant is: (10) X;Z b(X; Y; Z; : : :) Our notation will allow us ways to indicate predication that is different from...

### Citations

715 |
Situations and Attitudes
- Barwise, Perry
- 1981
(Show Context)
Citation Context ...hink about restrictions on parameters, an important feature of situation theory, in that it allows us to get the information conditions right about utterances, thereby avoiding what Barwise and Perry =-=[BP] call-=-ed the fallacy of misplaced information. In the past, most of us have been thinking in terms of taking a parameter X and a parametric proposition p(X) and putting them together to get a new "rest... |

21 | The Situation - Barwise - 1989 |

16 | A Theory of Truth and - Kamp - 1981 |

15 | An illustrative theory of relations, in - Plotkin - 1990 |

11 | Three lectures on situation theoretic grammar, in - Cooper - 1991 |

9 |
Replacement Systems and Axiomatization of Situation Theory
- Aczel
- 1990
(Show Context)
Citation Context ...eople (Aczel, Etchemendy, Fernando, Lunnon, Plotkin, and Westerstahl) on situation theory over the past few years. Especially relevant to our presentation is the treatment of parametrication in Aczel =-=[Ac]-=- and of abstraction in Aczel and Lunnon [AL]. Definition A simple situation theoretic universe consists of various sorts of objects and operations on them satisfying conditions listed below. Objects 1... |

6 | On the logic of situation theory - Fernando - 1990 |

4 | Introduction to Situation Semantics - Cooper |

3 |
Negation in Situation Semantics and Discourse Representation Theory
- Cooper, Kamp
- 1991
(Show Context)
Citation Context ... theory. For example, a universe of possible worlds can be seen as the addition of a completeness requirement on situations to the axioms for a simple situation theoretic universe. Cooper and Kamp in =-=[CK]-=- explored the possibility of giving a situationtheoretic semantics for a dr language. The aim was that of giving a faithful interpretation of DRSs within situation theory. Here we work in the opposite... |

3 |
Quantification and Anaphora
- Gawron, Peters
- 1990
(Show Context)
Citation Context ...e. More generally, 9Fp is true iff there is an anchor h such that Sub(h; p) is true. These quantifiers are basically the same as those used in Gawron and Peters' paper [GP2] (though not in their book =-=[GP]-=-), though they were dealing more generally with generalized quantifiers. 5.2.7 Restricted, or situated, quantification Let us say that a type T is general on s, where s is a situation, if T holds of e... |

2 |
Parametric Types and Propositions in First-Order Situation Theory, in Situation Theory and Its
- WesterstÃ¥hl
- 1990
(Show Context)
Citation Context ... "restricted parameter", X p(X) , a parameter that ranges over objects b for which the proposition p(b) is true. This raises certain technical problems. (See for example the discussion in We=-=sterstahl [We]-=-.) Peter Aczel suggested that experience in type theory indicates that it is better not to think of the restricted parameter as a new parameter, but rather, to think of it as the parameter X paired wi... |

1 |
and Rachel Lunnon (forthcoming) Universes and Parameters
- Aczel
(Show Context)
Citation Context ...ntics led us to clarifications of various aspects of situation theory. A major part of the clarification in the theory comes from our use of the work on parameters and abstraction by Aczel and Lunnon =-=[AL]-=-. This, in combination with a general notion of restricted objects (as opposed to just restricted parameters which have often been assumed in previous versions of situation theory), has enabled us to ... |

1 | Information and Grammar, Research Paper No - Cooper - 1989 |

1 |
Some puzzles about pronouns
- Gawron, Peters
(Show Context)
Citation Context ...n object b such that p(b) is true. More generally, 9Fp is true iff there is an anchor h such that Sub(h; p) is true. These quantifiers are basically the same as those used in Gawron and Peters' paper =-=[GP2]-=- (though not in their book [GP]), though they were dealing more generally with generalized quantifiers. 5.2.7 Restricted, or situated, quantification Let us say that a type T is general on s, where s ... |

1 |
and Uwe Reyle (forthcoming) From Discourse to Logic
- Kamp
(Show Context)
Citation Context ...ncentrate here only on one aspect of drt -- its elegant and graphically appealing notation for drss. We modify the notation and replace the standard semantics given for drs languages (see for example =-=[KR]-=-) with a situation theoretic interpretation. We feel that ultimately there is an interesting relationship between the model theoretic interpretation that is standardly provided for drs-languages and o... |