Recent logic
Lloyd Humberstone
8 points
* 2 hours per week
* Second semester
* Clayton
*
Prerequisites: A first-year philosophy sequence and any one of PHL2090, PHL2170
or PHL3170
Objectives On successful completion of this subject the student should be able to test arguments for validity in propositional and predicate logic, and be able to construct proofs for sequents corresponding to valid arguments in the above areas. The student should show appreciation for the issues that arise in connection with formalising ordinary language.
Synopsis We shall examine some areas of recent formal logic whose development has been motivated by philosophical concerns (with modality, tense, the logic of obligation, entailment etc.)
Assessment Two assignments: 50% each
| Published by Monash University, Clayton, Victoria
3168 Copyright © Monash University 1996 - All Rights Reserved - Caution Authorised by the Academic Registrar December 1996 |