Situations, language and logic

Content: I. Introduction.- 1. Prom linguistic form to situation schemata.- 2. Interpreting situation schemata.- 3. The logical point of view.- II. From Linguistic Form to Situation Schemata.- 1. Levels of linguistic form determining meaning.- 2. Motivation for the use of constraints.- 3. The modularization of the mapping from form to meaning.- 4. Situation schemata.- 5. The algorithm from linguistic form to situation schemata.- III. Interpreting Situation Schemata.- 1. The art of interpretation.- 2. The inductive definition of the meaning relation.- 3. A remark on the general format of situation schemata.- 4. Generalizing generalized quantifiers.- IV. A Logical Perspective.- 1. The mechanics of interpretation.- 2. A hierarchy of formal languages.- 2.1. Propositional logic.- 2.2. Predicate logic.- 2.3. Tense logic.- 2.4. Temporal predicate logic.- 2.5. Situated temporal predicate logic.- 3. Mathematical study of some formal languages.- 3.1. Definition of structure.- 3.2. The system L3.- 3.3. Modal operators.- 4. On the model theoretic interpretation of situation schemata.- 4.1. The basic correspondence.- 4.2. The correspondence extended.- V. Conclusions.- Appendices.- A. Prepositional Phrases in Situation Schemata.- by Erik Colban.- B. A Lyndon type interpretation theorem for many-sorted first-order logic.- C. Proof of the relative saturation lemma.- References.