Need a logic course, fast?

I wasn’t going to put this online until it was done and cleaned up, but given the situation, maybe this can be of help.

I just developed and tried out a course on formal logic for a 13-week semester. It has:

  • a free online textbook: forall x: Calgary
  • beamer slides for lectures (or screencasts)
  • problem sets, which are mostly completed online on Carnap and graded automatically (see here if you want to use Carnap with a different textbook)
  • practice problems for Carnap (accessible on as well)
  • 3 tests (only one converted to online/carnap so far)

Here are the beamer slides. If you’re an instructor and want the sources, drop me an email at (Of course you’ll also get the sources to the problem sets etc.)


If you can bear it, here are screencasts of my talking through the stuff on identity in these lecture slides, and doing some proofs on Carnap.

5 thoughts on “Need a logic course, fast?

  1. I love this. I hope you could upload lectures for your more advanced logic courses!

Leave a Reply

Your email address will not be published. Required fields are marked *