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. Finn Spicer |
Open unit status | Not open |
Pre-requisites |
None |
Co-requisites |
None |
School/department | Department of Philosophy |
Faculty | Faculty of Arts |
Logic is the study of argument. Formal Logic utilizes formal methods so that we can study the properties of arguments in a more precise and rigorous manner. Logic features prominently in other disciplines and is also one of the oldest university subjects. It was studied in Aristotle's school The Lyceum, and throughout the Middle Ages it was one of the three basic liberal arts subjects. The unit studies a particular way of doing logic known as natural deduction and introduces the propositional and predicate calculi.