PHIL 222
Intermediate Logic
Please note: this is archived course information from 2021 for PHIL 222.
Description
This course builds on PHIL 101 “introduction to Logic”, introducing proof methods, particularly natural deduction. In the first part of the course, you will learn to construct natural deductions in propositional and predicate logic. You will be working with purely formal languages, manipulated according to precise rules. The methods are less mechanical than those of PHIL 101, requiring problem-solving skills and a facility with abstract reasoning at a higher level.
The second part of the course extends these methods to reasoning about identity and formal arithmetic.
As well as completing a foundation in logic, the course aims to provide an understanding of the process of constructing complex arguments that is applicable in philosophy and other disciplines.
PHIL 222 is a core course for Logic and Computation (BA major, BSc major, Logic & Coding module for BA). It is a 15 pt Stage II course with a workload of up to 10 hours/week. PHIL 101 is the prerequisite course.
Assessment:
Coursework only
Availability 2021
Semester 2
Lecturer(s)
Coordinator(s) Dr Jeremy Seligman
Reading/Texts
A pdf of the textbook for the course will be supplied.
Assessment
Coursework and exam
Points
PHIL 222: 15 points
Prerequisites
PHIL 101
Restrictions
PHIL 201