University of Calgary
UofC Navigation

All LogBlog Posts

John Peel, RIP

Submitted by Richard Zach on Wed, 10/27/2004 - 4:18pm

Sad news: John Peel, legendary British radio DJ, died Monday.

Associate Full Professor position at Erlangen in Logic

Submitted by Richard Zach on Wed, 10/20/2004 - 3:51pm

The University of Erlangen is advertising a position at the rank of Associate Full Professor (W3) with AOS in Logic or Philosophy of Science.

Logic jobs in October JfP

Submitted by Richard Zach on Thu, 10/14/2004 - 7:14pm

Jobs for Philosophers has ads for three logic jobs: Notre Dame, Wisconsin, and Auckland. Open jobs with "teaching needs in logic" and the like at Wayne State University, and Victoria University, Wellington. There were no logic-only jobs in the October JfP last year, and neither Toronto nor LSE, which had jobs where logic was part of a disjunction, hired logicians.

New philosophy research grants from SSHRC

Submitted by Richard Zach on Wed, 10/13/2004 - 9:56pm

The Social Sciences and Humanities Research Council of Canada has posted a list of new Standard Research Grants for 2004. These are the Canadian equivalent of the NEH's Faculty Fellowships that Brian Leiter mentioned back in February. The SSHRC grants, unfortunately, almost never provide for teaching release--only the most senior people seem to win research time stipends.

Elfriede Jelinek wins Nobel Prize in literature

Submitted by Richard Zach on Thu, 10/07/2004 - 5:22pm

Brian Leiter and Joseph Shieber note that Elfriede Jelinek won this year's Nobel Prize in literature. Jelinek is a major figure in German-speaking literature. Outside the German speaking world, she is mostly known for her novel The Piano Teacher (Die Klavierspielerin, 1983).

Tarski biography in stores!

Submitted by Richard Zach on Thu, 10/07/2004 - 5:16pm

Alfred Tarski: Life and Logic, by Anita Burdman Feferman and Sol Feferman, is now out. Get it at your local bookstore or on Amazon. Only 24$!

Formal Logic and Philosophy III

Submitted by Richard Zach on Sat, 10/02/2004 - 3:20am

Continuing my earlier posts about logic and philosophy, here's a little survey of the top 36 US philosophy departments, what logic courses they offer, and what the logic requirements for PhD and BA are there. The next time I feel like procrastinating, I'll do this for the rest of the US programs, and UK, Australasian, and Canadian programs.

Ah, to be a grad student again...

Submitted by Richard Zach on Wed, 09/29/2004 - 7:57pm

One nice thing about spending a sabbatical at LPS in Irvine is that I get to sit in on some really cool classes. One, I'm attending Jeff Barrett's course on Quantum Mechanics. I never actually had a chance to study QM, and I've always been interested. Maybe it'll help me understand what quantum logic is about.

The OC

Submitted by Richard Zach on Sat, 09/25/2004 - 3:23am

Yesterday, I arrived in Irvine, Calif., where I'll be spending the Fall quarter at the Department of Logic and Philosophy of Science at the University of California. I'm very excited: it's a very good department, there are lots of people here to talk to, and I get to take some seminars! The downside: it's in the middle of Orange County, and you need a car to do anything.

LaTeX for Logicians

Submitted by Richard Zach on Sat, 09/18/2004 - 4:58pm

It's been up for a while now, but better late than never: Peter Smith (Cambridge) has set up a very handy page of links to LaTeX class files, style files, and instructions, especially for logicians. It includes, for instance, links to Josh Parson's style file for setting formulas in Frege's Begriffsschrift notation.

History of mathematics soon won't need libraries

Submitted by Richard Zach on Fri, 09/17/2004 - 2:52am

If you're into history of logic (or mathematics generally), or are just looking for old articles, and you're stuck at a university whose libraries holdings go back to only about 1965, what can you do? Say you're looking for a paper from Mathematische Annalen 1924, where do you go to find it online? Well, JSTOR is one option, although not for the Annalen. There you can find back issue of the main English-language journals (Am. J.

Alfred Tarski: Life and Logic

Submitted by Richard Zach on Wed, 09/08/2004 - 9:16pm

I just finished reading the new Tarski biography, Alfred Tarski: Life and Logic, by Anita Burdman Feferman and Sol Feferman. It is a well-researched, interesting, beautiful, and sometimes moving account of the life of one of the leading figures in the field. It was especially interesting reading for me, since a great chunk of his life was spent building up a center for logic at the University of California, Berkeley.

Live from the Logic Colloquium

Submitted by Richard Zach on Thu, 07/29/2004 - 12:25pm

While everyone else is blogging from the NDC, I'm in Turin at the European Summer Meeting of the Association of Symbolic Logic, aka LC'04.  Highlights so far: Grisha Mints' opening talk on Monday, in which he presented a result showing that all intuitionistic Frege systems polynomially simulate each other.  It uses some interesting recent work by Rosalie Iemhoff (Vienna), who showed that all intuitionistically admissible inference rules can be generated from a finite set of rules; Grisha's result means that superexponential lower bounds on proof lengths

Two Interesting Conferences Next Year

Submitted by Richard Zach on Tue, 07/06/2004 - 7:01pm

Two exciting conferences coming up next academic year: In November, the 5th Midwest Philosophy of Mathematics Workshop will be held at Notre Dame. I went last year, and it was a fabulous experience. There will be a special presentation by Dana Scott. And at the end of March 2005, the 1st World Congress and School on Universal Logic will take place in Montreux, Switzerland. Nice place, exciting topics, interesting speakers (inter alia, Arnon Avron, John Corcoran, J.

The Status of Logic in Philosophy II

Submitted by Richard Zach on Sun, 06/13/2004 - 7:28am

As a follow-up to my previous post, I took it upon myself to survey graduate program logic requirements. Of the top 50 US PhD programs (according to the Gourmet Report), every one has a logic requirement of some form or another. 15 require only an introductory course in formal logic (propositional and predicate logic, formalization, and proofs). I was surprised that Harvard and MIT are among them.

Blog Rules

Submitted by Richard Zach on Tue, 06/01/2004 - 4:47pm

Brian Weatherson has started a discussion about rules as to what it is ok to write about in philosophy blogs. This was taken up by Lindsay Beyerstein and Gustavo Llarull. In the comments at TAR, I suggested that it's doubtful that new rules are needed.

Free-variable Tableaux

Submitted by Richard Zach on Sun, 05/30/2004 - 10:09pm

Wolfgang Schwartz asks here if there is a "canonical" way to build free-variable tableaux which are guaranteed to close if the original formula is valid. It seems to me that this must be the case, since free-variable tableaux are a complete proof method. But maybe I don't understand the question.

The Status of Logic in Philosophy

Submitted by Richard Zach on Fri, 05/28/2004 - 5:16pm

It is a commonly accepted view (among logicians working in philosophy [departments]) that while logic was considered central to philosophy in the mid-20th century, it has since moved closer and closer to the margins. It is said, e.g., that while in the 1950s and 60s it was common to find "pure" logicians working in philosophy departments (and consequently, that as a pure logician you could find a job in a philosophy department), this is no longer the case to a similar extent.


Submitted by Richard Zach on Thu, 05/27/2004 - 3:03pm

I got the official letter today: I'll be Associate Professor as of July 1. Yay!

Great Moments in Logic

Submitted by Richard Zach on Wed, 05/26/2004 - 5:04am

Greg Restall has a nice page of short descriptions of some important logicians' work. Kinda like my Who are Boole, Fitch, and Tarski page, only more in-depth.

History of Logic 1900-1935

Submitted by Richard Zach on Tue, 05/25/2004 - 9:10pm

The long (178 pages!) paper I wrote with Paolo Mancosu and Calixto Badesa is now done and available for download here.


Site Feed

Subscribe to Syndicate