I didn’t want to just push Berkeley, so why don’t y’all post your opinions about what other departments and programs would be good places for graduate study for someone interested in logic and philosophy? Anyone from Amsterdam reading this? CMU? Irvine? SFU? It would be interesting to find out about non-English speaking programs, too. Where should you go in Germany? France? Spain? South America? Post away, but remember: the emphasis is on logic (and related formal approaches) and philosophy. Feel free to comment in your native language if you want.
This is a plug for the philosophy department at Melbourne University , which is a nexus for logic research in Australia. The faculty of the philosophy department includes Allen Hazen, Graham Priest and Greg Restall, all of whom work both in logic and philosophy, and Lloyd Humberstone is just up the road at Monash. The department has several graduate students who work on logic, regular Thursday “Logic Days” (mini-conferences) and a stream of logic/philosophy related visitors during the winter (Al Hajek always seems to be there when I am.) Plus it’s in one of the world’s coolest cities. Er, go Melbourne! Posted by Gillian Russell
I’ll plug Cornell University. In addition to Harold Hodes in the philosophy department, you have Richard Shore and Anil Nerode in mathematics and Dexter Kozen in computer science. There is a logic seminar every term, split between a topic (e.g., large cardinals, computable model theory, higher recursion theory, etc.) and presentations of original research, often by visiting speakers. This in addition to a regular rotation of graduate courses in recursion theory, model theory, set theory, proof theory, and automata theory and a lively group of math graduate students working in logic. Also, Richard Boyd, Zoltan Szabo, and Brian Weatherson (all in philosophy), though not generally publishing in logic, have the chops, use them in their philosophical work, and are great interlocutors on logical topics. (These comments might also apply to Matti Eklund, who joined the philosophy faculty this year, but since I’ve never met him I can’t really say.) Disclaimer: I did my doctoral work in the Cornell philosophy department with Hodes, Boyd, Szabo, and Shore. Posted by Jeff Roland
Of course, I wholeheartedly recommend Melbourne University too for everyone who is interested in logic and philosophy :-)As far as studying logic in Netherland, I would recommend the philosophy dept at Utrecht (see http://www.phil.uu.nl/en/). They certainly have some top-notch logicians. If you are interested in logic in computer science, you might also want to look at informatics institute, University of Amsterdam (http://ilps.science.uva.nl/index.html). I should also mention The Helsinki Logic Group in Finland (see http://www.math.helsinki.fi/logic/). In every subfield of mathematical logic, you can find somebody there working in it. Plus, they have quite of few good people working in model theory and finite model theory (e.g. see http://www.math.helsinki.fi/logic/FMTF/). Posted by Anthony Widjaja To
In The Netherlands, I think University of Amsterdam’s ILLC is indeed the place to look for logic from a CS point of view (Yde Venema of Modal Logic fame, Krzysztof Apt, …, and a pretty comprehensive list of courses).As I’ve only just began my Master study I really can’t say more regarding graduate study opportunities in The Netherlands, but I will be taking one or two courses at ILLC this spring. Posted by Martijn Vermaat
South America is too big and too heterogeneous to be put into one single block, but I have to say that in Brazil there are several places. The one I can more justifiably recommend is the Graduate Program in Philosophy (with Logic as a subarea) at the State University of Campinas (UNICAMP). The program is held in cooperation with theCentre for Logic, Epistemology and the History of Science –CLE (http://www.cle.unicamp.br). Posted by Walter Carnielli
My former department, Notre Dame, is an obvious choice. There is a joint Phd in logic and foundations of maths run by the math and philosophy depts. (Details at http://www.nd.edu/%7Endphilo/logicmath.htm.) Philosophy faculty include Tim Bays, Paddy Blanchette, and Mic Detlefsen, along with strength in metaphysics and philosophy of science. Math has Julia Knight, Peter Cholak, Stephen Buechler, and others. Interested parties should check it out. Posted by Michael Kremer
I am curious what is the primary or two or three primary philosophical topics being addressed contemporary analytic logic today? Posted by Tracy Smith
I’ve been searching diligently for logic study offered by distance education. Does anyone know of anything?joshua dot aaron dot cason at gmail dot comThanks alot