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).
Submitted by Richard Zach on Fri, 12/23/2005 - 3:35pm
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)
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."
Submitted by Richard Zach on Thu, 12/01/2005 - 4:55pm
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:
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.
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:
2006-2007 MASTER CLASS IN MATHEMATICAL LOGIC
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).
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.
Submitted by Richard Zach on Wed, 11/23/2005 - 6:13am
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!
Submitted by Richard Zach on Sun, 11/13/2005 - 12:39am
Formal Philosophy, a collection of interviews with 21 logicians and philosophers edited by Vincent Hendricks and John Symons is now available. The website contains a number of interesting excerpts.
Submitted by Richard Zach on Tue, 11/08/2005 - 3:48am
There will be a conference on (Anti-)Realisms, Logic and Metaphysics, at the University of Nancy, 28 June to 1 July 2006. The call for papers is here (deadline December 15, but they only want abstracts); for more information follow the links on the sidebar on the site. Speakers include Michael Lynch, Peter van Inwagen, Mathieu Marion, Goran Sundholm, and Heinrich Wansing.
Submitted by Richard Zach on Tue, 11/01/2005 - 5:01pm
Yes, that would be nice if the Scientific American did a special issue on logic. But it's actually a special issue of Pour la Science, the French edition of the Scientific American. Pour la Science Dossier N° 49 (October 2005) is on "Les chemins de la logique".
Submitted by Richard Zach on Mon, 10/31/2005 - 6:23am
Georg Moser and I finally got our paper done for the Studia Logica special issue on cut elimination. It's on the complexity of the epsilon elimination procedure in the first epsilon theorem.
Submitted by Richard Zach on Tue, 10/25/2005 - 4:38pm
Via the PT list, I hear about a new open-access, online journal on computational logic, entitled Logical Methods in Computer Science. It's run by Dana Scott, Gordon Plotkin, Moshe Vardi, and Jirí Adamek. In addition to regular papers, they will publish special issuse, e.g., containing selected papers from LICS. Here's the email they sent advertising it:
Submitted by Richard Zach on Mon, 10/24/2005 - 2:23pm
If you're not on our mailing list:
The Department of Philosophy at the University of Calgary is pleased to announce a
Minisymposium on Logic
All talks will take place in 1253 Social Sciences Building
Friday, November 4, 4:00 pm
University of Toronto
Submitted by Richard Zach on Sat, 10/15/2005 - 4:47pm
Via Varia, I see that the French-Canadian journal Philosophiques is actually freely avaliable online since 1999.
Submitted by Richard Zach on Sat, 10/08/2005 - 7:06am
Just came across the OpenChoice program of Springer Verlag:
Springer Open Choice gives you the power to choose how you want your research published. As an author-focused publishing company, Springer believes that authors should have the right to determine what publication model best meets their needs.
Submitted by Richard Zach on Sat, 10/08/2005 - 12:53am
Submitted by Richard Zach on Fri, 10/07/2005 - 4:29pm
Skip this if you're not interested in techie stuff; we'll return to our regularly scheduled logic programming soon.
Submitted by Richard Zach on Sat, 10/01/2005 - 8:43pm
Submitted by Richard Zach on Fri, 09/30/2005 - 5:27pm
We're looking for an epistemologist:
The Department of Philosophy at the University of Calgary invites applications for a tenure-track position at the rank of Assistant Professor. The position will commence, subject to budgetary approval, on July 1, 2006. A PhD or equivalent, and a strong research and teaching record are required.
Submitted by Richard Zach on Fri, 09/30/2005 - 5:35am
This is scary. Apparently someone in the next building over received a mystery envelope containing a white powder. When I got to campus there were police and hazmat people all over the place:
At 11:30 a.m. today the Bio Sciences building was evacuated as a precaution due to a concern involving an envelope sent to an office in that building. Since that time another envelope has been discovered in the same office and we are now in the process of investigating whether or not these packages pose any harm.
Submitted by Richard Zach on Mon, 09/19/2005 - 1:50pm
Submitted by Richard Zach on Fri, 09/16/2005 - 7:39pm
Since Greg asked, I thought I'd give a brief survey of many-sided sequent calculi. The basic idea is simple and quite old (the first paper on it, by Kurt Schröter, is from 1955 ; the most detailed early papers is ). In the standard semantics for classical sequents, Γ ⇒ Δ means that either one of the formulas in Γ is false or one of the formulas in Δ is true.
Submitted by Richard Zach on Fri, 09/16/2005 - 3:36am
I know chances are that you'll be nowhere near southern Alberta in the next several months, but if you are, check out our series of talks.
Submitted by Richard Zach on Thu, 09/15/2005 - 3:44pm
The most recent issue of The Journal of Symbolic Logic contains the long-awaited (well, by me) article on "On mathematical instrumentalism" by Patrick Caldon and Aleks Ignjatović. It presents the results from Chapters 2 and 3 of Aleks's excellent 1990 Berkeley PhD thesis. Here is the abstract:
Submitted by Richard Zach on Fri, 09/02/2005 - 9:21pm
The October issue of Synthese, edited by Bernd Buldt, Volker Halbach, and Reinhard Kahle, contains a bunch of exciting papers on Frege and Hilbert:
Submitted by Richard Zach on Tue, 08/30/2005 - 5:11am
Every once in a while, I get asked by students with a background in math (usually with an interest in logic) what they should do if they want to get into grad school in philosophy. I know there's quite a number of accomplished philosophers who started out as math majors and then went on to top PhD programs in philosophy--but I don't know what they did to get in. It may well be that you can take one upper-level logic course at MIT and get a letter from one of the philosophy profs there that'll get you into a top philosophy PhD program.