PHIL 2270J Symbolic Logic

This course is a study of the elements of formal logic. Topics are propositional and predicate logic, set theory, foundations of mathematics, and formal semantics. Readings include Frege, Russell, Goedel, and Tarski. (Previously NJCU Course PHIL-227)

Credits

3