definition should always be _per genus et differentias_. It should "place" a given class by mentioning the wider class next above it in the objective hierarchy, and then enumerating the most deep-seated distinctions by which Nature herself marks off this class from others belonging to the same wider class. Modern evolutionary thought may possibly bring us back to this Aristotelian standpoint. Modern evolutionary science differs from Aristotelianism on one point of the first importance. It regards the difference between kinds, not as a primary fact of Nature, but as produced by a long process of accumulation of slight differences. But a world in which the process has progressed far enough will exhibit much the same character as the Nature of Aristotle. As the intermediate links between "species" drop out because they are less thoroughly adapted to maintain themselves than the extremes between which they form links, the world produced approximates more and more to a system of species between which there are unbridgeable chasms; evolution tends more and more to the final establishment of "real kinds," marked by the fact that there is no permanent possibility of cross-breeding between them. This makes it once more possible to distinguish between a "nominal" definition and a "real" definition. From an evolutionary point of view, a "real" definition would be one which specifies not merely enough characters to mark off the group defined from others, but selects also for the purpose those characters which indicate the line of historical development by which the group has successively separated itself from other groups descended from the same ancestors. We shall learn yet more of the significance of this conception of a "real kind" as we go on to make acquaintance with the outlines of First Philosophy. Over the rest of the formal logic of Aristotle we must be content to pass more rapidly. In connection with the doctrine of Propositions, Aristotle lays down the familiar distinction between the four types of proposition according to their quantity (as universal or particular) and quality (as affirmative or negative), and treats of their contrary and contradictory opposition in a way which still forms the basis of the handling of the subject in elementary works on formal logic. He also considers at great length a subject nowadays commonly excluded from the elementary books, the modal distinction between the Problematic proposition (_x_ may be _y_), the Assertory (_x_ is _y_), and the Necessary (_x_ must be _y_), and the way in which all these forms may be contradicted. For him, modality is a formal distinction like quantity or quality, because he believes that contingency and necessity are not merely relative to the state of our knowledge, but represent real and objective features of the order of Nature.