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

One of my favorite proof theory papers of all time: W. W. Tait. Normal derivability in classical logic. In: Jon Barwise, ed., The Syntax and Semantics of Infinitary Languages LNM 72. (Berlin: SPringer, 1968), pp. 204-236. Springer actually has this available online--which is neat, but of course only if your institution has access to the … Continue reading Classic logic papers, pt. 3: Normal derivability in classical logic

The Zeitschrift für mathematische Logik und Grundlagen der Mathematik was one of the few logic journals around in the mid 20th century. It started publishing in 1955, I think the only logic journals that are older than it are the Journal of Symbolic Logic (1936), the Archiv für mathematische Logik und Grundlagenforschung (1950) and Studia … Continue reading Zeitschrift für mathematische Logik und Grundlagen der Mathematik

Looking through my CiteULike database today, I was reminded of this beautiful paper by Gallier, which tells you everything you wanted to know about the ordinal Γ0 and its proof-theoretic relevance. Section 6 is a wonderful overview of the theory of (constructive) countable ordinals.Jean H. Gallier. What's so special about Kruskal's theorem and the ordinal … Continue reading Classic Logic papers, pt. 2: Kruskal’s theorem and Γ0

The Ackermann Award is the EACSL's award for outstanding dissertations in logic in computer science. This year's award is shared by Dietmar BerwangerRWTH Aachen (Advisor: Erich Graedel)Thesis: Games and Logical Expressiveness Stéphane Lengrand Université de Paris VII and University of St. Andrews (Advisors: Delia Kesner and Roy Dyckhoff) Thesis: Normalization and Equivalence in Proof Theory … Continue reading Ackermann Award announced

Two new entries in the Stanford Encyclopedia just went on-line, brought to you by the authors and your friendly neighborhood History of Logic subject editors:Bolzano's logic, by Jan SebestikThe Frege-Hilbert controversy, by Patricia BlanchetteAlso interesting: Facts, by Kevin Mulligan and Fabrice Correia

New SEP entry on conditionals by Horacio Arlo-Costa: This article provides a survey of recent work in conditional logic. Three main traditions are considered: the one dealing with ontic models, the one focusing on probabilistic models and the one utilizing epistemic models of conditionals.

New SEP entry on Combining Logics by Walter Carnielli and Marcelo Esteban Coniglio: The subject of combinations of logics is still a young topic of contemporary logic. Besides the pure philosophical interest offered by the possibility of defining mixed logic systems in which distinct operators obey logics of different nature, there exist also many pragmatical … Continue reading Combining Logics

Call for PapersThe Society for Exact Philosophy invites submission of papers for the 36th annual S.E.P. conference to be held at the University of Wyoming in Laramie, Wyoming. May 13-17, 2008.Keynote speakers:George Bealer (Yale),Charles Chihara (Berkeley),Graeme Forbes (Colorado).Conference organizer: Prof. Mark Moffett (Wyoming).Paper submissions in all areas of analytic philosophy are welcomed.Paper submission deadline: January … Continue reading CfP: Society for Exact Philosophy 2008

Two ads for positions with AOS or AOC in logic: The Department of Philosophy, University of Alberta, invites applications for a tenure-track position in Philosophy, with a specialization in Logic. Other areas of research and teaching specialization and competence are open. The appointment will be made at the rank of Assistant Professor, effective July 1, … Continue reading Logic Jobs at Alberta, Simon Fraser

The new LaTeX package turnstile lets you make fancy turnstile characters and put labels above and below the line (e.g., \vdash^x_L, but the right way).HT: The Academic Geek (aka Kai von Fintel)

Unfortunately, I didn't think of the title myself. It's the title of one of the workshops at the Calgary Folk Festival, one where a bunch of artists play together, usually with an emphasis on the words (I haven't been, so I really don't know what they're like, but a few years ago they had Jane … Continue reading Weapons of Fast Deduction

Can you help the ASL Committee on Logic Education? Please take this survey. Dear Members of the ASL,One of the responsibilities of the ASL Education Committee is to help its membership tackle pedagogical difficulties in teaching logic courses. In order to properly do this, we need to fully understand the goals such courses are intended … Continue reading Logic Course Survey

Peter and Ole were faster than me, so I'll just link to their posts:Peter Smith on Mathematical Logic by Chiswell and Hodges and The Mathematics of Logic by Kaye.Ole Thomassen Hjortland on Logic's Lost Genius: The Life of Gerhardt Gentzen by Mentzler-Trott.

Below the funding statistics for grants in the Philosophy Committee for SSHRC Standard Research Grants. The explanation for why so few grants were awarded this year is pretty clear: rather than cut grants across the board, SSHRC decided to respond to the 23% cut in overall funding for the program over last year by making … Continue reading SSHRC Funding Stats

The Social Sciences and Humanities Research Council of Canada has posted a list of new Standard Research Grants for 2007. (Last year's projects were discussed here.) This year's stats: 88 applications (2006: 85, 2005: 96, 2004: 92), 26 grants, for a success rate of 29% (2006: 37%, 2005: 38%, 2004: 48%). This year, new scholars … Continue reading New Canadian Research Grants to Philosophers