|
You are here:
Macquarie
» 2007 Handbooks
» Units
» PHIL134
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
Summer Session - Offered in January-February as part of Summer School program.
X2 - External study; Offered in the second half-year
(On Campus session: 8 September; 3 November) |
| Staff Contact: |
Philosophy staff |
| Prerequisites: |
|
| Corequisites: |
|
| NCCWs: |
|
| Unit Designations: |
Science
| | Assessed As: |
Graded
|
| Offered By: |
Department of Philosophy |
|
|
|
|
