The Logic of Meaning in Language

In this course, we will explore some of the logical systems that have been used to formalize natural language meaning. We will provide proof-theoretic and axiomatic systems for propositional logic and predicate logic, including quantifiers. With that foundation, we will explore topics like modal logic, the logic of counterfactuals, trivalent logic, supervaluations, and more. These tools will help us examine the ways that logical systems can be used to capture natural language phenomena like tense, modality, presupposition, and vagueness.

This course assumes familiarity with the concepts in Introduction to Logic.