Philosophy 327 - Advanced Logic
Fall
2013
01
4.00
Lee Bowie
MWF 10:00AM-10:50AM
Mount Holyoke College
85149
Skinner Hall 212
lbowie@mtholyoke.edu
85149,85040
'This course presents a careful development of predicate calculus, formal elementary number theory, and elementary recursion theory, culminating in a proof of Godel's incompleteness results. It includes some discussion of the philosophical significance of these results for the foundations of mathematics.'
Prereq: Philosophy 225 and 4 additional credits in Philosophy or Mathematics