. In Aristotle's account, corrective and distributive justice are not particular substantive ideals, but are rather the formal patterns that inhere in interactions and in the legal arrangements that regulate them. Corrective and distributive justice are the structures of ordering internal to transactions and distributions, respectively. The Aristotelian. forms of justice thus constitute the rationality immanent to the relation ships of mutually external beings. This article stresses Aristotle's formalism, contrasting it to modem instrumental conceptions of legal rationality, and defending it (...) against Kelsen's allegations of emptiness. The article concludes with the suggestion that corrective justice, as the conceptual pattern that makes private law what it is, can be considered the formal and final cause of private law. (shrink)