Mindblown: a blog about philosophy.

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…

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…

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…

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…

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…

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 Blanchette Also 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…

Call for Papers The 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…

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,…