Logic is a deep subject, at the core of much work in philosophy, mathematics, and computer science. In very general terms, it is the study of what (conclusions) follows from what (premises)—logical consequence. The Early Modern philosopher, Immanuel Kant, held that Aristotle invented logic, and at his hands it was complete. There was nothing left to be done. He was notoriously wrong.