We examine the major ways of proving things in logic: tableaux (trees), axiomatic proofs, natural deduction and sequent calculus. We learn to construct proofs of each of these kinds and then establish fundamental adequacy results (e.g. soundness and completeness) for each kind of proof system.
1x2hr lecture/week, 1x1hr tutorial/week
1x2hr exam (50%) and weekly exercises (50%)
PHIL2215 or PHIL3215