Units of study

PHIL2615 - Intermediate Logic

Semester 2, 2014  |  Credit Points: 6

Coordinator: Nicholas Smith
Phone: +61 2 9036 6242
Email: nicholas.smith@sydney.edu.au

Description

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.

Assessments

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

Classes

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

Prerequisites

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

Prohibitions

PHIL2215, PHIL3215

Please Note: This timetable is a draft timetable and subject to change.

A timetable is not available for this session.
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.

The information displayed above is indicative only as online information is subject to change without notice. The Faculty Handbook and the University of Sydney Calendar are the official legal source of information relating to study at the University of Sydney