1 Some topics in semantics -- 1.1 Aims of this study -- 1.2 Mathematical linguistics -- 1.3 A functional view of meaning -- 1.4 Truth conditions and truth values -- 1.5 Counterfactuals -- 1.6 Compositionality and syntax -- 1.7 Pragmatics -- 1.8 Propositional relations -- 1.9 Ambiguity -- 1.10 Formal logic and natural languages -- 1.11 Universal semantics -- 2 Background notions from mathematics -- 2.1 Purpose of this chapter -- 2.2 Sets -- 2.3 The cardinality of a set -- 2.4 Product sets -- 2.5 Relations and functions -- 2.6 Equivalence relations -- 2.7 Boolean algebras -- 2.8 Isomorphisms and homomorphisms -- 2.9 Effective processes -- 3 Background notions from formal logic -- 3.1 Scope of this chapter -- 3.2 The calculus of propositions -- 3.3 The nature of propositions -- 3.4 Monotonicity -- 3.5 The predicate calculus -- 3.6 Modal logic -- 3.7 Lambda abstraction -- 3.8 Montague's intensional logic -- 4 Vagueness and ambiguity -- 4.1 Background -- 4.2 Ambiguity -- 4.3 Structural ambiguity -- 4.4 De dicto vs de re -- 4.5 Intensions and temporal quantifiers -- 4.6 Modalities -- 4.7 Regimentation -- 5 Logical form in binding theory -- 5.1 Levels of representation -- 5.2 Logical form -- 5.3 Wellformedness in binding theory -- 5.4 Case -- 5.5 Logical form in semantic representation -- 6 Pragmatics -- 6.1 Definition of pragmatics -- 6.2 Indices -- 6.3 Contextual properties -- 6.4 Performatives -- 6.5 Fuzziness -- 6.6 Presuppositions -- 6.7 Types of semantic presupposition -- 6.8 Truth-value gaps -- 6.9 Primary and secondary presuppositions -- 6.10 Presuppositions and questions -- 6.11 Pragmatic presuppositions -- 7 Categorial grammar -- 7.1 Categorial grammar -- 7.2 A severely limited grammar -- 7.3 Some category assignments -- 7.4 Abbreviations -- 7.5 Spelling-out rules -- 7.6 The lexicon -- 8 Semantic rules -- 8.1 Semantic rules.

8.2 Logical and nonlogical connectives -- 8.3 Nominals -- 8.4 Some verb types -- 8.5 Wh-words -- 8.6 Adjectives -- 8.7 Adverbs -- Bibliography -- Index.