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
etc.
Halvorsen Per-Kristian
シリーズ名 Studies in linguistics and philosophy
出版元 D. Reidel
刊行年月 c1987
ページ数 viii, 186 p.
大きさ 23 cm
ISBN 1556080492
1556080484
NCID BA01341634
※クリックでCiNii Booksを表示
言語 英語
出版国 オランダ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想