Undergraduate - UnitATS2866 - Symbolic logic

This unit entry is for students who completed this unit in 2014 only. For students planning to study the unit, please refer to the unit indexes in the the current edition of the Handbook. If you have any queries contact the managing faculty for your course or area of study.

print version

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, or view unit timetables.

Level	Undergraduate
Faculty	Faculty of Arts
Organisational Unit	Philosophy
Offered	Clayton First semester 2014 (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.

Outcomes

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

Assessment

Assignments (including at least one in-class test): 90%
Tutorial participation: 10%

Chief examiner(s)

Lloyd Humberstone

Workload requirements

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

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

Philosophy

Prerequisites

None.