Skip to main content
Unit of study_

Logic and Proof - PHIL2615

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.

Classes
1x2hr lecture/week, 1x1hr tutorial/week

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

Pre-requisites

PHIL1012

Prohibitions

PHIL2215 or PHIL3215

Details

Faculty: Arts and Social Sciences

Semester 2

05 Aug 2019

Department/School: Philosophy
Study Mode: Normal (lecture/lab/tutorial) day
Census Date: 31 Aug 2019
Unit of study level: Senior
Credit points: 6.0
EFTSL: 0.125
Available for study abroad and exchange: Yes
Faculty/department permission required? No
Location
Camperdown
Courses that offer this unit

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. Cross-institutional study If you are from another Australian tertiary institution you may be permitted to undertake cross-institutional study in one or more units of study at the University of Sydney.

To help you understand common terms that we use at the University, we offer an online glossary.