Situations, Language and Logic

1. Front Matter

   Pages i-viii

   PDF

2. Introduction

   • Jens Erik Fenstad, Per-Kristian Halvorsen, Tore Langholm, Johan Van Benthem

   Pages 1-11

3. From Linguistic Form to Situation Schemata

   • Jens Erik Fenstad, Per-Kristian Halvorsen, Tore Langholm, Johan Van Benthem

   Pages 12-51

4. Interpreting Situation Schemata

   • Jens Erik Fenstad, Per-Kristian Halvorsen, Tore Langholm, Johan Van Benthem

   Pages 52-81

5. A Logical Perspective

   • Jens Erik Fenstad, Per-Kristian Halvorsen, Tore Langholm, Johan Van Benthem

   Pages 82-130

6. Conclusions

   • Jens Erik Fenstad, Per-Kristian Halvorsen, Tore Langholm, Johan Van Benthem

   Pages 131-132

7. Back Matter

   Pages 133-186

   PDF

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.

• art
• interpret
• logic
• model
• opera
• predicate logic
• preposition
• prepositional phrase
• proposition
• quantifiers
• structure

• Department of Mathematics, Oslo University, Norway

  Jens Erik Fenstad

• Intelligent Systems Laboratory, Xerox Palo Alto Research Center and CSLI, Stanford, USA

  Per-Kristian Halvorsen

• Department of Philosophy, Stanford University, USA

  Tore Langholm

• Department of Mathematics, University of Amsterdam, The Netherlands

  Johan Benthem

Professor Dr J.F.A.K. van Benthem has received the 1996 Spinoza Award, an annual award to honour outstanding scientific merit and to stimulate innovative future research.

from the jury report:
`Van Benthem has positioned logic as an interdisciplinary science par excellence ... It is through his work that logic has acquired a bridge-function between alpha and gamma sciences on the one side and beta sciences on the other ... Van Benthem is a stimulating and innovative researcher, which explains his great attraction to young researchers. Under his inspirational guidance 38 promovendi from the Netherlands and abroad have finished their theses. In view of Van Benthem's innovative powers and the high level of his research, a number of initiatives are to be expected from him that will further strengthen the Dutch position of logic, more especially so in connection with the formal study of natural language.'

Policies and ethics