Intermediate Logic (PHIL2615)

UNIT OF STUDY

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

Classes

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

Assessment

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

Faculty/department permission required?

No

Unit of study rules

Prerequisites and assumed knowledge

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

Prohibitions

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