Skip to main content
GVSU COVID-19 Update: Remote learning continues through Aug. 4.

Admissions office is open. admissions@gvsu.edu. Visit www.gvsu.edu/coronavirus for more. 

2018-2019 Undergraduate & Graduate Catalog

Search Help

PHI 203 - Intermediate Logic

A thorough introduction to classical quantificational logic. This course develops the syntax and semantics of the language of quantificational logic, assesses its relation to English, and introduces proof methods for, and some of meta-logic of, quantificational logic. The course also introduces some extensions of, or alternatives to, classical quantificational logic. Offered fall semester, even-numbered years. Prerequisite: PHI 103, or CIS 160, or CIS 162, or MTH 110, or MTH 122, or MTH 201.

Credits: 3



If you are in need of assistance please submit any questions or comments.