Course Syllabus

Jump to Today

Humanities.png

Welcome to PHIL.101 Introduction to Logic. In this course, you will learn the basic concepts of logical analysis and how to use them in evaluating arguments, with the help of two systems of notation. The language of Propositional Logic will be introduced in the first half of the semester, and this will be extended to the language of Predicate Logic, in the second half. You will learn to represent propositions of English in symbolic notation; and use these to identify logical relationships, test for valid arguments and find counterexamples. Logical notation is used widely in philosophy, computer science and mathematics. This course is a foundation for further study in logic as part of either the Philosophy major or the Logic and Computation major.

PHIL 101 is a Stage I Course for Philosophy (BA major), and for Logic and Computation (BA major and minor, BSc major). It is a 15 pt course with a workload of up to 10 hours / week (twice that in summer). There are no prerequisites.

 

Staff

Lecturer/Course Director: Jeremy Seligman
Office hour: Friday 1-2 p.m., first half of semester, 206-445 (Arts 1, level 4)
Lecturer: Andrew Withy
Office hour: Friday 1-2 p.m., second half of semester, 206-449 (Arts 1, level 4) 
Tutor: Matteo Ravasio
Office hour: Friday 10-11 a.m., 206-306 (Arts 1, level 3)
Tuakana: Eric Soakai
Class Reps: Savannah Clemm, Josie Miller, Shazlin Nasim.

[Contact details here]

 

Classes

Lectures: Wed 3-4 Lib B28; Fri 3-4 OGG-098.
Clinics: Fri 11-12 260-055; 12-1 260-009; 2-3 260-055.

Assessment

Quizzes: 20%. Weekly online multi-choice quizzes (best 8 of 10)
Test: 30%. One hour in-class test
Final Exam: 50%

Written and Recorded Material

The prescribed course textbook and workbook is Rod Girle's Introduction to Logic. Some copies may be available second-hand through the bookshop. The material will be taught through interactive lectures, and through self-supervised completion of exercises in the workbook. You are expected to attend all the lectures and take your own notes.
We will endeavor to post lecture recordings on Canvas, for those who have attended lectures or have been sick. They will not be available in the first instance for those who simply choose not to attend lectures. Also, some elements of the lectures cannot be recorded. You will learn most effectively by using recordings to supplement your in-class learning e.g. for clarifying or revising specific material.  All additional material for the first half of the course will be posted here. All additional material for the second half of the course will be posted there.

Course Schedule

  • Topic 1 – Logic and Arguments
  • Topic 2 – The Language of Propositional Logic
  • Topic 3 – Truth Tables
  • Topic 4 – Methods for Complex Statements
  • Topic 5 – Truth Trees
  • Topic 6 – Mid-Semester Test; Splitting the Proposition
  • Topic 7 – Predicate Logic
  • Topic 8 – Semantics
  • Topic 9 – Truth Tress for Predicate Logic
  • Topic 10 – General Predicate Logic
  • Topic 11 – Identity
  • Topic 12 – Revision, Exam Review

 

Course Summary:

Date Details Due