Five College Consortium

Five College Logic Certificate Program

Fall 2017 Courses

Semester: 
Fall
Year: 
2017
Subj Abbr Course # Sect # Course Title Instructor(s) Meeting Times Institution
PHIL 213 01 Logic Alexander George TH 09:00AM-09:50AM Amherst College
CS 0263 1 Artificial Intelligence Lee Spector 12:30PM-01:50PM TU;12:30PM-01:50PM TH Hampshire College
CS 0264 1 Pragmatics Daniel Altshuler 10:30AM-11:50AM M;10:30AM-11:50AM W Hampshire College
PHIL 210 01 Logical Thought Nina Emery MWF 10:00AM-10:50AM Mount Holyoke College
PHIL 327 01 Advanced Logic Samuel Mitchell MW 02:40PM-03:55PM Mount Holyoke College
LOG 100 01 VALID & INVALID REASONING Jay Garfield; James Henle MF 11:00-12:10 Smith College
LOG 100 D01 VALID & INVALID REASONING James Henle W 11:00-12:10 Smith College
LOG 100 D02 VALID & INVALID REASONING Jay Garfield W 11:00-12:10 Smith College
LOG 100 D03 VALID & INVALID REASONING Robert Gruber W 11:00-12:10 Smith College
LOG 100 D04 VALID & INVALID REASONING James Henle Th 09:00-10:10 Smith College
LOG 100 D05 VALID & INVALID REASONING Robert Gruber Th 10:30-11:40 Smith College
LOG 100 D06 VALID & INVALID REASONING Jay Garfield W 02:40-03:50 Smith College
COMPSCI 513 01 Logic in Computer Science Neil Immerman M W 9:05AM 10:20AM UMass Amherst
COMPSCI 513 02 Logic in Computer Science Neil Immerman M W 9:05AM 10:20AM UMass Amherst
LINGUIST 510 01 Intro To Semantics Peter Alrenga TU TH 10:00AM 11:15AM UMass Amherst
LINGUIST 510 01LL Intro To Semantics W 1:25PM 2:15PM UMass Amherst
LINGUIST 609 01 Formal Foundations Ling Theory Rajesh Bhatt;Vincent Homer TU TH 10:00AM 11:15AM UMass Amherst
PHIL 593C 01 S- Counterfactuals Alejandro Perez Carballo W 4:00PM 6:30PM UMass Amherst

Spring 2017 Courses

Semester: 
Spring
Year: 
2017
Subj Abbr Course # Sect # Course Title Instructor(s) Meeting Times Institution
CS 0214 1 Semantics Daniel Altshuler 10:30AM-11:50AM M;10:30AM-11:50AM W Hampshire College
PHIL 225 01 Symbolic Logic Samuel Mitchell MWF 10:00AM-10:50AM Mount Holyoke College
LOG 101 02 PLAUSIBLE & IMPLAUSIBLE REASON Albert Mosley TTh 09:00-10:20 Smith College
LINGUIST 510 01 Intro To Semantics Angelika Kratzer M W F 11:15AM 12:05PM UMass Amherst
LINGUIST 510 01LL Intro To Semantics F 12:20PM 1:10PM UMass Amherst
PHIL 110 01 Introduction To Logic Kevin Klement TU TH 1:00PM 2:15PM UMass Amherst
PHIL 310 01 Intermediate Logic Gary Hardegree TU TH 1:00PM 2:15PM UMass Amherst
PHIL 513 01 Math Logic I Kevin Klement M W F 11:15AM 12:05PM UMass Amherst
PHIL 595S 01 S-Formal Semantics Gary Hardegree TU TH 10:00AM 11:15AM UMass Amherst

Fall 2016 Courses

Semester: 
Fall
Year: 
2016
Subj Abbr Course # Sect # Course Title Instructor(s) Meeting Times Institution
PHIL 213 01 Logic Alexander George TH 09:00AM-09:50AM Amherst College
PHIL 328 01 Non-Classical Logic Samuel Mitchell TTH 11:30AM-12:45PM Mount Holyoke College
LOG 100 01 VALID & INVALID REASONING Jay Garfield; James Henle MF 11:00-12:10 Smith College
LOG 100 D01 VALID & INVALID REASONING James Henle W 11:00-12:10 Smith College
LOG 100 D02 VALID & INVALID REASONING Jay Garfield W 11:00-12:10 Smith College
LOG 100 D03 VALID & INVALID REASONING Lisa Cassell W 11:00-12:10 Smith College
LOG 100 D04 VALID & INVALID REASONING James Henle Th 09:00-10:10 Smith College
LOG 100 D05 VALID & INVALID REASONING Lisa Cassell Th 10:30-11:40 Smith College
LOG 100 D06 VALID & INVALID REASONING Jay Garfield W 02:40-03:50 Smith College
COMPSCI 250 01 Introduction To Computation Neil Immerman M W F 1:25PM 2:15PM UMass Amherst
COMPSCI 250 01AA Introduction To Computation W 11:15AM 12:05PM UMass Amherst
COMPSCI 250 01AB Introduction To Computation W 12:20PM 1:10PM UMass Amherst
COMPSCI 250 01AC Introduction To Computation W 11:15AM 12:05PM UMass Amherst
COMPSCI 250 01AD Introduction To Computation W 12:20PM 1:10PM UMass Amherst
LINGUIST 409 01 Intro Computational Linguistcs Rajesh Bhatt TU TH 2:30PM 3:45PM UMass Amherst

Spring 2016 Courses

Semester: 
Spring
Year: 
2016
Subj Abbr Course # Sect # Course Title Instructor(s) Meeting Times Institution
PHIL 209 01 Probability and Causation Samuel Mitchell MW 01:15PM-02:30PM Mount Holyoke College
PHIL 225 01 Symbolic Logic Samuel Mitchell MWF 10:00AM-10:50AM Mount Holyoke College
LOG 101 02 PLAUSIBLE & IMPLAUSIBLE REASON Albert Mosley TTh 09:00-10:20 Smith College
COMPSCI 250 01 Introduction To Computation David Barrington M W F 1:25PM 2:15PM UMass Amherst
COMPSCI 250 01AA Introduction To Computation F 10:10AM 11:00AM UMass Amherst
COMPSCI 250 01AB Introduction To Computation F 9:05AM 9:55AM UMass Amherst
COMPSCI 250 01AC Introduction To Computation F 10:10AM 11:00AM UMass Amherst
COMPSCI 250 01AD Introduction To Computation F 9:05AM 9:55AM UMass Amherst
COMPSCI 601 01 Computation Theory Neil Immerman TU TH 2:30PM 3:45PM UMass Amherst
LINGUIST 492B 01 S-Comptnl Linguist:Use&Meaning Brian Dillon TU TH 11:30AM 12:45PM UMass Amherst
LINGUIST 510 01 Intro To Semantics Angelika Kratzer TU TH 1:00PM 2:15PM UMass Amherst
LINGUIST 510 01LL Intro To Semantics TU 4:00PM 5:15PM UMass Amherst

Spring 2015 Logic Courses

Semester: 
Spring
Year: 
2015
Subj Abbr Course # Sect # Course Title Instructor(s) Meeting Times Institution
MATH 385 01 Mathematical Logic Daniel Velleman MWF 02:00PM-02:50PM; TH 09:00AM-09:50AM Amherst College
PHIL 225 01 Symbolic Logic Samuel Mitchell MWF 10:00AM-10:50AM Mount Holyoke College
LOG 201 01 THE LOGIC OF PROBABILITY Samuel Ruhmkorff MW 01:10-02:30 Smith College
CMPSCI 601 01 Computation Theory Neil Immerman TU TH 2:30PM 3:45PM UMass Amherst
LINGUIST 510 01 Intro To Semantics Seth Cable M W F 10:10AM 11:00AM UMass Amherst
LINGUIST 510 01LL Intro To Semantics F 12:20PM 1:10PM UMass Amherst
PHIL 110 01 Introduction To Logic Kevin Klement TU TH 1:00PM 2:15PM UMass Amherst
PHIL 514 01 Math Logic II Kevin Klement M W F 11:15AM 12:05PM UMass Amherst

Spring 2014 Logic Courses

Semester: 
Spring
Year: 
2014
Subj Abbr Course # Sect # Course Title Instructor(s) Meeting Times Institution
CS 0293 1 Introduction to Semantics Carlos Molina-Vital 02:30PM-03:50PM M,W Hampshire College
MATH 232 01 Discrete Mathematics Jennifer Biermann;Jennifer Biermann MW 01:15PM-02:30PM;F 01:15PM-02:05PM Mount Holyoke College
MATH 232 02 Discrete Mathematics Anne Schwartz;Anne Schwartz MW 01:15PM-02:30PM;F 01:15PM-02:05PM Mount Holyoke College
PHIL 225 01 Symbolic Logic Charles Rathkopf MWF 10:00AM-10:50AM Mount Holyoke College
CSC 250 01 THEORETICAL FOUNDATIONS/CSC Alicia Wolfe MWF 10:00-10:50 Smith College
LOG 400 0 SPECIAL STUDIES Smith College
MTH 153 01 INTRO DISCRETE MATHEMATICS Kuei-Nuan Lin MWF 10:00-10:50 Smith College
PHI 100 01 THINKING ABOUT THINKING Samuel Ruhmkorff MW 10:00-10:50 Smith College
PHI 100 D01 THINKING ABOUT THINKING Samuel Ruhmkorff F 10:00-10:50 Smith College
PHI 100 D02 THINKING ABOUT THINKING Samuel Ruhmkorff F 11:00-11:50 Smith College
CMPSCI 250 01 Introduction To Computation David Barrington M W F 1:25PM 2:15PM UMass Amherst
CMPSCI 250 01AA Introduction To Computation M 2:30PM 3:20PM UMass Amherst
CMPSCI 250 01AB Introduction To Computation M 3:35PM 4:25PM UMass Amherst
CMPSCI 250 01AC Introduction To Computation M 2:30PM 3:20PM UMass Amherst
CMPSCI 250 01AD Introduction To Computation M 3:35PM 4:25PM UMass Amherst
LINGUIST 510 01 Intro To Semantics Angelika Kratzer M W F 10:10AM 11:00AM UMass Amherst
LINGUIST 510 01LL Intro To Semantics TH 4:00PM 4:50PM UMass Amherst
LINGUIST 620 01 Formal Semantics Ilaria Frana W F 12:20PM 1:35PM UMass Amherst
PHIL 110 01 Introduction To Logic Gary Hardegree TU TH 1:00PM 2:15PM UMass Amherst
PHIL 310 01 Intermediate Logic Gary Hardegree TU TH 9:30AM 10:45AM UMass Amherst

Fall 2014 Logic Courses

Semester: 
Fall
Year: 
2014
Subj Abbr Course # Sect # Course Title Instructor(s) Meeting Times Institution
PHIL 213 01 Logic Alexander George MWF 09:00AM-09:50AM Amherst College
PHIL 213 02 Logic Alexander George MWF 10:00AM-10:50AM Amherst College
PHIL 213 03 Logic Alexander George MWF 11:00AM-11:50AM Amherst College
CS 0263 1 Artificial Intelligence Lee Spector 02:00PM-03:20PM T,TH Hampshire College
MATH 232 01 Discrete Mathematics Anne Schwartz MW 11:00AM-12:15PM;F 11:00AM-11:50AM Mount Holyoke College
PHIL 210 01 Logical Thought Daniel Hagen TTH 01:15PM-02:30PM Mount Holyoke College
CSC 250 01 THEORETICAL FOUNDATIONS/CSC Alicia Wolfe MWF 10:00-10:50 Smith College
LOG 100 01 VALID & INVALID REASONING James Henle MF 11:00-12:10 Smith College
LOG 100 D01 VALID & INVALID REASONING James Henle W 11:00-12:10 Smith College
LOG 100 D02 VALID & INVALID REASONING Samuel Ruhmkorff W 11:00-12:10 Smith College
LOG 100 D03 VALID & INVALID REASONING Kristian Olsen W 11:00-12:10 Smith College
LOG 100 D04 VALID & INVALID REASONING Samuel Ruhmkorff W 02:40-03:50 Smith College
LOG 100 D05 VALID & INVALID REASONING James Henle Th 09:00-10:10 Smith College
LOG 100 D06 VALID & INVALID REASONING Kristian Olsen Th 10:30-11:40 Smith College
MTH 153 01 INTRO DISCRETE MATHEMATICS Gwen Spencer MWF 09:00-09:50 Smith College
MTH 153 02 INTRO DISCRETE MATHEMATICS Gwen Spencer MWF 10:00-10:50 Smith College
PHI 236 01 LINGUISTIC STRUCTURES Jill de Villiers TTh 10:30-11:50 Smith College
CMPSCI 250 01 Introduction To Computation Neil Immerman M W F 1:25PM 2:15PM UMass Amherst
CMPSCI 250 01AA Introduction To Computation W 11:15AM 12:05PM UMass Amherst
CMPSCI 250 01AB Introduction To Computation W 12:20PM 1:10PM UMass Amherst

Pages

Fall 2013 Five College Logic Courses

Semester: 
Fall
Year: 
2013
Subj Abbr Course # Sect # Course Title Instructor(s) Meeting Times Institution
COSC 161 01 Computer Systems I

Scott Kaplan

MWF 11:00AM-11:50AM

Amherst College
PHIL 213 01 Logic

Alexander George

TTH 08:30AM-09:50AM

Amherst College
PHIL 350 01 Phil of Mathematics

Alexander George, Daniel Velleman

TTH 01:00PM-02:20PM

Amherst College
CS 0303 1 Unconventional Computing

Lee Spector

12:30PM-01:50PM T,TH

Hampshire College
NS 0112 1 Puzzles and Paradoxes

David Kelly

01:00PM-02:20PM M,W,F

Hampshire College
MATH 232 01 Discrete Mathematics

Margaret Robinson;Margaret Robinson

MW 01:15PM-02:30PM;F 01:15PM-02:05PM

Mount Holyoke College
PHIL 210 01 Logical Thought Charles Rathkopf MWF 10:00AM-10:50AM Mount Holyoke College
PHIL 327 01 Advanced Logic

Lee Bowie

MWF 10:00AM-10:50AM

Mount Holyoke College
LOG 100 01 VALID & INVALID REASONING

James Henle; Samuel Ruhmkorff

MF 11:00-12:10

Smith College
LOG 100 D01 VALID & INVALID REASONING

James Henle

W 11:00-12:10

Smith College
LOG 100 D02 VALID & INVALID REASONING

Samuel Ruhmkorff

W 11:00-12:10

Smith College
LOG 100 D03 VALID & INVALID REASONING

Joshua Moulton

W 11:00-12:10

Smith College
LOG 100 D04 VALID & INVALID REASONING

Samuel Ruhmkorff

W 02:40-03:50

Smith College
LOG 100 D05 VALID & INVALID REASONING

James Henle

Th 09:00-10:10

Smith College
LOG 100 D06 VALID & INVALID REASONING

Joshua Moulton

Th 10:30-11:40

Smith College
MTH 153 01 INTRO DISCRETE MATHEMATICS

Benjamin Baumer

TTh 10:30-11:50

Smith College
MTH 153 02 INTRO DISCRETE MATHEMATICS

Pau Atela

TTh 01:00-02:50

Smith College
PHI 236 01 LINGUISTIC STRUCTURES

Jill de Villiers

TTh 09:00-10:20

Smith College
CMPSCI 250 01 Introduction To Computation

David Barrington

M W F 2:30PM 3:20PM

UMass Amherst
CMPSCI 513 01 Logic in Computer Science

Neil Immerman

TU TH 1:00PM 2:15PM

UMass Amherst

Pages

Spring 2013 Five College Logic Courses

Pages