Mindblown: a blog about philosophy.

The Stanford Encyclopedia of Philosophy now has entries on: Negation (Laurence R. Horn and Heinrich Wansing) Disjunction (Ray Jennings and Andrew Hartline) Indicative Conditionals (Dorothy Edgington) Quantifiers and Quantificiation (Gabriel Uzquiano) Identity (Harold Noonan and Ben Curtis)

I learned today that Ivor Grattan-Guinness, the historian of mathematics and logic, died last month. Obituaries: Guardian BibNum

If you’re using BibTeX and LaTeX and are doing any kind of scholarly/humanistic work, I’m sure you’ve run into this annoying problem: BibTeX always complains when a book has both an author and an editor. That’s a problem when, say, you want to include Gödel, K., 1986. Collected Works, vol. I. S. Feferman et al.,…

New in the Review of Symbolic Logic (part 1, part 2) A Gödel sentence is often described as a sentence saying about itself that it is not provable, and a Henkin sentence as a sentence stating its own provability. We discuss what it could mean for a sentence of arithmetic to ascribe to itself a…

[View the story “Michael Beaney’s Vienna Circle Lecture on Susan Stebbing” on Storify]

In response to my post about “lesser known Russian/Soviet logicians“, Lev Beklemishev commented: Dirk van Dalen was interested in Shatunovsky’s work and at his request I procured a copy of his book on the development of algebra on the basis of what can be called rudimentary constructivist ideas. This was, of course, pre-Brouwerian, and the…

I’m working on a paper that features Moses Schönfinkel, so I was reading through a manuscript of his where he rattles off a long list of important logicians.  In addition to the usual suspects, it features the names “Schatunowski, Sleschinski, Kahan, Poretski.”  I spent the better part of a day trying to figure out to…

Shawn Standefer has done us all a great service by starting and populating a Wiki of PhD programs in Philosophical Logic! This wiki provides an unranked list of PhD (and (eventually) terminal M.A.) programs that have strengths in philosophical logic. Links are provided to the websites, CVs, and PhilPapers profiles of the relevant faculty at…

…is another’s modus tollens. [W]hen I was nine years old, I came down with scarlet fever. […] During that year there was nothing in the world which I wanted so much as a bicycle. My father assured me that when I got well I would get one but, childlike, I interpreted this as meaning that…