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
To earn the Five College Logic Certificate, students must complete six courses with a grade of B or higher.
I. One course that covers the metatheory of first-order logic through incompleteness*,
II. Two additional advanced courses in logic (500-level and above at UMass; 300-level and above at Amherst, Hampshire, Mount Holyoke, and Smith Colleges), and
III. Three additional courses at any level, one of which may be an introductory logic course.
No more than four courses toward the certificate can be in a single discipline.
*Courses that satisfy the metatheory of first-order logic through incompleteness include:
Amherst College: Math 385, Computer Science 401
Mount Holyoke College: Philosophy 327
Smith College: Philosophy 220
UMass Amherst: Philosophy 513, 514