Introduction to Formal Logic

From Aristotle's syllogisms to Gödel's incompleteness theorems, this course builds the full toolkit of formal logic from the ground up. Learn what formal logic is, why it was developed, the complete symbol set, how to translate natural language into logical notation, and the famous results that changed mathematics and philosophy forever. Includes ten worked examples converting English sentences into formal logic expressions.