Reading over my previous post, I was wondering if a group of scholars can be referred to as a "gaggle". So I did some research (i.e., I asked google) and happened upon this wiki page, which lists the appropriate collective noun for logicians as "sequitur", and attributes this to Bertrand Russell. Anyone got a reference … Continue reading A Sequitur of Logicians?

I mentioned it in comments on the other post already, but I thought of a few solutions to my question: how do you keep a gaggle of scholars jointly working on a publication project organized? They are outlined in a wiki page. Comments welcome (you can edit the wiki, of course, or write something on … Continue reading Online Collaboration for Scholars Follow-up

Greg is reporting from the Realism/Anti-Realism Workshop in Nancy, and Yarden from the CMU Summer School in Logic. Stay tuned for reports from Computability in Europe next week from yours truly.

Friendster reminded me that today is Alan Turing's birthday.

If you've ever coauthored a paper, you know what a hassle it is to send versions back and forth, keep track of changes, avoid conflicts when you're simultaneously changing things, and so on. Now software engineers have the same problems when working on large development projects and have developed very sophisticated Revision Control Systems. I've … Continue reading Online Multi-Author Collaboration?

On June 22, 1936, Moritz Schlick, influential philosopher and center of the Vienna Circle of logical empiricists, was gunned down on the steps of the University of Vienna. The Institute Vienna Circle is holding a small memorial event at the University of Vienna today, which will include the presentation of the first two volumes of … Continue reading Schlick Killed 70 Years Ago Today

There will be two interesting workshops following GAP 6 in Berlin (September 14 & 15): one on Carnap, and one with the promising title "Towards a New Epistemology of Mathematics".

I'm at HOPOS, which is loads of fun. All my history of analytic/history of logic buddies are here. But more to the point:Paolo Mancosu just gave the most amazing talk about the debate within the Vienna Circle about Tarski's theory of truth, in particular, the opposition that Neurath had voiced against it from the mid … Continue reading History of Logic at HOPOS

SciBlog, a blog project of a bunch of science writers in Vienna, goes live tomorrow with an event at Depot. If you're in Vienna, come on by.

Peter has posted a new version of the first 22 chapters of his Gödel Book.

The new issue of Philosophia Mathematica is devoted to Gödel. There are essays by Sol Feferman, Peter Koellner, Wilfried Sieg, Bill Tait, Rick Tieszen, and Mark van Atten, as well as a review of Torkel Franzén's Gödel's Theorem: An Incomplete Guide to its Use and Abuse.

After a week in Singapore and a week in Melbourne, I'm back in cold and rainy Vienna, nursing a cold and trying to finish two papers. Thanks to John and Belle, who I got to hang out with in Singapore, and to Allen, Conrad, Graham, Greg, Kate, Maren, Tama, and Zach for making it a … Continue reading I’m Back