Mindblown: a blog about philosophy.
-
In Memoriam: Grigori Mints
A memorial site has been set up to honor Grisha’s memory. A memorial conference in honor of Grisha Mints will be held at the Third St.Petersburg Days of Logic and Computability, August 24-26, 2015, at the Euler International Mathematical Institute, St. Petersburg, Russia. The following obituary was included in the January 2015 Newsletter of the…
-
Previously Unknown Turing Manuscript Going to Auction
You may have heard that a notebook by Alan Turing, which he left to Robin Gandy, is going to auction in April. Bonham’s, the auction house, has kindly permitted me to share the auction catalog. [pdf-embedder url=”http://richardzach.org/files/2015/02/22795_turing.pdf”] The notebook apparently dates from around 1944. The mathematical content is divided into two parts, one on Peano’s…
-
Carnap (and Goodman and Quine) and Linguistics (Guest post by Darin Flynn)
(This is a guest post by my linguistics colleague Darin Flynn) I was intrigued by your last post—that Carnap (apparently) gave serious consideration to suggestions by Gödel and Behmann that he use “semantics” rather than “syntax” in the title of his 1934 book. The story we’re told in linguistics is that Carnap learned to love…
-
Carnap on "Syntax" vs "Semantics"
Carnap’s Logical Syntax of Language actually deals with semantic notions such as “analytic.” Why, then, didn’t he call it “semantics”? When the project was still in its early stages, Carnap sent a manuscript entitled “Metalogik” to Heinrich Behmann. Behmann objected to the title and suggested as alternatives first “Logic of Language” and then “Semantics.” Carnap…
-
CfP: Tools For Teaching Logic TTL2015
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…
-
Skolem's 1920, 1923 Papers
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…
-
Changes at the J for History of Analytic Philosophy
We have some new editors at the Journal for the History of Analytic Philosophy.
-
CfP: 2015 Logic Colloquium in Helsinki
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…
-
John Shepherdson, 1926-2015
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,…
-
Brilliance and Other Causes of Academic Gender Gaps
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.
Got any book recommendations?