Metaphysics of natural species (5)

Where Locke suggested that we didn't need to go to India to know that a feline with big orange stripes is a tiger, causal history, for Leibniz is part and parcel of our knowledge of species and real distinctions in nature:

"[...] the deeper we go into the generation of species, and the more we follow in the arrangements the conditions required for them, the closer we will come to the natural order."

A VI, vi, G, p. 310

There are therefore foundations for distinct species in nature, and the further we examine (metaphysically) the possibilities, the better we'll understand what is. There is therefore nothing to prevent us from thinking of "ruptures", nor, contra Locke, a knowledge of the essences of natural species, by which we mean not just simple modes (Locke), but substances (§ 18; G, p. 273). Whereas, for Locke, our classifications (sortal concepts) are the work of the understanding and don't have to correspond to real divisions or joints in the world, for Leibniz, the more empirical evidence we accumulate, the more our terms of natural species will really refer to truly linked groups in the world. No rupture, but harmony between understanding and nature. To Locke's conceptualist, unrealistic and skeptical conception, Leibniz opposes a more optimistic vision, which does not exclude the possibility of knowledge of the internal constitution of things, or even of "fixed traits" constitutive of this or that species (for example, rationality for the human species [VI, § 22, G, p. 293], which forbids the plurality of species within humanity).

We concluded with a discussion of Locke's and Leibniz's respective contributions to our project. For Locke, 1. all our classifications are the product of nominal essences, rendering the real essences of Aristotle useless. Science has no use for essentialism. In the case of substances, the nominal essence is no different from the real essence (the internal constitution of things). We don't know the nature of natural substances and species. 2. On the semantic level: the meaning of natural species terms (or sortal concepts) is determined by the description we make, at the whim of our abstractions, of the sensible properties of individuals. 3. Nature makes no leaps. Individuals differ from each other only by degrees in their internal constitution. 4. All possible natural species are real, have been real or will be real. For Leibniz: 1. there are real divisions in nature, and these form the basis of the divisions we make of the world; 2. these divisions describe a logical space of possibilities in which essences unfold, in full conformity with the divine choice of this world among an infinite number of possible worlds.

For us, the Leibnizian approach has undeniable merits: it provides the conditions for reflection on the possible articulation betweena priori and experience, and on the way in which the idea of necessity could be combined with that of a posteriori knowledge (a point that we shall see is fundamental for Kripke). This can be seen as a gain in relation to Locke, who, in his critique of the Cartesian argument, contests the possibility of knowledge being confined to a priori knowledge, assuming that we have some form of immediate rational intuition of essences. If we take a different view of the possible grasp of essences, as Leibniz does, then the argument put forward by the Lockeans and Humians loses its force. This possible space left to thea priori, combined with a reflection of modalities in an a posteriori framework, opens up interesting epistemological perspectives in our search for definitional criteria for natural species.