Situations, language and logic
type: Item
instance of: scholarly article
title: Situations, language and logic
zbMATH Open document ID: 0731.03002
author: Jens Erik Fenstad
author: Per-Kristian Halvorsen
author: Tore Langholm
author: Johan van Benthem
published in: Studies in Linguistics and Philosophy
publication date: 1992-09-17T00:00:00Z
review text: This book is a research monograph reporting the attempts of the authors to provide a framework for relating the linguistic form of utterances and their semantic interpretation based on the idea of constraint propagation. Unlike other approaches, it does not impose a hierarchy among linguistic and contextual constraints. Instead, the authors rely on situation schemata which allow an absence of hierarchy and the possibility for a series of situations to further determine the meaning of an utterance. Three aspects of this approach receive detailed treatment: algorithmic production of situation schemata via constraint equations, the interpretation of situation schemata, and the logical properties (persistence, completeness, etc.) of the resulting system. Appendices expand the treatment to propositional phrases, a new proof of a Lyndon-type interpolation theory for many-sorted first order logic, and a proof of a relative saturation lemma. A useful bibliography lists the relevant literature.
Mathematics Subject Classification ID: 03-02
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 48874
zbMATH Keywords: situation semantics
zbMATH Keywords: linguistic form of utterances
zbMATH Keywords: semantic interpretation
zbMATH Keywords: constraint propagation
zbMATH Keywords: algorithmic production of situation schemata
zbMATH Keywords: constraint equations
zbMATH Keywords: propositional phrases
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 48874