log blog

Richard zach at calgary has a blog on logic oficially, I no longer do logic and philosophy of mathematics, but I'm teaching symbolic right now, and like to browse the stuff.

I'm finding the adjustment from teaching symbolic using Forbes to using Barwise and etchemendy quite difficult. No other textbook i've used has something quite like the blocks language, or introduces you to function-generating terms quite so soon. I'm making the sort of mistakes I made when I first started teaching logic, like giving tests which ask students to prove theorems that actually have counter examples. I know other people make this sort of mistake. I TA'd for someone who did it almost every test. Still, I know I can do better.