University of Alberta
Faculty of Arts
Department of Philosophy
Phil 220: Symbolic Logic 2 — Fall
First-order logic (FOL) is a logic that has been thoroughly investigated and is very well understood. FOL gains its importance from its wide applicability and from its place on the landscape of logical calculi and formal languages.
Some elements of classical logic are studied in the course Phil 120, which is a prerequisite for this course. (The prerequisite can be waived upon request in certain cases.) This course is a more detailed and more formal study of some of the same topics that were touched upon in Phil 120, together with new and more complex questions and methods from FOL as well as some first-order theories, which are concrete applications of FOL.
The course intends to develop and advance your understanding of some of the components of FOL along with their interactions. Among these components are the truth-functional connectives, the quantifiers, identity, proof systems and models. The course will enhance your ability to formalize more subtle and crafty natural language sentences. Toward the end of the term, you will have a chance to learn resolution, which is a widely-used proof system for FOL, and to glimpse at induction and set theory.
We will use a textbook that was written by world-class logicians who aimed at providing an excellent text and superior tools for learning logic. The textbook is accompanied by a software package that contains Boole, Fitch and Tarski's world — three programs that are named after famous logicians.
These programs provide a lot of opportunity for experimentation, exploration and learning.
Time: M, W, F
14:00 pm–14:50 pm
Textbook: Barker-Plummer, D., Barwise, J. and J. Etchemendy, Language, Proof and Logic, 2nd ed.,
CSLI Publications, Stanford, CA, 2011. (required)
For further information, please contact the instructor at
The (official) course outline is available in the e-classroom during the course.
[Last updated on March 13th, 2013.]