ASL Spring Meeting Program Online

The full program of the ASL spring meeting is now up; in addition to the special sessions I advertized earlier, there’ll be a very nice lineup of contributed talks.

Logic and Philosophy at the Pacific APA, again

  1. Reminder: if you want a reason to go to the APA Pacific Division Meeting in San Francisco in March, and have something logical to present: The deadline for submission of contributed papers to the ASL Spring Meeting is a week away.

    2. There will be a special session on logic and philosophy, especially, logic in philosophy graduate training at said APA/ASL Meeting. Here’s the abstract; if you have suggestions for questions, comments, etc., please share! And come to the session, if you can.

    ANDREW ARANA (CO-CHAIR), MICHAEL GLANZBERG, BRIAN WEATHERSON, TED SIDER, AND RICHARD ZACH (CO-CHAIR), Special Session on Logic Instruction and Philosophy Graduate Training. Session X-K, Saturday, March 26, 2005, 2-5 pm.

    Formal Logic in the Philosophy Curriculum. Over more than half a century, formal logic has held an important position in analytic philosophy and consequently in the philosophy curriculum at English-speaking philosophy programs, both at the undergraduate and graduate level. Typically, undergraduates are required to complete a first course in formal logic covering semantics and proof theory of classical first-order logic. A graduate course on metalogic dealing with completeness and Löwenheim-Skolem theorems, undecidability and often also Gödel’s Incompleteness Theorems is a standard requirement in Ph.D. programs.

    The Special Session on Philosophy and Logic Education provides a forum for reflection on and evaluation of the form and content of such courses, and the place and role formal logic courses play or should play in training in philosophy, especially at the graduate level.

    Logic and Philosophy. One issue explored at the session is the question of how formal logic relates to other areas of philosophy, and how logic courses and requirements should relate to other courses and requirements in Ph.D. programs. On the one hand, working in formal logic is certainly a different kind of enterprise than, say, working in metaphysics or ethics. At the introductory level, the main motivation to require courses in logic is simply that it trains students in reasoning and assessing arguments. Logic provides the tools (formalization, deductive proofs, truth tables and interpretations) to do this. At this level, logic courses are more in the business of imparting skills than of a body of knowledge. The situation is somewhat different regarding requirements at the graduate level, where logic training presupposes those skills to a large extent, and students are taught results, such as the completeness theorem, and their proofs. And as these are in the first instance mathematical results, the question might be raised, “Why burden philosophy Ph.D. students by requiring such courses?”

    Methodology. There are undeniably similarities in the methodology of formal logic and philosophical methodology: often, the limitative results of metalogic have served as examples for how questions could be made precise so that they are amenable to a (often negative) solution, and how to give such solutions with mathematical rigor. One motivation for requiring metalogic in philosophy graduate training then is that it imparts to students an appreciation for limitative results, and how they can be proved.

    Content. There are also connections between formal logic and other areas of philosophy in terms of content. This is most obviously so in the philosophy of logic (e.g., theories of truth), the philosophy of mathematics (e.g., Gödel’s theorems as refutation of logicism and formalism), and the philosophy of language (formal semantics), but also in other areas. One might think of Lucas’ argument against mechanism, Putnam’s model-theoretic argument, or the contributions of formal logic in illuminating modality, the logic of knowledge, mereology, etc. Philosophy Ph.D.’s arguably should be able to understand, appreciate, and apply such results, and acquire the foundation necessary for further training enabling them to contribute to this literature. A more specific question for the panel then is how a graduate logic course would best accomplish this. Which results should be taught? How should they be taught? What is the relative importance of the topics now standard in graduate logic courses and more recent developments such as formal theories of truth or intensional logics and possible worlds semantics? Which recent developments should be taught, in what form, and where (required courses, supplementary courses, or incorporated into subject-specific courses, e.g., possible worlds semantics in metaphysics courses)?

    History of Analytic Philosophy. The history of philosophy is rightfully considered a central part of the philosophy curriculum. As the history of analytic philosophy matures as a recognizable field of study (and teaching), a background in logic and metalogic becomes increasingly important. For the major figures in early (Frege, Russell, Wittgenstein) and more recent (Carnap, Quine, Lewis) analytic philosophy, logic was a central tool in philosophy and an area to which they themselves contributed. On the one hand, this raises similar questions as above: What to include or emphasize in graduate logic courses so to enable graduate students to understand, e.g., Russell’s theory of types, or what Frege’s Axiom V says? On the other hand, perhaps graduate logic courses should incorporate the philosophical aspects of the development of logic in the 19th and 20th century?

    Additional Questions. (1) Textbooks: To some extent, the form and content of courses is influenced by the available textbooks. In graduate level logic courses, the two most popular texts are probably Boolos, Burgess, and Jeffrey’s Computability and logic and Enderton’s A mathematical introduction to logic. In light of the issues outlined above, how do they and other texts serve the purpose? What would an ideal graduate level logic text for philosophy look like? (2) Logic in the Profession: One important aspect of graduate training is, of course, preparation to teach. How important is it to have received advanced training in logic in order to effectively teach an introductory course? How can graduate training in logic enhance the effectiveness of introductory logic teachers?

Graduate Studies at Berkeley’s Logic Group

Unfortunately (and, to me, inexeplicably), the Group in Logic and the Methodology of Science got dropped from the specialty rankings for mathematical logic in the 204-06 edition of the Philosophical Gourmet Report. But if you are thinking of going to grad school for logic, take it from me: Berekely still belongs in Group 1, where it was last time. The logic faculty in the Mathematics Department is still one of the best (if not the best) in the world. And the faculty members from the Logic Group in Philosophy haven’t changed much from the last iteration of the Gourmet Report either: Branden Fitelson was hired, and John MacFarlane got tenure. True, there are some areas where Berkeley is not as strong as other places (in proof theory, for instance–but Stanford is just across the Bay!). But you really can’t do much better if you are interested in set theory, model theory, recursion theory, or the history of logic. And Berkeley’s philosophy department isn’t bad either, so your general philosophical education won’t suffer.

When I started there, people were fond of pointing out that in the (then) four top-ranked philosophy departments, each one had a Berkeley graduate on the faculty, and they were all graduates of the Logic Group. That’s not true anymore, but still at least a third of schools that are now ranked in the Gourmet Report for mathematical logic have Berkeley graduates on the faculty: Jeremy Avigad at CMU, John Burgess at Princeton, Ken Manders at Pittsburgh, Matt Foreman at UC Irvine (Kai Wehmeier spent a year at Berkeley), Greg Hjorth at UCLA, Peter Koellner at Harvard studied at Berkeley before moving to MIT, Vann McGee and Stephen Yablo at MIT.