- Course Code
- PH 1010
- Credit Points
- 10
- Course Coordinator
- Dr L Clayton
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
3 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%).