  Kilwardby is also responsible for propagating, if not developing, the distinction between material and formal logic, where the former treats of propositions and its parts (namely the categories), while the latter treats the deductive structure of argumentation. (see Lewry, 1978, and Pini, 2002).