Monash University Handbook 2011 Undergraduate - Unit

Refer to the specific census and withdrawal dates for the semester(s) in which this unit is offered.

Notes

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%.

Chief examiner(s)

Lloyd Humberstone

Contact hours

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

This unit applies to the following area(s) of study

Philosophy

Prerequisites

ATS1838 or ATS2838

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

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