PHL2170 - Symbolic logic

Leader(s): Lloyd Humberstone

Offered

Clayton First semester 2009 (Day)

Synopsis

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.

Objectives

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.

Assessment

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.

Prerequisites

PHL1140 or PHL2140

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

http://www.arts.monash.edu.au/philosophy/ugrad/units/phl2170.php