PHILO10219B (HAM)
Introduction to Logic
15 Points
Staff
Lecturer(s)
Stephanie Gibbons
6062
J.3.18
Monday 1112
stephanie.gibbons@waikato.ac.nz

Administrator(s)
Librarian(s)
You can contact staff by:
 Calling +64 7 838 4466 select option 1, then enter the extension.

Extensions starting with 4, 5, 9 or 3 can also be direct dialled:
 For extensions starting with 4: dial +64 7 838 extension.
 For extensions starting with 5: dial +64 7 858 extension.
 For extensions starting with 9: dial +64 7 837 extension.
 For extensions starting with 3: dial +64 7 2620 + the last 3 digits of the extension e.g. 3123 = +64 7 262 0123.
Paper Description
This paper is an introduction to formal logic. It teaches you to identify and analyze the logical form of deductive arguments via precise definitions of the concepts of validity, invalidity, consistency, inconsistency, tautology and contradiction, in both propositional and predicate logic. It presents systematic formal methods which may be used to prove arguments valid (or not) in both systems of logic.
Paper Structure
In the first four weeks of the paper you will be introduced to propositional logic, and how to use truth tables to solve problems in propositional logic. In weeks five to eight you will learn how to solve propositional logic problems using truth trees, and be introduced to predicate logic. The final part of the course will contain more complex predicate logic problems, including how to do truth trees in predicate logic.
Learning Outcomes
Students who successfully complete the course should be able to:
Assessment
Internal Assessment/Examination Ratio 1:0
Assessment Components
The internal assessment/exam ratio (as stated in the University Calendar) is 100:0. There is no final exam.
Required and Recommended Readings
Required Readings
There is no required textbook purchase for this paper. A textbook will be available on Moodle.
Recommended Readings
Rod Girle, Introduction to Logic, second edition (Pearson 2008) is a recommended text. Bennetts likely has some copies, and there are many second hand copies around, as this used to be a required text. It has very useful running exercises.
Online Support
Class announcements and lecture notes will be posted on Moodle. Students should check the course Moodle page regularly.
Workload
The total workload for this paper is 150 hours. That is 10 hours a week, including class time.
Linkages to Other Papers
Restriction(s)
Restricted papers: PHIL102