units

ATS2866

Faculty of Arts

print version

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

6 points, SCA Band 1, 0.125 EFTSL

Undergraduate - Unit

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

Faculty

Arts

Organisational Unit

Philosophy

Coordinator(s)

Mr Lloyd Humberstone

Offered

Clayton

  • First semester 2016 (Day)

Synopsis

The unit is intended to provide a survey of modern symbolic logic, concentrating on propositional and predicate logic. Besides building 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

  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

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.

See also Unit timetable information

Chief examiner(s)

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

Prerequisites

Twelve credit points of first-year Arts units.