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.
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.
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.
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.
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.
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
Submitted by Richard Zach on Tue, 07/06/2004 - 7:01pm
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.
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.
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.
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!
Submitted by Richard Zach on Wed, 05/26/2004 - 5:04am
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.