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
Incompleteness:
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