A survey of recent and contemporary philosophy of mathematics in the
analytical tradition, based on readings from the
anthology "Philosophy of Mathematics," edited by Paul Benacerraf and
Hilary Putnam. Close and detailed consideration will be given to
logicism, formalism and intuitionism, as well as philosophical
issues concerning our knowledge of mathematical truths and the
precise nature of sets.

Required text: Benacerraf, P. and H. Putnam (eds) "Philosophy of
Mathematics: Selected Readings." Second Edition. Cambridge
University Press. 1983. Paperback.

Assignments and Grading: A student's grade in the course will be
determined by his or her performance on one in-class midterm
examination, one take-home final examination, frequent short papers,
weekly quizzes, presentations and classroom participation.

Prerequisites: Students should have completed a good introductory
course in mathematical logic at the graduate level, e.g., P505 or
its equivalent.