Category: Uncategorized

We have some new editors at the Journal for the History of Analytic Philosophy.

First Announcement & Call for Abstracts Logic Colloquium 2015European Summer Meeting of the Association for Symbolic Logic Helsinki, Finland, 3-8 August 2015 http://www.helsinki.fi/lc2015 The annual European Summer Meeting of the Association for Symbolic Logic, the Logic Colloquium 2015 (LC 2015), will be organized in Helsinki, Finland, 3-8 August 2015. Logic Colloquium 2015 is co-located with…

Sad news from Philip Welch at Bristol:  John Shepherdson has died. I deeply regret having to impart the very sad news that John Shepherdson died in Bristol on Thursday of an inoperable sarcoma. John was a founder of the BLC (together with Robin Gandy if I remember rightly). His own work was in many areas,…

Every mathematician and philosopher should watch this video by Sarah-Jane Leslie (Philosophy, Princeton) on her study with Andrei Cimpian (Psych, Illinois). Takes just 11 minutes. [youtube https://www.youtube.com/watch?v=FM6mbSiD3eA] Then you can go and read the original study in Science or any of the writeups in, e.g., the Science news blog, Chronicle, Daily Nous, etc.

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…