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)
Unit guides
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.
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.