The Program

Logic is a part of every discipline. There is reasoning in every field of inquiry. There are rules behind every work of art, behind every natural language. There is inference in every intelligence, human and inhuman. Every issue of law and public policy bends to the power of logic.

The study of logic itself is thus of the greatest importance. The Logic Certificate Program brings together aspects of logic from different regions of the curriculum: philosophy, mathematics, computer science and linguistics. The program is designed to acquaint students with the uses of logic and initiate them in the profound mysteries and discoveries of modern logic.

Requirements

Certificate students complete a total of six courses, including:

1. One course on basic metatheory of first order logic including completeness. Eligible courses include:
   • UMass Amherst: Philosophy 513, 514
   • Smith: Philosophy 220
   • Amherst: Math 385
   • Mount Holyoke: Philosophy 327
2. 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).
3. No more than four courses can be counted toward the certificate from any single discipline (philosophy, linguistics, mathematics, computer science).

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