PHL245H1: Modern Symbolic Logic

Hours: 
36L

The application of symbolic techniques to the assessment of arguments. Propositional calculus and quantification theory. Logical concepts, techniques of natural deduction.

Exclusion: 
Breadth Requirements: 
Thought, Belief and Behaviour (2)