Intermediate Logic (PHIL2615)


The axiomatic approach to classical logic. The focus is on proofs of the main metalogical results - consistency, completeness, etc - for the propositional and predicate calculi.

Our courses that offer this unit of study

Further unit of study information


1x2-hr lecture/week, 1x1-hr tutorial/week


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

Faculty/department permission required?


Unit of study rules

Prerequisites and assumed knowledge

(12 Junior credit points in Philosophy) and (PHIL1012 or PHIL2203 or PHIL2628)


PHIL2215, 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.

Find a non-award course for this unit of study

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.

Find a cross-institutional course for this unit of study