Here are slides from the last time I taught the course. Starting in May 2025, I expect to be updating them quite a bit. I know that there is too much here.
My first lecture is an introduction to the topic as a whole.On Tuesday, we start with the simplest logic in the world, the logic of sentences All x are y. Then there will be a few topics from extended syllogistic logics, staring logics with verbs and relative clauses, and then negation, and existential assertions. There won't be time, but the plan also could be to start on names and definite descriptions.
Here is the worksheet on the semantics of verbs and relative clauses.
In the middle of the week, I want to present a lot of logics, and then 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 monotonicity and polarity. Here is the last lecture set. In the last two classes, I cover preorders, CCG, and the the algorithm to polarize a CCG parse tree. And at the very end I talk about experiences with language models.
