Category: Uncategorized
-
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…
-
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…
-
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…
-
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…
-
Why Scanlon Left Logic for Political Philosophy
T. M. Scanlon is one of the foremost moral and political philosophers alive. But he started as a logician, working with Benacerraf as an undergraduate at Princeton, Dummett during a Fulbright at Oxford, and Dreben for his Ph.D. at Harvard. His first two papers were: The Consistency of Number Theory Via Herbrand’s Theorem, JSL 38…
-
Pen Maddy: Is Math Mysterious?
They ask, “Is there something mysterious about mathematics?” Among others, Pen Maddy answers. http://ideas.aeon.co/questions/is-there-something-mysterious-about-math