The Program

The basic requirement for the logic certificate is six courses from the list of Five College logic courses.

Currently offered courses can be viewed on the Logic Courses page.

No more than four courses can be counted towards the certificate from any single discipline (philosophy, linguistics, mathematics, computer science).

At least two courses must be taken at an advanced level (500 or above at UMass, 300 or above at Smith, Hampshire or Mount Holyoke, 30 or above at Amherst).

At least one course should expose students to the basic metatheory of first-order logic including incompleteness.  Courses satisfying this requirement include:

Amherst, Math 34
MHC, Philosophy 327
Smith, Philosophy 220
UMass, Philosophy 513, 514

Students must receive a grade of at least "B" in each course counting towards the certificate.

© 2014 University of Massachusetts Amherst • Site Policies
This page is maintained by the Center for Educational Software Development