The "deep inference/calculus of structures" gang is organizing a workshop at ICALP (July 16-17) on "Structures and Deduction: The Quest for the Essence of Proofs." Deadline for paper submissions is April 15. Another opportunity to visit Lisbon.

Greg Restall has a new book projct: Proof and Counterexample, a text on basic proof theory (sequent calculus and natural deduction, cut elimination and normalization, and such). Knowing Greg's interests, this will cover proof theory for many non-classical logics. Greg's draft is online, and the wiki devoted to the book also has a bunch of … Continue reading Restall’s new project: Proof and Counterexample

I've been waiting for it for a while, and it has finally arrived: my copy of William Tait's collection of "essays in the philosophy of mathematics and its history," The Provenance of Pure Reason. Neither OUP nor Amazon has a table of contents for it up, so here it is: Introduction31Finitism212Remarks on finitism431Appendix to Chapters … Continue reading Bill Tait: The Provenance of Pure Reason

Proofs and Types, the classic 1989 proof theory text by Jean-Yves Girard (translated and with appendices by Paul Taylor and Yves Lafont) has been online for over a year, I just found out. Now that Troelstra/Schwichtenberg is around, perhaps no longer the first place you'd go to read up on the Curry-Howard isomorphism and normalization, … Continue reading Proofs and Types

Just got this via FOM:Logical Lyrics: From Philosophy to Poetics is available,see Amazon UK and Amazon US [and Amazon Canada]:I want to take this opportunity to thank you all for your pertinent citations and aphorisms for Logical Lyrics: From Philosophy, Vincent F. Hendricks, King's College Publications, March 2005, ISBN 1904987044, the independent follow-up to Feisty … Continue reading Logical Lyrics: From Philosophy to Poetics

Over at Metatome, Adam Potthast asks, "Does anyone have any special things they do to give formal logic more take-home value?" By which he means, "how do you motivate teaching formal logic to students who aren't math, physics or philosophy majors." And that's a good question. I've so far only tried to increase the "take-home … Continue reading Metatome on Teaching Formal Logic

I heard about this from a colleague, who played it as a kid, and then I saw it today on another colleague's shelf, who promptly gave it to me as a gift (Thanks, Jack!). It is some kind of game with wff's (in Polish notation), I haven't looked at the instructions yet. I thought something … Continue reading Wff ‘n Proof