Logic and Proof (PHIL2615)

UNIT OF STUDY

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.

Our courses that offer this unit of study

Further unit of study information

Classes

1x2hr lecture/week, 1x1hr tutorial/week

Assessment

1x2hr exam (50%) and weekly exercises (50%)

Faculty/department permission required?

No

Unit of study rules

Prerequisites

PHIL1012

Prohibitions

PHIL2215 or PHIL3215

Study this unit outside a degree

Non-award/non-degree study

If you wish to undertake one or more units of study (subjects) for your own interest but not towards a degree, you may enrol in single units as a non-award student.

Cross-institutional study

If you are from another Australian tertiary institution you may be permitted to underake cross-institutional study in one or more units of study at the University of Sydney.