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 project. We got a grant from the “Inquiry Through Blended Learning” project at the UofC’s Learning Commons to develop some new content and a new format. It’s going to be all high-tech. Every student has a blog! Group projects done in our Wiki!
Also, it’s International De-Lurking Week, so say hello in the comments!