coursemapLoading course
School of Philosophy · ANU College of Arts and Social Sciences
An introductory course in formal logic, dealing with propositional and predicate logic. Techniques of formal deduction and tests for the validity of arguments will be studied. Basic semantic concepts will be discussed.
Exercises related to foundations of logic and formal proofs, especially using natural deduction.
Learning outcomes 2, 3
Formalisation of one or more problems from and using the Logic for Fun website.
Learning outcomes 1
Essay on a topic in philosophical logic.
Learning outcomes 4
Final Exam
Learning outcomes 1, 2, 3, 4
130 hours of total student learning time made up from: a) 46 hours of contact over 12 weeks: 24 hours of lectures, 22 hours of tutorials; and b) 84 hours of independent student research, reading and writing.
Not applicable