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 … Continue reading In Good Company
Month: May 2015
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 … Continue reading Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
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 … Continue reading Git for Victorianists, erm, Philosophers (pt. 4)
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 … Continue reading Git for Philosophers (pt. 3)
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 … Continue reading Vienna Circle Exhibition
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 … Continue reading Git for Philosophers (pt. 2)
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. … Continue reading Nerdiest Paper Ever? Green, Rossberg, Ebert on the Typography of Frege’s Grundgesetze
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 … Continue reading Natural Deduction for the Sheffer Stroke and Peirce’s Arrow
Visiting Research Chair in Logic/HPS (2016/17)
Would you like to spend a semester or two in beautiful Calgary, Canada, during the 2016/17 academic year? The University of Calgary is pleased to offer the opportunity for a Fulbright Visiting Research Chair in Logic or the Philosophy of Science. The visiting researcher will be a part of the Department of Philosophy and collaborate … Continue reading Visiting Research Chair in Logic/HPS (2016/17)
Git for Philosophers (pt. 1)
What is Git? When software developers work on complex programming projects, they use something called a revision control system. A revision control system allows them to keep track of changes in their code -- it stores a history of changes, and allows them to quickly and easily take back ("revert") changes that turn out to … Continue reading Git for Philosophers (pt. 1)
Open Logic Project
A new open-source advanced logic text, announced earlier this week on the new blog: richardzach.org. Please update your links and subscriptions.
Introducing: The Open Logic Project
We've kept this on the down-low long enough, I think: together with Aldo Antonelli, Jeremy Avigad, Nicole Wyatt, and Audrey Yap, I've been working on an open source advanced logic textbook for a little while; Andy Arana and Gillian Russell are also on the editorial board. It's far from done; in fact the whole idea … Continue reading Introducing: The Open Logic Project