Skip to main content

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

Summer 2021

Section Title Instructor
01 Introduction to Symbolic Logic Matthews, Mark Books Course details

Fall 2021

Section Title Instructor
01 Introduction to Symbolic Logic Matthews, Mark Books Course details

Spring 2022

Section Title Instructor
50 Introduction to Symbolic Logic Matthews, Mark Books Course details