Elementary Symbolic Logic (PHIL*2110) | College of Arts

Elementary Symbolic Logic (PHIL*2110)

Term: Winter 2014


This course covers the basic principles of elementary logic and explores the logical structures of sentences both formal and informal. We will be learning a new language that lays bare the structure of human reasoning. By learning this language, called first order logic (or FOL), we can construct and assess arguments. This language focuses on the structure of arguments rather than their content, which allows for formal proofs, clarity, and precision.


PDF icon PHIL2110 W14 Syllabus.pdf297.69 KB