Course Syllabus
Course Description
| Course Information | FAQ | Course Tips | Reading Guide | Timetable | Past Exams | More Logic, Please |
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. There are no prerequisites.
Staff
Lecturer: Andrew Withy
Office Hours: Tue 12pm - 1pm, and Thu 3pm - 4pm.
Tutor: Zhu Rui
Office Hours: Tuesday 3.30 - 4.30 and Friday 1.30 - 2.30
Course Convenor: Patrick Girard
Assessment
Weekly online multi-choice quizzes (best 8 of 10), due every Wednesday: 20%
One in-class test, held in the 6th week: 30%
Final Exam: 50%
Written and Recorded Material
The required course textbook and workbook is Rod Girle's Introduction to Logic. Some copies will be available second-hand. 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.
While we will endeavor to post lecture recordings on Canvas, this is never a substitute for lecture attendance. We cannot guarantee that the recording technology will work smoothly each week. 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.
Provisional Course Schedule
Topic 2 - The Language of Propositional Logic
Topic 4 - Methods for Complex Statements
Topic 6 - Mid-Semester Test; Introducing Predicate Logic
Topic 7 - The Language of Predicate Logic
Topic 8 - The Semantics of Predicate Logic
Topic 9 - Relations in Predicate Logic
Topic 10 - Truth Trees for Predicate Logic
Topic 12 - Revision, Exam Review
Course Calendar
Course Summary:
| Date | Details | Due |
|---|---|---|