You are now in the main content area

PHL 212

Introductory Logic

This course is an introduction to propositional and predicate logic that considers the relationships between formal logical languages and ordinary languages like English, the relationship between validity in a system and logical validity, and various methods for showing the validity and invalidity of patterns of inference. The course will include a brief introduction to some of the meta-logical concepts that are the core of more advanced studies in logic (e.g. soundness and completeness).
Weekly Contact: Lecture: 3 hrs.
GPA Weight: 1.00
Course Count: 1.00
Billing Units: 1

Prerequisites

None

Co-Requisites

None

Antirequisites

PHL 597

Custom Requisites

None

Mentioned in the Following Calendar Pages

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