Introductory Formal Logic is one of the Philosophy Department 's logic courses. Your course coordinator is Greg Restall . Students in the Philosophy Department version of PHIL134 should go on to the Macquarie University WebCT pages for PHIL134. If you are a SIBT student, you can find exercise solutions here . This unit is an introduction to formal logic.
Formal logic is the study and analysis of good reasoning.
This unit will give you an introduction to the study of formal logic, and it will equip you to use the techniques of logic in other areas of study, such as philosophy, maths, computing, linguistics and any other area in which good reasoning counts. Our course will contain a mixture of formal techniques for evaluating arguments, and interpretation or philosophy where we discuss the assumptions underlying the use of these formal techniques. You will gain the skills required to use formal techniques well, and the understanding required to see when formal techniques applied correctly, and when they are misapplied. If you use formalism in your areas of study, this course will help you grasp it better and understand how it works. This page is maintained by Greg Restall .