A year and a half ago, Andy Arana and I organized a session at the Pacific APA about logic and philosophy graduate education. One of the panelists was Ted Sider, who spoke about what kinds of logic he thought a philosophy grad student should know. He's been teaching a course on exactly that, i.e., a … Continue reading Ted Sider: Logic for Philosophy

On FOM, Allen Hazen points to a review in Nature of Reviel Netz and William Noel's The Archimedes Codex. Here's Netz's own report on the relevant part of the palimpsest in which Archimedes comes up with the definition of equality between infinities in terms of a one-to-one correspondence. Also, transcript of Nova segment on the … Continue reading Archimedes on Infinity

Henry Kyburg, Professor of Philosophy and Computer Science at the University of Rochester and an eminent logician and formal epistemologist, passed away on October 30.

This list from Jon Cogburn's blog is pretty funny. I like the Quine bit particularly.

An addition to the list of programming languages named after logicians (e.g., Gödel, Haskell, Curry): Carnap The Carnap Programming LanguageProcess oriented programming: shared data structures and the concurrent processes that act upon them.Carnap is a general purpose programming language for the next generation of many-core devices, many many-core systems and their applications. It introduces a … Continue reading Carnap: The Programming Language

CSLI Lecture Notes are now part of the Stanford Medieval and Modern Thought Digitization Project. That means books such as Unger's Cut-elimination, Normalization, and the Theory of Proofs, Troelstra's Lectures on Linear Logic, Aczel's Non-well-founded Sets, van Benthem's Manual of Intensional Logic, and Goldblatt's Logics of Time and Computation are now available online and for … Continue reading CSLI Lecture Notes online and free