Based on the syntactic structures introduced in part A, we will gradually introduce the fundamental notions of compositional semantics, which determines the meaning of complex expressions on the basis of the meaning of the words and of the way in which they are syntactically combined. In detail, we will discuss the following topics, in the order indicated:
i) General notions: truth conditions. The notion of model. The principle of compositionality.
ii) Propositional connectives.
iii) Predicates and their arguments. The lambda notation. Semantic types.
iv) Elements of event semantics.
v) The semantics of common nouns: count vs. mass nouns.
vi) Adjectival modifiers.
vii) Definite descriptions.
viii) Quantification: the relational view. Generalized quantifiers in set-theoretic metalaguage. Generalized quantifiers in the functional metalanguage.
ix) General properties of quantifiers.
x) Scope assignment: type flexibility, Cooper storage, Quantifier raising.
xii) Scope ambiguities. Binding of anaphors and pronouns.
xiii) The intensional dimension. Intensional types.
xiv) Propositional attitudes. Modal bases.
xv) Elements of modality. Indices of evaluation.
xvi) Indexicals and the kaplanian context
xvii) Towards dynamic semantics: context update in Stalnaker (1978).
xviii) Final summary and revision of the program.