Abstract
As Friedman has argued, Kant's argument for the ideality of space turns on the nondeductive character of geometrical reasoning in Euclid's system. Since geometry can be axiomatized, this argument fails. But ("pace" Russell) Leibniz's argument based on the unreality of constitutive relations is not thereby answered as well. I argue that what is needed in response to Leibniz is a properly post-Kantian conception of concepts as inferentially articulated. This conception, I suggest, is based on the same fundamental insight that underlies the axiomatization of geometry