For the health and safety of the Grand Valley community, remote academic instruction will continue through April 25. The Admissions office is available to answer calls Mon.-Fri. from 8 a.m. to 5 p.m. at 616-331-2025 or 1-800-748-0246 or email email@example.com. Additional instructions and updates at www.gvsu.edu/coronavirus
2019-2020 Undergraduate & Graduate Catalog
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.