I’m giving a talk on Friday for a general audience, and I thought it would be cute to claim in the little blurb about me that I am “probably the only person in the world who holds both undergraduate and doctoral degrees in logic.” Several people have asked me if that’s really true, and now I wonder myself. There aren’t many programs that offer degrees in logic (and by this I mean: degrees that have “logic” in the name of the degree but not as a specialization of, say, mathematics, and also not a degree in mathematics with a thesis that happened to be in logic). There’s an undergrad degree given out by Carnegie Mellon. The University of Vienna used to offer degrees in “Logistik,” but now mathematical logic is part of the mathematics major there, as far as I can tell. The Computational Logic degree administered by the Universities of Dresden / Bolzano / Madrid / Vienna (TU) / Lisbon and the MA in Logic at the University of Amsterdam are graduate (MSc) degrees. The only straight PhD program in logic I know of is the one at Berkeley. There are also programs in Amsterdam, Carnegie Mellon, Irvine, and Munich, but these, to the best of my knowledge, grant PhDs in Computer Science, Mathematics, or Philosophy with some kind of specialization in logic. I don’t know exactly what the deal is with degrees from Paris 7. Do you know of other programs? Do you know of anyone who got both their undergrad and PhD degrees from logic programs?