PHILOSOPHY 120: SYMBOLIC LOGIC I

Calendar Description: A study of sentential logic, including translation, semantics, decision procedures and natural deduction followed by an introduction to predicate logic, concentrating on translation. Note: Not open to students with credit in PHIL 220.

PHIL 120: A1 First Term MWF 09:00-09:50 C. Panjvani Texts: TBA

PHIL 120: A2 First Term TR 11:00-12:20 Adam Morton
Texts: Robert M.Martin, Introducing Symbolic Logic (Broadview Press)

PHIL 120: B1 Second Term MWF 09:00-09:50 B. Linsky
Text: Ernest Lepore, Meaning and Argument: An Introduction to Logic Through Language (Oxford: Blackwell Publishing, 2003, revised edition)

PHIL 120: B2 Second Term TR 11:00-12:20 P. McGivern Texts: TBA

PHIL 120: S1 Second Term T 18:00-21:00 V. Djordjevic Texts: TBA

PHIL 120: S2 Second Term R 1800-2100 P. McGivern Texts: TBA