Natural Deductive Logic PHIL 210 (3)
This course studies a natural deductive system of propositional and quantificational logic, the first-order theory of identity and the first-order theory of relations. Topics include the metatheory of propositional logic and the application of formal theory to the assessment of natural language arguments. Quantitative.
| Section | Instructor | Day/Time | Location |
|---|---|---|---|
|
Ray Jennings |
Sep 8 鈥� Dec 7, 2015: Tue, 10:30鈥�11:20 a.m.
Sep 8 鈥� Dec 7, 2015: Thu, 9:30鈥�11:20 a.m. |
Burnaby Burnaby |