Mindblown: a blog about philosophy.
-
Behmann’s 1921 Lecture on the Decision Problem
Paolo Mancosu‘s and my paper on Heinrich Behmann’s 1921 lecture on the decision problem is out in the new issue of the Bulletin of Symbolic Logic. (Hey you are a member of the Association for Symbolic Logic, right? Comes with subscriptions to the Bulletin, the Review, and the Journal of Symbolic Logic!) This is the…
-
Many-Valued Logics and Slime Moulds
First I just thought, “How weird! Applying many-valued logic to slime moulds.” But then I read it and not only is this a bona-fide application of p-adic logic to the behavior of slime moulds, no, the slime moulds are used as computers in this application! And my own work is used! So, yay to p-adic…
-
In Good Company
The long awaited (by me, at least) article by Paolo Mancosu on the Good Company objection has been out in the Review for a few months and I missed it. You probably didn’t, if you care about these things, but anyway: In a recent article (Mancosu, 2009), I have explored the historical, mathematical, and philosophical…
-
Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
Organized by Université de Montpellier and LIRMM-CNRS with the support of the ANR project Polymnie, June 10-12 will see a really neat workshop on the use of epsilons and choice functions. The program is now online; if you can, you should go. This workshop aims at promoting work on Hilbert’s Epsilon in a number of…
-
Git for Victorianists, erm, Philosophers (pt. 4)
(Continues part 1, part 2, and part 3; fork the full text on GitHub) Branches Programmers are fond of using “branches” in their code. A code branch is a version of the entire project that shares it change history, but includes some changes the main branch (usually called “master”) does not (yet) contain. This is…
-
Git for Philosophers (pt. 3)
(Continues part 1 and part 2; fork the full text on GitHub) Forks and Pull Requests If you have push access to a repository, you can sync your local clone with the remte on GitHub or GitLab directly. But many projects do allow push access only to a select group of people to make sure…
-
Vienna Circle Exhibition
As part of the 650-year celebration of the University of Vienna, the Institute Vienna Circle is putting on an exhibition on the Vienna Circle. The exhibition opens tomorrow. A central part of our exhibition will be devoted to the history of the racist and political persecution of intellectuals and scholars, leading to the exodus of…
-
Git for Philosophers (pt. 2)
Continues Git for Philosophers (pt. 1) Collaborative Writing with Git Collaborative writing presents similar issues as collaborative programming: different people making changes to the same document from different locations. Sending the document back and forth is inefficient: only one person can work on it at a time, and there is a risk of changes being…
-
Nerdiest Paper Ever? Green, Rossberg, Ebert on the Typography of Frege’s Grundgesetze
In the most recent issue of the Bulletin, J. J. Green, Marcus Rossberg and Philip Ebert discuss the typography of Frege’s Grundgesetze. J. J. Green, Marcus Rossberg and Philip A. Ebert, “The Convenience of the Typesetter; Notation and Typography in Frege’s Grundgesetze der Arithmetik”, Bulletin of Symbolic Logic, vol. 21, no. 1, 15–30, Mar. 2015.…
-
Natural Deduction for the Sheffer Stroke and Peirce’s Arrow
A li’l paper I wrote in response to a question/conversation with Allen Hazen and Jeff Pelletier a couple of months ago went online today in the Journal Philosophical Logic: Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective) (If you’re not blessed with a Springer Link subscription, there’s a preprint…
Got any book recommendations?