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.
Unit details and rules
Academic unit | Philosophy |
---|---|
Credit points | 6 |
Prerequisites
?
|
PHIL1012 |
Corequisites
?
|
None |
Prohibitions
?
|
PHIL2215 or PHIL3215 |
Assumed knowledge
?
|
None |
Available to study abroad and exchange students | Yes |
Teaching staff
Coordinator | Nick Smith, nicholas.smith@sydney.edu.au |
---|---|
Lecturer(s) | Nick Smith, nicholas.smith@sydney.edu.au |
Tutor(s) | Tristan Grotvedt, tristan.grotvedt@sydney.edu.au |