Another exciting new blog, by Chris Pincock: Honest Toil.

My former student Rafał Urbaniak has a new blog, Entia et Nomina.

Obituary here.

Mark van Atten's excellent entry on the history of intuitionistic logic for the Stanford Encyclopedia is out. And last week in Jena, my Carnap Project colleague Steve Awodey got an awesome stamp commemorating the centennial (last year) of Brouwer's thesis (not from me, so don't ask):

Krister Segerberg will be visiting the Philosophy Department at the University of Calgary during the 2008/09 academic year as Killam Visiting Scholar. He'll be teaching two courses, an intro to modal logic course in the Fall and an advanced course in the Winter term. There will also be a little two day workshop, most likely … Continue reading Segerberg in Calgary 2008/09

My department is advertising for a junor position in logic. Please apply or tell me if you know of any promising candidates. If you need more information, you can contact Ali Kazmi (contact details below) or me, of course. We also have a recruitment page. Salient details missing from the ad: teaching load is 2-2, … Continue reading Tenure-Track Job in Logic at Calgary!

Hannes Leitgeb has edited an interesting special issue of Studia Logica on "Psychologism in Logic?". From the introduction: There is no doubt that Frege’s and Husserl’s famous attack on Psychologism in logic had a significant influence on the emergence of logic as a separate discipline. Now that this battle can be safely regarded won, it … Continue reading Studia Logica Issue on Psychologism in Logic

NYU Philosophy is hosting a conference on the philosophy of mathematics, October April 10-12, 2008 2009. The speakers are John Burgess, Haim Gaifman, Joel Hamkins, Kai Hauser, Peter Koellner, Stewart Shapiro, Stephen Simpson, Bill Tait, Neil Tennant, and Hugh Woodin.

The first issue of the Review of Symbolic Logic is now online.

Pictures and videos from the Gödel Centenary Fellowship are online here.

Pictures and videos from the Gödel Centenary Fellowship celebration are online here.

There's a very interesting issue of Erkenntnis just out. It's the proceedings of PhiPMSAP 1. PhiMSAP is the Network on Philosophy of Mathematics: Sociological Aspects and Mathematical Practice of the DFG, run mostly by Benedikt Löwe and Thomas Müller, the third workshop of which I just had the pleasure of attending. Contents of the issue: … Continue reading Towards a New Epistemology of Mathematics

The first issue of the Review of Symbolic Logic will be out soon (Cambridge UP page here). The Review, like the Journal and Bulletin of Symbolic Logic will be mailed to all members of the Association for Symbolic Logic. So if you're not a member (and you probably should be, if you're reading this!), join … Continue reading First Issue of Review of Symbolic Logic Out Soon!

Last week, Brian Leiter posted about possibly re-drawing the dividing lines between the specialty areas ranked in the Philosophical Gourmet ReportIn a comment, Cian asks: Philosophical Logic and Mathematical Logic. While there is a fair amount of divergence between the two rankings, I also see, for example, that NYU gets ranked at 4.5 in mathematical … Continue reading Philosophical Logic and Mathematical Logic in the PGR

What more do we know about a theorem if we have a proof (by restricted means) than merely that it is true? That's an old question of Kreisel's that motivated his "unwinding program": extract additional information from proofs of theorems in constructive theories, such as bounds on y in theorems of the form ∀x∃y A(x, … Continue reading Kohlenbach’s Applied Proof Theory is Out!

From my colleague up north, Rob Wilson: The What Sorts of People blog is now up and running: check it out. This is the blog for the What Sorts of People Should There Be? network, a collaborative blog with regular contributions from around 10 team members. Short, recent posts are available on double-amputee Oscar Pistorius's … Continue reading What Sorts of People Should There Be?

Rob Loftis has a roundup of open access introductory logic textbooks. And Hans von Ditmarsch has a list of logic course software.

It was only a matter of time.

You probably all know the result that Peano Arithmetic is not finitely axiomatizable (a result due to Ryll-Nardzewski), and a similar result for ZFC (due to Richard Montague, I believe). The standard axiom system for PA is not finite since the axiom scheme of induction stands for infinitely many sentences. Ryll-Nardzewski showed that there is … Continue reading Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols (Classic Logic Papers, Pt. 4)

So the colloquium honoring the recipients of the Gödel Research Fellowships is tomorrow. There should be a live feed. It starts at 9:00 CDT (that's midnight tonight on the West Coast, and 3 am Eastern). I'll try to find out if the lectures will be archived.