FORMAL LOGIC 1

FORMAL LOGIC 1
Course Code
PH 1010
Credit Points
10
Course Coordinator
To be advised

Pre-requisites

None

Notes

This is a 6 week course.

Overview

Logic concerns argument. The central problem for the logician is how to tell good arguments from bad arguments. The classical formal logician’s solution to that problem is the subject-matter of this course.
Students are taught to assess natural language arguments in terms of the logical standards of validity and soundness. A formal language for Propositional Logic is then introduced. Students are taught how to represent arguments formally and are enabled to exploit the formal techniques of proof and truth-tables. Finally, students are introduced to the language of Quantificational Logic and are enabled to translate natural language sentences of various kinds and complete arguments into that formal language.

Structure

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

Assessment

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

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