Skip to main content


The Five College Consortium -- composed of Amherst, Hampshire, Mount Holyoke, and Smith Colleges, and the University of Massachusetts at Amherst -- offers a rich and varied set of possibilities for students and faculty interested in philosophy. Each of the philosophy departments at the five institutions works individually and collectively to augment numerous course options with guest speakers, symposia, and library resources.

More information is available at

The Five College Consortium offers a Logic Certificate

The requirements are as follows:

  • six courses from the list of Five College logic courses, see below.
  • No more than four courses can be counted toward 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, Mt. Holyoke or Amherst).
  • At least one course should expose students to the basic metatheory of first-order logic including incompleteness. Courses satisfying this requirement include:

                      Smith: Philosophy 220
                      Amherst: Math 385
                      UMass Amherst: Philosophy 513, 514
                      Mount Holyoke: Philosophy 327

  • Students must receive grades of at least "B" in each course counting toward the certificate.

For more details, please consult the Five College Logic Certificate Program Application Form.

Regularly Offered Logic Courses

Introductory symbolic logic courses:
Smith: Logic 100, Philosophy 202
Amherst: Philosophy 213
UMass Amherst: Philosophy 110

Critical thinking courses:
Mount Holyoke: Philosophy 210

Introductory symbolic logic for mathematics students:
Amherst: Mathematics 385
UMass Amherst: Philosophy 513, 514
Mount Holyoke: Philosophy 225

Smith: Philosophy 220
Amherst: Mathematics 385
UMass Amherst: Philosophy 513, 514
Mount Holyoke: Philosophy 327

Various topics in logic and philosophy:
Smith: Philosophy 203
Amherst: Philosophy 350
UMass Amherst: Philosophy 310, 511, 512, 594, 710
Hampshire: Computer Science 210
Mount Holyoke: Philosophy 328

Various topics in computer science:
Smith: Computer Science 250, 270, 290, 294
Amherst: Computer Science 161, 241, 401
UMass Amherst: Computer Science 250, 401, 513, 601
Hampshire: Computer Science 175, 263
Mount Holyoke: Computer Science 311

Various topics in mathematics:
Smith: Mathematics 217
Amherst: Mathematics 380

Various topics in linguistics:
Smith: Computer Science 294
UMass Amherst: Linguistics 510, 610, 620, 720
Hampshire: Computer Science 166, 210