Mathematics and Philosophy

Directors of undergraduate studies: Andrew Neitzke (Mathematics), DL 425; associate director of undergraduate studies: Miki Havlickova (Mathematics), DL 446; Paul Franks (Philosophy), 106A C, 432-1687

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.

Prerequisite

The prerequisite for the major is MATH 120. Students who completed multivariable calculus during high school may consult with the DUSes about substituting a higher level mathematics course. 

Requirements of the Major

The major requires twelve term courses including the prerequisite and the senior seminar. Of the remaining courses, at least four must be in mathematics at the 200 level or higher and five 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.  

A course must be listed with a MATH number to count toward the mathematics requirements—substitutions from other departments are not allowed.

Senior Requirement

Each year certain seminars offered by the Mathematics and Philosophy departments are designated as fulfilling the senior requirement of the combined 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 seminars MATH 480 or MATH 481 fulfill the senior requirement. For philosophy seminars that fulfill the senior requirement, consult the director of undergraduate studies (DUS) in Philosophy.

Credit/D/Fail At most one course taken Credit/D/Fail may be applied toward the major, with permission of the DUSes. The following courses must be taken for letter grades: MATH 270, PHIL 267, PHIL 427; the required mathematics courses level 200 or higher; the additional philosophy course with an advanced logic component; and the senior seminar. 

Advising

A typical program satisfying the major might consist of MATH 120, 222 or 225 or 226, 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)

Specific courses required MATH 270PHIL 267427

Distribution of courses At least 4 courses in MATH at 200 level or higher; at least 5 courses in PHIL, as specified; 1 additional PHIL course with adv logic component

Senior requirement Senior seminar or MATH 480 or MATH 481