PHL2170

Symbolic logic

(ART)

Lloyd Humberstone

6 points + 2 hours per week + Second semester + Clayton + Prerequisites: First-year sequence in Philosophy or at least 12 points of Science units

Synopsis: The unit 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. www.arts.monash.edu.au/phil/undergraduate/lateryear.html

Assessment: 3 assignments (1500 word equivalent): 30% each + Tutorial participation: 10% + Students may also choose to sit a 3-hour examination to replace the combined total of their (combined) assignment scores if this will improve their mark