| Preface | |
| Acknowledgments | |
| Introduction | |
| Truth and Reference | |
| Truth | |
| Reference | |
| Conventionalism and Realism | |
| Topics in Semantics | |
| Synonymy, Entailment, and Contradiction | |
| Presupposition | |
| Ambiguity and Vagueness | |
| Indexicality and the Situation of an Utterance | |
| Sense and Reference | |
| Lexical Semantics | |
| Topics in Pragmatics | |
| Conversational Implicature | |
| Speech Acts | |
| Discourse Structure | |
| Metaphors, Idioms, and Language Change | |
| Methodology | |
| Productivity | |
| Compositionality | |
| Model Theory and Grammar Fragments Exercises | |
| Simply Typed l-Calculus | |
| Simple Types | |
| l-Terms | |
| Functional Models | |
| Frames | |
| Models | |
| Proof Theory for Simply Typed l-Calculus | |
| Combinators and Variable-Free Logic | |
| Products | |
| Sums Exercises | |
| Higher-Order Logic | |
| Higher-Order Syntax | |
| Higher-Order Models | |
| Quantifiers in Natural Language | |
| A Compositional Approach to Quantifiers | |
| Properties of Natural-Language Quantifiers | |
| Negative Polarity Items | |
| Definite Descriptions | |
| Quantificational Definites | |
| Referential Definites | |
| Contextual Elaboration | |
| Nominal Type Shifting | |
| Proof Theory for Higher-Order Logic Exercises | |
| Applicative Categorial Grammar | |
| The Category System | |
| Semantic Domains | |
| Categorial Lexicons | |
| Phrase Structure | |
| A Categorial Lexicon | |
| Tree Admissibility | |
| Ambiguity, Vagueness, and Meaning Postulates | |
| Lexical Ambiguity and Vagueness | |
| Derivational Ambiguity | |
| Local and Global Ambiguity | |
| Meaning Postulates Exercises | |
| The Lambek Calculus | |
| Lambek's Sequent Calculus | |
| Applicative Fragment | |
| Abstraction Schemes | |
| Associativity, Cut Elimination, and Decidability | |
| The Natural-Deduction Lambek Calculus | |
| Applicative Natural Deduction | |
| The Natural-Deduction Lambek Calculus | |
| Proof Normalization | |
| Products | |
| Categorial Grammar Aas Logic | |
| Substructural Logic | |
| The Curry-Howard Isomorphism Exercises | |
| Coordination and Unbounded Dependencies | |
| Coordination | |
| Boolean Coordination | |
| Distributivity and Type Raising | |
| Nonconstituent Coordination | |
| Conjunctive and Disjunctive Categories | |
| The Conjunction Constructor | |
| The Disjunction Constructor | |
| Natural-Deduction Conjunction and Disjunction | |
| Copular Complements and Predicatives | |
| Incompleteness of Conjunction and Disjunction | |
| Unbounded Dependency Constructions | |
| The Lambek Calculus and Unbounded Dependencies | |
| "Disharmonic" Combinations | |
| Moortgat's Approach to Unboundedness | |
| Islands and Extractability | |
| Incompleteness of the Extraction Constructor Exercises | |
| Quantifiers and Scope | |
| Quantifying In | |
| Cooper Storage | |
| Scoping Constructor | |
| Type Raising and Quantifier Coordinations | |
| Embedded Quantifiers | |
| Quantifiers and Coordinate Structures | |
| Quantification and Negation | |
| Quantification and Definite Descriptions | |
| Possessives | |
| Indefinites | |
| Generics | |
| Comparatives | |
| Gradability and Measurability | |
| The Grammar of Comparatives | |
| Expletives and the Unit Type Exercises | |
| Plurals | |
| An Ontology of Groups | |
| A Plural Grammar | |
| Distributors and Collectors | |
| Coordination, Negation, and Argument Lowering | |
| Adverbial Distribution | |
| Plural Quantification | |
| Partitives and Pseudopartitives | |
| Nonboolean Coordination | |
| Comitative Complements | |
| Mass Terms Exercises | |
| Pronouns and Dependency | |
| Pronouns and Reflexives | |
| Pronouns and Agreement | |
| Pronouns as Variables | |
| A Quantificational Approach to Reflexives | |
| Plural Pronouns | |
| Reciprocals and Generalized Quantification | |
| Pied Piping | |
| Ellipsis and Sloppy Anaphora | |
| Interrogatives Exercises | |
| Modal Logic | |
| Modes of Truth | |
| S5: A Modal Logic of Necessity | |
| The Model Theory of S5 | |
| S5 Proof Theory | |
| Indexicality | |
| General Modal Logics | |
| Classifying Modal Logics | |
| Strict Implication and Counterfactuals | |
| First-Order Tense Logics | |
| Tense Logic And Natural Language | |
| Temporal-Period Structures | |
| Constructing Periods from Moments | |
| Constructing Moments from Periods | |
| Duration and Measure | |
| Higher-Order Modal Logic Exercises | |
| Intensionality | |
| An Intensional Grammar | |
| Type Logic and Categorial Grammar | |
| Propositional Attitudes | |
| Complementized Sentences | |
| Sentential, Infinitival, and Gerundive Subjects | |
| Nominalization, Self-Reference, and Semantic Paradoxes | |
| Gerunds, Naked Infinitives, and Event-Based Semantics | |
| Modal Adverbs and Modal Auxiliaries | |
| Control Verbs | |
| Control Predicatives | |
| Nonobligatory Control and Purpose Clauses | |
| Intensional Transitive Verbs | |
| Intensional Adjectives | |
| Individual Concepts and Quantificational Definites | |
| Definite Descriptions and Scope | |
| Individual Concepts and Rigid Designation | |
| Alternatives to Possible Worlds | |
| Logical Omniscience and the Granularity of Propositions | |
| Quotational Theories | |
| Structured Meanings and General Intensional Models | |
| Situation Semantics | |
| Truth-Value Gaps and Partial Possible Worlds | |
| Lexical Relations Exercises | |
| Tense and Aspect | |
| Reichenbach's Approach to Simple and Perfect Tenses | |
| Tense and Discourse | |
| Vendler's Verb Classes | |
| A Semantic Approach to Aspect | |
| A Grammar of Tense and Aspect | |
| Verb Forms | |
| Simple Finite Verbs and Auxiliary Verbs | |
| Intersective Temporal Modifiers | |
| The Perfect | |
| The Progressive | |
| Tense and Nominal Quantification | |
| Tense, Nominals, and Quantification | |
| Adverbs of Quantification and Negation Exercises | |
| Mathematical Preliminaries | |
| Set Theory | |
| Functions and Relations | |
| Orderings, Well Orderings, and Lattices | |
| Proof by Induction | |
| Formal Languages | |
| Trees | |
| First-Order Logic | |
| First-Order Terms and Formulas | |
| First-Order Model Theory | |
| First-Order Proof Theory | |
| Algebras Aad Equality | |
| Algebras | |
| Boolean Algebras | |
| First-Order Logic with Equality | |
| References | |
| Index | |
| Table of Contents provided by Publisher. All Rights Reserved. |
