Submitted by Richard Zach on Thu, 09/13/2007 - 4:36pm
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.
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.
Submitted by Richard Zach on Fri, 08/17/2007 - 5:06pm
Two ads for positions with AOS or AOC in logic:
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)
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.
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.
Submitted by Richard Zach on Thu, 07/26/2007 - 7:12am
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.
Submitted by Richard Zach on Mon, 07/16/2007 - 10:29am
Submitted by Richard Zach on Mon, 07/09/2007 - 11:31am
Submitted by Richard Zach on Wed, 07/04/2007 - 7:24am
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)).
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.
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 email@example.com, I can tell you that much).
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.
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.
Submitted by Richard Zach on Fri, 05/18/2007 - 9:08am
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
A conference in honor of William Craig
Submitted by Richard Zach on Sat, 04/28/2007 - 3:55pm
Yarden Katz writes per email:
There's a new site out -- videolectures.net -- 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:
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.
Submitted by Richard Zach on Fri, 04/20/2007 - 11:18am
Submitted by Richard Zach on Thu, 04/19/2007 - 7:28am
As Shawn said, much of Terence Tao's advice applies not just to mathematician, but also to philosophers (especially the "be considerate to your audience" and "talks are not the same as papers" parts, although disciplinary culture in philosophy seems still to deny at least the latter). I sometimes wish more people would use the wastebasket, too.
Submitted by Richard Zach on Thu, 04/19/2007 - 7:19am
The Department of Philosophy, University of Auckland, seeks to appoint a Lecturer in Logic. (Vacancy number: A248-07O. The position is a continuing one.) The successful applicant will be expected to undertake research, and to teach at introductory undergraduate, advanced undergraduate and postgraduate levels, and to supervise research students for the MA and PhD degrees. Applicants will be expected to have a PhD or equivalent in Philosophy, some research publications and some teaching experience.
Submitted by Richard Zach on Thu, 04/12/2007 - 2:06am
Submitted by Richard Zach on Wed, 04/11/2007 - 1:15am
Submitted by Richard Zach on Mon, 04/09/2007 - 3:08pm
Submitted by Richard Zach on Fri, 03/30/2007 - 8:36pm
Ok, by popular demand, here's a list of the books in the new banner image:
Ramsey, The Foundations of Mathematics
Hilbert and Bernays, Grundlagen der Mathematik I & II (2nd ed)
Carnap, Logical Syntax of Language
Kneale and Kneale, The Development of Logic
Tarski, Einführung in die mathematische Logik
Submitted by Richard Zach on Fri, 03/30/2007 - 1:48pm
Ok, it looks like the move worked. Please let me know if you notice anything broken. And, if you're reading this on a feed reader, check out the new site design for a second.