Kant (vs. Leibniz, Wolff and Lambert) on real definitions in geometry

Abstract

This paper gives a contextualized reading of Kant’s theory of real definitions in geometry. Though Leibniz, Wolff, Lambert and Kant all believe that definitions in geometry must be ‘real’, they disagree about what a real definition is. These disagreements are made vivid by looking at two of Euclid’s definitions. I argue that Kant accepted Euclid’s definition of circle and rejected his definition of parallel lines because his conception of mathematics placed uniquely stringent requirements on real definitions in geometry. Leibniz, Wolff and Lambert thus accept definitions that Kant rejects because they assign weaker roles to real definitions.