Formal semantics : an introduction
Author(s)
Bibliographic Information
Formal semantics : an introduction
（Cambridge textbooks in linguistics）
Cambridge University Press, 1993
- : hbk
- : pbk
Available at 144 libraries
Note
Bibliography: p. 333-338
Includes index
Description and Table of Contents
Description
This book provides a clear and accessible introduction to formal, and especially Montague, semantics within a linguistic framework. It presupposes no previous background in logic, but takes the student step-by-step from simple predicate/argument structures and their interpretation through to Montague's intentional logic. It covers all the major aspects, including set theory, propositional logic, type theory, lambda abstraction, traditional and generalised quantifiers, inference, tense and aspect, possible worlds semantics, and intensionality. Throughout the emphasis is on the use of logical tools for linguistic semantics, rather than on purely logical topics, and the introductory chapter situates formal semantics within the general framework of linguistic semantics. It assumes some basic knowledge of linguistics, but aims to be as non-technical as possible within a technical subject. Formal Semantics will be welcomed by students of linguistics, artificial intelligence and cognitive science alike.
Table of Contents
- 1. Introduction
- 2. Predicates and arguments
- 3. Negation and co-ordination
- 4. Type theory
- 5. Lambda abstraction
- 6. Quantification
- 7. Inference
- 8. Time, tense, and aspect
- 9. Possible worlds
- 10. Intensional semantics.
by "Nielsen BookData"