PHL2170 - Symbolic logic
6 points, SCA Band 1, 0.125 EFTSL
Undergraduate Faculty of Arts
Leader(s): Lloyd Humberstone
Clayton First semester 2009 (Day)
The unit is intended to provide a survey of modern symbolic logic, concentrating on the propositional and predicate logic. Besides building on a basic competence in these systems, the subject provides an introduction to the meta-theory of formal systems and involves some discussion of philosophical problems associated with the application of such systems to informal discourse.
- To provide students with a comprehensive grasp of contemporary symbolic logic.
- To give students a firm basis from which to proceed to advanced logical theory.
Tutorial participation: 10%
- Students can replace assignments with 3 hour exam: 90%.
2 hours (1 lecture and 1 tutorial) per week.