Undergraduate - UnitATS2866 - Symbolic logic

This unit entry is for students who completed this unit in 2015 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.

Level	Undergraduate
Faculty	Faculty of Arts
Organisational Unit	Philosophy
Offered	Clayton First semester 2015 (Day)
Coordinator(s)	Mr Lloyd Humberstone

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

Within semester assessment: 100%

Workload requirements

Minimum total expected workload to achieve the learning outcomes for this unit is 144 hours per semester typically comprising a mixture of scheduled learning activities and independent study. A unit requires on average three/four hours of scheduled activities per week. Scheduled activities may include a combination of teacher directed learning, peer directed learning and online engagement.

Chief examiner(s)

Mr Lloyd Humberstone

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

Philosophy

Prerequisites

Twelve credit points of first-year Arts units.