Course Syllabus
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 symbolic 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.
Lecturer/Course Director:
Patrick Girard
Office: 206-448 (Arts 1, level 4)
Office hours: TBA.
Lecturer:
David Kelley (First Half)
Office: 206-304 (Arts1, level 3 - tutor's room)
Office hours: Friday 1-2pm
Tutors
Darryl Betts
darryl.betts@datelstream.co.nz
Office hours: Monday 930am (room 206-304)
Drop in session: Monday 12pm, Thursday 2pm
Isaac McAllister
Tuesday 12pm, Wed 12pm
Office hours: Tuesday 3pm (room 206-304)
Well-being always comes first We all go through tough times during the semester, or see our friends struggling. There is lots of help out there - for more information, look at this Canvas page, which has links to various support services in the University and the wider community. |
Go beyond your majors with skills-based learning Did you know this course forms part of the Coding and Logic Module? Find out here how Modules can boost your degree. Find out here about the Faculty of Arts’ new career-focused skills course, ARTSGEN 102, Solving your Future, coming in Semester 2, 2019. |
Class Reps
Assessment
Quizzes: 20%. Weekly online multi-choice quizzes (best 8 of 10), due every Wednesday
Test: 30%. One hour in-class test
Final Exam: 50%
Grading scale: Final grades are based on the simple sum of the coursework and exam scores. Cut-offs will be no higher than: 50 for C-; 60 for C; 70 for B-; 75 for B; 80 for B+; 85 for A-; 90 for A; and 95 for A+.
Peerwise
Great tool for study, revision, and practice. You may also get bonus marks!
Lectures
Monday and Thursday 11-12, in LibB15/109-B15
Logic Weekly Drop-in Tutoring
The friendly logic tutors will be wearing pink sashes and located in the Science Assistance Room (302-170)
Their role is to help you with logic exercises and concepts that you have already attempted. The tutors will be very happy to help you in advance of the test; on the the week of the test, tutors may only be able to provide limited guidance if it is busy. To clarify, there is no drop-in tutoring scheduled on public holidays, during mid-semester break, and on the last day of semester.
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.
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 for every lecture. 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.
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; Modern Propositional Logic
- Topic 7 - Splitting the Logical Atom
- Topic 8 - Syllogisms and 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 |
---|---|---|