Abstract
In Metaphysics M, Aristotle aims to refute the Platonic view that mathematical objects are substantially prior to sensible things. For Aristotle, mathematical objects are the abstracted attributes of sensible substances required for geometrical analysis and proof. Yet, despite this derivative status of the objects of mathematics, Aristotle insists that they are logically prior to individual substances. This paper examines the distinction between logical and substantial priority, arguing that it underwrites Aristotle’s conception of mathematical necessity and explanation.