University of Calgary
UofC Navigation

All LogBlog Posts

Logic Conferences

Submitted by Richard Zach on Sat, 04/15/2006 - 3:59pm

A whole bunch of conference announcements came in over the Proof Theory and FOM lists the other day:

Logic Colloquium. July 27-August 2, Nijmegen, Netherlands. Submission deadline: April 17.

Workshop on Hybrid Logics. August 11, Seattle (part of FLoC). Submission deadline: May 26.

He Blinded Me With Science

Submitted by Richard Zach on Tue, 04/11/2006 - 2:44am

Thomas Dolby has a blog. And so do the UConn philosophy grad students.

Kurt Gödel: The Album

Submitted by Richard Zach on Sun, 04/09/2006 - 12:05am emailed me today, suggesting that I preorder Kurt Gödel: The Album. There's not that much info on the page, nor on the Vieweg page, but it's the book to accompany the exhibition the editors (Karl Sigmund, John Dawson and Kurt Mühlberger) are putting on for the Gödel Centenary in Vienna.

New Blog: Yarden Katz

Submitted by Richard Zach on Tue, 04/04/2006 - 6:31pm

Notices Issue on Gödel

Submitted by Richard Zach on Sun, 04/02/2006 - 1:03am

Truth and Proof in Edinburgh

Submitted by Richard Zach on Sun, 03/26/2006 - 12:54pm

The 2006 RZ World tour just started at the "Truth and Proof" conference in Edinburgh. Thanks Jeff Ketland and Jean-Louis Hudry for putting this on and inviting me! So far we had some excellent talks by John Dawson on the history of the notion of truth and use of semantic methods in logic; by Hannes Leitgeb on his work on modal predicates; and by Phil Welch on games describing supervaluation fixpoints and Hannes' dependency stuff.

Ordinal Logics

Submitted by Richard Zach on Fri, 03/17/2006 - 6:11pm

Long time no blog. Sorry, been busy planning my 2006 world tour. Dates will be announced shortly.

Kurt Gödel Centenary Young Scholars' Competition Deadline Approaching

Submitted by Richard Zach on Wed, 02/15/2006 - 9:21pm

I linked to it before, but now the deadline is nigh:

Call for Participation

Young Scholars' Competition

The Kurt Gödel Centenary: Horizons of Truth organizers and sponsors invite young scholars in logic, mathematics, physics, philosophy, computer science and theology to submit project proposals for the young scholars' competition honoring Kurt Gödels hundredth birthday.

Sir Peter Strawson, 1919-2006

Submitted by Richard Zach on Wed, 02/15/2006 - 9:52am

Sad. Peter Strawson has passed away.

Obits from the Times, the Telegraph, the Guardian, .

Studia Logica Issue on Cut-elimination

Submitted by Richard Zach on Sun, 02/12/2006 - 11:21pm

The Studia Logica special issue on cut-elimination, edited by Alex Leitsch, is out. A bunch of very interesting papers. I'm especially glad to see Alessandra Carbone publish in proof theory again! I'm a big fan.

Coquand on Type Theory

Submitted by Richard Zach on Sun, 02/12/2006 - 10:50pm

Via OPP: Thierry Coquand's entry on Type Theory in the Stanford Encyclopedia went online a few days ago.

OPP Moves, Urbaniak on Lesniewski

Submitted by Richard Zach on Wed, 02/01/2006 - 8:19pm

Brian Weatherson's Online Papers in Philosophy blog of new philosophy papers has been taken over by Jonathan Ichikawa and is now located here. So update your bookmarks/RSS feeds.

Carnegie Mellon Summer School in Logic and Formal Epistemology

Submitted by Richard Zach on Wed, 02/01/2006 - 3:29am

This looks like a superb opportunity for undergrads and beginning graduate students:

In 2006, the Department of Philosophy at Carnegie Mellon University will launch a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to

Brokeback Mountain Webcam

Submitted by Richard Zach on Wed, 01/18/2006 - 6:04pm

Ok, two logic-related posts already today, so I guess I can afford to post something else as well. Ang Lee's Brokeback Mountain, as is pointed out in every other review, wasn't filmed in Wyoming but right around where I am. Brokeback Mountain itself is played in the move by the Three Sisters Range which can be seen from the Trans-Canada Highway at Canmore, about an hour's drive west of Calgary.

Student Funding to Attend CiE

Submitted by Richard Zach on Wed, 01/18/2006 - 5:56pm

Received from Arnold Beckmann:


This is just to clarify the various opportunities offered throught the organisers of CiE 2006 for PhD students and researchers from the Former Soviet Union to obtain funding to attend the conference.

The deadline for all the funding schemes has been fixed for
MARCH 31, 2006

Foundational Issues in Logic: Logical Consequence and Logical Constants Revisited

Submitted by Richard Zach on Wed, 01/18/2006 - 4:56pm
Foundational Issues in Logic: logical consequence and logical constants revisited

18-19 May 2006
Santiago de Compostela (Spain /España)

Organized by Área de Lógica y Filosofía de la Ciencia de la U.S.C.
Supported by European Society for Analytic Philosophy Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España Sociedad Española de Filosofía Analítica

Down the Rabbit Hole!

Submitted by Richard Zach on Sat, 01/14/2006 - 7:54pm

When LanguageLog reported on the linguistic issues arising out of the French Nabaztag craze, I thought I should be in on it. So I got one. I called it, rather unimaginatively, "duckrabbit".

SEP Entry on Epistemic Logic

Submitted by Richard Zach on Sat, 01/14/2006 - 7:06pm

The new Stanford Encyclopedia entry on epistemic logic, by Vincent Hendricks and John Symons, is now online.

See also Vincent's new book, Mainstream and Formal Epistemology (CUP, 2005). Looks like an important contribution that ties together traditional epistemological concerns and more recent, formal approaches.

New Year, De-Lurking Week

Submitted by Richard Zach on Wed, 01/11/2006 - 8:43pm

Well, the Gödel Year has started, and I'm back at work in Calgary. Over break, Matthias, Norbert, and I finally finished our long-overdue paper on first-order Gödel logics.

First-order Gödel Logics

Submitted by Richard Zach on Tue, 01/10/2006 - 7:41am

First-order Gödel logics are a family of infinite-valued logics where the sets of truth values V are closed subsets of [0, 1] containing both 0 and 1. Different such sets V in general determine different Gödel logics GV (sets of those formulas which evaluate to 1 in every interpretation into V).

A Chance to Win €20,000

Submitted by Richard Zach on Fri, 12/23/2005 - 3:35pm

The Gödel Centenary Conference will include a competition for "young scholars" (born on or after 1/1/1970). "Submitted projects should be strongly connected to the scientific achievements (including recent applications) and/or life of Kurt Gödel.

Logician Action Figures

Submitted by Richard Zach on Thu, 12/08/2005 - 10:42pm

They've been around for a while, but one of the students in my Logical Positivism class made copies of them and passed them out (I suggested they start their final presentations with a joke), which reminded me: Ian Vandewalker's "Philosophical Powers" mock action figures of philosophers include four logicians:

"Ferocious" Frege (includes Morning Star® and Evening Star® accessories)

New Stuff from Jeremy Avigad

Submitted by Richard Zach on Tue, 12/06/2005 - 8:13pm

Jeremy posted this to FOM yesterday:

I'd like to announce a review I have written of two books that deal with logic and foundations in the early twentieth century: Calixto Badesa's The Birth of Model Theory and Dennis Hesseling's Gnomes in the Fog. The review, which will appear in the Mathematical Intelligencer, can be found on my web page under "Reviews."

Carnap, Quine, Tarski: 1940-1941

Submitted by Richard Zach on Thu, 12/01/2005 - 4:55pm

If you're reading Obscure and Confused Ideas or the comments to this post on, then you probably know that Greg Frost-Arnold is working on a book about what went on at Harvard in 1940/41, when Carnap, Quine, and Tarski were hanging out there.

Gödel Year 2006

Submitted by Richard Zach on Tue, 11/29/2005 - 10:44pm

2005 is Einstein Year. 2006 will be Gödel Year: on April 28, 2006, Kurt Gödel would have been 100 years old. So next year will be hectic if you want to hit all the Gödel-related events:

History of Logic Graduate Courses

Submitted by Richard Zach on Mon, 11/28/2005 - 4:30am

I was looking around the Internets for courses in history of logic. I thought something like it would be hard to find--kind of an obscure and specialized topic.

Master Class in Mathematical Logic, 2006/07

Submitted by Richard Zach on Sat, 11/26/2005 - 6:01pm

Gillian has already posted about it, but it can't hurt to point to it again:


In the academic year 2006-2007 a year-long program of courses in Mathematical Logic is organized by MRI (Mathematical Research Institute) in The Netherlands (a cooperation of Dutch Universities).

Logic and Philosophy Graduate Programs Open Thread

Submitted by Richard Zach on Wed, 11/23/2005 - 5:01pm

I didn't want to just push Berkeley, so why don't y'all post your opinions about what other departments and programs would be good places for graduate study for someone interested in logic and philosophy? Anyone from Amsterdam reading this? CMU? Irvine? SFU? It would be interesting to find out about non-English speaking programs, too. Where should you go in Germany? France? Spain? South America? Post away, but remember: the emphasis is on logic (and related formal approaches) and philosophy.

Another Plug for the Berkeley Logic Group

Submitted by Richard Zach on Wed, 11/23/2005 - 6:13am

Since application deadlines for graduate school are nearing, I'll link to my post from last year where I pointed out that it's indefensible (in my mind, in any case) not to rank the Group in Logic and the Methodology of Science at UC Berkeley in the mathematical logic category in the Gourmet Report.

Logic Memory

Submitted by Richard Zach on Mon, 11/14/2005 - 2:59am

Via Theorème, (which, by the way, now includes Jacques Dubucs in the list of contributors!) a link to a logic-themed online memory game. According to Theorème, the author is one Nicolas Le Thierry d'Ennequin. Thanks, Nick!


Site Feed

Subscribe to Syndicate