I talked through relevance theory II. Some enjoyable discussions. I thought of moving on to Grice, but did not have time. Dr. Cheung will contribute 2-3 sessions on Formal Syntax, in October. So I will shorten my portion.

Talked through many topics and books. Interested people can take their picks from the following link, which I set up in Beijing this summer: an archive of pragmatics.

Next time I will first talk about Grice. This will be followed by a 3-hour crash course on formal semantics, delivered in two weeks

a. Two types of semantics: Compositional semantics and Decompositional semantics

b. Minimal semantic systems: Propositional calculus and Predicate calculus

c. Model interpretation

d. Type theory

e. λ-calculus

f. Generalized quantifier theory