Logic, Language, and Meaning, Volume 2

Logic, Language, and Meaning, Volume 2 Intensional Logic and Logical Grammar

by L. T. F. Gamut

University of Chicago Press, 1990
Cloth: 978-0-226-28086-8 | Paper: 978-0-226-28088-2 | Electronic: 978-0-226-79170-8
DOI: 10.7208/chicago/9780226791708.001.0001

AVAILABLE FROM

University of Chicago Press (cloth, paper, ebook)

ABOUT THIS BOOKAUTHOR BIOGRAPHYTABLE OF CONTENTS

ABOUT THIS BOOK

Although the two volumes of Logic, Language, and Meaning can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions.

AUTHOR BIOGRAPHY

L. T. F. Gamut is a collective pseudonym for J. F. A. K. van Benthem, professor of mathematical logic; J. A. G. Groenendijk, associate professor of philosophy and computational linguistics; D. H. J. de Jongh, associate professor of mathematics and philosophy; M. J. B. Stokhof, associate professor of philosophy and computational linguistics, all at the University of Amsterdam, and H. J. Verkuyl, professor of linguistics at the University of Utrecht.

Foreword

Preface

1.2 The Correspondence Theory of Meaning

1.3 Naturalism versus Conventionalism

1.4 Variants of the Correspondence Theory of Meaning

1.5 Logical Semantics as a Referential Theory of Meaning

1.6 Problems with the Referential Theory of Meaning

1.7 Frege's Theory of Meaning

1.8 Context Dependence

2.2 Possible World Semantics

2.3 Modal Propositional Logic

2.4 Propositional Tense Logic

2.5 Tense and Modality Combined

3.1 Opaque Contexts: Modalities de Dicto and de Re

3.2 Proper Names and Definite Descriptions: Rigid Designation

3.3 The Semantics of Modal Predicate Logic

3.4 Other Kinds of Contexts

3.5 A Methodological Note

4.2 The Theory of Types

4.3 Categorial Grammar

4.4 λ-Abstraction

5.2 Intensional Constructions and Intensional Concepts

5.3 Syntax

5.4 Semantics

5.5 The Operators ˄ and ˅

5.6 λ-Conversion

5.7 Temporal Operators

5.8 Two-Sorted Type Theory

6.1 Introduction

6.2 The Organization of a Montague Grammar

6.3 A Montague Grammar for a Fragment of English

6.4 Individual Concepts

6.5 Compositionality, Logical Form, and Grammatical Form

6.6 Concluding Remarks

7.1 Introduction

7.2 The Theory of Generalized Quantifiers

7.3 Flexible Categorial Grammar and Type Theory

7.4 Discourse Representation Theory

Solutions to Suggested Exercises

Bibliographical Notes

References

Index