Faculty of Arts

PHIL 101

Introduction to Logic

Please note: this is archived course information from 2019 for PHIL 101.


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.

View the course syllabus for Semester One

View the course syllabus for Semester Two

Availability 2019

Semester 1, repeated Semester 2


Coordinator(s) Dr Patrick Girard
Dr Jeremy Seligman


The prescribed course textbook and workbook is Rod Girle's Introduction to Logic


Online coursework (20%)
Test (30%)
Final examination (50%)


PHIL 101: 15.0 points

Contact details | Search | Accessibility | Copyright | Privacy | Disclaimer | 1