Foundations of Intensional Semantics
1. Auflage Juni 2005
208 Seiten, Softcover
Wiley & Sons Ltd
This book provides a systematic study of three foundational issues
in the semantics of natural language that have been relatively
neglected in the past few decades.
* focuses on the formal characterization of intensions, the
nature of an adequate type system for natural language semantics,
and the formal power of the semantic representation language
* proposes a theory that offers a promising framework for
developing a computational semantic system sufficiently expressive
to capture the properties of natural language meaning while
remaining computationally tractable
* written by two leading researchers and of interest to students
and researchers in formal semantics, computational linguistics,
logic, artificial intelligence, and the philosophy of language
1. Introduction.
2. Alternative Approaches to Fine-Grained Intensionality.
3. Intensions as Primitives.
4. A Higher-Order, Fine-Grained Intensional Logic.
5. Property Theory with Curry Typing.
6. Number Theory and Cardinaltiy.
7. Anaphora and Ellipsis.
8. Underspecified Interpretations.
9. Expressive Power and Formal Strength.
10. Conclusions.
Bibliography.
Author Index.Subject Index.
herself what intensions actually are." The Linguist
List
"Fox and Lappin present a new solution to one of the
long-standing issues in formal semantics: how to distinguish
logically equivalent from semantically equivalent propositions.
This is a valuable contribution to the foundations of formal
semantics of natural language." Stephen G. Pulman, Oxford
University
"This is an excellent addition to the literature on the
foundations of natural language semantics. The logical issues are
carefully and insightfully addressed and much advanced material is
brought together for the first time. Semanticists cannot afford not
to read it." Raymond Turner, University of Essex
at the University of Essex. In addition to numerous papers, his
previous publications in the area of computational semantics
include The Ontology of Language: Properties, Individuals, and
Discourse (2000).
Shalom Lappin is Professor of Computer Science at
King's College, London. He has published extensively on
issues in computational linguistics and formal grammar, and his
books include Local Constraints vs. Economy (with David
Johnson, 1999), Fragments: Studies in Ellipsis and
Gapping (edited with Elabbas Benmamoun, 1999), and The
Handbook of Contemporary Semantic Theory (edited, Blackwell,
1996).
