Skip to content | Change text size
Handbooks Courses Units Related information

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.


  1. To provide students with a comprehensive grasp of contemporary symbolic logic.
  2. To give students a firm basis from which to proceed to advanced logical theory.


Assignments: 90%
Tutorial participation: 10%

- Students can replace assignments with 3 hour exam: 90%.

Contact hours

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


PHL1140 or PHL2140

Additional information on this unit is available from the faculty at:

[an error occurred while processing this directive]