Situations, language, and logic

Bibliographic Information

Situations, language, and logic

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

(Studies in linguistics and philosophy, v. 34)

D. Reidel, c1987

  • : hard
  • : pbk

Available at  / 65 libraries

Search this Book/Journal

Note

Bibliography: p. 177-181

Includes index

Description and Table of Contents

Volume

: hard ISBN 9781556080487

Description

This monograph grew out of research at Xerox PARC and the Center for the Study of Language and Information (CSLI) during the first year of CSLI's existence. The Center was created as a meeting place for people from many different research traditions and there was much interest in seeing how the various approaches could be joined in a common effort to understand the complexity of language and information. CSLI was thus an ideal environment for our group and our enterprise. Our original goal was to see how a well-developed linguistic the­ ory, such as lexical-functional grammar, could be joined with the ideas emerging from research in situation semantics in a manner which would measure up to the technical standards set by Montague grammar. The outcome was our notion of situation schemata and the extension of constraint-based grammar formalisms to deal with semantic as well as syntactic information. As our work progressed we widened our approach. We decided to also include a detailed study of the logic of situation theory, and to investigate how this logical theory is related to the relational theory of meaning developed in situation semantics.

Table of Contents

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.- 3. Mathematical study of some formal languages.- 4. On the model theoretic interpretation of situation schemata.- 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.
Volume

: pbk ISBN 9781556080494

Description

This monograph grew out of research at Xerox PARC and the Center for the Study of Language and Information (CSLI) during the first year of CSLI's existence. The Center was created as a meeting place for people from many different research traditions and there was much interest in seeing how the various approaches could be joined in a common effort to understand the complexity of language and information. CSLI was thus an ideal environment for our group and our enterprise. Our original goal was to see how a well-developed linguistic the ory, such as lexical-functional grammar, could be joined with the ideas emerging from research in situation semantics in a manner which would measure up to the technical standards set by Montague grammar. The outcome was our notion of situation schemata and the extension of constraint-based grammar formalisms to deal with semantic as well as syntactic information. As our work progressed we widened our approach. We decided to also include a detailed study of the logic of situation theory, and to investigate how this logical theory is related to the relational theory of meaning developed in situation semantics.

Table of Contents

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.

by "Nielsen BookData"

Related Books: 1-1 of 1

  • Studies in linguistics and philosophy

    D. Reidel Pub. Co. : Kluwer Academic Publishers : Springer , Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers

    Available at 1 libraries

Details

  • NCID
    BA01341634
  • ISBN
    • 1556080484
    • 1556080492
  • LCCN
    87022305
  • Country Code
    ne
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Dordrecht ; Tokyo
  • Pages/Volumes
    viii, 186 p.
  • Size
    23 cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top