Philosophical Logic PhD Programs

From Logic Wiki
(Redirected from Main Page)
Jump to: navigation, search

This wiki provides an unranked list of PhD (and (eventually) terminal M.A.) programs that have strengths in philosophical logic. Links are provided to the websites, CVs, and PhilPapers profiles of the relevant faculty at each program. Additionally, when known, the specialties and willingness of faculty members to work with new graduate students are noted. The primary intended audience is prospective or current graduate students with interests in philosophical logic who want to get the lay of the land by seeing who works where, and on what. Please note that the initial list for the wiki is still in development and is incomplete. This wiki is modeled on Shawn A. Miller’s wiki.

The URL to link here is

Please note: If you want to create your own philosophy wiki, visit, which offers free setup, free hosting, and a free, i.e., Creative Commons, template. These resources were used to create this wiki. Wikis are being created for other areas, all of which will be linked at and in the sidebar.


Note to Prospective Graduate Students[edit]

The purpose of this wiki is to aid your search for graduate programs in philosophical logic that suit your tastes. It does so in two ways. First, by listing as many graduate programs for philosophical logic as possible, and, second, by making research into those programs more convenient and efficient by identifying the relevant philosophical logic faculty and providing easy access to their bios, research interests, CVs, partial publication lists, etc. However, while this site may be where your research into programs starts, it decidedly should not be where it ends. You need to dig around and do your due diligence—e.g., contact people within the programs[1]—in order to put yourself in the best possible position to make an informed decision about where to apply. Best of luck!

How to Contribute[edit]

This is a wiki, so anyone can contribute. If programs or faculty have been overlooked—which is assuredly the case—you are encouraged to add them, even if you are not a member of that department. Also, information will become out of date quickly—especially, e.g., links to pdf CVs since their filenames often contain the (approximate) dates of creation, which change—so by all means help keep things up to date.

Wiki formatting/markup is very straightforward. Just click 'Edit' at the top of the page—or next to the entry you want to modify—and mimic the format of existing entries. Not all entries list the specialties of faculty members or whether faculty members are willing to work with new students. If that information is known, please add it, since that is very helpful to prospective students.

Every program listed also has a separate Wiki Program Page where additional information can be provided to prospective students. While the style and format of this main page should be kept consistent, individual Wiki Program Pages can take any form whatsoever. To edit one of these pages, simply follow the Wiki Program Page link underneath the department listing of interest and edit that page. To add a Wiki Program Page, follow the directions here.[2]

Programs with significant participation of affiliated faculty are strongly urged to use Wiki Program Pages for the purpose of listing them and explaining their role and involvement with logic graduate students. Simply linking on the main page to affiliated faculty in, e.g., a math department, computer science department, linguistics department, etc., is likely to be confusing to prospective students who do not know how these individuals are connected to the PhD program they are researching.[3]

This site does not pretend to provide an exhaustive list of philosophical logic graduate programs, though that is the goal. Contributing will help to achieve that goal sooner rather than later.

Questions, comments, ideas? Let Shawn Miller know at or Shawn Standefer know at

Standards, Practices, and Guidelines[edit]

  1. The criterion for program inclusion is that a philosophy (or interdisciplinary) PhD program have at least one full-time faculty member with a research interest in philosophical logic, mathematical logic, or philosophy of logic. Programs do not have to be in English-speaking departments. A separate list of M.A. programs can be found at the bottom of this page.
  2. The standard of evidence required to make the list is an indication that philosophical logic of some sort is a primary research interest, as demonstrated, for example, by recent publications or presentations. The evidence can, e.g., be on a university or personal website, on a publicly available CV, or a research database.
  3. Philosophers who have made contributions to philosophical logic but who do not list it as a current research interest are usually not listed. That said, erring on the side of being inclusive is generally a good policy since prospective students can peruse bios, CVs, and publication lists to help determine whether they think a given faculty member would be potentially helpful for their logical research interests.[4]
  4. Philosophy of language, formal epistemology, and metaphysics are not, on their own, counted as philosophical logic, though logicians with those interests are listed. There will be philosophers whose work in those areas has a logical emphasis, in which case feel free to list them.
  5. Try to be specific when listing specialties and please keep them logic-related.
  6. For now, list part-time and (if active) emeritus faculty with the affiliate faculty on the department-specific pages.

PhD Programs (Australasia)[edit]

All programs reside in philosophy departments, unless otherwise specified. Wiki Program Pages contain identical information to front-page listing, also unless otherwise specified.

Australian National University[edit]

{Wiki Program Page}

University of Auckland (New Zealand)[edit]

{Wiki Program Page}

  • Jeremy Seligman // website, PhilPapers
    • Specialties: Modal logic, hybrid logic, philosophy of information and computation, situation theory, logic in social networks, history of logical thought in China (via website)

La Trobe University[edit]

{Wiki Program Page}

  • Ross Brady // website, PhilPapers
    • Specialties: Relevant logic, set theory, paradoxes (via website)
  • Jake Chandler // website, PhilPapers
    • Specialties: Belief revision, formal epistemology (via website)

Massey University (New Zealand)[edit]

{Wiki Program Page}

  • Adriane Rini // website, PhilPapers
    • Specialites: History of logic, Aristotle, modal logic, tense logic, formal semantics, metaphysics (especially: metaphysics of time, possible worlds metaphysics), philosophy of language.

Monash University[edit]

{Wiki Program Page}

  • Sam Butchart // website, PhilPapers
    • Specialties: Substructural Logics, Philosophy of Mathematics (from publications)
  • Lloyd Humberstone // website, PhilPapers
    • Specialties: Modal Logic and its Applications, Proof Theory, Connectives.

University of Canterbury, Chistchurch (New Zealand)[edit]

{Wiki Program Page}

  • Jack Copeland // website
    • Specialties: Philosophy of computability, philosophy of logic, Turing, Prior, history of logic

University of Melbourne[edit]

{Wiki Program Page} Affiliate faculty added

  • Greg Restall // website, PhilPapers
    • Specialties: Proof theory, non-classical logic, inferentialism, logical pluralism (via website)

University of Otago (New Zealand)[edit]

{Wiki Program Page}

  • Zach Weber // website, PhilPapers
    • Specialties: Relevant logic, set theory, inconsistent arithmetic (from publications)

University of Queensland[edit]

{Wiki Program Page}

  • Toby Meadows // website, PhilPapers
    • Specialties: Set theory, paradoxes, modal logic (via website)

University of Sydney[edit]

{Wiki Program Page}

University of Waikato[edit]

{Wiki Program Page}

  • Catherine Legg // website, PhilPapers
    • Specialties: Diagrams, Peirce's logic (via website)

Victoria University, Wellington (New Zealand)[edit]

{Wiki Program Page} Contains information about the CLLC

  • Edwin Mares // website, PhilPapers
    • Specialties: Relevant logic, paraconsistent logic, belief revision, philosophy of probability (via website)
  • Max Cresswell // website, PhilPapers
    • Specialties: Modal logic, philosophical Semantics

PhD Programs (Canada)[edit]

All programs reside in philosophy departments, unless otherwise specified. Wiki Program Pages contain identical information to front-page listing, also unless otherwise specified.

McGill University[edit]

{Wiki Program Page}

  • Michael Hallett // website, PhilPapers
    • Specialties: logic and set theory, history of logic (in particular Frege, Russell, Hilbert)
  • Dirk Schlimm // website, PhilPapers
    • Specialties: history of logic, analogical reasoning

University of Alberta[edit]

{Wiki Program Page}

  • Katalin Bimbó // website, PhilPapers
    • Specialties: nonclassical logics, including relevance and substructural logics, modal logics, combinatory logics and lambda-calculi (via website)
  • Bernard Linsky // website, PhilPapers
    • Specialties: Bertrand Russell's logic (via website)

University of British Columbia[edit]

{Wiki Program Page}

University of Calgary[edit]

{Wiki Program Page}

  • Nicole Wyatt // website, PhilPapers
    • Specialties: philosophy of logic, medieval logic
  • Richard Zach // website, PhilPapers
    • Specialties: non-classical logics and proof theory, history of logic (via website)

University of Toronto[edit]

{Wiki Program Page}

  • Franz Huber // website 1, website2, PhilPapers
    • Specialties: Formal Epistemology, General Philosophy of Science, and Philosophical Logic, Metaphysics, Philosophy of Language, Metaphilosophy
  • Bernard Katz // website, PhilPapers
    • Specialties: metaphysics, philosophy of language, philosophical logic, early analytic philosophy, and philosophy of religion
  • Philip Kremer // website, PhilPapers
    • Specialties: modal logic, topological semantics, truth and paradox
  • Byeong-uk Yi // website, PhilPapers
    • Specialties: logic, philosophy of language, metaphysics, philosophy of mathematics, semantics of classifier languages

University of Waterloo[edit]

{Wiki Program Page}

  • David DeVidi // website, PhilPapers
    • Specialities: Logic, Philosophy of Mathematics, Metaphysics, Philosophy of Language and Philosophy of Science

University of Western Ontario[edit]

{Wiki Program Page}

  • John Bell // website, PhilPapers
    • Specialities: Set Theory, Model Theory, Lattice Theory, Modal Logic, Quantum Logic, Constructive Mathematics, Type Theory, Topos Theory, Category Theory, Infinitesimal Analysis, Spacetime Theory, and the Philosophy of Mathematics

PhD Programs (Europe)[edit]

All programs reside in philosophy departments, unless otherwise specified. Wiki Program Pages contain identical information to front-page listing, also unless otherwise specified.

Centre for Logic and Philosophy of Science (Ghent University, Belgium)[edit]

{Wiki Program Page}

  • Joke Meheus // University website
    • Specialties: nonmontonic logic, adaptive logics, paraconsistency, deontic logic, ampliative reasoning, applications in history and philosophy of science
  • Frederik Van De Putte // University website,
    • Specialties: nonmonotonic logic, logic of action, philosophy of action, deontic logic, belief revision
  • Rafal Urbaniak // Academia profile, Blog PhilPapers
    • Specialties: Philosophy of mathematics, modal logic, formal theories of truth, paradoxes, formal epistemology, history of logic, Polish logic

Munich Center for Mathematical Philosophy (Germany)[edit]

{Wiki Program Page} Additional information

  • Martin Fischer // website, CV PhilPapers
    • Specialties: axiomatic theories of truth, syntactical treatments of modality, interpretability (via website)
  • Hannes Leitgeb // website, CV PhilPapers
    • Specialties: theories of truth and modality, paradox, conditionals, nonmonotonic reasoning, dynamic doxastic logic (via website)
  • Lavinia Picollo // website, PhilPapers, CV
    • Specialties: paradox, deflationism, reference, formal theories of truth, paradoxes, absolute generality, property theory (via website)
  • Gil Sagi // website, CV PhilPapers
    • Specialties: logical consequence, formality, logical terms, logic and natural language (via website)
  • Gregory Wheeler // website, CV PhilPapers
    • Specialties: Formal epistemology, philosophy of science, decision theory, imprecise probabilities, modal logic, bounded rationality, social epistemology

University of Amsterdam (Netherlands)[edit]

{Wiki Program Page} Information about the ILLC

  • Franz Berto // website, PhilPapers, CV
    • Specialties: philosophy of logic, especially paraconsistency and dialetheism; the philosophy of computation, especially cellular automata; worlds semantics (via website)

University of Groningen (Netherlands)[edit]

{Wiki Program Page}

University of Salzburg (Austria)[edit]

{Wiki Program Page}

  • Christopher Gauker // website 1, 2, PhilPapers
    • Specialties: natural language semantics, context-relativity, conditionals, demonstratives, semantics versus pragmatics
  • Alexander Hieke // website [1]
  • Julien Murzi // website 1, 2 PhilPapers
    • Specialties: truth, inferentialism, philosophy of logic, contraction-free logic (via website)

University of Helsinki (Finland)[edit]

{Wiki Program Page}

  • Gabriel Sandu // website 1, PhilPapers
    • Specialties: quantificational theory, theories of truth, logic and game theory, philosophy of logic, modal logics and philosophical applications (epistemic logic, theory of proper names)
  • Tuomas E. Tahko // website 1, 2, PhilPapers
    • Specialties: philosophy of logic, metaphysics of logic, law of non-contradiction, logical truth

University of Bergen (Norway)[edit]

  • Ole Hjortland // website [2]

University of Florence/University of Pisa Joint program (Italy)[edit]

{Wiki Program Page}

  • Luca Bellotti // website [3]
  • Andrea Cantini // website [4]
    • Specialties: Theories of truth and abstraction; formal semantics; proof theory and foundations of constructivism; history and philosophy of logic
  • Pierluigi Minari // website [5]
    • Specialties: Non-classical logics (intermediate, modal, multivalued, substructural); algebraic and relational semantics; structural proof theory; combinatorial logic and lambda-calculus; history of logic
  • Enrico Moriconi // website [6]
  • Sergio Bernini // website [7]
    • Specialties: Foundations of Mathematics, Intuitionistic Logic, philosophy of logic
  • Daniele Mundici // website [8] (math department)
    • Specialties: mathematical logic, abstract algebra
  • Marco Maggesi // website [9] (math department)
    • Specialties: mathematical logic, algebraic geometry
  • Alessandro Berarducci // website [10] (math department)
    • Specialties: Mathematical Logic, Model Theory, o-Minimality, Models of Arithmetics, Modal Logic, lambda-calculus, Topology

PhD Programs (South America)[edit]

All programs reside in philosophy departments, unless otherwise specified. Wiki Program Pages contain identical information to front-page listing, also unless otherwise specified.

University of Buenos Aires (Argentina)[edit]

{Wiki Program Page} Additional information

  • Eduardo Barrio // website, PhilPapers, CV
    • Specialties: truth, semantic paradoxes, the expressive limits of formal languages, higher-order logic, set theory, unrestricted quantification (via website)
  • Federico Pailos // website, CV, PhilPapers
    • Specialties: paradoxes, non-classical logic (via website)

PhD Programs (United Kingdom)[edit]

All programs reside in philosophy departments, unless otherwise specified. Wiki Program Pages contain identical information to front-page listing, also unless otherwise specified.

Birkbeck, University of London[edit]

{Wiki Program Page}

Durham University[edit]

{Wiki Program Page}

  • Sara L. Uckelman // website 1, 2, PhilPapers
    • Specialties: mathematical logic, medieval logic, modal logic, onomastics (via website)
    • Research supervision: logic (mathematical, philosophical, modal, etc.), philosophy of language, philosophy of logic, philosophy of mathematics, medieval philosophy (especially logic/philosophy of language), informal argumentation, human and machine reasoning (via website)

King's College London[edit]

{Wiki Program Page}

  • Wilfried Meyer-Viol // website, PhilPapers
    • Specialties: temporal logic, modal logic of trees, epsilon calculus, dynamic syntax (via website)

London School of Economics (Philosophy, Logic and Scientific Method)[edit]

{Wiki Program Page}

  • David Makinson // website, PhilPapers
    • Specialties: logic of belief change, nonmonotonic reasoning, Input/output logics, logic of normative systems, qualitative versus quantitative analyses of uncertain reasoning (via website)

Oxford University[edit]

{Wiki Program Page}

  • Volker Halbach // website, PhilPapers
    • Specialties: axiomatic theories of truth, proof theory (via website)

University of Aberdeen[edit]

{Wiki Program Page} Affiliate faculty information

  • Toby Meadows // website, PhilPapers
    • Specialities: Semantic Theories of Truth, Philosophy of Set Theory, Strong Logics, Quantified Modal Model Theory

University of Birmingham[edit]

{Wiki Program Page} Includes Distinguished Research Professor information

University of Bristol[edit]

{Wiki Program Page} Affiliate faculty and groups listed

  • Kentaro Fujimoto // website, PhilPapers
    • Specialties: proof theory, formal theories of truth.
  • Leon Horsten // website, PhilPapers
    • Specialties: formal theories of truth, philosophy of mathematics.
  • Richard Pettigrew // website, PhilPapers
    • Specialties: formal epistemology, philosophy of mathematics.

University of Cambridge[edit]

{Wiki Program Page}

  • Michael Potter // website, PhilPapers
    • Specialties: philosophy of set theory (via website)

University of Glasgow[edit]

{Wiki Program Page}

University of Kent[edit]

  • Jon Williamson // website
    • Specialties: inductive logic

University of Leeds[edit]

{Wiki Program Page}

  • Scott Shalkowski // website, PhilPapers
    • Specialties: logical consequence (via website)

University of Nottingham[edit]

{Wiki Program Page}

  • Philip Percival // website, PhilPapers
    • Specialties: paradox of knowability, the semantics of tense, the language of science (via website)

University of Sheffield[edit]

{Wiki Program Page}

  • Rosanna Keefe // website, PhilPapers
    • Specialties: philosophy of logic, vagueness (via website)

University of St Andrews[edit]

{Wiki Program Page}

  • Aaron Cotnoir // website, PhilPapers
    • Specialties: truth, semantic paradox, modality, non-classical logics, substructural logics (via website)
  • Patrick Greenough // website, PhilPapers
    • Specialties: vagueness, the liar paradox, indeterminacy, contextualism, relativism, minimalism, realism, truth (via website)

University of Sussex[edit]

{Wiki Program Page}

PhD Programs (United States)[edit]

All programs reside in philosophy departments, unless otherwise specified. Wiki Program Pages contain identical information to front-page listing, also unless otherwise specified.

Brown University[edit]

{Wiki Program Page}

  • Richard Heck // website, PhilPapers
    • Specialties: Frege, neo-logicism, axiomatic truth theory (via publications)

Carnegie Mellon University[edit]

{Wiki Program Page}

  • Jeremy Avigad // website, PhilPapers
    • Specialties: Mathematical logic, proof theory, philosophy of mathematics, formal verification, automated reasoning, history of mathematics (via website)
  • Steve Awodey // website, PhilPapers
    • Specialties: Category Theory, Logic, Philosophy of Mathematics (via website)
  • Adam Bjorndahl // website
    • Specialties: epistemic modal logic (via website)
  • Benjamin R. George // website, PhilPapers
    • Specialties: semantics of questions, attitude ascriptions, presupposition projection, and the foundations of semantics (via website)
  • Kevin T. Kelley // website, PhilPapers
    • Specialties: Computability, simplicity (via website)
  • Wilfried Sieg // website, PhilPapers
    • Specialties: Computability, proof theory, automated search (via website)

City University of New York Graduate Center[edit]

{Wiki Program Page}

  • Joel David Hamkins // website, PhilPapers
    • Specialties: Set theory, computability, the infinite (via website)
  • Graham Priest // website, PhilPapers
    • Specialties: Paraconsistency, relevant logic, Buddhist logic, paradoxes (via website)
  • Rohit Parikh // website, PhilPapers
    • Specialties: Logic of knowledge, belief revision, vagueness (via website)

Columbia University[edit]

{Wiki Program Page}

Cornell University[edit]

{Wiki Program Page}

  • Harold Hodes // CV, PhilPapers
  • Joseph Y. Halpern // CV,
    • Specialties: Epistemic Logic, Decision Theory, Conditional Logic (via website)
  • William B. Starr // CV, PhilPapers
    • Specialties: Conditionals, Modality, Imperatives, Dynamic Semantics (via website)

Harvard University[edit]

{Wiki Program Page}

Massachusetts Institute of Technology[edit]

{Wiki Program Page}

  • Justin Khoo // website, PhilPapers
    • Specialties: modals, conditionals, indeterminacy, probability (via website)
  • Vann McGee // website, PhilPapers
    • Specialties: truth and reference, philosophy of mathematics, philosophy of logic, conditionals, foundations of probability, provability logic, and recursion theory (via website)
  • Agustín Rayo // website, PhilPapers
    • Specialties: philosophy of logic and philosophy of language (via website)
  • Robert Stalnaker // website, PhilPapers
    • Specialties: modals, conditional logics, inductive reasoning, common knowledge (via website)
  • Stephen Yablo // website, PhilPapers
    • Specialties: identity, essence, causation, intrinsicness, paradox, metaphor, properties, existence, definition, conceivability, and truth (via website)

New York University[edit]

{Wiki Program Page}

  • Hartry Field // website, PhilPapers
    • Specialties: semantic paradoxes, set-theoretic paradoxes, indeterminacy (via website)

Northwestern University[edit]

{Wiki Program Page}

  • Fabrizio Cariani // website, PhilPapers
    • Specialties: modality and modal logic, future contingents and logical consequence for natural language semantics (via website)
  • Michael Glanzberg // website, CV, PhilPapers
    • Specialties: truth and paradox, unrestricted quantification (via website)

Ohio State University[edit]

{Wiki Program Page}

  • Stewart Shapiro // website, PhilPapers
    • Specialties: second-order logic, logical pluralism, epistemic arithmetic, vagueness (via publications)
  • Neil Tennant // website, PhilPapers
    • Specialties: proof theory; intuitionistic logic; relevance logic; Core Logic; truthmaker theory; inferentialism; belief revision (via website)

Princeton University[edit]

{Wiki Program Page}

  • John Burgess // website, PhilPapers
    • Specialties: set theory, history of logic, philosophical logic
  • Hans Halvorson // website, PhilPapers
    • Specialties: logical philosophy of science (see website), many-sorted logic, category theory

Rutgers University, New Brunswick[edit]

{Wiki Program Page}

  • Anthony Gillies // website, PhilPapers
    • Specialties: formal semantics, belief revision, defeasible reasoning, modality, conditionals (via website)

Stanford University[edit]

{Wiki Program Page}

  • Johan van Benthem // website, PhilPapers
    • Specialties: modal logic, temporal logic, logical semantics and syntax of natural language, dynamic logics of computation and communication (via website)

Texas A&M University, College Station[edit]

{Wiki Program Page}

  • José Luis Bermúdez // website, PhilPapers
    • Specialties: cognitive science, philosophy of mind, decision theory
  • Robert Burch // website, PhilPapers
    • Specialties: logic, history of logic, non-deductive logic, American philosophy
  • Michael Hand // website, PhilPapers, CV (PDF)
    • Specialties: philosophy of language, philosophy of logic/mathematics, metaphysics
  • Christopher Menzel // website, PhilPapers, CV
    • Specialties: philosophy of logic/mathematics, logic and metaphysics of modality

University of California, Berkeley[edit]

{Wiki Program Page}

  • Seth Yalcin // website, PhilPapers
    • Specialties: consequence in natural language, formal semantics (via publications)

University of California, Davis[edit]

{Wiki Program Page}

  • G. Aldo Antonelli // website, PhilPapers
    • Specialties: Revision theory, non-monotonic logic, neo-logicism (via website)
  • Elaine Landry // website, PhilPapers
    • Specialties: Philosophy of mathematics (structuralism, category theory, set theory, model theory), philosophy of science (structural realism, physics, logical positivism, realism), analytic philosophy (Frege, Russell, Wittgenstein, Carnap), philosophy of language, logic (via website)
  • Hanti Lin // website, PhilPapers
    • Specialties: Epistemology, decision theory, philosophy of mind, philosophy of language, philosophy of logic (via website)

University of California, Irvine (Logic and Philosophy of Science)[edit]

{Wiki Program Page}

  • Penelope Maddy // website, PhilPapers
    • Specialties: philosophy of logic (via website)

University of California, Los Angeles[edit]

{Wiki Program Page}

University of California, San Diego[edit]

{Wiki Program Page}

University of Chicago[edit]

{Wiki Program Page}

  • Malte Willter // website 1, 2, PhilPapers
    • Specialties: Dynamic semantics, modality (via website)
  • Anubav Vasudevan // website 1, 2, PhilPapers
    • Specialties: Foundations of Probability (via website)

University of Colorado Boulder[edit]

{Wiki Program Page}

  • Graeme Forbes // website 1, 2 PhilPapers
    • Specialties: compositionality, intensionality, modal metaphysics, and modal logic (via website)

University of Connecticut, Storrs[edit]

{Wiki Program Page}

  • David Ripley // website, PhilPapers
    • Specialties: inferentialism, paradox, substructural logics
  • Marcus Rossberg // website, PhilPapers
    • Specialties: higher-order logic, inferentialism, logical consequence, neo-logicism, nominalism (via website)
  • Lionel Shapiro // website, PhilPapers
    • Specialties: deflationary views of semantic notions and approaches to semantic paradox, especially non-classical logics (via website)
  • Keith Simmons // website, PhilPapers
    • Specialities: truth, paradoxes, logic, history and philosophy of logic (via website)
  • Damir Dzhafarov (Mathematics) // website, PhilPapers
    • Specialties: proof theory, computability theory, reverse mathematics, vagueness (via website)
  • Reed Solomon (Mathematics) // website, PhilPapers
    • Specialties: proof theory, computability theory, computable model theory, reverse mathematics (via website)
  • Jon Gajewski (Linguistics) // website, PhilPapers
    • Specialties: formal semantics, syntax-semantics interface (via website)
  • Magdalena Kaufmann (Linguistics) // website, PhilPapers
    • Specialties: modality, attitude ascriptions, conditionals (via website)
  • Stefan Kaufmann (Linguistics) // website, PhilPapers
    • Specialties: modality, temporality, uncertainty, conditionals (via website)

University of Illinois at Urbana-Champaign[edit]

{Wiki Program Page}

University of Maryland, College Park[edit]

{Wiki Program Page}

  • John Horty // website 1, 2, PhilPapers
    • Specialties: non-monotonic logic, deontic logic (via publications)
  • Eric Pacuit // website 1, 2, PhilPapers
    • Specialties: modal logic, logic and game theory, social choice theory, formal epistemology

University of Massachusetts, Amherst[edit]

{Wiki Program Page}

  • Gary Hardegree // website, PhilPapers
    • Specialties: algebraic logic, truth (via website)

University of Miami[edit]

{Wiki Program Page}

University of Michigan, Ann Arbor[edit]

{Wiki Program Page}

University of Minnesota, Minneapolis-St. Paul[edit]

{Wiki Program Page}

University of North Carolina, Chapel Hill[edit]

{Wiki Program Page}

University of Notre Dame[edit]

{Wiki Program Page}

  • Patricia Blanchette // website, PhilPapers
    • Specialties: philosophy of logic (via website)

University of Pennsylvania[edit]

{Wiki Program Page}

University of Pittsburgh [edit]

{Wiki Program Page}

  • Anil Gupta // website, CV, PhilPapers
    • Specialties: Truth, revision theory, definitions, modal logic, meaning (via website)
  • Kenneth Manders // website, PhilPapers
    • Specialties: Model theory, computational complexity (via website)

University of Southern California[edit]

{Wiki Program Page}

  • Andrew Bacon // website, PhilPapers
    • Specialties: theory of truth, modal logic (via website)

University of Texas at Austin[edit]

{Wiki Program Page}

Yale University[edit]

{Wiki Program Page} (includes Emeritus Faculty)

M.A./M.S. Programs[edit]

Many of the programs above offer terminal M.A. programs as well as PhD programs. This section will contain faculty listings for programs not listed above, as well as links to program pages for some M.A. programs in departments affiliated with those above.

Carnegie Mellon University (USA)[edit]

CMU offers an M.S. in Logic, Computation and Methodology. See the program page for CMU for more information.

Centre for Institute for Logic, Language and Computation (New Zealand)[edit]

See the program page for the Victoria University.

Eötvös University (Hungary)[edit]

{Wiki Program Page} Affiliate faculty information

The Master's program is associated with the Department of Logic.

  • Zsófia Zvolenszky // website, CV
    • Specialties: logic, formal semantics, philosophy of language (via CV)

Institute for Logic, Language and Computation (Netherlands)[edit]

See the program page for the University of Amsterdam.

Munich Center for Mathematical Philosophy (Germany)[edit]

See the program page for the Munich Center for Mathematical Philosophy.

Technical University of Vienna (Austria)[edit]

{Wiki Program Page}

See the website for the master's program in Logic and Computation.

University of Barcelona (Spain)[edit]

{Wiki Program Page}

The University of Barcelona, jointly with the Technical University of Catalonia and the Artificial Intelligence Research Institute, offers a Master's in pure and applied logic. Details are on the University's page. The faculty listed below are all at the University of Barcelona and are broken into two groups, those at the Department of Logic, History and Philosophy of Science and those at the Department of Probability, Logic and Statistics. More lecturers in the program can be found on this page.

Department of Logic, History and Philosophy of Science

  • Calixto Badesa //
    • Specialties: History of logic (via website)
  • Joan Bagaria // website
    • Specialties: Set theory (via website)
  • Enrique Casanovas // website
    • Specialties: Model theory (via website)
  • Ramon Jansana // website
    • Specialties: Algebraic Logic, Non-Classical Logics (via website)
  • Joost J. Joosten // website
    • Specialties: Modal Logic, Proof Theory (via website)

Department of Probability, Logic and Statistics

  • Juan Carlos Martínez //
    • Specialties: set theory (via website)
  • Antoni Torrens //
    • Specialties: Algebraic Logic, Non-Classical Logics (via website)
  • Ventura Verdú // website
    • Specialties: Algebraic Logic, Non-Classical Logics (via website)

Universitat Politècnica de Catalunya (UPC)

  • Albert Atserias website //
    • Specialties: Computational complexity and combinatorics
  • Rafel Faré //
    • Specialties: Model theory

University of Bristol (UK)[edit]

The University of Bristol offers an M.A. in Logic and Philosophy of Math. See the program page for Bristol.

University of Houston (USA)[edit]

{Wiki Program Page}

  • James Garson // website, PhilPapers, CV
    • Specialties: modal logic, formal semantics, computational linguistics, inferentialism (via website)

University of Victoria (Canada)[edit]

{Wiki Program Page}

  • Margaret Cameron // website, PhilPapers
    • Specialties: Aristotelian logic (via website)
  • Audrey Yap // website, PhilPapers
    • Specialties: dynamic epistemic logic, philosophy of logic (via website)

University of Salamanca (Spain)[edit]

The University of Salamanca, jointly with some ohter spanish universities offers a Master in Logic and Philosophy of Science. Details are on the Master's page


  1. This site is not in the business of giving prospective students advice—on how to select programs or anything else—but it can be very helpful and illuminating to contact graduate students currently enrolled in departments you are considering and asking if they would be willing to share their impressions of and experience in the programs. The worst that can happen is that they say 'no'. Of course, what they share must be taken with a grain of salt since everyone's experiences differ, and disgruntled students will paint a radically different picture than contented ones. For that reason, seeking out multiple sources can be worthwhile.
  2. If adding a new Wiki Program Page seems too daunting, that's fine. One is likely to be created for you after a period of time.
  3. The other downside of listing on the main page affiliated faculty whose connection to a philosophical logic graduate program is unclear is that other contributors may remove them. This is, after all, a wiki.
  4. Also, as long as a department has one full-time, self-described philosophical logician, the graduate program is listed.

Wiki Editing Resources[edit]