You are now in the main content area

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


SSH 105 or PHL 214




MTH 110

Custom Requisites


Mentioned in the Following Calendar Pages

*List may not include courses that are on a common table shared between programs.