FORMAL LOGIC 2

Course Code

PH 1306

Credit Points

10

Course Coordinator

Dr P Tomassi

Pre-requisites

PH 1010

Notes

This is a 6 week course.

Overview

Formal Logic 2 extends the study of Formal Logic from the point at which Formal Logic 1 left off. As such, this course involves a more detailed treatment of both Propositional and Quantificational Logic and enables students to exploit further the formal techniques of proof and truth-trees both in Propositional and Quantificational Logic. The course also examines in some detail the logic of Relations and of Identity. The Formal Semantics of Quantificational Logic are considered and the notion of an Interpretation is explained. Time permitting, the course may also include an introduction to alternative systems of Formal Logic, ie Relevance and Intuitionist Logic.

Structure

3 one-hour lectures, 1 one-hour tutorial per week.

Assessment

1st Attempt: 1 one-hour written examination (100%). A pass in class examination will exempt candidates from the examination.

Resit: 1 one-hour written examination (100%).