Philosophy 512 - Philosophy and Logic
Fall
2012
01
3.00
Kevin Klement
M W F 11:15AM 12:05PM
UMass Amherst
60557
Naive set theory and mathematical induction. Axiomatic presentations of propositional and predicate logic. Interpretations and validity. Completeness theorems for both systems. The Lowenhein-Skolem theorem.
Pre Req: PHIL 310&Ugrd or Grad