This looks like a superb opportunity for undergrads and beginning graduate students: Carnegie Mellon Summer School in Logic and Formal EpistemologyIn 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 … Continue reading Carnegie Mellon Summer School in Logic and Formal Epistemology

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 … Continue reading Brokeback Mountain Webcam

Received from Arnold Beckmann: FUNDING OPPORTUNITIES TO ATTEND COMPUTABILITY IN EUROPE 2006 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 … Continue reading Student Funding to Attend CiE

Foundational Issues in Logic: logical consequence and logical constants revisited 18-19 May 2006Santiago 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 Scientific committee/ Comité … Continue reading Foundational Issues in Logic: Logical Consequence and Logical Constants Revisited

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".I can also report, in response to a question by Mark Liberman in that post, that if random messages from people I don't know … Continue reading Down the Rabbit Hole!

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.

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. Now it's on to teaching: intro logic (good for the soul) and a new course on "Evidence" that Dennis McKerlie and I are running as a pilot … Continue reading New Year, De-Lurking Week

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). In a new paper … Continue reading First-order Gödel Logics

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. Projects can cover any of the disciplines, such as: logic, mathematics, physics, computer science, theology or philosophy." 10 finalists will get … Continue reading A Chance to Win €20,000

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 … Continue reading Logician Action Figures

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 … Continue reading New Stuff from Jeremy Avigad

If you're reading Obscure and Confused Ideas or the comments to this post on logicandlanguage.net, 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. While you're waiting for that book to come out, you could … Continue reading Carnap, Quine, Tarski: 1940-1941

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:Gödel’s Philosophy, a session of the Boston Colloquium for Philosophy of Science, on February 27. Speakers: Juliette Kennedy, Palle Yourgrau, … Continue reading Gödel Year 2006

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. But then it turns out that Amsterdam's ILLC requires such a course (Core Logic), and at Oxford it's a history option (you can chose between The Rise … Continue reading History of Logic Graduate Courses

Gillian has already posted about it, but it can't hurt to point to it again: 2006-2007 MASTER CLASS IN MATHEMATICAL LOGICIn 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).The program is intended for advanced undergraduate and … Continue reading Master Class in Mathematical Logic, 2006/07

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 … Continue reading Logic and Philosophy Graduate Programs Open Thread

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. I argued … Continue reading Another Plug for the Berkeley Logic Group

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!Just in case you forgot the rules to Memory: Turn over two cards. If they match, remove them from the … Continue reading Logic Memory