Units of study
PHIL2615 - Intermediate Logic
Semester 2, 2011 | Credit Points: 6
Coordinator: Michael McDermott
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.
1x2 hour exam (50%) and weekly exercises (50%)
1x2 hour lecture and 1x1 hour tutorial per week
12 Junior credit points in Philosophy and PHIL1012 or PHIL2203 or PHIL2628.
Please refer to the list of Units of Study on the left-hand menu to view the units on offer for the relevant academic year.