Home

PHIL 301-Deductive Logic

Credits: 
3

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.