Logic is one of the oldest intellectual disciplines in human history.
It dates back to the times of Aristotle; it has been studied through the
centuries; and it is still a subject of active investigation today.
This course is a basic introduction to Logic. It shows how to formalize
information in form of logical sentences. It shows how to reason systematically
with this information to produce all logical conclusions and only logical
conclusions. And it examines logic technology and its applications - in
mathematics, science, engineering, business, law, and so forth.
The course differs from other introductory courses in Logic in two important
ways. First of all, it teaches a novel theory of logic that improves accessibility
while preserving rigor. Second, the material is laced with interactive
demonstrations and exercises that suggest the many practical applications
of the field.