PHL3570

Recent Logic

Proposed to be offered next in 1999

Lloyd Humberstone

8 points
* 2 hours per week
* Second semester
* Clayton
* Prerequisites: A first-year philosophy sequence and PHL2090 or PHL2170

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