  Finally, one of the fields in which Albert is considered a major contributor is the theory of consequences. In the treatise of the Perutilis Logica devoted to consequences, Albert often seems to follow Buridan. But whereas Buridan maintained the central role of Aristotelian syllogistic, Albert, like Burley, integrated syllogistic and the study of conversions into the theory of consequences. Consequence is defined as the impossibility of the antecedent’s being true without the consequent’s also being true — truth itself being such that howsoever the proposition signifies things to be, so they are. The primary division is between formal and material consequences, the latter being subdivided into consequences simpliciter and ut nunc. A syllogistic consequence is a formal consequence whose antecedent is a conjunction of two quantified propositions and whose consequent is a third quantified proposition. Albert is thus led to present a highly systematic theory of the forms of inference, which represents a major step forward in the medieval theory of logical deduction.