Mindblown: a blog about philosophy.

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

I’m very excited that Steve Awodey is on his way here to deliver the first Calgary Mathematics & Philosophy Lecture tomorrow! He’s speaking on “Univalence as a New Principle of Logic.” If you’re in Calgary, you should come.  It’ll be exciting. Thursday, 3:30 pm, in Engineering Building A aka ENA 101 on the UofC campus.…

I’ve been having a conversation with Alex Douglas and Eric Schliesser on their posts (Alex’s, Eric’s) about Milton Friedman’s footnote about observer-dependence and Gödel’s incompleteness theorem.

John Venn would have been 180 today (August 4). In celebration, Google put up an interactive Venn Diagram doodle, which is pretty amazing. Also, TIL that it’s not a Venn diagram if it doesn’t contain all possible intersections, a restriction that doesn’t apply to Euler diagrams.  So representing an empty intersection by two non-intersecting regions…

The Café Reichsrat in Vienna is notable as the place where Gödel, on August 26, 1930, first announced the incompleteness theorem to Carnap, Feigl, and Weismann. The members of the Vienna Circle had met there to prepare for the trip to the “Zweite Tagung für Erkenntnislehre der Exakten Wissenschaften,” a satellite meeting to the congress…