Unit name | Introduction to Formal Logic |
---|---|
Unit code | PHIL10014 |
Credit points | 10 |
Level of study | C/4 |
Teaching block(s) |
Teaching Block 1 (weeks 1 - 12) |
Unit director | Dr. Catrin Campbell-Moore |
Open unit status | Not open |
Pre-requisites |
None |
Co-requisites |
None |
School/department | Department of Philosophy |
Faculty | Faculty of Arts |
This unit introduces the student to the analysis of arguments and to the tools of formal logic. It provides students with the methods to discern and analyse the structure of an argument and to distinguish good arguments from bad ones. Students will see a variety of informal arguments and be able to characterise them as valid, inductive, or fallacious. Formal logic will be introduced and students will see how it can be used as a tool in the evaluation of arguments. Students will also obtain familiarity with formal logic and a grasp of logical properties such as consistency, validity, derivability and soundness.
Students on this unit will be expected to start with the mathematical familiarity that would be obtained in A-level mathematics.
On successful completion of the unit students will be able to
6 x 2 hour lectures
5 x 1 hour seminars
Summative: take-home exam (100%) designed to test ILOs 1-6
Formative: regular problem sheets designed to test ILOs 1-6
Logic, by G. Restall, 2005, Routledge