 One may also wonder to what extent medieval theories of consequence really add anything novel to the Aristotelian logical legacy. Kant (in)famously claimed that Aristotle had discovered everything there was to know about logic, and insofar as they deal with logical relations between sentences, it might be thought that theories of consequence would not have added anything substantially new to Aristotle’s theory of syllogistic in particular. In fact, the relations between theories of syllogistic and theories of consequence at different times seem essentially to fall within one of three categories: