Mindblown: a blog about philosophy.

Ergo is a new general philosophy journal, open access, licensed under CC, with an innovative editorial model and triple-blind review.  Their first issue with four papers was published today, the papers are discussed on topic-appropriate blogs. Read the report on submissions, turn-around times, etc., by the editors Jonathan Weisberg and Franz Huber here. First issue:…

Within the VIDI project ‘The Roots of Deduction’ led by Catarina Dutilh Novaes, the Faculty of Philosophy of the University of Groningen is advertising a 12-month post-doc position, to commence in January 2015 or shortly thereafter. Given the broad scope of the project, candidates with a number of different backgrounds will be considered, as long…

Bored by small powers of 2? You can now play 2048, but with large cardinals instead. For the long version, you have to get all the way to 0=1. Fork by Chris Le Sueur, h/t David Schrittesser

The SEP finally has an entry on Jan Łukasiwicz, by Peter Simons: Jan Łukasiewicz (1878–1956) was a Polish logician and philosopher who introduced mathematical logic into Poland, became the earliest founder of the Warsaw school of logic, and one of the principal architects and teachers of that school. His most famous achievement was to give…

Helmut Veith and I are organizing a special session at the Logic Colloquium in Vienna.  The panelists will be Byron Cook (Microsoft Research), Alexander Leitsch (University of Technology Vienna), Prakash Panangaden (McGill University), Nicole Schweikardt (Goethe-University Frankfurt am Main). The abstract copied from the ASL Committee on logic Education page: Logic has been called the…

Wow. Learn something new every day. a) BASIC just turned 50 years old four days ago. b) You know who invented BASIC? John G. Kemeny, student of Alonzo Church, and the guy who’s credited with first defining the now-standard notion of truth in a model! (Kemeny was apparently also a great president at Dartmouth, opening…

Please add your favorite Frege joke in comments (or tweet @RrrichardZach with #fregejokes hashtag). Doesn’t have to be good. In fact, just any logic joke is fine.

Check out the funded doctoral program in logic in computer science! http://logic-cs.at/phd/ TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS. The LogiCS doctoral college focuses on interdisciplinary research topics covering (i) computational logic, and applications of logic to (ii) databases and artificial intelligence…

The LaTeX package bussproofs.sty for typesetting natural deduction/sequent calculus proofs is nifty especially for its nice alignment of sequents.  By contrast to the proof.sty package, it doesn’t allow you to typeset missing parts of a proof, though. proofs.sty has the \deduce command for that; it typesets vertical dots instead of a horizontal inference line. I…

All-around awesome logician colleagues and friends Steve Awodey and Jeremy Avigad have netted a $7.5m, 5-year grant to develop Homotopy Type Theory! http://www.cmu.edu/news/stories/archives/2014/april/april28_awodeygrant.html HoTT awarded a MURI