New paradoxes, considered each week.

In this course, you will be introduced to a range of formal techniques in the statement of a paradox, or proposed solutions. Some of these techniques include propositional calculus, predicate calculus, modal logic, and set theory. You will be able to use these formal tools when necessary to address problems you seek to understand.