units

ATS2866

Faculty of Arts

Undergraduate - Unit

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

To find units available for enrolment in the current year, you must make sure you use the indexes and browse unit tool in the current edition of the Handbook.

LevelUndergraduate
FacultyFaculty of Arts
Organisational UnitPhilosophy
OfferedClayton First semester 2013 (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

  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)

Contact hours

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

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

Prerequisites

None.