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.

ATS2866 - Symbolic logic

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

Organisational Unit

Coordinator(s)

Offered

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

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.