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.
- First semester 2017 (Day)
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.
- 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.
Within semester assessment: 100%
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
This unit applies to the following area(s) of study
Twelve credit points of first-year Arts units.