Lecture slides

My first lecture was an introduction to the topic as a whole. Also on Monday, I discussed the simplest logic in the world, the logic of sentences All x are y.

On Tuesday and Wednesday, I extended this to add verbs, relative clauses, negation, and existential assertions.

And here's Thursday's lecture on something on All p are q and Some p are q .

Here is the last day's lecture, featuring a bit on relational syllogistic logic, a bit on reasoning about cardinality, and a brisk discussion of the monotonicity calculus.