“David Velleman”:http://www-personal.umich.edu/~velleman/ has posted the full “automated course”:http://blogic.phpwebhosting.com/ that goes along with his nice logic textbook “blogic”:http://www-personal.umich.edu/~velleman/Logic/. It’s got a slightly different focus to competing computer-based logic courses (such as the course in _Language, Proof and Logic_) in that it covers much more material (including modal logic, counterfactuals and probability) but doesn’t go into as much detail in some areas (particularly about proof theory). But I think anyone teaching an introductory logic course would be well advised to look it over and think about whether they want to use it. I hope doing so doesn’t kill David’s bandwidth allowances. I’ve been looking at hosting packages the last few days so I’m getting very sensitive about these things!

On a completely trivial note, the book contains a very tempting teaser of what a picture-book version of _Counterfactuals_ “would look like”:http://www-personal.umich.edu/~velleman/Logic/index.html?4.0.0a.html.