You are now in the main content area
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
Mentioned in the Following Calendar Pages
*List may not include courses that are on a common table shared between programs.