Symbolic Logic

AY2025/2026 Semester 1

What's proper reasoning and how do you tell whether an argument is good or bad? This class introduces you to formal logic, a set of powerful tools that allow us to give precise answers to the preceding questions. Along the way we will also discuss a few paradoxes - for example, how should we understand and evaluate claims about objects that don't exist, such as the claim that Santa Clause lives on the North Pole?