This course is expected to run but has not yet been scheduled.

### Course Description

Logic is the system of rules upon which all reasoning is based. It pervades absolutely every academic discipline, from mathematics to the sciences, to the humanities as well. It also is a tool that all of us deploy in our everyday lives. And if that is not enough, to logicians, logic is a deep and complex subject of study in its own right. Part of this course will be devoted to exploring this system of rules, which we will build from the ground up. No prior exposure to logic is necessary to take this course.

A paradox is an argument, or a chain of reasoning, that starts from seemingly obvious premises and arrives at a conclusion we find unacceptable. A paradox can provide us with a window into complexities of logic and can show us where our everyday intuitions break down. Part of this course will be an opportunity to investigate some of the most mind-bending and perplexing paradoxes that have been discovered. If we’re lucky, we will be able to take what we learn about logic and use it to solve some of the paradoxes we encounter.

In terms of content, we will start from the very basics, and we will move quickly. We will define some of the core concepts (propositions, truth/falsity) as well as the logical operators (conjunction, disjunction, negation, the conditional) and we will use truth tables examine how these operators affect the truth of sentences that contain them. We will work our way toward definitions of satisfiability, implication, and validity. In the second half of the course, we will bring predicates and quantifiers into our system in order to study first-order logic in all of its complexity and rigor. Along the way, we will discuss some of the subtle but useful distinctions that studying logic allows us to understand. Accordingly, we will be able to answer such questions as: How do we distinguish a valid argument from a sound one? What is the difference between using a word and mentioning it? If no elephant is purple, is this the same as there not existing a purple elephant, or there existing an elephant that is not purple?