Skip to content | Change text size

PHL2170 - Symbolic Logic

6 points, SCA Band 1, 0.125 EFTSL

Undergraduate Faculty of Arts

Leader: Lloyd Humberstone


Clayton First semester 2007 (Day)


The unit is intended to provide an elementary survey of modern symbolic logic, concentrating on the propositional and predicate logic. Besides developing 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.


Three assignments (1500 word equivalent): 90%
Tutorial participation: 10%
Students may also choose to sit a 3-hour examination to replace the combined total of their (combined) assignment scores if this will improve their mark.

Contact hours

2 hours (1 lecture and 1 tutorial) per week.


First-year sequence in Philosophy or at least 12 points of Science units.