# Mathematics and Philosophy

Directors of undergraduate studies: Andrew Casson (Mathematics), 216 LOM, 432-7056, andrew.casson@yale.edu; Kenneth Winkler (Philosophy), 406A C, 432-1679, kenneth.winkler@yale.edu

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 120. The major requires twelve term courses including the prerequisite, at least four of which must be in Mathematics at the 200 level 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 115). Required courses include Set Theory (MATH 270), Mathematical Logic (PHIL 267), Computability and Logic (PHIL 427), an additional advanced Philosophy course with a substantive logical component, and one seminar in either Mathematics or Philosophy (other than PHIL 427) that fulfills the senior requirement (see below). Set Theory (MATH 270) and Mathematical Logic (PHIL 267) 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 MATH 480, Senior Seminar: Mathematical Topics, fulfills the senior requirement. 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 120, 222 or 225, 270, 300, 350, and a designated seminar; PHIL 126, 267, 427, a designated seminar (other than PHIL 427), and two additional electives.

#### REQUIREMENTS OF THE MAJOR

**Prerequisite** MATH 120

**Number of courses** 12 term courses (incl prereq and senior sem)

**Distribution of courses** At least 4 courses in Math at 200 level or higher; at least 5 courses in Phil, as specified

**Specific courses required** MATH 270, PHIL 267, 427

**Senior requirement** Senior sem