Fall 2017 Courses
Semester:
Fall
Year:
2017
| Subj Abbr |
Course # |
Sect # | Course Title | Instructor(s) | Meeting Times | Institution |
|---|---|---|---|---|---|---|
| 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 |
| 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 |
| 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 |
| PHIL | 210 | 01 | Logical Thought | Nina Emery | MWF 10:00AM-10:50AM | Mount Holyoke College |
| PHIL | 213 | 01 | Logic | Alexander George | TH 09:00AM-09:50AM | Amherst College |
| PHIL | 327 | 01 | Advanced Logic | Samuel Mitchell | MW 02:40PM-03:55PM | Mount Holyoke College |
| 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 | |
| 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 |
| PHIL | 593C | 01 | S- Counterfactuals | Alejandro Perez Carballo | W 4:00PM 6:30PM | UMass Amherst |
| LINGUIST | 609 | 01 | Formal Foundations Ling Theory | Rajesh Bhatt;Vincent Homer | TU TH 10:00AM 11:15AM | 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 |
| LOG | 101 | 02 | PLAUSIBLE & IMPLAUSIBLE REASON | Albert Mosley | TTh 09:00-10:20 | Smith College |
| PHIL | 110 | 01 | Introduction To Logic | Kevin Klement | TU TH 1:00PM 2:15PM | UMass Amherst |
| PHIL | 225 | 01 | Symbolic Logic | Samuel Mitchell | MWF 10:00AM-10:50AM | Mount Holyoke College |
| PHIL | 310 | 01 | Intermediate Logic | Gary Hardegree | TU TH 1:00PM 2:15PM | UMass Amherst |
| 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 | 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 |
|---|---|---|---|---|---|---|
| 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 |
| PHIL | 213 | 01 | Logic | Alexander George | TH 09:00AM-09:50AM | Amherst 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 | |
| PHIL | 328 | 01 | Non-Classical Logic | Samuel Mitchell | TTH 11:30AM-12:45PM | Mount Holyoke College |
| 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 |
|---|---|---|---|---|---|---|
| LOG | 101 | 02 | PLAUSIBLE & IMPLAUSIBLE REASON | Albert Mosley | TTh 09:00-10:20 | Smith College |
| 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 |
| 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 | |
| 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 | |
| COMPSCI | 601 | 01 | Computation Theory | Neil Immerman | TU TH 2:30PM 3:45PM | UMass Amherst |
Fall 2015 Logic Courses
Semester:
Fall
Year:
2015
| Subj Abbr |
Course # |
Sect # | Course Title | Instructor(s) | Meeting Times | Institution |
|---|---|---|---|---|---|---|
| PHIL | 110 | 01 | Introduction To Logic | Gary Hardegree | TU TH 1:00PM 2:15PM | UMass Amherst |
| PHIL | 210 | 01 | Logical Thought | Benjamin Yelle | MWF 10:00AM-10:50AM | Mount Holyoke College |
| 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 |
Spring 2015 Logic Courses
Semester:
Spring
Year:
2015
| Subj Abbr |
Course # |
Sect # | Course Title | Instructor(s) | Meeting Times | Institution |
|---|---|---|---|---|---|---|
| PHIL | 110 | 01 | Introduction To Logic | Kevin Klement | TU TH 1:00PM 2:15PM | UMass Amherst |
| LOG | 201 | 01 | THE LOGIC OF PROBABILITY | Samuel Ruhmkorff | MW 01:10-02:30 | Smith College |
| PHIL | 225 | 01 | Symbolic Logic | Samuel Mitchell | MWF 10:00AM-10:50AM | Mount Holyoke College |
| MATH | 385 | 01 | Mathematical Logic | Daniel Velleman | MWF 02:00PM-02:50PM; TH 09:00AM-09:50AM | Amherst College |
| 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 | 514 | 01 | Math Logic II | Kevin Klement | M W F 11:15AM 12:05PM | UMass Amherst |
| CMPSCI | 601 | 01 | Computation Theory | Neil Immerman | TU TH 2:30PM 3:45PM | 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 |
| 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 |
| PHIL | 110 | 01 | Introduction To Logic | Gary Hardegree | TU TH 1:00PM 2:15PM | UMass Amherst |
| MTH | 153 | 01 | INTRO DISCRETE MATHEMATICS | Kuei-Nuan Lin | MWF 10:00-10:50 | Smith College |
| PHIL | 225 | 01 | Symbolic Logic | Charles Rathkopf | MWF 10:00AM-10:50AM | Mount Holyoke 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 |
| CSC | 250 | 01 | THEORETICAL FOUNDATIONS/CSC | Alicia Wolfe | MWF 10:00-10: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 | |
| PHIL | 310 | 01 | Intermediate Logic | Gary Hardegree | TU TH 9:30AM 10:45AM | UMass Amherst |
| LOG | 400 | 0 | SPECIAL STUDIES | Smith College | ||
| 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 |
Fall 2014 Logic Courses
Semester:
Fall
Year:
2014
| Subj Abbr |
Course # |
Sect # | Course Title | Instructor(s) | Meeting Times | Institution |
|---|---|---|---|---|---|---|
| CS | 0263 | 1 | Artificial Intelligence | Lee Spector | 02:00PM-03:20PM T,TH | Hampshire 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 |
| 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 |
| PHIL | 110 | 01 | Introduction To Logic | Gary Hardegree | TU TH 1:00PM 2:15PM | UMass Amherst |
| MTH | 153 | 02 | INTRO DISCRETE MATHEMATICS | Gwen Spencer | MWF 10:00-10:50 | Smith College |
| MTH | 153 | 01 | INTRO DISCRETE MATHEMATICS | Gwen Spencer | MWF 09:00-09:50 | Smith College |
| PHIL | 210 | 01 | Logical Thought | Daniel Hagen | TTH 01:15PM-02:30PM | Mount Holyoke College |
| 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 |
| MATH | 232 | 01 | Discrete Mathematics | Anne Schwartz | MW 11:00AM-12:15PM;F 11:00AM-11:50AM | Mount Holyoke College |
| PHI | 236 | 01 | LINGUISTIC STRUCTURES | Jill de Villiers | TTh 10:30-11:50 | Smith College |
| CSC | 250 | 01 | THEORETICAL FOUNDATIONS/CSC | Alicia Wolfe | MWF 10:00-10: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 |
Pages
Fall 2013 Five College Logic Courses
Semester:
Fall
Year:
2013
| Subj Abbr |
Course # |
Sect # | Course Title | Instructor(s) | Meeting Times | Institution |
|---|---|---|---|---|---|---|
| NS | 0112 | 1 | Puzzles and Paradoxes |
David Kelly |
01:00PM-02:20PM M,W,F |
Hampshire College |
| CS | 0303 | 1 | Unconventional Computing |
Lee Spector |
12:30PM-01:50PM T,TH |
Hampshire 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 |
| PHIL | 110 | 01 | Introduction To Logic |
Kevin Klement |
TU TH 1:00PM 2:15PM |
UMass Amherst |
| 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 |
| COSC | 161 | 01 | Computer Systems I |
Scott Kaplan |
MWF 11:00AM-11:50AM |
Amherst College |
| PHIL | 210 | 01 | Logical Thought | Charles Rathkopf | MWF 10:00AM-10:50AM | Mount Holyoke College |
| PHIL | 213 | 01 | Logic |
Alexander George |
TTH 08:30AM-09:50AM |
Amherst College |
| MATH | 232 | 01 | Discrete Mathematics |
Margaret Robinson;Margaret Robinson |
MW 01:15PM-02:30PM;F 01:15PM-02:05PM |
Mount Holyoke 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 |
| PHIL | 327 | 01 | Advanced Logic |
Lee Bowie |
MWF 10:00AM-10:50AM |
Mount Holyoke College |
| PHIL | 350 | 01 | Phil of Mathematics |
Alexander George, Daniel Velleman |
TTH 01:00PM-02:20PM |
Amherst College |