Courses
|
PHIL 301-Deductive Logic
Provides practical familiarity with quantificational first order predicate logic, and a cursory survey of some basic features of formal systems such as consistency, adequacy, and the significance of undecidable formulas. |