2009 Course Handbook
PHIL134: Introductory Formal Logic
Logic is the study of good reasoning. Formal logic applies the tools of the formal sciences to the study of reasoning. This approach to logic has flourished in the 20th century, and it has become of fundamental significance to many other disciplines, such as philosophy, mathematics, computing and linguistics.
In this unit we introduce the basic concepts of formal logic. Students will learn how to represent arguments symbolically and to use formal techniques to analyse these representations. We will also critically examine some of the assumptions underlying formal approaches to logic.
The unit is suitable both for those who want to study logic for its own sake, and those who need to understand the techniques of formal logic in computing, mathematics, linguistics and philosophy.
| Credit Points: | 3 |
| Contact Hours: | 3 |
| When Offered: |
D2 - Day; Offered in the second half-year
X2 - External study; Offered in the second half-year (On Campus session: 12 September; 7 November) |
| Staff Contact: | Dr Albert Atkin |
| Prerequisites: | |
| Corequisites: | |
| NCCWs: | |
| Unit Designations: | -- |
| Assessed As: | Graded |
| Offered By: |
Department of Philosophy |
Timetable Information
For unit timetable information please visit the Timetables@Macquarie Website.