|Unit level:||Level 3|
|Teaching period(s):||Semester 1|
|Available as a free choice unit?:||Y
- PHIL20042 - Formal Logic (Compulsory)
Additional RequirementsPre Requisite: 40 units of Level 2 Philosophy courses including PHIL20042
40 PHIL credits at Level 2.
The unit aims to: provide students with a relatively advanced level of ability in formal logic, coupled with an interest in the philosophical issues raised by formal developments in logic.
The course will cover axiomatic systems, metalogical proofs, tree methods of proof, standard modal systems of propositional logic, some non-classical logics, and the semantics of the classical and non-classical quantifiers. At all points, the formal techniques will be used as an aid to philosophical reflection on the nature of logic.
Teaching and learning methods
Two 1-hour lectures and one 1-hour tutorial per week
Knowledge and Understanding:
Students will have a knowledge and understanding of several systems of classical, modal, and non-classical logics. They should understand the philosophical importance of these difference systems of logic.
Formal skills in relatively advanced areas of logic (metalogic, modal logics, non-classical logics), and the ability to respond to these systems philosophically.
Advanced formal skills in logic.
Transferable skills and personal qualities:
The ability to reflect critically and philosophically on very abstract material. The ability to discuss this material in an accessible way.
- Analytical skills
- Oral communication
- Problem solving
- Written communication
- Written exam - 67%
- Written assignment (inc essay) - 33%
Philosophy of Logics, Susan Haack
The School of Social Sciences (SoSS) is committed to providing timely and appropriate feedback to students on their academic progress and achievement, thereby enabling students to reflect on their progress and plan their academic and skills development effectively. Students are reminded that feedback is necessarily responsive: only when a student has done a certain amount of work and approaches us with it at the appropriate fora is it possible for us to feed back on the student's work. The main forms of feedback on this course are written feedback responses to assessed essays and exam answers.
We also draw your attention to the variety of generic forms of feedback available to you on this as on all SoSS courses. These include: meeting the lecturer/tutor during their office hours; e-mailing questions to the lecturer/tutor; asking questions from the lecturer (before and after lecture); presenting a question on the discussion board on Blackboard; and obtaining feedback from your peers during tutorials.
- Lectures - 20 hours
- Tutorials - 10 hours
- Independent study hours - 170 hours