University of Calgary
UofC Navigation

All LogBlog Posts

CSLI Lecture Notes online and free

Submitted by Richard Zach on Sun, 11/04/2007 - 4:26pm

CSLI Lecture Notes are now part of the Stanford Medieval and Modern Thought Digitization Project.

Classic logic papers, pt. 3: Normal derivability in classical logic

Submitted by Richard Zach on Tue, 10/09/2007 - 6:14am

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 collection. Here's an excerpt from Lopez-Escobar's Zentralblatt review:

Zeitschrift für mathematische Logik und Grundlagen der Mathematik

Submitted by Richard Zach on Mon, 10/08/2007 - 8:25pm

The Zeitschrift für mathematische Logik und Grundlagen der Mathematik was one of the few logic journals around in the mid 20th century.

Classic Logic papers, pt. 2: Kruskal's theorem and Γ0

Submitted by Richard Zach on Mon, 10/08/2007 - 8:00pm

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.

Ackermann Award announced

Submitted by Richard Zach on Sat, 10/06/2007 - 7:31pm

The Ackermann Award is the EACSL's award for outstanding dissertations in logic in computer science. This year's award is shared by

New SEP entries: Bolzano's Logic, Frege v. Hilbert

Submitted by Richard Zach on Mon, 09/24/2007 - 6:02am

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 Sebestik
The Frege-Hilbert controversy, by Patricia Blanchette

Logic of Conditionals

Submitted by Richard Zach on Tue, 09/18/2007 - 4:15pm

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.

Combining Logics

Submitted by Richard Zach on Thu, 09/13/2007 - 4:36pm

CfP: Society for Exact Philosophy 2008

Submitted by Richard Zach on Sat, 09/08/2007 - 12:31am

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 welcomed.

Logic Jobs at Alberta, Simon Fraser

Submitted by Richard Zach on Fri, 08/17/2007 - 5:06pm

Turnstiles in LaTeX

Submitted by Richard Zach on Tue, 08/14/2007 - 9:02am

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)

Weapons of Fast Deduction

Submitted by Richard Zach on Mon, 07/30/2007 - 10:28am
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 Siberry, Buck 65, and Friends of Dean Martinez, and that must have been amazing). Anyway, it would make a great title for a paper on proof speed-up, or for a proof theory or automated deduction conference t-shirt.

Logic Course Survey

Submitted by Richard Zach on Sat, 07/28/2007 - 9:12am

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 to achieve. The focus of a logic class can be very different depending on whether it is in a mathematics, philosophy, or computer science department.

New Logic Books

Submitted by Richard Zach on Thu, 07/26/2007 - 7:12am

SSHRC Funding Stats

Submitted by Richard Zach on Tue, 07/17/2007 - 12:21pm

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 fewer awards. The overall success rate for all SRG's is down to 33% from last year's 40%. So it's not just philosophy that has suffered.

Dynamic Logic

Submitted by Richard Zach on Wed, 07/04/2007 - 7:24am

Skolemization in Intuitionistic Logic

Submitted by Richard Zach on Tue, 07/03/2007 - 10:27am

Skolemization is the familiar procedure by which you replace strong quantifiers in a formula by function symbols in such a way that A is provable iff AS is provable. This doesn't work in intuitionistic logic: the "only if" works, but the "if" doesn't. E.g., ¬¬(A(c) ∨ ¬ A(c)) is provable intuitionistically, but not ¬¬(∀x)(A(x) ∨ ¬ A(x)).

Moscow-Vienna Workshop

Submitted by Richard Zach on Tue, 07/03/2007 - 9:48am

I'm at the Moscow-Vienna Workshop on Logic and Computation. We're on the second day. Yesterday was started off with a way-over-my-head talk by Sergei Adian on his and Novikov's solution to the Burnside problem. Today, Michel Parigot just gave a very interesting talk on a constructive, but classical proof system. His aim is to develop a system in which you can reason classically but still have nice properties like the disjunction property and the witness property.

The Review of Symbolic Logic

Submitted by Richard Zach on Tue, 06/26/2007 - 9:50pm

Please read the following message from the President of the Association for Symbolic Logic. The terms of office of the editors begin July 1, by then information on how to submit papers should be online at the RSL webpage (not yet functional--but the submission email is, I can tell you that much).

Dear Colleagues,

Oh Noes!

Submitted by Richard Zach on Mon, 06/04/2007 - 1:35pm


Submitted by Richard Zach on Sat, 05/19/2007 - 9:09am

Since it's Caturday, I thought I'd make a proof theory lolcat.

Happy Birthday Rudolf, Happy Birthday Bertrand!

Submitted by Richard Zach on Fri, 05/18/2007 - 10:58pm

As Gary Hardcastle and Alan Richardson reminded me, today is both Rudolf Carnap's and Bertrand Russell's birthday.

Why I Like Teaching Logic

Submitted by Richard Zach on Fri, 05/18/2007 - 9:08am

(xkcd has funny ALT tags on their panels; go to the site to see them.)


Submitted by Richard Zach on Fri, 05/04/2007 - 8:16am

Videos of Lectures

Submitted by Richard Zach on Sat, 04/28/2007 - 3:55pm

Yarden Katz writes per email:

There's a new site out -- -- where anyone can post videos of academic lectures. Right now it's dominated by (very good) machine learning and statistics lectures, but there's nothing on logic or philosophy. I was looking online for videos of logic-related lectures to add, but found virtually none. There are three links to logic-type talks by Martin Davis, Saul Kripke and John McCarthy at:

Women in (Philosophical) Logic

Submitted by Richard Zach on Tue, 04/24/2007 - 4:43pm

Recent posts on the status of women in philosophy made me want to know what the situation is in logic. In philosophical logic it's not good. I have a hunch that it's better in logic generally, but haven't had time to check this.


Site Feed

Subscribe to Syndicate