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.

Homework

Here is the homework set for Monday after the first class.

Here are the answers to that first homework set.

Here is the homework set for Tuesday.

Here is the homework set for Wednesday.

The homework set for Thursday is a good preliminary set on preorders, containing facts used in Friday's lecture.

If anyone wants to ask me about our homework at any point, please feel free: lsm@cs.indiana.edu.

More homework is coming.