Mathematics and Philosophy
The Mathematics and Philosophy major allows students to explore those areas where philosophy and mathematics meet, in particular, mathematical and philosophical logic and the philosophy of mathematics.
The prerequisite for the major is MATH 120a or b. The major requires twelve term courses including the prerequisite, at least five of which must be in mathematics at the level of MATH 120a or b or higher and five of which must be in philosophy. All philosophy courses are eligible for credit toward the major, with the exception of First-Order Logic (PHIL 115a). Required courses include Set Theory (MATH 270a), Mathematical Logic I (PHIL 267a), Mathematical Logic II (PHIL 268b), an advanced philosophy course (other than PHIL 267a or 268b) with a substantive logical component, and one seminar in either Mathematics or Philosophy that fulfills the senior requirement (see below). Set Theory (MATH 270a) and Mathematical Logic I (PHIL 267a) must be taken before the end of the junior year; it is strongly recommended that they be taken earlier.
Senior requirement. Each year certain seminars offered by the Mathematics and Philosophy departments are designated as fulfilling the senior requirement of this major. If such a seminar is taken in order to fulfill the senior requirement, majors must consult with the instructor and agree upon additional work required. Typically, additional work includes a substantial class presentation and/or preparation of a series of drafts prior to submission of the final paper.
The Mathematics seminar fulfilling the senior requirement for 2007–2008 is MATH 480a or b, Senior Seminar: Mathematical Topics. For Philosophy seminars that fulfill the senior requirement, consult the director of undergraduate studies in Philosophy.
A typical program satisfying the major might consist of MATH 120a or b, 222a or b or 225a or b, 270a, 300b, 350a, and a designated seminar; PHIL 126b, 267a, 268b, 269a, a designated seminar, and one additional elective.
Majors should consult Yair Minsky, 448 DL, 432-4018, yair.minsky@yale.edu (adviser in Mathematics), and Michael Weber, 406A C, 432-1679, michael.weber@yale.edu (adviser in Philosophy).
REQUIREMENTS OF THE MAJOR
Prerequisite: MATH 120a or b
Number of courses: 12 term courses (incl prereq and senior sem)
Distribution of courses: At least 5 in math and 5 in phil
Specific courses required: MATH 270a, PHIL 267a, 268b
Senior requirement: Senior sem
