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