Lecture slides

Here are drafts of my slides for the course. During May and early June 2018, I expect to change them. I know that there is too much here.

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

On Tuesday, the topic will be extended syllogistic logics, including logics with verbs, relative clauses, negation, and existential assertions.

In the middle of the week, I want to talk on logics for reasoning about the sizes of sets . This is a topic that goes beyond first-order logic in some ways.

The last two lectures are on the monotonicity calculus. I hope to also cover some very recent work on this topic, and to end the course with what people in the area are doing now.