Course syllabus

Welcome to PHIL.222 Intermediate Logic. This course builds on PHIL 101, 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, and formal arithmetic. 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 next section of the course adds the minimal symbols and tools for arithmetic, including identity (=), addition (+) and multiplication (×), proofs by induction, and the role of logic in 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 and minor, BSc major). It is a 15 pt Stage II course with a workload of up to 10 hours / week. PHIL 101 is the prerequisite course.

Staff

Lecturer: Jeremy Seligman (Office: Arts 1, Room 445, Friday 2-3 p.m.) 
Class Rep:  Kimberly Evans-Parker (keva419@aucklanduni.ac.nz)

Assessment

In-class Exercises: 20%

Mid-semester test: 30%

Final Exam: 50%

Written or Recorded Material

There is no recommended text. The material will be taught through interactive lectures and exercise-based tutorials. We will provide a draft textbook, but you will be expected to attend all the lectures and take your own notes.  Lecture recordings will be automatically posted after 72 hours. 

Course Schedule 

Weeks 1-2.  Construction

Weeks 3-4.  Choice

Weeks 5-6.  Negativity

Weeks 7-8   Sameness

Weeks 9-10 Generation

Weeks 11-12 Extra Topic

Classes 

This course will involve teaching and learning through demonstration of ideas and techniques in the classroom. There are two classes each week on Wednesdays (1-3 p.m.) and Fridays (1-2p.m.), both in Arts 1 room 209.  Please bring your own paper and writing material. You will be asked to submit some of your exercises for assessment. 

Questions?

For any questions related to the content of the course, please ask in class, use Piazza, or come to my office hour ( Arts 1, Room 445, Friday 2-3 p.m).