Tools for Teaching Logic (June 9-­12, 2015, Rennes, France) is seeking original papers with a clear significance in the following topics (but are not limited to): teaching logic in sciences and humanities; teaching logic at different levels of instruction (secondary education, university level, and postgraduate); didactic software; facing some difficulties concerning what to teach; international … Continue reading CfP: Tools For Teaching Logic TTL2015

In case you need the original 1920 or 1923 papers by Skolem, and you don't have Selected Works in Logic handy, here are PDFs extracted from the digital version of Skrifter utgit av Videnskapsselskapet i Kristiania. I, Matematisk-naturvidenskabelig klasse made available by the Biodiversity Heritage Library and the Internet Archive. Thoralf Skolem, "Logisch-kombinatorische Untersuchungen über … Continue reading Skolem’s 1920, 1923 Papers

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 … Continue reading CfP: 2015 Logic Colloquium in Helsinki

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, … Continue reading John Shepherdson, 1926-2015

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