Skip to main content

PHL 597

Introduction to Formal Logic

This course is an introduction to propositional and predicate logic. We will study: the relationships between formal logical languages and ordinary languages like English; the relationship between validity in a system and logical validity; various methods for showing the validity and invalidity of patterns of inference. We will conclude with a brief introduction to some of the meta-logical concepts, such as soundness and completeness, that are the core of many more advanced studies in logic.
Weekly Contact: Lecture:3 hrs.
GPA Weight: 1.00
Course Count: 1.00
Billing Units: 1
Liberal Studies: UL

Prerequisites

SSH 105 or PHL 214

Antirequisites

MTH 110

Co-Requisites

None

Custom Requisites

None

Philosophy