Logic jobs in October JfP

Jobs for Philosophers has ads for three logic jobs: Notre Dame, Wisconsin, and Auckland. Open jobs with “teaching needs in logic” and the like at Wayne State University, and Victoria University, Wellington. There were no logic-only jobs in the October JfP last year, and neither Toronto nor LSE, which had jobs where logic was part of a disjunction, hired logicians.

New philosophy research grants from SSHRC

The Social Sciences and Humanities Research Council of Canada has posted a list of new Standard Research Grants for 2004. These are the Canadian equivalent of the NEH’s Faculty Fellowships that Brian Leiter mentioned back in February. The SSHRC grants, unfortunately, almost never provide for teaching release–only the most senior people seem to win research time stipends. On the other hand, they last for three years. Success rates for “new scholars” (up to 5 years past the PhD) are 29%, for established scholars they are 50%.

These are the (English-speaking) philosophers winning grants that I could make out from the titles

  • James Robert Brown, University of Toronto, Thought experiments in physics, chemistry and mathematics
  • Conrad G. Brunk and James O. Young, University of Victoria, The ethics of cultural appropriation
  • Ben Caplan, University of Manitoba, Understanding Frege
  • Anjan Chakravartty, University of Toronto, Abstraction, idealization, and model construction in the natural sciences

  • David M. DeVidi, University of Waterloo, Non-constructivist applications of constructive logics

  • Marguerite L. Deslauriers, McGill University; Ali Al-Saji, McGill University; Cressida Heyes, University of Alberta, Gender and philosophical conceptions of sexual difference and of embodiment
  • George di Giovanni, McGill University, A scholarly edition in English, with an extensive study and critico-historical notes, of Hegel’s greater logic

  • Michael Glanzberg, University of Toronto (now UC Davis), The semantics and pragmatics of reference and quantification
  • Michael Hallett, McGill University, Gödel and the foundations of mathematics; Hilbert’s unpublished writings on the foundations of mathematics
  • Tim A. Kenyon, University of Waterloo, Assertion, truth, and relevance
  • Dominic McIver Lopes, The University of British Columbia, The ontology and value of interactive digital art
  • Ausonio Marras, The University of Western Ontario, Multiple realizability and the prospects for psychophysical reduction
  • Mohan P. Matthen, The University of British Columbia, Perception, memory, and time
  • Margaret C. Morrison, University of Toronto, Abstract models and concrete knowledge: the role of emergent phenomena in physics
  • Dario Perinetti, Universitè du Québec à Montréal, Philosophical reflection on history in the enlightenment
  • Victor P. Rodych, The University of Lethbridge, Wittgenstein on meaningfulness and decidability in mathematics and logic
  • Marleen Rozemond, University of Toronto, The unity of consciousness and the metaphysics of the soul
  • Timothy A. Schroeder, University of Manitoba, The normativity of practical reason: a naturalistic account
  • Oliver N. Schulte, Simon Fraser University, The epistemology of strategic interactions and its applications in social modelling and ethics
  • Sonia Sikka, University of Ottawa, Cultural identity from Herder to Heidegger
  • Justin E.H. Smith, Concordia University, Mind-body causation and the problem of trait acquisition in early modern embryology, 1630-1690
  • Joan Steigerwald, York University, Epistemologies of rupture: philosophies of nature in Germany at the turn of the 19th century
  • Sergio Tenenbaum, University of Toronto, Appearances of the good
  • Catherine Wilson, The University of British Columbia, Mechanism and morality
  • Richard Zach, University of Calgary, The history of logical metatheory 1900-1940

NSERC sometimes also funds philosophers, especially if they work in techie fields (neuroscience, linguistics, logic). No new grants to philosophers this year, as far as I can tell.

Elfriede Jelinek wins Nobel Prize in literature

Brian Leiter and Joseph Shieber note that Elfriede Jelinek won this year’s Nobel Prize in literature. Jelinek is a major figure in German-speaking literature. Outside the German speaking world, she is mostly known for her novel The Piano Teacher (Die Klavierspielerin, 1983). But she is just as well known in the German-speaking world as a playwright. Her work is often experimental, political, feminist, and (for these reasons) very controversial in Austria. To some extent, she has taken over the role of “literary conscience” of the nation after Thomas Bernhard’s death. Her political engagement (against the right-wing Freedom Party, in particular) has earned her the title of “Nestbeschmutzerin,” which Bernhard held before her. Definitely not light reading, and definitely not Oprah Book Club material.

Coverage: Der Standard, FAZ (Babelfish), Süddeutsche (Babelfish), TAZ

Text of Jelinek’s 2003 anti-Iraq-war, anti-media play Bambiland (put on stage December 2003, at the Burgtheater, Vienna, by Christoph Schlingensief): German | English

Formal Logic and Philosophy III

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 Fefermanr, 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, 1q, 2q, S, M S, 3/4y, 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, 2q, 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 Scottr, Mandy Simons, Wilfried Sieg (Math: Peter Andrews, James Cummings, Richard Statman)
Johns Hopkins 1 0, 1, 2/3/4, S, T
Robert Rynasiewicz


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


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).