Symbolic logic
Lloyd Humberstone
8 points * 3 hours per week * First semester * Clayton * Prerequisites: First-year sequence in philosophy or at least 12 points of science subjects
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.
Prescribed texts
Lemmon E J Beginning logic Nelson