Two Kinds of Definition in Spinoza's Ethics

Spinoza scholars have claimed that we are faced with a dilemma: either Spinoza's definitions in his Ethics are real, in spite of indications to the contrary, or the definitions are nominal and the propositions derived from them are false. I argue that Spinoza did not recognize the distinction between real and nominal definitions. Rather, Spinoza classified definitions according to whether they require a priori or a posteriori justification, which is a classification distinct from either the real/nominal or the intensional/extensional classification. I argue that Spinoza uses both a priori and a posteriori definitions in the Ethics and that recognizing both types of definitions allows us to understand Spinoza's geometric method in a new way. We can now understand the geometric method as two methods, one resulting in propositions that Spinoza considers to be absolutely certain and another resulting in propositions that Spinoza does not consider certain. The latter method makes use of a posteriori definitions and postulates, whereas the former method uses only a priori definitions and axioms.