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: 

PHLB50H3, PHL245H5

Breadth Requirements: 
Thought, Belief and Behaviour (2)