PHIL 204

Introduction to Symbolic Logic

4 Undergraduate credits
Effective August 24, 2002 – Present

Graduation requirements this course fulfills

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.

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 2019

Section Title Instructor
01 Introduction to Symbolic Logic Logan, Sh Books Course details

Fall 2019

Section Title Instructor
01 Introduction to Symbolic Logic Leibel, Rh Books Course details
02 Introduction to Symbolic Logic Matthews, Ma Books Course details

Spring 2020

Section Title Instructor
01 Introduction to Symbolic Logic Leibel, Rh Books Course details
02 Introduction to Symbolic Logic Staff Books Course details

Summer 2020

Section Title Instructor
01 Introduction to Symbolic Logic Staff Books Course details