PHIL 220 (3 cr): Symbolic Logic I


Course Description

Symbolic Logic I: Sentential and predicate logic. Translation from natural language; truth tables and interpretations; systems of natural deduction up to relational predicate logic with identity; alternative proof methods. Some sections may use computer-based materials and tests.

Student/audience description

Philosophy 220 is a course designed for students who want an introduction to symbolic or formal logic. The course is mathematical in content. No philosophy background is required. Although there may be some content in common with Philosophy 120 Logic and critical thinking that course is not a pre-requisite for Philosophy 220 Symbolic Logic I. Students who take this course are sometimes majors in Philosophy. However, they are often majors in other subjects.

Course objectives/outcomes

Students who successfully complete this course will:

  • Acquire an understanding of how artificial symbolic languages for logic work
  • Acquire the ability to symbolize or translate English into formulas in artificial symbolic languages
  • Develop an understanding of important logical concepts
  • Learn how to investigate the application of these logical concepts to formulas in artificial symbolic languages using the methods of semantic tableau and natural deduction proofs


Barker-Plummer, Dave, Barwise, Jon and John Etchemendy. Language, Proof and Logic, 2nd ed. with CD. Center for the Study of Language and Information, 2011. ISBN: 9781575866321

PHIL220 Textbook Order Form

Supplementary material:

Online in the course website.