Authorised by Academic Registrar, April 1996
Synopsis The subject is intended to provide an elementary survey of modern symbolic logic, concentrating on the propositional and predicate logic. Besides developing 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.
Assessment Students with a satisfactory work record during the course will have the option of assessment based on a `take-home' test instead of a formal examination.