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!