Jul 22, 2024  
2021-2022 UMaine Undergraduate Catalog 
2021-2022 UMaine Undergraduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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:  Quantitative Literacy and Western Cultural Tradition

Prerequisites: No first-year students.

Course Typically Offered: Fall

Credits: 3

Add to Portfolio (opens a new window)