In this course, you will learn how to formalize information and reason systematically to produce logical conclusions. We will also examine logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.Join me if you're interested. Notes on a previous MOOC experience here and here.
UPDATE 12-11-2015: I didn't do most of this course, mainly because I lacked the time (though as a secondary reason, I didn't particularly like the system where you fiddle with your answer till you get it right; such instant feedback supposedly has some pedagogical benefits but I prefer taking a weekly test, getting your grades, and then trying to do better next time as needed). By the way, I am planning to take another, relatively brief, course early next year, on prime numbers.