Useful links
Unit of study_
PHIL2615: Logic and Proof
2024 unit information
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.
Unit details and rules
Managing faculty or University school:
Philosophy
| Code | PHIL2615 |
|---|---|
| Academic unit | Philosophy |
| Credit points | 6 |
|
Prerequisites:
?
|
PHIL1012 |
|---|---|
|
Corequisites:
?
|
None |
| Prohibitions:
?
|
PHIL2215 or PHIL3215 |
| Assumed knowledge:
?
|
None |
At the completion of this unit, you should be able to:
- LO1. demonstrate understanding of the major ways of proving things in logic
- LO2. construct proofs in these different logical systems
- LO3. demonstrate understanding of the major metalogical properties of these systems
- LO4. exhibit advanced disciplinary confidence
- LO5. demonstrate expertise in logical reasoning
Unit availability
This section lists the session, attendance modes and locations the unit is available in. There is a unit outline for each of the unit availabilities, which gives you information about the unit including assessment details and a schedule of weekly activities.
The outline is published 2 weeks before the first day of teaching. You can look at previous outlines for a guide to the details of a unit.
Modes of attendance (MoA)
This refers to the Mode of attendance (MoA) for the unit as it appears when you’re selecting your units in Sydney Student. Find more information about modes of attendance on our website.
