Situations, language, and logic

by Jens Erik Fenstad ... [et al.]


  • 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.

「Nielsen BookData」より


書名 Situations, language, and logic
著作者等 Fenstad, Jens Erik
Benthem Johan van
Langholm Tore
Halvorsen Per-Kristian
シリーズ名 Studies in linguistics and philosophy
出版元 D.Reidel
刊行年月 c1987
ページ数 viii, 186 p.
大きさ 23 cm
ISBN 1556080492
NCID BA01341634
※クリックでCiNii Booksを表示
言語 英語
出版国 オランダ