Fall 2018
Semester:
Fall
Year:
2018
| Subj Abbr |
Course # |
Sect # | Course Title | Instructor(s) | Meeting Times | Institution |
|---|---|---|---|---|---|---|
| PHIL | 210 | 01 | Logical Thought | Nina Emery | MW 09:30AM-10:45AM | Mount Holyoke College |
| PHIL | 213 | 01 | Logic | Alexander George | TH 09:00AM-09:50AM | Amherst College |
| PHIL | 328 | 01 | Non-Classical Logic | Samuel Mitchell | TTH 10:00AM-11:15AM | Mount Holyoke College |
Spring 2018 Special Studies: Set Theory at Smith
In Spring 2018, Professor Jim Henle will be teaching Set Theory as a Special Studies course at Smith College.
Time: Thursdays from 3 to 5PM
Prerequisite: Any course featuring deduction or a math course involving proof (such as Discrete Mathematics)
For more information, contact Jim Henle: jhenle@smith.edu.
Spring 2018 Courses
Semester:
Spring
Year:
2018
| 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 |
| 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 |
| COMPSCI | 501 | 01 | Formal Language Theory | Neil Immerman | M W F 11:15AM 12:05PM | UMass Amherst |
| COMPSCI | 501 | 02 | Formal Language Theory | Neil Immerman | M W F 11:15AM 12:05PM | UMass Amherst |
| PHIL | 511 | 01 | Modal Logic | Gary Hardegree | TU TH 10:00AM 11:15AM | UMass Amherst |
| PHIL | 792L | 01 | S- Philosophy of Logic | Phillip Bricker;Alejandro Perez Carballo | TU 1:00PM 3:30PM | UMass Amherst |
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 | 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 |
| LOG | 100 | 01 | VALID & INVALID REASONING | Jay Garfield; James Henle | MF 11:00-12: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 | 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 |
| 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 |
| 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 |