Skip to main content

North Star Promise Scholarship Alert: FAFSA or MN Dream Act forms must be submitted by June 1 to be considered for the scholarship next year!

—

Metro State will observe Summer Hours May 22–July 25: On Fridays, services will be virtual only, and buildings will be closed Fridays and Saturdays (except the Library will be open Fridays and Saturdays from 10a.m-6: p.m.). Check the Student Services page for details.
Metro State University (Home)

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 2026

Section Title Instructor books eservices
50 Introduction to Symbolic Logic Potter, Archie A Books for PHIL-204-50 Spring 2026 Course details for PHIL-204-50 Spring 2026