Logblog: Richard Zach's Logic Blog

University of Calgary

UofC Navigation

You are looking at an archived page. The website has moved to richardzach.org.

Submitted by Richard Zach on Sat, 10/02/2004 - 3:20am

Continuing my earlier posts about logic and philosophy, here's a little survey of the top 36 US philosophy departments, what logic courses they offer, and what the logic requirements for PhD and BA are there. The next time I feel like procrastinating, I'll do this for the rest of the US programs, and UK, Australasian, and Canadian programs.

The G column indicates the logic requirements for a Ph.D., the UG for a B.A. Undergrad Courses and Grad Courses list the courses the department seems to offer on a regular basis. (Many departments cross-list advanced undergraduate logic courses at the grad level, if that case, I only listed them in the Undergrad Courses column). Text indicates what textbooks are used for advaced (2 and up) logic courses. The second line in each entry lists the faculty members who teach advanced logic courses (that usually always includes all the logicians working there, but many of the people listed probably don't think of themselves as logicians). The names are only linked if they have a page with information relevant to their logic courses. The last column indicates if the department is listed as excellent, good, or notable in formal logic in the Gourmet Report.

If you have any corrections or additions, do let me know.

School | Graduate | Undergrad | Undergrad Courses | Texts | Grad Courses | ||

1 | NYU | 2 | 1 | 1, 2, M, S | 2/4 | e | |

Hartry Field, Kit Fine (CS: Amir Pnueli) | |||||||

Princeton | 2 | 0, 1, 2, T(3/4, S) | BBJ | T | e | ||

John Burgess, Bas van Fraassen (Math: Simon Kochen, Edward Nelson) | |||||||

Rutgers | 2/3/4, T, L | 1 | 0, 1, 2, 3/4 | BBJ | 2/3/4, L, T | ||

Tim Maudlin, Ted Sider (Math: Greg Cherlin) |
|||||||

4 | Michigan | ? | 1 | 0, 1, M | g | ||

Thony Gillies, Richmond Thomason, (Math: Andreas Blass, Peter Hinman) |
|||||||

5 | Pittsburgh | 2 | 0 | 0, 1, 2, 3 | M | 2/3/4, T | e |

Nuel Belnap, Anil Gupta, Ken Manders (CS: Frank Pfenning, Dana Scott) | |||||||

6 | Stanford | 1 | 0 | 0, 1, 2, 3/4, M, S | E | D, L, M, S, P, R, T | e |

Sol Feferman^{r}, Grisha Mints, Johan van Benthem (John Etchemendy, Ed Zalta; Math: Paul Cohen, CS: Zohar Manna, John McCarthy, Vaughan Pratt) |
|||||||

7 | Columbia | ? | 1 | 0, 1, 2 | E, EC | 3, 4, M | g |

Haim Gaifman, Jeff Helzner, Achille Varzi | |||||||

8 | Harvard | 1 | 1 | 1, 3/4, M, S/D | g | ||

Warren Goldfarb, Richard Heck, Peter Koellner, Charles Parsons (Math: Gerald Sacks) | |||||||

MIT | 1 | 1 | 1, 2/3/4, S, M | e | |||

Vann McGee, Robert Stalnaker (Math: Hartley Rogers, Gerald Sacks; CS: Albert Meyer) | |||||||

Arizona | ? | 0 | 0, 1, 2, 3/4, M | n | |||

Shaughan Lavine | |||||||

UCLA | 2 | 0-1 | 0, 1^{q}, 2^{q}, S, M |
S, 3/4^{y}, T |
e | ||

Joseph Almog, David Kaplan, Tony Martin, Terence Parsons (Math: Herb Enderton, Greg Hjorth, Yannis Moschovakis, Joan Rand Moschovakis; Linguistics: Ed Keenan) | |||||||

12 | UNC | 1 | 0 | 0, 1, 2/3/4, S, M | JG | ||

Thomas Hofweber, Michael Resnik, Keith Simmons | |||||||

13 | Berkeley | 1 | 1 | 1, 2/3 | BBJ | e | |

Paolo Mancosu, Branden Fitelson, John MacFarlane (Math: Leo Harrington, Thomas Scanlon, Jack Silver, Ted Slaman, John Steel, Hugh Woodin) | |||||||

14 | Notre Dame | 2 | 1 | 1, 2 | 4 | n | |

Tim Bays, Michael Detlefsen (Math: Peter Cholak, Julia Knight) | |||||||

Texas | 2/4 | 1 | 0, 1, 2, M | EFT | 2/4 | g | |

George Bealer, Daniel Bonevac, Josh Dever, Nicolas Asher (CS: Robert Boyer, Vladimir Lifshitz) |
|||||||

16 | Brown | 2 | 1 | 0, 1, 2 | BBJ, BE | ||

Cornell | 2, M | 1, 2, S, 3/4, M, T | |||||

Harold Hodes, Delia Graff, Brian Weatherson (Math: Anil Nerode, Richard Shore) | |||||||

Chicago | 1 | 1 | 1, 2, T(3), M | ||||

Michael Kremer (Math: Robert Soare) | |||||||

Yale | 2 | 1, 2 | |||||

Sun-Joo Shin | |||||||

20 | UC Irvine ( LPS) | ? | 1 | 0, 1, 2, 3/4, S, R, T | E | n | |

Aldo Antonelli, Penelope Maddy, Kai Wehmeier (Math: Matt Foreman, Martin Zeman) | |||||||

UCSD | 1 | 1 | 0, 1, 2, T | ||||

Agustín Rayo (Math: Sam Buss) | |||||||

22 | Ohio State | 2 | 0, 1, M, N, 2, 3/4 | 3/4 | g | ||

(Math: Harvey Friedman), Stewart Shapiro, Neil Tennant |
|||||||

Wisconsin | 2/3/4 | 1 | 1, 2/3/4, T | ||||

Ellery Eells (Math: Steffen Lempp, Ken Kunen) | |||||||

24 | UC Davis | 2, M | 0 | 0, 1, 2, M, N | |||

Michael Glanzberg, George Mattey | |||||||

25 | CUNY Grad Center | 2/M/4 | grad only | 2/M/4, S, T | g | ||

Sergei Artemov, Melvin Fitting, Saul Kripke, Richard Mendelsohn, Alex Orenstein, Rohit Parikh | |||||||

Indiana | 1/2 | 1 | 0, 1, 1/2, 3/4, S, M, N | Ma | g | ||

David McCarty, Joan Weiner (J. Michael Dunn, CS: Daniel Leivant, Larry Moss) | |||||||

Penn | 1 | 1 | 0, 1, 2, 2/3/4, M, R, S, D | ||||

Zoltan Domotor, Scott Weinstein (CS: André Scedrov) | |||||||

28 | Duke | 1 | 0, 1, 3/P | ||||

Colorado | 1 | 1 | 0, 1, 2/S | ||||

(Math: Donald Monk) | |||||||

30 | UMD | 2 | 0 | 0, 1, 2 | |||

John Horty, Michael Morreau | |||||||

UMass | 2/4, M, L | 1 | 1, M, 2/4 | M | L | ||

Phil Bricker, Gary Hardegree, Edmund Gettier (CS: Neil Immerman) | |||||||

32 | Syracuse | 2/3/4, M, L | 0 | 1, 2/3/4, M | L | ||

Mark Brown, Tom McKay | |||||||

UC Riverside | 2 | 0 | 0, 1, 2, 3/4 | ||||

Erich Reck | |||||||

Minnesota | 1/2 + 3/4 | 0 | 0, 1/2, 3/4, M | ||||

William Hanson, Byeong Yi | |||||||

Washington | 2, S, M | 1 | 1, 2^{q}, S, M |
||||

David Keyt | |||||||

36 | Carnegie Mellon (Logic & Comp) | 2 + 3/4 | 1 | 1, 2, 3/4, M, N, R, P, L, C, Y | e | ||

Horacio Arlo-Costa, Jeremy Avigad, Steve Awodey, Kevin Kelly, Dana Scott^{r}, Mandy Simons, Wilfried Sieg (Math: Peter Andrews, James Cummings, Richard Statman) |
|||||||

Johns Hopkins | 1 | 0, 1, 2/3/4, S, T | |||||

Robert Rynasiewicz |

Legend:

0 = Basic logic (not including formal proofs)

1 = Introductory formal logic (propositional, predicate, formalization, formal proofs)

2 = Basic metatheory (proofs of soundness and completeness, Löwenheim-Skolem, deduction theorem)

3 = Computability and undecidability (usually includes Church's theorem)

4 = Incompleteness

M = Modal logic

S = Set theory

L = Logic and language (formal semantics)

D = Model theory

P = Proof Theory

R = Recursion theory

T = Advanced logic course with varying topics

N = Non-classical Logics (including Logic in CS)

C = Constructive logics

Y = Category theory/Categorical logic

? means that there is some logic requirement, but I couldn't figure out what it is

2/3 (and other things with slashes) mean: one course that covers 2 and 3

2, M means: either a course on 2 or on M satisfies the requirement

Notes:

r = retired

q = topic covered in 2 quarter-long courses

y = topic covered in 3 quarter-long courses

Texts for used for 2, 3, 4:

BBJ = Boolos, Burgess, Jeffrey: Computability and Logic

BE = Barwise, Etchemendy: Language, Proof, and Logic

E= Enderton: A Mathematical Introduction to Logic

EFT = Ebbinghaus, Flum, Thomas: Mathematical Logic

JG = Judah, Goldstern: The Incompleteness Phenomenon

Ma = Mates, Elementary Logic

M = Mendelsohn: Introduction to Mathematical Logic

UPDATE: Now also includes Indiana. Also listed logicians who don't teach in philosophy (other departments, administrative duties).

- Richard Zach's blog
- Log in to post comments

- Open Logic Project
- The LogBlog is Moving!
- Academic Genealogy Graphed
- CfP: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
- In Memoriam: Grigori Mints
- Previously Unknown Turing Manuscript Going to Auction
- Carnap (and Goodman and Quine) and Linguistics (Guest post by Darin Flynn)
- Carnap on "Syntax" vs "Semantics"

## Comments

I'd like to add that, given that I'm taking it this semester, Princeton also offers an undergraduate course in modal and many-valued logic. It's not listed in the standard course catalog, but it's there.

This is useful. However, UCLA, from which I graduated a year ago, has more logic than your chart suggests. D. Kaplan and J. Almog also teach upper division undergraduate logic classes (basic metatheory as well as quantified modal logic, which is sometimes quite advanced) from time to time. And at the graduate level there is plenty formal semantics of natural languages -- I would even say that that is the main business of the department, if it has one. Martin, Parsons, Kaplan, and Almog should all be in your list. Also, Ed Keenan is in Linguistics -- I don't remember if his classes counted for credit in philosophy, but they should.

Well, the lists of names are a weird combination of a) people who work in the respective departments and do formal logic, and b) people who teach advanced logic classes. I compiled them mainly from departments' websites and the courses lists and catalogs I found online. So if Joe Almog wasn't listed, it's because his published work (as far as I know) is more philosophy of logic than logic proper (the kind where you prove theorems and such) and he wasn't listed as teaching advanced logic courses. So thanks for the info; I'll add him (and David Kaplan and Ed Keenan; the others are already listed).