This course introduces formal systems as tools to solve specific problems, giving students the capacity to evaluate which (and whether) a particular formal system is appropriate for the problem before them.

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.