Category: Uncategorized

Josh Parsons (Oxford) has written a widely discussed post on “The LaTeX cargo cult,” explaining why he discourages philosophy students from using LaTeX.  He makes some interesting points.  But what he has left out is the overarching principle that you should simply always use the best tool for the purpose at hand – and “best”…

At this year’s Vienna Summer of Logic the organizers did something I haven’t seen done before, and which I think should be emulated: over the course of the two weeks that 2,400 logicians were gathered in Vienna, they organized a Logic Lounge in seven instalments.  For an hour each, one or more conference participants engaged…

There’s a discussion going on at the Foundations of Mathematics mailing list about the purpose and value, actual and potential, for formalized proofs in mathematics.  Harvey Friedman asked Jeremy Avigad to comment; he sent this super-useful list of references, republished here with his approval. John Harrison and I recently wrote a survey on formalized mathematics,…

Just found out that Edward Nelson died last month. http://www.princeton.edu/main/news/archive/S41/11/36I14/index.xml http://en.wikipedia.org/wiki/Edward_Nelson

Steve Awodey’s talk in the Calgary Mathematics & Philosophy lecture series (“Univalence as a New Principle of Logic” aka “HoTT for Philosophers”) is now up on mathtube.org.

I’ve fixed a bug in bpextra.The new version can be downloaded from github. See also this issue for how to define your own deduction styles.

The second installment of SotFom (Symposium on the Foundations of Math) is asking for papers by Halloween: FINAL CFP and *EXTENDED DEADLINE*: SoTFoM II `Competing Foundations?’, 12-13 January 2015, London. FINAL CFP and *EXTENDED DEADLINE*: SoTFoM II `Competing Foundations?’, 12-13 January 2015, London. The focus of this conference is on different approaches to the foundations of…

Did you know? The Moritz Schlick Gesamtausgabe is available for free at the Moritz-Schlick-Forschungsstelle! Just click on the cover image to download the PDF (instead of the “order online” link).  Alas, it’s only in German.

If you’re in that part of the world (or will be in January), you might be interested to know that registration for the 8th Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic (17-18 January 2015) is now open: The conference will be held in St. John’s College, Cambridge. There will be two…

Hilary Putnam is writing on Tarski’s theory of truth (and Field’s analysis of it) at Sardonic Comment. First two blog posts are up: http://putnamphil.blogspot.ca/2014/09/first-of-series-of-posts-on-tarski-i-am.html http://putnamphil.blogspot.ca/2014/09/a-second-post-on-tarski-this-post.html