|
May 05, 2024
|
|
|
|
2016-2017 Undergraduate Catalog [ARCHIVED CATALOG]
|
PHI 250 - Formal Logic An introductory course in modern symbolic logic. Techniques of deductive inference, including decision procedures and axiomatization, are studied in developing the propositional and predicative logics. Some attention is given to metalogic and the philosophy of logic.
General Education Requirements: Satisfies the General Education Mathematics and Western Cultural Tradition Requirements.
Prerequisites: no first-year students.
Course Typically Offered: Fall
Credits: 3
|
|