units

ATS2866

Faculty of Arts

Skip to content | Change text size
 

print version

Monash University

Monash University Handbook 2011 Undergraduate - Unit

6 points, SCA Band 1, 0.125 EFTSL

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

LevelUndergraduate
FacultyFaculty of Arts
OfferedClayton First semester 2011 (Day)
Coordinator(s)Lloyd Humberstone

Notes

Previously coded PHL2170

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