## FIVE COLLEGE CERTIFICATE PROGRAM IN LOGIC

Five College Certificate in Logic

The Five College Certificate in Logic brings together aspects of logic from different disciplines within the curriculum: Philosophy, Mathematics, Computer Science, and Linguistics. The Certificate offers an opportunity for students to pursue an interest in logic as a complement to their majors.

To earn the Five College Certificate in Logic, a student must take six courses in logic from any of the Five Colleges. No more than four courses can be counted towards the Certificate from any single one of the above disciplines. At least two courses must be taken at an advanced level (300 or above at University of Massachusetts, 210 or above at Smith College, 300 or above at Amherst College, Hampshire College or Mount Holyoke College). And at least one course must expose students to the basic meta-theory of first-order logic and to Gödel’s Incompleteness Theorems. Students must receive grades of at least “B” in each course counting towards the Certificate.

The logic courses offered at the five institutions occasionally overlap. To insure that every Certificate student chooses wisely, each course of study must be approved by the coordinating committee for the Logic Certificate (which comprises one representative from each participating institution). For 2015-16 please see Professor Alexander George of the Philosophy Department or Daniel Velleman of the Mathematics Department (fall semester only).

For a list of courses fulfilling certificate requirements, consult the Logic Website at www.fivecolleges.edu/sites/logic.