Skip to main content

Summer and Fall 2025 Registration window opens March 17.

PHIL 204 Introduction to Symbolic Logic

Symbolic logic uses formal methods in order to study the properties of arguments in a precise and rigorous manner. In this course, we learn about both the propositional calculus, which deals with the logical relations that hold among whole propositions, and the predicate calculus, a system which allows more precise analysis of linguistic structure. The course will focus on both translation of natural languages into symbolic form, and proofs using natural deduction.
4 Undergraduate credits

Effective August 24, 2002 to present

Meets graduation requirements for

Learning outcomes

General

  • Evaluate arguments given in a natural language
  • Translate natural language into the propositional calculus
  • Translate natural language into the predicate calculus
  • Construct proofs in a system of natural deduction
  • Transfer these reasoning skills to life as a student and citizen

Spring 2025

Section Title Instructor books eservices
50 Introduction to Symbolic Logic Bergin, Lisa A Books for PHIL-204-50 Spring 2025 Course details for PHIL-204-50 Spring 2025