This inaugural lecture, delivered on 17 November 2021 at the University of Neuchâtel, addresses the question: Are material objects analyzable into more basic constituents and, if so, what are they? It might appear that this question is more appropriately settled by empirical means as utilized in the natural sciences. For example, we learn from physics and chemistry that water is composed of H2O-molecules and that hydrogen and oxygen atoms themselves are composed of smaller parts, such as protons, which are in (...) turn composed of yet smaller parts, such as quarks, and so on. While the question at the center of this lecture might thus appear to fall more appropriately into the empirical domain of natural science, I argue that metaphysics in fact has an important role to play in determining how best to answer the question before us. More concretely, I propose that the Aristotelian doctrine of hylomorphism, when appropriately interpreted, provides the best metaphysical answer to the question of whether and how material objects are analyzable into more basic constituents. Hylomorphism holds that those entities to which this doctrine applies are, in some sense, compounds of matter (“hylē”) and form (“morphē” or “eidos”). Thus, the title of this lecture, “Form, Matter, Substance”, refers to the claim that lies at the center of the doctrine of hylomorphism, as applied to the domain of material objects, namely that sensible substances are the result of combining matter and form in the right sort of way; or, for short, “form + matter = substance”. I begin in Section II by providing some historical background which brings out Aristotle’s motivations for proposing the doctrine of hylomorphism in the context of his analysis of change. Section III turns to some of the main features of the contemporary hylomorphic theory I have defended especially in Koslicki (2008) and Koslicki (2018). Section IV discusses some challenging questions concerning artifacts which arise for both hylomorphic and other approaches to the metaphysics of concrete particular objects. Section V concludes by summarizing why, as contemporary metaphysicians, we should prefer a hylomorphic theory over its competitors as an analysis of concrete particular objects that is compatible with our current scientific understanding of the world. (shrink)

In Form, Matter, Substance, Kathrin Koslicki articulates and defends her preferred brand of hylomorphism, weighing in on how we should conceive of the matter and the form of such compounds, and on how they can qualify as fundamental “substances” despite being ontologically dependent on their components. I review Koslicki’s principal claims and conclusions (§1), and then raise some concerns about her master argument for “individual forms” (§2) and her criticism of standard essentialist accounts of artifacts (§3).

In this reply, I respond to points raised in Winfried Löffler's „Koslickis Metaontologie“ in connection with a book-symposium on _Form, Matter, Substance_ held at the University of Innsbruck in May 2019.

In this reply, I respond to points raised in Christian Kanzian's „Kommentar zu Kathrin Koslickis Form, Matter, Substance” in connection with a book-symposium on _Form, Matter, Substance_ held at the University of Innsbruck in May 2019.

In this reply, I respond to points raised by Uwe Meixner in “Koslicki on Matter and Form” in connection with a book symposium on _Form, Matter, Substance_ held at the University of Innsbruck in May 2019.

Argues that Aristotle regarded the universe, or Totality, as a single substance with form and matter, and that he regarded this substance together with the Prime Mover as a self-mover.

Devin Henry offers a comprehensive study of Aristotle’s hylomorphic account of substantial generation. In particular, he argues that, in Generation of Animals, Aristotle defends a view that Henry calls “reproductive hylomorphism” : an application of the hylomorphic model of substantial generation to the central case of the generation of animals. In this review, I explain Henry's view and offer some criticisms of his two-stage model of reproductive hylomorphism that distinguishes embryogenesis from morphogenesis.

In Aristotle's account of change, lacking a form is called privation (Physics I.7 191a14). For example, someone takes on the form of being musical only from previously having the privation of being unmusical. However, he also states that “shape and nature are spoken of in two ways, for the privation too is in a way form” (Physics II.1 193b19). I will demonstrate that these seemingly contradictory statements are not actually in tension. Since all perceptible matter must be enformed, we would (...) have trouble discussing things that have yet to undergo generation, like menstrual fluid, and things that have undergone corruption, like corpses, if we did not cite the privation as a sort of form. I will argue that, given his commitment to hylomorphism, Aristotle is committed to privation being a form in a qualified sense. It cannot be a form in an unqualified sense because privation often spoils the matter such that it can no longer be reformed. The fact of the matter is we cannot draw a bright line between privation and form because the two are contraries and can be said to hold to different degrees at different points on a spectrum. (shrink)

Aristotle analyses a large range of objects as composites of matter and form. But how exactly should we understand the relation between the matter and form of a composite? Some commentators have argued that forms themselves are somehow material, that is, forms are impure. Others have denied that claim and argued for the purity of forms. In this paper, I develop a new purist interpretation of Metaphysics Z.10-11, a text central to the debate, which I call 'hierarchical purism'. I argue (...) that hierarchical purism can overcome the difficulties faced by previous versions of purism as well as by impurism. Roughly, on hierarchical purism, each composite can be considered and defined in two different ways: From the perspective of metaphysics, composites are considered only insofar as they have forms and defined purely formally. From the perspective of physics, composites are considered insofar as they have forms and matter and defined with reference to both. Moreover, while the metaphysical definition is a definition in the strict sense of 'definition', the physical definition is a definition in a loose sense. Analogous points hold for intelligible composites and geometry. Finally, neither sort of definitional practice implies that, for Aristotle, forms are impure. (shrink)

The purpose of this article is to reconstruct Aristotle’s distinction between primary substances and their homonyms. It is shown that the Stagirite regards both body parts and artefacts as mere homonyms of primary substances when they are no longer capable of performing their function (ergon) and actualizing their end (telos). In the course of the present discussion, Aristotle’s approach is confronted with his famous doctrine of the four causes, whilst an analysis of the examples given by the Stagirite serves the (...) purpose of determining the ontic status of homonyms. Subsequently, this paper argues that Aristotle’s hylomorphism not only defies the functionalist assumption of the irrelevance of matter but also precludes the possibility of equating artefacts with living organisms. The discussion concludes with an observation that primary substances which are truly (alēthōs) and things which are only homonymously (plēn homōnymōs) require different definitions. (shrink)

Hylomorphists hold that substances are, in some sense, composites of matter and form. The form of a substance is typically taken to play a fundamental role in determining the unity or identity of the whole. Staunch hylomorphists think that this role is of a kind that precludes the ontological reduction of form to the physical and thus take their position to be inconsistent with physicalism. Forms, according to staunch hylomorphism, play a fundamental role in grounding their bearers’ proper parts (...) and that, it seems, rules out the physical grounding of form itself. I shall develop a physicalist version of hylomorphism that treats form as geometric structure and which, I shall argue, entails many of the central theses endorsed by staunch hylomorphists. Based on Shoemaker’s notion of conditional powers, I shall argue that the geometric structures of complex wholes are the conditions on at least some of the conditional powers of their bearers’ proper parts, transforming those powers into powers simpliciter. Thus, forms play a fundamental role in the dynamical evolution of the physical world, but without bestowing causal powers themselves and hence without violating the causal closure of the physical domain. If a substance’s proper parts are taken to be individuated by their powers simpliciter, then they derive their identities from their places in the substantial whole, which thus determines the identities of its proper parts without changing their intrinsic natures. (shrink)

William Whewell’s 19th century philosophy of science is sometimes glossed over as a footnote to Kant. There is however a key feature of Whewell’s account worth noting. This is his appeal to Aristotle’s form/matter hylomorphism as a metaphor to explain how mind and world merge in successful scientific inquiry. Whewell’s hylomorphism suggests a middle way between rationalism and empiricism reminiscent of experience pragmatists like Steven Levine’s view that mind and world are entwined in experience. I argue however that Levine does (...) not adequately explain exactly how mind and world entwine. He could nonetheless do so if he appealed to Whewell’s hylomorphic metaphor. We may prefer a reductive metaphysical explanation, but I suggest that pragmatists only have recourse to metaphor in this case. Both reductive and metaphorical explanations can enjoy great explanatory power if they exhibit a suitable measure of what I will call sematic distance. Semantic distance measures how close or how far apart explanandum and explanans are from each other in meaning. Metaphorical explanation - as evident in Whewell’s hylomorphism and as detailed via the notion of semantic distance - presents a valuable new explanatory tool to those who hold that mind and world are entwined sans recourse to metaphysics. (shrink)

The model of a closed linear measure space, which can be used to model Aristotle’s treatment of motion (kinesis), can be analogically extended to the qualitative ‘spaces’ implied by his theory of contraries in Physics I and in Metaphysics Iota, and to the dimensionless ‘space’ of the unity of matter and form discussed in book Eta of the Metaphysics. By examining Aristotle’s remarks on contraries, the subject of change, continuity, and the unity of matter and form, Aristotle’s thoughts on motion, (...) on contraries, and on the unity of substance can be brought together under a single interpretive framework, which can provide an approach to interpreting his ontology. (shrink)

Hylomorphism is the Aristotelian theory according to which substances are composites of matter and form. If my house is a substance, then its matter would be a collection of bricks and timbers and its form something like a structure that unites those bricks and timbers into a single substance. Contemporary hylomorphists are divided on how to understand forms best, but a prominent group of theorists argue that forms are emergent powers. According to such views, when material components are (...) arranged appropriately, a novel substance emerges with the power to impose unity on its components through time. I argue that these accounts of form fall prey to a bootstrapping problem, and so, suffer from issues of redundancy, given plausible assumptions about inherence. In their place, I suggest an ontologically minimalist conception of forms as collective manifestations of the powers of matter. (shrink)

Hylomorphism is a metaphysical theory that accounts for the unity of the material parts of composite objects by appeal to a structure or ‘form’ characterizing those parts. I argue that hylomorphism is not merely a plausible or appealing solution to problems of material composition, but a position entailed by any coherent metaphysics of ordinary material objects. In fact, not only does hylomorphism have Aristotelian defenders, but it has had independent lives in both East and West. -/- I review three contemporary (...) hylomorphic theories appeal to ‘structure’ to explain the unity of material objects. Each, however, accepts a controversial principle: that substances can have other substances as proper parts. Such a principle is implausible and severely threatens the coherence of the theory. -/- I begin by showing that Thomas Aquinas’ account of form, which does not accept that substances can have other substances as parts, gives us a more coherent version of hylomorphism. Then I argue Zhu Xi, a Song dynasty Confucian thinker, developed a non-Aristotelian hylomorphism. Unlike Aristotelians, Zhu Xi’s metaphysics was formed in opposition to Buddhist versions of skepticism and gives us reasons to think that anyone who holds a view of objects stronger than Buddhists is committed to forms. In conclusion, I show directly, by appeal to some of those same considerations from Zhu Xi, why it is that all those who believe there are unified material objects will appeal to something like a substantial form. The traditional hylomorphic picture of material composition, then, remains a plausible framework for contemporary metaphysicians – and for good reason. (shrink)

Hylomorphism is the Aristotelian theory according to which substances are composed of matter and form. If a house is a substance, then its matter would be a collection of bricks and timbers and its form something like the structure of those bricks and timbers. It is widely agreed that matter bears a mereological relationship to substance; the bricks and timbers are parts of the house. But with form things are more controversial. Is the structure of the bricks and (...) timbers best conceived as a part of the house, or is it related to the house in some non-mereological fashion? Kathrin Koslicki argues that substances have formal parts, that forms are best conceived as bearing a mereological relation to substances. This paper shows that her argument fails, given the traditional and plausible distinction between substances and accidental unities. I close with a brief suggestion for a non-mereological construal of forms. (shrink)

This paper investigates Péter Pázmány’s theory of mixtures from his exegesis of Meteorologica IV, in the context of sixteenth-century scholarship on Aristotle’s Meteorologica. It aims to contribute to a discussion of Anneliese Maier’s thesis concerning the incompatibility between hylomorphism and the theory of elements in the Aristotelian tradition. It presents two problems: the placement of Meteorologica IV in the Jesuit cursus on physics and the conceptualization of putrefaction as a type of substantial mutation. Through an analysis of these issues, it (...) shows how sixteenth-century exegesis imposes the hylomorphic thesis onto the subject matter of meteorology and how the hylomorphic theory of substantial change can be adapted in order to accommodate the theory of elements. The case being made is that Meteorologica is a privileged place where hylomorphism and the theory of elements meet and that the late Aristotelian theory of mixtures sought to accommodate both theories of material substance. (shrink)

Multiplicity of Beings according to Saint Thomas Aquinas is a book that aimed to find an explanation of beings' diversity on the grounds of the metaphysical intrinsic principles of beings identified by Aristótle. Are matter and form causes of identity, individuation and diversity of substances? Aquinas answers this question by means of some demonstrations grounded on the very nature of matter and form, in the line of the doctrines contained in book 7 of the Aristotle's Metaphysics.

This essay is the first part of an analysis on the form and matter in the works of Aristotle. Within the whole analysis, I shall examine passages taken from different works of Aristotle that are relevant to the investigation on form and matter. In this essay, I shall focus exclusively on the chapter Metaphysics Zeta 3. The concepts of substance, matter, ontological subject, form, composite substance, this something and separated, which are consistently used by Aristotle within the development (...) of the mentioned chapter, will be part of my survey of the contents of the chapter. The central argument of Metaphysics Zeta 3, which maintains the equivalence between substance and the feature represented by ontological subject, and which leads, through this first equivalence and through the equivalence between matter and ontological subject, to the result that matter is (the only) substance, will be investigated step by step so that all presuppositions, entailments, and consequences of the argument itself can be clearly shown. The problems which are caused by the mentioned equivalence of substance and ontological subject will be pointed out during my look at the chapter’s contents. In particular, Aristotle cannot accept that, in spite of the ontological subject being a correct feature of substance qua substance, substance is therewith reduced to matter. Being the ontological subject does not represent the only ontological feature of substance qua substance; the ontological features too of substance qua substance that are represented by being a this something and being separated belong to the concept of substance: they can never be forgotten within a right interpretation of substance. The identification of substance only with matter can never be accepted. Only the ontological values of substance represented by the form and by the composite substance possess the ontological features “being a this something” and “being separated”. Therefore, the ontological values of substance as form and as a composite substance must always be reckoned with in a correctly interpreted ontology. Neither of these values can be forgotten within an accurate inquiry of ontology. Hence, regardless of whether matter is substance and is correctly interpreted as substance, the values of substance as form and as composite substance must belong, in Aristotle’s view, to any right ontological system whatsoever. The plurality of values for substance, which I personally advocate, finds confirmation thanks to chapter Metaphysics Zeta 3: Matter, form, and composite substance all represent values for substance, despite the differences which they have as regards their own ontological features. (shrink)

According to a standard interpretation of Aristotle, a material substance, like a dog, is a hylomorphic composite of matter and form, its “essential” parts. Is such a composite some thing in addition to its essential parts as united? The moderate reductionist says “no,” whereas the anti-reductionist says “yes.” In this paper, I will clarify and defend Durand of St.-Pourçain’s surprisingly influential version of moderate reductionism, according to which hylomorphic composites are nothing over and above their essential parts and the (...) union of those parts, where this union is explained by the presence of two modes: a mode of inherence on the side of form and a mode of substanding on the side of matter. (shrink)

Hylomorphists claim that substances—human beings, oak trees, chemical compounds—are compounds of matter and form. If a house is a substance, then its matter would be some bricks and timbers and its form the structure those bricks and timbers take on. While hylomorphism is traditionally presented as a theory of change, it only treats the coming-to-be and passing-away of matter-form compounds. But many hylomorphists understand forms to be entities in their own right, as parts or constituents of substances. So, a (...) neglected question arises: how, when, and from where do forms come to be? I take up the view of one prominent and representative hylomorphist, Kathrin Koslicki, and argue that she cannot answer these questions satisfactorily. I close with a proposal for an account of the generation of forms based on machinery many hylomorphists already accept, namely, causal powers, that points to a deflationary metaphysics of form. (shrink)

Aristotle classifies opposition (ἀντικεῖσθαι) into four groups: relatives (τὰ πρός τι), contraries (τὰ ἐναντία), privation and possession (στρέσις καὶ ἓξις) and affirmation and negation (κατάφασις καὶ ἀπόφασις). (Cat. , 10, 11b15-23) His example of relatives are the double and the half. Aristotle’s description of relatives as a kind of opposition is as such: ‘Things opposed as relatives are called just what they are, of their opposites (αὐτὰ ἃπερ ἐστι τῶν ἀντικειμένων λέγεται) or in some other way in relation to them. (...) For example, the double is called just what it is double of the other (οἷον τὸ διπλάσιον, αὐτὸ ὃπερ ἐστίν, ἑτέρου διπλάσιον λέγεται). Again, knowledge and the knowable are opposed as relatives, and knowledge is called just what it is, of the knowable, and the knowable too is called just what it is, in relation to its opposite, knowledge; for the knowable is called knowable by something-by knowledge.’ (Cat., 10, 11b24-30) 2) Senses of relatives In Met., Δ, 1020b26-32 Aristotle distinguishes three senses of relatives: i) That which contains something else many times to that which is contained many times in something else, and that which exceeds to that which is exceeded. E.g. double to half ii) The active to the passive; e.g. that which can heat to that which can be heated iii) The measurable to the measure, e.g. the knowable to knowledge and the perceptible to perception. 3) Relatives and contraries Aristotle’s discussion of relatives is unbelievably ambiguous. While he enumerates relatives besides contraries, privation-possession and affirmation-negation as four types of opposition (Cat., 10, 11b15-23), not only does not he restrict relatives to oppositions but he also does not totally differentiate it from contraries. Aristotle distinguishes between two senses of relatives one of which is contraries: ‘We have distinguished elsewhere the two senses in which relatives are so called-some as contraries (ὡς ἐναντία), others as knowledge to things known, a term being called relative because what is said one to the other is said by the other to itself (τῷ λέγεσθαί τι ἄλλο πρὸς αὐτό). (Met., I, 1056b34-1057a1) It seems that this differentiation is the same as, and maybe the one he himself refers to, the differentiation between the second and the third senses of relatives in Met., Δ, 1021a27-32: ‘Relative terms which imply number or capacity, therefore, are all relative because their very essence includes in its nature a reference to something else, not because something else is related to it (πρός τι πὰντα ἐστὶ πρός τι τῷ ὃπερ ἐστὶν ἄλλου λέγεσθαι αὐτὸ ὃ ἐστιν, ἀλλὰ μὴ τῷ ἄλλο πρὸς ἐκεινο); but that which is measurable or knowable or thinkable is called relative because something else is related to it. For the thinkable implies that there is thought of it, but the thought is not relative to that of which it is the thought; for we should then have said the same thing twice.’ Although Aristotle confirms contrariety in relatives (e.g. virtue to vice and knowledge to ignorance), he denies that there is a contrary ‘to every relative’ as there can be no contrary to what is double or treble. (Cat., 7, 6b15-19) The fact that Aristotle dedicates one sense of relatives to contraries means that the fourfold division of oppositions is not such a strict division without any kind of community between them. In his example of the first sense, however, Aristotle says: ‘One and number are in a sense opposed, not as contrary, but as we have said some relative terms are opposed; for inasmuch as one is measure and the other measurable, they are opposed.’ (Met., I, 1057a4-6) Now, the question is: Is Aristotle’s first sense of relative a contrary or not? Aristotle tells us that the opposition in this sense of relatives is the opposition of measure and measurable. The second sense has two differences with the first one: i) it is not a contrary and ii) what is said by one of the relatives to the other is also said by the latter to the former. To differentiate it from the first sense, when the one is the measure of the other, the latter will be the measure of the former as well: ‘But though knowledge is similarly spoken of as related to the knowable, the relation does not work out similarly for while knowledge might be thought to be the measure, and the knowable the thing measured, the fact is that all knowledge is knowable, but not all that is knowable is knowledge, because in a sense knowledge is measured by the knowable.’ (Met., I, 1057a7-12) Aristotle’s assertion at Met., I, 1057a36-37 that ‘of relative terms, those which are not contrary have no intermediate’ ensures us that we must take the first sense as contraries. Here he mentions a criterion of differentiation between two senses: while the first sense accepts intermediates (as, for example, great and small do), the second one does not. (Met., I, 1057a37-b1) It seems, however, that it is only the second sense that is the essential sense of relatives because the first sense, Aristotle says, is an accidental sense: ‘The one is opposed then to the many in numbers as measure to things measureable; and these are opposed as relatives which are not from their very nature relatives.’ (Met., I, 1056b32-34) 4) Definition of relative Aristotle’s first definition of the category of relative (πρός τι) is as such: ‘We call relative all such things as are said to be just what they are, of or than other things, or in some other way in relation to something else (Πρός τι δὲ τὰ τοιαῦτα λέγεται, ὃσα αὐτὰ ἃπερ ἐστὶν ἓτερων εἶναι λέγεται, ἢ ὁπωσοῦν ἄλλως πρὸς ἓτερον). (Cat., 7, 6a36-37; repeated almost without any change in: Cat., 7, 6b6-8) Aristotle’s examples are larger (because it is what it is than something else (τοῦθ᾿ ὃπερ ἐστὶν ἑτέρου λέγεται) that means it is called larger than something) and double. (Cat., 7, 6a37-b1) Aristotle’s aporia regarding relative is about their relation with substances: whether no substance is spoken of as a relative, or whether this is possible with regard to some secondary substances. (Cat., 7, 8a13-15) In the case of primary substances, it seems that he is confident, at least at first, that neither themselves nor their parts are spoken of in relation to anything: neither an individual man is called someone’s individual man nor an individual hand is called someone’s individual hand (but someone’s hand). (Cat., 7, 8a15-21) Although it is obvious that most of secondary substances are not spoken of as relatives (a man is not called someone’s man) (Cat., 7, 8a21-25), there are some with them there is room for dispute: a head is someone’s head and a hand is called someone’s hand, which seem to be relatives. (Cat., 7, 8a25-28) Aristotle thinks this must be due to the previous definition’s being problematic: with that definition ‘it is either exceedingly difficult or impossible to reach the solution that no substance is spoken of as a relative.’ (Cat., 7, 8a28-32) Thus, Aristotle changes his previous definition to a new one: ‘Those things are relatives for which being is the same as being somehow related to something’ (ἔστι τὰ πρός τι οἷς τὸ εἶναι ταὐτόν ἐστι τῷ πρός τί). (Cat., 7, 8a32-34) Although the first definition does indeed apply to all relations, its problem is that it does not take ‘their own being relative’ (τῷ πρός τι αὐτοῖς εἶναι) the same as ‘their being what they are of other things’ (ἃπερ ἐστὶν ἑτέρων λέγεσθαι). (Cat., 7, 8a34-37) Although this change of definition is to exclude all substances from being relative, what Aristotle says in Topics (To., Z, 8, 146a39- ), seems to ignore this: ‘For of everything relative the substance is relative to something else, seeing that the being of every relative term is identical with being in a certain relation to something.’ 5) Necessary knowledge of the related Knowledge of that in relation to which a relative is spoken of is necessary when one knows the relative: it is impossible to know a relative and at the same time not to know that in relation to which it is spoken of. (Cat., 7, 8a37-b3) To prove this, Aristotle adheres to the definition of relatives: ‘If someone knows of a certain ‘this’ that it is a relative, and being for relatives is the same as being somehow related to something, he knows that also to which this is somehow related.’ (Cat., 7, 8a37-b3; cf. 7, 8b3-15 for Aristotle’s examples) This necessary knowledge of the related, if we call it so, dedicates Aristotle an epistemological reason, besides the ontological one mentioned in his definition, for the exclusion of substances. As we noted in our discussion of Aristotle’s definition of relatives, he changed his first definition to exclude all substances from being relatives. Therefore, it is evident that for him relatives must not include substances, either primary or secondary. Aristotle does have no problem with primary substances simply because it is evident for him that they cannot be relatives. The same can be said about most of the secondary substances as well. The problem for which he changed the definition of substances was about some secondary substances like ‘head’ or ‘hand’: the fact that it is possible to know a hand or head without necessarily knowing definitely that in relation to which it is spoken of proves that they are not relatives. (Cat., 7, 8b15-21) 6) Reciprocation Aristotle regards reciprocation (ἀντιστρέφειν) necessary in all relations: ‘All relatives are spoken of in relation to correlatives that reciprocate.’ (Cat., 7, 6b28-29; cf. Cat., 10, 12b21-24) The sense of reciprocation is clear by his own examples: ‘The slave is called slave of a master and the master is called master of a slave; the double double of a half, and the half half of a double.’ (Cat., 7, 6b29-31) Reciprocation of relatives is so necessary that if there seems that we do not have reciprocation, it must necessarily be due to a mistake and that in relation to which something is spoken of must have not been given properly. (Cat., 7, 6b36-7a1) Aristotle’s example is this: If a wing is given as of a bird, ‘bird of a wing’ does not reciprocate because it has not been given properly: a wing is of a winged and not of a bird; a wing is wing of a winged and a winged is winged with a wing. (Cat., 7, 7a1-5) Even if we do not have a proper name to have a proper reciprocation, Aristotle points, we must invent names. (Cat., 7, 7a5-15 and 7b10-14) Thus, having proper names is the condition of necessary reciprocation: ‘All relatives are spoken of in relation to correlatives that reciprocate, provided they are properly given.’ (Cat., 7, 7a22-23) This condition is also said in another way: there is no reciprocation if a relation is given as related to some chance thing or to something that is accidentally the related thing like when, for example, a slave is given as of a man or a biped instead of being given as of a master. (Cat., 7, 7a25-31) 7) Simultaneity of relatives Aristotle believes that in most cases relatives are simultaneous: double and half or master and slave must exist at the same time: when there is a half, there is a double and when there is a slave, there is a master. (Cat., 7, 7b10-14) However, this receives some exceptions like knowable, which is prior and can, thus, exist before and without knowledge. (Cat., 7, 7b22-27) What approves this non-simultaneousness for Aristotle is that the destruction of knowledge does not carry the knowable to destruction. (Cat., 7, 7b27-31) The same is said about perception and perceptible. (Cat., 7, 7b35-8a9) Aristotle attaches simultaneity to reciprocation. This reciprocation, however, is not a simple reciprocation but ‘reciprocation as to implication of existence’ (ἀντιστρέφει μὲν κατὰ τὴν τοῦ εἶναι) with the condition that neither be in any way the cause of the other’s existence. (Cat., 13, 14b27-29; the same is said also at: Cat., 13, 15a4-11) Aristotle’s examples are the double and the half because when there is a double there is a half and when there is a half there is a double but neither is the cause of the other’s existence. (Cat., 13, 14b29-32) (We have ‘reciprocation as to implication of existence’ also in relation between genus and species but it seems that this has a totally different sense there. 8) Having no independent reality That a relative cannot be a substance, either a primary or a secondary substance, is discussed in our review of both the definition of relatives and their reciprocation. The differentiation of relatives and substances are so deep for Aristotle that after questioning the possibility of any common element or principle for substances and relatives (Met., Λ, 1070a33-36), he asserts that no substance, on the one hand, is the element of relatives and none of the relatives, on the other hand, is the element of substances. (Met., Λ, 1070b3-4) Aristotle does not, however, suffice to this. For him, relatives have the least substantiality, which is, for him, almost the same as reality: ‘The relative is least of all categories a real thing (φύσις τις) or substance, and less than quality and quantity; and the relative is an affection of quantity.’ (Met., M, 1088a22-25) Aristotle believes that an evidence of this least reality (ὄν) and substantiality is that relatives have no proper generation, destruction or movement while each of substance, quality and quantity have them. (Met., M, 1088a29-35) Moreover, neither motion (Phy., E, 1) nor any kind of change is applicable to relatives so that relatives are neither themselves alterations nor the subject of alterations (Phy., Z, 3) and the process of losing and acquiring states cannot be considered as alterations because these are the result of the alterations of non-relative things of which they are states. (Phy., Z, 3) Relative is not even matter but is something different. (Met., M, 1088a24-25) The reason is that the matter is potentially of a nature but relative is neither potentially nor actually of a nature. (Met., M, 1088b1-2) To understand the status of relatives in Aristotle’s world, we have to make a tripartite classification; a classification that though Aristotle himself did not make, his assertions approve it. Based on this division, there are three kinds of being in the world: i) Independent beings: This class includes only substances. ii) Dependent beings: This class includes qualities and quantities. Although they are real, they are ‘in’ substances and cannot exist without them. iii) Super dependent beings: This class includes at least relatives. The fact that relatives must be considered in a third class different from substances, on the one hand, and qualities and quantities, on the other hand, is obvious not only from the previously mentioned texts (Met., M, 1088a22-25, 29-35 and b1-2) in which relatives’ reality is considered less than all substances, qualities and quantities and different from matters but from this text: ‘For there is nothing either great or small, many or few, or, in general, relative which is not something (τι ὄν) different (ἓτερον) [that is also] many or few or great or small’. (Met, N, 1088a27-30) Therefore, super dependent beings are those beings that must necessarily be also something else, i.e. an independent or dependent being. Ackrill (1963, 99) points that some of the words used by Aristotle to exemplify relational entities, e.g. slave, are endowed with a complete sense and do not need to be supplemented by a correlate. (Thus, the linguist criterion of incompleteness would be deficient. Some other instances of relative entities like ‘state,’ ‘knowledge’ and perception are not necessarily followed by the genitive case. 9) Extent of relatives What is the extent of relatives? What are or are not included in relatives either among categories or among other concepts? Which concepts or things Aristotle regard as relative? i) Aristotle includes state (ἓξις) and position (θέσις) among relatives. (Cat., 7, 6b2-6; Cat., 7, 6b11-14; Cat., 8, 11a20-24) ii) Although relative is not matter but is something different (Met., M, 1088a24-25), matter is ‘non-being’ only in virtue of an attribute (Phy., A, 9) and is, thus, a relative term. (Phy., B, 2, 194b9) 10) Property and relativity Aristotle draws a contrast between two types of giving a property, absolute and relative: ‘A property is given either in its own right and for always or relative to something else and for a time.’ (To., E, 1, ^128b15-18) Being a civilized man, for example, is an absolute property for man while to command is a relative property for the soul. The absolute property, however, is considered not only potential to be discussed or observed in relation to many things or periods of time, it in fact ‘belongs to its subject relatively to every single thing that there is, so that if the subject is not distinguished relatively to everything else, the property will not have been given correctly.’ (To., E, 1, 129a18-20) Therefore, an absolute property is a property that ‘is ascribed to a thing in comparison with everything else and distinguishes it from everything else.’ (To., E, 1, 128b33- ) An absolute property is, then, absolutely relative and not conditionally relative, i.e. relative to a specific thing. This is what differentiates it from a relative property, which is relative to a certain thing: ‘A property relative to something else is one which separates its subject off not from everything else but from a particular definite thing.’ (To., E, 1, 128b33- ) One important difference between absolute and relative properties is that while an accident can be a relative property, it can never be an absolute property. (To., I, 5, ^102b20-36) For example, sitting, which is an accident, is also a property relatively to those who are not sitting. (To., I, 5, ^102b20-36) 11) Platonic theories as relatives At least three of Platonic theories Aristotle attaches to relatives: i) Forms ‘It seems that a Form is always spoken of in relation to a Form-this desire itself is for the pleasure itself, and wishing itself is for the good itself.’ (To., Z, 8, 147a^10) Moreover, the theory of Forms takes the relative prior to the absolute as, for example, it takes not the dyad but the number as first. (Met., A, 990b15-17) Aristotle believes that this is against not only the necessities of the case but only the Platonists’ opinion because Forms must be substances only, if they can be shared. (Met., A, 990b27-29) There are, however, things like ‘equal’ which are only relative: they are only in relation to something else. Now the theory that ideas are supposed to be substances only should entail the substantiality of merely relatives. The reason being that Forms are not shared incidentally but each thing shares in that which is not predicated of a subject. (Met., A, 990b29-31) ii) Unequal The Platonic theory of great and small or unequal, which we know more from Aristotle and has, in Platonic philosophy, a role like that of matter in Aristotelian philosophy, is also called relative by Aristole. (Met., M, 1089b4-15) iii) Potentiality Aristotle says that Platonists take what potentially is a ‘this’ and a substance but not actually so a relative because it is ‘neither potentially the one or being, nor the contradictory of the one nor of being, but one among beings.’ (Met., N, 1089b15-20) 12) All things as relative Aristotle attaches the theory that ‘everything is true’ to relativity and thinks the consequence of believing in this theory is that everything is true: ‘He who says all things that appear are true, makes all things relative.’ (Met., Γ, 1011a17-20) 13) Genera and species of relatives There are some genera, Aristotle hints, that are relative but their species are not relative. In such cases, the genera are spoken of in relation to something, but none of the particular cases are so spoken. (Cat., 8, 11a20-36) Aristole’s examples are knowledge and grammar of which the former is a relative but the latter is a quality. The consequence of this is that there is nothing absurd for a thing to be in both genera of relative and quality. (Cat., 8, 11a37- ) However, when the species is a relative, the genera will be a relative too. (To., Δ, 4, 124b15- ) Moreover, Aristotle asserts that ‘the differentiae of relative terms are themselves relative.’ (To., Z, 6, 145a14-16) Things that are called relative are called so, Aristotle says, ‘because the classes that include them are of this sort, e.g. medicine is thought to be relative bcs its genus, knowledge, is thought to be relative,’ (Met., Δ, 1021b4-6) 14) Relatives as indefinite? Fabio Morales takes 1088a29-b1 as a textual evidence supporting the assumption that Aristotle regarded relational terms as indefinite. (shrink)

In this essay I argue that the central problem of Aristotle’s Metaphysics H (VIII) 6 is the unity of forms and that he solves this problem in just the way he solves the problem of the unity of composites – by hylomorphism. I also discuss the matter– form relationship in H 6, arguing that they have a correlative nature as the matter of the form and the form of the matter.

Aristotle differentiates between otherness (ἑτερότης) and difference (διαφορὰ). Otherness has no definite respect: one thing is other than another thing only because they are not the same. Every two things which are not the same are other than each other. Therefore, two things other than each other do not need something in which they are other than each other. Difference, on the other hand, has a definite respect and one thing is different from another thing in some respect. Thus, there (...) must be something identical whereby two different things differ. (Met. , I, 1054b23-27) Therefore, there is no difference between anything and the things outside its genus. (Met., I, 1055a26-27) 1) Difference Aristotle takes two things as identical things in which difference occurs: genus and species. All things that differ differ either in genus or in species. (Met., I, 1054b27-28) a) Difference in genus Two things are different in genus if they ‘have not their matter in common and are not generated out of each other,’ which means that they belong to different figures of predication. (Met., I, 1054b28-29) They have no way to one another and are too far distinct and are not comparable. (Met., I, 1055a6-8) b) Difference in species Two things are different in species if they have the same genus (Met., I, 1054b29-30) but are not subordinate one to the other. (Met., Δ, 1018a38-b7) 2) Contrariety Aristotle mentions five senses. In the first sense he calls contraries ‘those attributes that differ in genus, which cannot belong at the same time to the same subject.’ (Met., Δ, 1018a25-27) Three senses emphasize on having the most difference either in the same genus, the same receptive material or the same category, all similar to genus. The fifth sense also insists on having the greatest difference but mentions species besides genus as where difference occurs. (Met., Δ, 1018a27-31) It seems that Aristotle is more inclined to the second sense as his definition in Metaphysics, I, 1055a27-29 might concede: ‘The things in the same genus which differ most are contraries; for the complete difference is the greatest difference among these,’ though he agrees with the third sense too and regards those that differ most in the same receptive material also as contraries. (Met., I, 1055a29-30) In fact, Aristotle speaks of all kinds of contraries within, without or in genera: ‘All contraries must either be in the same genus or in contrary genera or be themselves genera.’ Their corresponding examples are white and black (in the same genus), justice and injustice (in contrary genera) and good and bad (themselves genera). (Cat., 11, 14a19-25) To speak generally, as one of the four kinds of opposition, contraries are those that cannot belong at the same time to the same thing. (Met., Γ, 1011b15-18) Thus, contrariety (ἐναντιότης) is complete difference (Met., I, 1055a16-17) and contraries are the extremes of things that differ in species for which generation takes place and have the greatest distance. (Met., I, 1055a8-10; Δ, 1018a38-b7) Since contraries have the extreme difference, there cannot be more than one contrary and extreme for each thing. (Met., I, 1055a19-21) Thus, the things in the same genus which differ most are contraries. (Met., I, 1055a27-28) Aristotle says that the meaning of calling two things ‘other in species’ is that they are contrary and this being other in species he posits versus being the same in species. (Met., I, 1058a17-28) Aristotle even calls ‘the difference between things which differ in species’ a difference that belongs only to things in the same species. (Met., I, 1058a26-28) The reason is that ‘all things are divided by opposites and … contraries are in the same genus … and every difference in species is a difference from something in something … Hence also all contraries which are different in species … are … other than one another in the highest degree- for the difference is complete-, and cannot be present along with one another.’ The conclusion is that ‘The difference, then, is a contrariety.’ (Met, I, 1058a8-16) There are some characteristics for contraries in Aristotle’s philosophy: a) One thing cannot have more than one contrary for there can be neither anything more extreme than the extreme, nor more than two extremes for the one interval. (Met., I, 1055a19-21) b) The primary contrariety is the contrariety between state and complete privation. (Met., I, 1055a33-37) Aristotle regards privation both as a kind of contradiction (Met., I, 1055b3-11) and as that of which contrariety is a kind: all contrariety is a privation but not all privation is contrariety. (Met., I, 1055b11-17) In fact, every contrariety involves a privation as one of its items (Met, I, 1055b17-19 and b25-29): ‘of the contraries, no less than of the contradictories, one is a privation- and a privation of substance; and privation is the denial of a predicate to a determinate genus.’ (Met., Γ, 1011b18-20) Nonetheless, the relation between contrary, privation and contradictory seems to be even more complex:’For within a single identical genus the contrary of a given attribute is either its privative or its contradictory; e.g. within number what is not odd is even, inasmuch as within this sphere even is a necessary consequent of not-odd.’ (PsA., A, 4, 73b21-24) c) A contrary cannot be an intermediate because otherwise it would not be a perfect contrary, which must be based on definition. (Met., I, 1056a12-14) d) Contraries always accept intermediates between themselves. (Met., I, 1056a14-15 e) ‘Contraries do not involve one another in their composition, and are therefore first principles.’ (Met., I, 1057b22-23) f) ‘All the inferior classes, both the contraries and their intermediates, will be compounded out of the primary contraries.’ (Met., I, 1057b31-34) g) None of the intermediables can be predicated of either of the contraries. (Met., K, 1063b19-22) h) Contrary propositions (as defined in OI, I, 7, 17b3-6) can never both be true because they state contrary conditions which cannot subsist at one and the same time in the same subject. (OI, II, 14, 24b7-) 3) Otherness in kind Aristotle also speaks of things other in kind (ἓτερα τῷ γένει) by which he means an otherness between things ‘whose ultimate substratum is other and one cannot be analysed to the other nor both into the same thing. His example of this otherness in kind is the otherness of form and matter. (Met., Δ, 1024b9-12) 4) Network of difference and wholism Aristotle speaks of a theory based on which the knowledge of each thing depends on the knowledge of its differentiae distinguishing it from every single other thing. Therefore, to know and define one thing we need to know the whole existence. (PsA., B, 13, 97a6-11) Aristotle rejects this theory based on the fact that ‘not every differentia precludes identity’ and, thus, many differentiae inhere in things specifically identical, though not in the substance of these nor essentially.’ (PsA., B, 13, 97a11-14) 5) Knowledge and difference There must be some kind of relation between knowledge and difference in Aristotle’s saying that sight, more than other senses, makes us know and bring in light many differences between things. (Met., A, 980a24-27) . (shrink)

Thought (νοῦς) for Aristotle is ‘that whereby the soul thinks and judges.’ This identity, however, ‘is not actually any real thing before thinking’ (ἐνεργείᾳ τῶν ὄντων πρὶν νοεῖν) and, thus, cannot reasonably be regarded as blended with the body and cannot acquire any quality or have any organ. (So., Γ, 4, 429a22-27) In fact, Aristotle defines thought more with a capability: ‘That which is capable of receiving the object of thought, i.e. the substance, is thought.’ (Met., Λ, 1072b22-23) Thought (...) is not blended with and, thus, is separable from body. (So., Γ, 4, 429b4-5) This separability, however, belongs only to the active thought. (So., Γ, 5, 430a17-19) A. Nature of thought ‘Since everything is a possible object of thought,’ Aristotle believes, as Anaxagoras believed before him, in order to know things, mind ‘must be pure from all admixtures.’ The reason for this being that ‘the co-presence of what is alien to its nature is a hindrance and a block.’ Therefore, thought ‘can have no nature of its own other than that of having a certain capacity.’ (So., Γ, 4, 429a18-22) B. Thought elements A thought element, i.e. an element/object in thought or a concept (νόημα) has the following features: 1. Every thought element or concept (νόημα) is single (ἓν). This singularity is not restricted to substances because the concept of any other thing is single as well. (Met., A, 990b22-27) 2. Concepts (νόηματα) of thought are either simple or complex. Simple concepts do not involve truth or falsity but complex ones do. Aristotle speaks of ‘thoughts without co-positing and positing away’ (ἄνευ συνθέσεως καὶ διαίρέσεως νοήματι) to which nouns and verbs are similar. (OI., I, 1, 16a13-14) In OI., I, 1, 16a9-11 Aristotle does not use the words simple or complex but his assertion implies them: ‘As there are in the mind thoughts (νόημα) which do not involve truth or falsity, and also those which must be either true or false, so it is in speech.’ 3. The copula-is has no corresponding concept in thought: ‘For neither are ‘to be’ and ‘not to be’ the participle ‘being’ significant of any fact, unless something is added; for they do not themselves indicate anything, but imply a copulation, of which we cannot form a conception apart from the things coupled.’ (OI., I, 3, 16b22-25) C. Thought and its objects To understand Aristotle’s theory of thought, we have two differentiations, one between objects of thought and one in thought itself. Everything that might be posited in front of our thought and be thought as a possible object of thought we call object I (to distinguish it from what we call object II). Therefore, everything in the world is an object I of thought. These objects are in the sensible forms, viz. both the abstract objects and all the states and affections of sensible things. (So., Γ, 8, 432a3-6) These objects might be either composite, containing matter and form, or simple and matterless. When they are thought, we will have them in thought but not necessarily as they are in the world, i.e. as object I, but as something else, which we call object II. This is supposed to make the difference between object I and object II clear: object I is in the world and object II is its corresponding object in our thought. These two kinds of objects are neither necessarily the same nor necessarily different. Objects I are of two kinds: matterful and matterless. Whereas a matterful object I is necessarily different from its corresponding object II (So., Γ, 4, 430a6-9), a matterless object I is not different from its corresponding object II. (So., Γ, 4, 430a2-5; Met., Λ, 1075a3-4) Object II must thus be understood as the form of object I: ‘The thinking part of the soul must therefore be, while impassible, capable of receiving the form of an object; that is, must be potentially identical in character with its object without being the object.’ (So., Γ, 4, 429a13-16) Thought has no nature by its own and is all potentiality before thinking. (cf. So., Γ, 4, 429b6-10) Let’s call this the first potentiality of thought. This potentiality is the potentiality of a tabula rasa: ‘Thought is in a sense potentially whatever is thinkable, though actually it is nothing until it has thought? What it thinks must be in it just as characters may be said to be on a writing-table on which as yet nothing actually stands written: this is exactly what happens with thought.’ (So., Γ, 4, 429b29-430a2) Thought is then all dependent on its objects. By thinking on objects I, objects II are formed in thought. Now thought is nothing but its objects II which are necessarily matterless objects (Met., Λ, 1075a5-7): ‘In every case the thought which is actively thinking is the objects which it thinks.’ (So., Γ, 7, 431b16-17) Thought is the same as its objects II and in the case of matterless objects I, it is the same as its objects I. (Met., Λ, 1075a3-5) This thought is actual compared to its first potentiality: while it was all potentiality in its first potentiality, it now contains some objects II and is then actual. It seems we must interpret Aristotle based on this sense of actuality when he calls a thought possessing object as active: ‘For that which is capable of receiving the objects of thought, i.e. the substance, is thought. And it is active when it possesses this object.’ (Met., Λ, 1072b22-23) This thought, however, is called passive thought due to a second potentiality: ‘When thought has become each thing in the way in which a man who actually knows is said to do so (this happens when he is now able to exercise the power on his own initiatives). Its condition is still one of potentiality, but in a different sense from the potentiality which preceded the acquisition of knowledge by learning or discovery; and thought is then able to think of itself.’ (So., Γ, 4, 429b6-10) It is this thought in its second potentiality that Aristotle calls passive thought distinguishing it from active thought: ‘And in fact thought … is what it is by virtue of becoming all things, while there is another which what it is by virtue of making all things: this is a sort of positive state like light; for in a sense light makes potential colors into actual colors.’ (So., Γ, 5, 530a14-17) These two thoughts have a relationship like the relationship between matter and productive cause: ‘Since in every class of things, as in nature as a whole, we find two factors involved, a matter which is potentially all the particulars included in the class, a cause which is productive in the sense that it makes them all (the latter standing to the former, as e.g. an art to its material), these elements must likewise be found within the soul.’ (So., Γ, 5, 430a10-14) To understand Aristotle’s sense of active thought we must consider his theory of thinking. (shrink)

Aritsotle's hyle is contrasted with Plato's chora and Aquinas's prima materia. It is argued that Plato and Aristotle developed their concepts in response to very different needs, and that Aquinas's theory reflects a conflation of their views by Neoplatonic commentators. Hyle is shown to be an active potential to a determinate form in contrast to Aquinas's prima materia, which is a purely indeterminate passive potential. This gives a point of attachment in Aristotle's philosophy of nature for the later notion of (...) universal laws of nature. (shrink)

Aristotle’s points about taking ‘more or less’ (μᾶλλον καὶ ἧττον) are as following: 1. Substances do not admit of the more and the less. This is supposed to mean that a man is not more a man either than itself or than another man. This is not, however, the case between different substances because one substance can be more a substance than another. (Cat., 5, 3, 3b33-4a2) In Metaphysics, Aristotle tells us that substance in the sense of (...) form does not admit of the more and the less ‘but if any substance does, it is only the substance which involves matter.’ (Met., H, 1044a9-11) 2. Quantities, including numbers, do not admit of a more and a less. (Cat., 6, 6a19-25; Met., H, 1044a9-10) 3. Some qualities, but not all of them, admit the more and the less. For example, one thing can be called paler or more beautiful than another. This is not, however, true about the shape: neither things that admit nor those that do not admit the definition of a shape, e.g. triangle or circle, is called more a triangle or a circle. (Cat., 11a5-) Moreover, a thing can admit of more or less of a quantity than itself in a different time. (Cat., 5, 4a3-9) 4. Some, but not all, relatives admit of a more and a less. For example, while a thing is called more or less similar or more or less unequal to another thing, what is double is not spoken more double or less double. (Cat., 7, 6b20-27) 5. Doing and being affected admit of a more and a less. It is possible, for example, to heat more or to be heated more or less. (Cat., 9, 11b1-7) 6. Aristotle speaks of the possibility of being more false or less false. (Met., Γ) . (shrink)

Aristotle’s points about sameness or identity are as follows: 1. Aristotle speaks of different senses of same (ταὐτόν) in some of his works but it seems that the most comprehensive division is found in Topics (I, 7, 103a7-25) where he mentions three kinds of sameness: numerically, specifically and generically besides a fourth kind he calls ‘in view of unity of species.’ The numerically sameness on which there is the greatest agreement (To. , I, 7, ^103a25) and is the strictest sense (...) of sameness (To., H, 1, 151b26-27) occurs when there is more than one name but only one thing. Specific sameness occurs when while there is more than one thing, they present no differences in respect of their species. Likewise, generic sameness occurs when there is more than one thing but they fall under the same genus. Aristotle also speaks of a sameness ‘in view of unity of species’ like the sameness of water from the same spring. We discussed this under the name of ‘family resemblance.’ In Metaphysics (I, 1054a32-b2) he also speaks of a sameness ‘both in formula and in number as well as a sameness in the formula of the primary substance. We also observe Aristotle distinguishing sameness from likeness because the former occurs in substance while the latter in quality. (Met., Δ, 1021a11-12) There are several other senses of sameness in book Δ of Metaphysics. One sense is accidental sameness in which two things are called the same either because they are accidents of the same thing or because one is the accident of the other. (Met., Δ, 1017b27-29) In another sense, a complex notion is considered as the same of either of the simple notions. (Met., Δ, 1017b30-33) He also speaks of a general rule of being the same: ‘Things are said to be the same by their own nature in as many ways as they are said to be one’ like being one in matter or substance. (Met., Δ, 1018a4-7) 2. ‘We know things in so far as they have the same unity and identity and in so far as some attribute belongs to them universally (ᾗ καθόλου τι ὑπάρχει).’ (Met., B, 999a28-29) 3. Herman Weidemann believes that in Met., Z, 11 (1037a33-b7) only primary substances are considered to be identical with what it is for each of them to be. This, however, is not the same as primary substance in Categories but is rather meant to cover the individualized substantial form of each thing (τὸ εἶδος τὸ ἐνον), like the soul of a man (1037a28-29). Therefore, ‘if we take substance which is ‘primary’ in this sense and ‘say just what it is,’ we must indeed be producing a statement of identity. … To say of a man that he is essentially an animal of such and such a kind is not to mean, however, that the man in question is identical with what he is said to be essentially.’ Thus, while an essential predication in which the subject is the primary substance of Metaphysics Z (i.e. substantial form) and the predicate just what it is, is ‘genuine statement of identity,’ the predication in which the subject is primary in the sense of the Categories and the predicate its secondary substance, is a predicative statement in a strict sense. (shrink)

Howard Robinson has criticized the contemporary revival of hylomorphism in analytic philosophy for being inconsistent with the causal closure of the physical (CCP) and, by consequence, modern science. This thesis critically evaluates Robinson's criticism. We firstly analyze Robinson’s argument and reinforce it with Jaegwon Kim's causal overdetermination argument. We then turn to CCP itself, settling its exact meaning and highlighting its problems. We argue that CCP’s deferral of the meaning of “physical” to physics renders it false - if applied to (...) present physics – or undetermined – if it refers to future physics. On top of that, a careful look at present physics shows that CCP is not actually given by physics, as its proponents often claim, but rather imposed on it. Having considered the insufficiencies of CCP, we turn to the philosophical framework of hylomorphism, arguing that contemporary structural accounts of hylomorphism are bound fall prey to Robinson’s and Kim’s arguments. As such, one should embrace a more classically-inspired version of transformational hylomorphism according to which the form of substance dynamically re-identifies the material parts of an entity towards the same end as a singular causal system. This account of form provides a cohesive distinction between substances on the one hand and mere heaps or aggregates of matter on the other. This will prove to be particularly advantageous when considering various examples from contemporary biology that defy CCP’s microreductionism in showing the importance and causal relevance of biological higher-level phenomena in shaping its lower-level physical and chemical surrogates. We conclude that CCP’s picture of nature, with its monistic view of causation, is not in line with our best science. Contemporary science, from physics to biology, provides us a picture of nature where there is a constant and dynamic interplay of higher and lower-level phenomena, with both shaping each other in novel and unpredictable ways. Aristotelian hylomorphism, with its pluralistic approach to causation, provides a much stronger metaphysical framework to ground such picture. It grounds both strong emergence and downwards causation in substantial forms and, as such, gives us the tools to understand the processual characters of substances whilst upholding their unity. (shrink)

Predication is a lingual relation. We have this relation when a term is said (λέγεται) of another term. This simple definition, however, is not Aristotle’s own definition. In fact, he does not define predication but attaches his almost in a new field used word κατηγορεῖσθαι to λέγεται. In a predication, something is said of another thing, or, more simply, we have ‘something of something’ (ἓν καθ᾿ ἑνὸς). (PsA. , A, 22, 83b17-18) Therefore, a relation in which two terms are posited (...) to each other in a way that one is said (predicated) of the other is a predication. The term of which the other term is said is called a subject (ὑποκειμένον) and the other, which is said about the subject, is called the predicate. Thus, in a predication the predicate is predicated of the subject; given that being predicated is almost as the same as being said. The relation between being said and being predicated is so close that ‘if something is said of a subject both its name and its definition are necessarily predicated of the subject.’ (Cat., 5, 2a19-26) This, however, is true only about the second genera and not the accidents. a) Nature of relation in predication What is Aristotle’s theory about the nature of the relation in a predication? How does he fundamentally understand this relation? Phil Corkum distinguishes between predication logic and traditional term logic and argues that the relation between subject and predicate in Aristotle is of the latter kind. While in predicate logic, subjects and predicates have distinct roles, they have the same role in traditional term logic. In predication logic, subjects refer, but predicates characterize. Thereupon, a sentence expresses a truth if the object to which the subject refers is correctly characterized by the predicate. In traditional term logic, both subjects and predicates refer and a sentences expresses a truth if both name one and the same thing. He concludes that Aristotle ‘problematically conflates prediction and identity claims’ because while he thinks both subjects and predicates refer, he would deny that a sentence is true just in case the subject and the predicate name one and the same thing. Based on this, Corkum believes that Aristotle’s core semantic is not identity but the weaker relation of constitution, which is a mereological interpretation: ‘All men are mortal’ is true just in case the mereological sum of humans is part of the mereological sum of mortals. b) Aristotle’s theory of predication: one or two theories? Frank Lewis finds an inconsistent gap between the theory of predication in the Categories and that in the later books of the Metaphysics VII, 6. So too Joan Kung, Terry Irwin, Daniel Graham. c) Distinction of ‘being said of’ and ‘being in’ Owen enumerates the texts in which Aristotle’s distinction between ‘being said of’ and ‘being in’ is asserted: OI. 11b38-12a17; To., 127b1-4; Cat. 1a20-b9; 2a11-14; 2a27-b6; 2b15-17; 3a7-32; 9b22-24 d) Predication in Aristotle and the standard ‘S is P’ Marie De Rijk Lambertus thinks that the ‘S is P’ pattern is misleading when it comes to express predication in Aristotle. In his view, ‘The Aristotelian procedure should be described in terms of appositively assigning an attribute (κατηγορούμενον) to a substrate (ὑποκείμενον), rather than ascribing a predicate to a subject by means of a copula…. The comment should be considered an attribute which is said to fall to a substrate, without understanding this procedure in terms of sentence predication.’ e) Aristotle’s predication: bipartite or tripartite? It is a difficulty to make Aristotle’s theories of name-verb predication and tripartite predication consistent. The reason is that tripartite is not consistant with his name-verb structure based on which he says that the predicate term is the ‘verb.’ (20a31; 20b1-2; 16a13-5) The problem is that in a tripartite form like ‘Socrates is white’ we cannot take ‘is white’ as the verb because, based on Aristotle himself, no part of a verb can be significant itself. (16b6-7) However, his assertions about the equivalences between the two structures (OI. 12, 21b9-10; PrA. 51b13-16; Met., 1017b22-30) must mean that they are not inconsistent in his own view. Thus, as Allen Bāck points, ‘Aristotle seems to think that he has a single, consistent theory.’ The sense of saying or speaking as the root sense of rhema makes the relation between predication (saying something of something) and verb more interesting. The use of rhema in the sense of a long expression approves this. In Plato’s work (399ac) where Socrates claims that the name anthropos derives from anthron ha opopen (‘he who examines what he has seen’) we have an onoma from, or in place of, a rhema. 1) Subject The subject (ὑποκειμένον) is that of which another term is said or predicated. Aristotle’s own definition is of a much more philosophical value: ‘By subject I mean that which is expressed by an affirmative term (λέγω δὲ ὑποκείμενον τὸ κάταφάσει δηλούμενον).’ (Met., K, 1067b18) Throughout Aristotle’s work, three kinds of subjects can be found: possible, prime and absolute subject. a) Possible subject Those things that can take the position of a subject in a predication we call possible subjects, no matter they can or cannot take the position of predicate in any predication. All terms except the ultimate predicates are possible subjects because they can take the position of subject. b) Prime subject Those that in any predication can only take the position of a subject and not the position of a predicate are prime subjects. (Cat., 5, 3a36-b2; Met., Z, 1028b36-1029a1) This is the truest sense of subject and belongs only to substances. (Met., Z, 1029a1-2) In fact, ‘that which is not predicated of a subject, but of which all else is predicated’ is a substance. (Met., Z, 1029a7-9) In Categories, besides primary substances (Cat., 2, 1b3-6), individual qualities are also said not to be able to be said of anything else. (Cat., 2, 1a23-29) Aristotle’s examples are a certain ‘knowledge-of-grammar’ (τὶς γράμματικὴ) and ‘an individual white’ (τὸ τὶ λευκὸν). Thus, although substances are indeed in the truest sense individuals and, thereby, in the truest sense primary subjects, other individuals can take the position of subject as well. c) Absolute subject While substances are prime subjects of all other things, there is still something of which substances can be predicated and this predication is not an accidental predication: matter. (Met., Z, 1029a21-24) This predication is, indeed, the predication of a ‘form or this’ on matter and material substance. (Met., Θ, 1049a34-36) The only thing that is absolutely a subject, therefore, and can be a predicate is prime matter (πρώτη ὓλη). (Met., Θ, 1049a24-27) d) Subject and substance The most important thing in being a substance is being a subject: ‘It is because the primary substances are subjects for all the other things and all the other things are predicated of them or are in them, that they are called substances most of all.’ (Cat., 5, 2b15-17) And what is nearer to this position is more a substance as a species is more a substance than a genus.’ (Cat., 5, 2b7-8) e) Primary versus accidental subject A subject is a primary subject in a predication when the predicate is predicated of it as itself. In such a case, the subject is the subject of the predicate qua itself and not qua something else. A subject, on the one hand, is an accidental subject when it is not the primary subject of the predicate that is predicated on it. It means that a subject is an accidental subject when the predicate is predicated of it not qua itself but qua something else. An accidental subject is, therefore, anything other than a substance. 2) Predicate as universal It is evident from our discussion of kinds of subjects that except matter, primary substances (if we ignore both accidental predication and cases of absolute subjects) and other individuals, everything else can take the position of a predicate. Since primary substances are individuals, it results that everything except matter and individuals are capable to take the position of predicate. The immediate consequence of this is that the predicate must be a universal. When individuals cannot take the position of predicate, this position cannot be taken by any particular. Therefore, only universals can be predicated of others. Moreover, albeit universals can be a simple subject (for another universal), they are not prime subjects. The closeness of universal and predicate is to the extent that Aristotle differentiates universal from subject. (Met., Θ, 1049a27-30) 3) Categories or classes of predicates Aristotle distinguishes ten highest classes into one of which each predicate must necessarily fall: substance (or what a thing is), quality, quantity, relation, place, time, position, state, activity and passivity. (Cat., 4, 1b25-27; To., I, 9, 103b20- ; PsA., A, 22, 83b13-23) The substance counted among predicates must refer to secondary and not primary substances not only because Aristotle insists that primary substances cannot be predicated but also from his own examples of the category of substance: man and animal. (To., I, 9, 103b25) However, if a predicate be asserted of itself or its genus be asserted of it, the predicate signifies substance or what is; but if ‘one kind of predicate is asserted of another kind,’ it signifies one of the other nines. (To., I, 9, 103b30) These categories are so comprehensive that no predicate can remain outside them so that even non-being has as many senses as categories. (Met., M, 1089a26-30) a) That whether Aristotle’s categories are merely linguistic or fundamentally ontological is a so much controversial dispute. Some like G. E. R. Lloyd believe that ‘categories are primarily intended as a classification of reality … rather than of the signifying terms themselves.’ b) Although Aristotle’s categories have been historically regarded as a classification of predications, there are some recent commentators like Jonathan Barnes that think it is classifying predicates and not predications. 4) Kinds of predicates In his introduction of Categories, as J. W. Thorp truly points out , Aristotle distinguishes between the category of substance and the other categories using μὲν ... δὲ construction. This construction illustrates that beside tenfold classification of categories, there is an even more crucial differentiation between two kinds of predicates: substance or what is on the one hand and the other nine ones on the other hand: the distinction between what is predicated of the subject as what it is and what is predicated of it as an accident. Therefore, we have three kinds of classification - a twofold, a fourfold and a tenfold-complicatedly classifying the same thing, viz. the predicate. Predicates can be divided also to four kinds: property, definition, genus and accident. (To., I, 4, 101b11-20) A property is that predicate that is convertible with its subject and does not signify its essence. A definition is that predicate that is convertible with its subject and signifies its essence. It is a genus if it is not predicated convertibly and is contained in the definition of its subject. And it is an accident if it is neither convertible nor contained in the definition of its subject. (To., I, 8, ^103b3) All of these four kinds are among categories. (To., I, 9, 103b20) It seems that there might be some kind of relation between the twofold and the fourfold distinction: whereas genus and definition are predicated as what it is, accidents are not so predicated. There seems to be some rules that determine to each of these four kinds each predicate belongs. At To., IV, 123b30ff. Aristotle asserts: ‘If B has a contrary and A does not, then B does not belong to A as its genus.’ There is a dispute around per se accidents (τὰ καθ’ αὑτὰ συμβεβηκότα) (Topics., 102a18) whether they must be regarded as either of the four kinds or as a fifth kind. Barnes (1970) argued that they ‘do not fit at all neatly into the fourfold classification.’ He argues that based on the definition of accidents at A, 5, 102b4-5, they must be accidents but based on another definition, A, 5, 102b6-7, they cannot be accidents. He also defends the view that they are not properties. Barnes concludes: ‘This shows that the two definitions are not equivalent, and hence that the ‘predicables’ are not well-defined.’ Demetris J. Hadgopoulos defends the view that the two definitions of accidents are equivalent and per se accidents are properties. 5) Five types of predications We have five kinds of predications based on our division of subjects and our discussion of predicates: simple, primary (itself divided to substantial and accident), accidental (itself divided to primary and secondary), aoincidental and absolute predication. a) Simple predication. This is a predication in which a universal is predicated of either a particular or a universal subject. This sense of predication includes all other senses except the first kind of accidental predication. b) Primary predication. This is a predication in which a universal is predicated of a primary subject, namely a substance. A primary predication is of two kinds: i) Substantial predication. A primary predication in which the predicate is part of, or is included in, the definition of the subject. The universal that is the predicate here is the definition or the genus or the species or the diferentia of the subject. It is this predication that Aristotle calls a unity: ‘A statement may be called a unity … because it exhibits a single predicate as inhering not accidentally in a single subject.’ (PsA., B, 10, 93b35-37) It is only substantial predicates that can be predicated of each other: ‘Predicates which are not substantial are not predicated of one another.’ (PsA., A, 22, 83b18-19) Aristotle defines a substantial predication also in another way. A predication in which a higher genus is predicated on a lower genus, species, a substance or an individual, (or a species is predicated on an individual) is a substantial predication. Therefore, a substantial predication is a predication in a series that has individuals on one of its ends and a general category on its other end. In fact, only substantial predicates can be predicated of one another. (PsA., A, 22, 83b17-19) This series cannot be an infinite series because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) -/- ii) Accident predication. A primary predication in which the predicate is not part of, or is not included in, the definition of its subject. The universal that is the predicate here is the property or the accident of the subject. c) Accidental predication. This is a predication in which the subject is not a primary subject and its predicate is a substance. This predication is of two kinds: i) Primary accidental predication. This is a predication in which an accident is predicated of substance. Such a predication can go ad infinitum, which is inferable from Aristotle’s assertion that the secondary accidental predication cannot go ad infinitum. ii) Secondary accidental predication. It is a predication in which an accident is predicated of another accident. Such a predication, Aristotle asserts, cannot go ad infinitum because even more than two accidents cannot be combined. Now what is the meaning of Aristotle’s assertion that we cannot continue this ad infinitum? Does it mean that we cannot continue the predication ‘The musician is white’ and say ‘The white is Athenian?’ But why not? Or maybe he means that by adding any predication, we are still in a condition of predicating two accidents of a substance on each other. -/- As primary subjects, substances can also take the position of predicate though not essentially but accidentally. In propositions like ‘the white is a log’ or ‘That big thing is a log’ we observe substance taking the position of predicate but this is only accidentally: ‘When I affirm ‘the white is a log,’ I mean that something which happens to be white is a log- not that white is the subject in which log inheres (οὐχ ὡς τὸ ὑποκείμενον τῷ ξύλῳ τὸ λευκόν ἐστι), for it was not qua white or qua a species of white that the white (thing) came to be a log (οὔτε λευκὸν ὄν οὔθ᾿ ὃπερ λευκόν τι ἐγἐνετο ξύλον), and the white (thing) is consequently not a log except incidentally.’ (PsA., 22, 83a3-9) Aristotle compares this accidental use of substance in the position of predicate with the substantial use of it in the place of a subject: ‘On the other hand, when I affirm ‘the log is white,’ I do not mean that something else, which happens to be a log, is white (οὐχ ὃτι ἓτερόν τί ἐστι λευκόν, ἐκείνῳ δὲ συμβέβηκε ξύλῳ εἶναι), (as I should if I said ‘the musician is white,’ which would mean ‘The man who happens also to be a musician is white’); on the contrary, log is here the subject- the subject which actually came to be white, and did so qua wood or qua a species of wood and qua nothing else.’ (PsA., 22, 83a8-14) Aristotle asks us not to call propositions like ‘The white is a log’ a predication at all or at least call them accidental predication instead of simple (ἁπλως) predication. (PsA., A, 22, 83a14-17) An accidental predication, in which we have a substance in the place of predicate, is different from an essential predication in that while the subject of an accidental predication is said to be the predicate not by itself but as something different with which it coincides, the subject of an essential predicate is said to be the predicate by itself and not because it is something else: ‘Since there are attributes which are predicated of a subject essentially and not accidentally- not, that is, in the sense in which we say ‘That white (thing) is a man,’ which is not the same mode of predication as when we say ‘The man is white’: the man is white not because he is something else but because he is man, but the white is man because ‘being white’ coincides with ‘humanity’ within one subject. Therefore, there are terms such as are essentially subjects of predicates. (PsA., A, 19, 81a24-29) This capability of ‘non-essentially and only accidentally’ being a subject does belong, in fact, to all sensible things. (PsA., A, 27a32-36) d) Coincidental predication. this is a predication in which none of the subject and predicate are a substance or an individual. In this predication, one of the accidents of a substance or individual is predicated of one of the other accidentals of the same substance or individual. For example, when it is said that ‘The white is musical,’ there is an individual, say Socrates, for which both of white and musical are accidents. e) Absolute predication. This is a predication in which a form or a substance is predicated of a matter or a material substance. Some commentators like Loux and Lewis regarded this predication as close to accident predication, both based on inherence. As R.M. Dancy points out, these predications make Aristotle’s theory of predication immanentist: not only accident predications are explained by the immanence of accidents in substances, some of the substantial predications, which were not explained in Categories, are also explained by the immanence of form in matter. It is interesting that in this kind of predication, it is the predicate and not the subject, which is in the strictest sense substance. As the central books of Metaphysics claim, the form is the substance. Thus, in this predication, substance gets away from the sense of ὑποκείμενον. Corkum mentiones 68a19 as the only instance where Aristotle explicitly claims that a term may be predicated of itself, a passage that is, in Corkum’s view, problematic. 6) Demonstrable predicates Those predicates are demonstrable that are so related to their subjects that there are other predicates prior to them predicable of their subjects (ἔτι δ᾿ ἄλλος, εἰ ὧν πρότερα ἄττα κατηγορεῖται). (PsA., A, 22, 83b32-34) 7) Series of predications Since it is possible for a predicate to be itself the subject of another predication, we can have a series of predications in which the predicate of a predication is the subject of the next predication. This series has the following features: a) It has a limit (in number) (PsA., A, 22, 83b14-16) on the side of subjects: there are subjects that cannot themselves be predicated (PsA., A, 27, 43a39-41), which are, as we noted, prime subjects: particulars, i.e. prime substances and other individuals. (PsA., A, 19-22) Aristotle calls them ultimate (ὓστατον). (PsA., 21, 82a36-b1) b) It has a limit (in number of kinds) (PsA., A, 22, 83b14-16) also on the side of predicates: there must be predicates that cannot be subjects. (PsA., A, 19-22; PsA., A, 27, 43a36-39) Aristotle calls them primary (πρῶτον). (PsA., A, 21, 82b1-4) These are the highest categories or the highest genera of categories. (PsA., A, 22, 83b14-16) c) The series has an escalating shape from mere subjects at its downside to mere predicates at its upside. It is Aristotle himself whos uses the words up and down in this sense. (e.g. PsA., A, 22, 83b2-3) d) The predications that lie between lowest and highest ones must be finite in number. (PsA., A, 19-22 especially: 20, 82a21-35) These have subjects and predicates, each capable of both of the roles of being subject and being predicated. A result of this fitness is that neither demonstration can go to infinity nor everything is demonstrable, the two points Aristotle always insist on. e) The upward side includes the more universal ones and the downward the more particular ones. (PsA., 20, 82a21-23) f) It follows from the above features that ‘neither the ascending nor the descending series of predications … are infinite.’ (PsA., A, 22, 83b24-25) g) Reciprocation and convertibility. Except in case of terms (i.e. subjects and predicates) that are at each of the ends of series of predications, namely ultimates and primaries, it is possible to reciprocate (ἀντιστρέφειν) terms and convert the predication. (PsA., A, 19, 82a15-20) h) Antipredication. Antipredication means that in a predication (S is P), the subject becomes the predicate of its predicate (P is S) in the same category its predicate was predicated on it. For example, if P is in the category of quality, antipredication means that S be predicated of P in the category of quality. In other words, P is a quality of S and S is a quality of P. Aristotle rejects this. (PsA., A, 22, 83a36-b3) i) Self-predication versus other-predication. Aristotle distinguishes between a predication in which a term is said of itself and a predication in which a term is said of another. (Phy., Δ, 2, 209a31-33) j) Predicablity (Cat., 5, 3a36-b2): 1) Primary substances and individuals are not predicable. 2) Secondary substances are of two kinds: genus and species i) Genus is predicable able both of the species and of the individuals. ii) Species is predicable of the individual. 3) Differentiae are predicable both of the species and of the individuals. 8) Predication as classification a) Richard Patterson believes that Aristotle’s so repeated construction using hoper (estin A hoper B) in Topics (120a23 sq., 122b19, 26sq., 123a, 124a18, 125a29, 126a21, 128a35. Also in Posterior Analytics (83a24-30) (Brunschwig’s list. ‘expresses the fact that A is a kind of B (esti A B tis), that A is a species of the genus B.’ 9) Universal predication Aristotle defines universal predication (κατὰ παντὸς κατηγορεῖσθαι) as such: ‘wherever no instance of the subject (τῶν τοῦ ὑποκειμέμνου) can be found of which the other term cannot be asserted.’ (PrA., A, 24b27-29) In this predication, the subject is included in another as in a whole (ἐν ὃλῳ εἶναι) and the predicate is predicated of all of the subject (κατὰ παντὸς κατηγορεῖσθαι). (PrA., A, 24b26-27) Attach another discussion we had about ἐν ὃλῳ here. 10) Quantity of predication A predication, truly stated, has a quantity, which is the number of objects under the name of the subject of which the predicate is predicated. The quantity of subject can be stated in four ways: a. Indefinite: when the predicate belongs or does not belong to the subject without any mark to show to haw many of the particulars under the name of the subject it does or does not belong. E.g. ‘Man is white’; ‘Man is not white.’ (PrA., A, 24a20; OI., I, 7, 17b8-12) b. Universal quantity: When the predicate belongs to all or none of the subject. E.g. ‘Every man is animal’; ‘No man is animal.’ (PrA., A, 24a18-19; OI., I, 7, 17b5-6) The contrary of a predication of a universal quality is a predication of a universal quality. E.g. the contrary of ‘Every man is white’ is ‘No man is white.’ (OI., I, 7, 17b20-23) c. Particular quantity: When the predicate belongs (or does not belong) to some of the subject. E.g. ‘Some men are white’; ‘Some men are not white.’ (PrA., A, 24a19-20) d. Single quantity: when the subject is a proper name of only one object. E.g. ‘Socrates is white’; ‘Socrates is not white.’ The contrary of this predication is of a single quantity: ‘Socrates is not white.’ (OI., I, 7, 17b38-18a4) 11) Convertibility of predication. Some predications are convertible, that is, it is possible to change the place of subject and predicate in a true proposition so that the converted proposition remains true. This is supposed to mean that given the truth of a predication, the truth of the converted predication is inferable. The convert form of a predication depends on its quantity. a. Indefinite quantity: This predication has no strictly true convert because its quantity is not stated. b. Universal quantity: It can be converted in two ways: i) A negative universal can be converted to a negative universal in which the terms are changed. E.g. ‘No pleasure is good’ can be converted to ‘No good is pleasure.’ (PrA., A, 2, 25a5-8 and a14-19) ii) An affirmative universal can be converted to an affirmative particular in which the terms are changed. E.g. ‘Every pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a7-9) c. Particular quantity: If it is negative, it cannot be converted but if it is affirmative, it can be converted to an affirmative predication with particular quantity. E.g. ‘Some pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a10-13 and a20-24) d. Single quantity: It cannot be converted. 12) Characteristics of relations between subject and predicate 1. A predicate is of a wider range than its subject. It is based on this fact that Aristotle: a) Prevents individuals to be predicate because there is nothing of which an individual be of a wider range. In other words, it is due to the fact that since an individual is only ‘one particular’ thing and, thus, cannot be of a wider extent than anything that Aristotle prevents them of being a predicate. Matthews, however, thinks we cannot use Socrates, a substance and an individual, in the place of predicate and say it of Socrates because ‘Socrates does not classify Socrates: it names him.’ b) Prevents differentia, species and things under species to be predicated of genus. (To., Z, 6, 144a27-) c) Prevents the species and the things under it to be predicated of the differentia. (To., Z, 6, 144b1-4) d) Also about the effect because it is wider than its subject. (PsA., B, 17, 99a) e) Each attribute is wider than every individual it is predicated on, though several attributes, collectively considered, might not be wider but exactly the substance of a thing. (PsA., B, 13, 96a32-b1) 2. The predicate of a predicate of a subject will be predicated of the subject too: ‘whenever one thing is predicated of another as of a subject, all things said of what is predicated will be said of the subject too.’ (Cat., 3, 1b10-15) In fact, it is due to its predication of the subject that it is predicated of its predicate. (Cat., 5, 2a36-b1) Moreover, what is not predicated of the predicate of a subject cannot be predicated of it as well. (PrA., A, 27, 43b22-27) Thus, what, for example, is not predicated of animal, cannot be predicated of man. 3. The predicate of a subject can be predicated of its predicates as well. (Cat., 5, 3a1-6) For example, you call the individual man grammatical and, thence, you call both a man and an animal grammatical. Nonetheless, the predicate of a subject belongs to it more properly than to its higher predicates. (PrA., A, 27, 43a27-32) 4. It is only the subject that can be distributed and not the predicate. (PrA., A, 27, 43b16-22; OI, I, 7, 17b12-16) Therefore, we can say e.g. ‘Every man is animal’ but we cannot say ‘Every man is every animal.’ 5. It is the reason of the relation between subjects and predicates, that is the reason of predication, which is the subject of inquiry. (Met., Z, 1041a20-24) In other words, since it is a meaningless inquiry to ask why a thing is itself (Met., Z, 1041a14-15), the only remaining meaningful inquiry is to ask why something is something else, i.e. to ask about the reason of predication. 6. A subject cannot categorize its predicate in the same category in which it is categorized by it. If e.g. A is a quality of B, B cannot be a quality of A. Therefore, there is no reciprocation in the same category. (PsA., A, 22, 83a36-39) 13) Characteristics of series of predications 1. A series of secondary accidental predication cannot go ad infinitum for not even more than two terms can be comnbined. For an accident is not an accident of an accident, unless it be because both are accidents of the same subject. (Met., Γ, 1007b1-4) 2. Infinite series cannot be traversed in thought. (PsA., A, 22, 83b6-7) 3. The predications of genera on each other must be ended and cannot go to infinity because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) Therefore, a series of predication of genera on each other must be limited on both sides. There must be an upward limit in general categories as well as a downward limit in individual because they cannot be predicated of others. Whatever lies between these limits can both be predicated of others and others be predicated of them. (PrA., A, 27, 43a36-43) 4. The order of predicates matters: it makes a difference whether the series be ABC or BAC. (PsA., B, 13, 96b25-32) . (shrink)

A. Accident 1. We call an accident (συμβεβηκὸς) that which attaches to something and can be truly asserted, but neither of necessity nor usually.’ (Met. , Δ, 1025a14-16) 2. Whenever an accident attaches to a subject, it attaches to it not because it is that subject (μὴ διότι τοδὶ ἧν). (Met., Δ, 1025a21-24) 3. ‘There is no definite cause for an accident, but a chance cause, i.e. an indefinite one.’ (Met., Δ, 1025a24-25) 4. ‘The accident has happened or exists, -not (...) in virtue of itself, however, but of something else. (Met., Δ, 1025a28-29) 5. ‘What attaches to each thing in virtue of itself but is not in its substance is an accident.’ (Met., Δ, 1025a30-32) 6. ‘An accident is something which, though it is … neither a definition nor a property nor a genus, yet belongs to the thing.’ (To., I, 5, 102b4-) 7. An accident is ‘something which may either belong or not belong to any one and the self-same thing, as (e.g.) being seated may belong or not belong to some self-same thing.’ (To., I, 5, 102b4-) 8. ‘There is nothing to prevent an accident from becoming a temporary or relative property … [and] there is nothing to prevent an accident from becoming both a relative and a temporary property; but a property absolutely it will never be.’ Aristotle’s example is ‘being seated.’ That it is a temporary property is evident. It is also a relative property to those who are not seating when he is the only person sitting. Therefore, it is a temporary and also a relative property. 9. ‘In the case of accidents and in no other it is possible for something to be true in a certain respect and not universally’ and ‘there is nothing to prevent an attribute belonging in part’ so that it is open to dispute accidents e.g. being white or just about a man because he might be white or just in part only. Thus, ‘conversion is not a necessary process in the case of accidents.’ (To., B, 1, 109a9-) B. Essential versus accidental Aristotle distinguishes between two senses of being (τὸ ὄν): accidental sense (κατὰ συμβεβηκός) and essential sense (καθ᾿ αὑτό). The accidental sense happens when something is said to be another thing while there is in fact a third thing which is both of them. Thus, being the first thing is not by itself the second thing. a) Aristotle speaks of three ways in which one thing is said in an accidental sense to be another. (Met., Δ, 1017a8-22) i) When both the subject and the predicate are accidents of a third thing and it is in fact the third thing which ‘is’ by its own. Thus, when it is said e.g. that ‘The just is musical’ it is said accidentally because it is in fact a third thing, Socrates for example, which is just and musical. (Met., Δ, 1017a13-19) ii) When that to which the attribute belongs is. The example of this must be ‘the man is musical’ because it is in fact the man which is. iii) When the subject which has as an attribute that of which it is itself predicated, itself is. The example of this must be Aristotle’s third example: ‘The musical is man.’ b) Aristotle rejects the essential sense to categories: ‘Those things are said in their own right to be that are indicated by the figures of predication; for the senses of ‘being’ are just as many as these figures.’ (Met., Δ, 1017a22-24) Aristotle does not give us any example of the essential sense. Daniel W. Graham suggests that while essential predication is of the logical form of ‘S is P,’ the logical form of the accidental predication is ‘S has P.’ Although he concedes that the is/has contrast is not Aristotle’s, for which he thinks Aristotle prefers ‘said of’/’in’ terminology, he points to the discussion of ‘have’ in Cat. 15 as an evidence of its potential value for an analysis of predication. Kirwan analyses the distinction of essential and accidental predicate as such: while essential predicates ‘are identical with the subjects of which they are predicated; other predications are true in virtue of the fact that two distinct items, e.g. a substance and a quality, ‘coincide.’ Herman Weidemann believes ‘what divides a predicative statement which predicates essentially from a predicative statement which predicates accidentally is the fact that the former does- whereas the latter does not- answer the question what its subject cannot fail to be without ceasing to exist, as the somewhat its subject goes on existing, no matter what happens to be true of it during its existence, or, what kind of things its subject must be in order to be identifiable as one and the same object as long as it exists.’ C. Essential 1. Either the formula or the name of the subject of an essential attribute is involved in it. For example, animal is involved in female but not in white. (Met., Z, 1030b23-26) 2. Essential attributes, combined together, form a unity. Thus, e.g. animal and biped form a unity because they are both essential of man. (OI., II, 11, 21a14-16) 3. Aristotle distinguishes between two kinds of essential attributes (PsA., A, 4, 73a34-b3; 22, 84a12-17): a) Those attributes that belong to their subject as elements in its essential nature as e.g. line belongs to triangle or point to line. Here the very being of triangle is composed of line or that of line is composed of points: line is contained in the formula of triangle and point in that of line. b) Those attributes whose subjects are contained in their own defining formula as e.g. straight is an essential attribute of line because line is part of the defining formula of straight or odd belongs to number because number is part of the defining formula of odd. Every attribute that is related in neither of these two ways to its subject, it is not an essential but an accidental attribute. (PsA., A, 4, 73b3-5) 4. That attribute which is not predicated of a subject other than itself is an essential attribute. A substance cannot be predicated of anything but itself and is, thus, essential. (PsA., A, 4, 73b5-10) 5. A thing consequently co-stated with anything is essential. For example, if a beast dies when its throat is being cut, its death is also essentially connected with the cutting because the cutting was the cause of death, not death a coincidence of cutting. (PsA., A, 4, 73b10-15) 6. Essential attributes in both of this sense, either in the sense that their subjects are contained in them or in the sense that they are contained in their subjects, are necessary as well as consequently co-stated with their subjects. The reason is that it is impossible for them to inhere in their subjects either simply or in the qualified sense (that one or other of a pair of opposites must inhere in the subject as e.g. one of straight or curve must be necessarily predicable of a line or one of odd or even of number). (PsA., A, 4, 73b16-21; 6, 74b5-12; B, 96b1-5) 7. Only those attributes that are within a genus are essential and possessed by their respective subjects as such and, thus, are necessary. Thereupon, both the conclusion and the premises of demonstrations which produce scientific knowledge are essential. (PsA., A, 6, 75a28-31) Therefore, ‘the extreme and the middle terms must be drawn from the same genus; otherwise, as predicated, they will not be essential and will thus be accidents.’ (PsA., A, 6, 75b10-12) Also, the theorems of a science can be demonstrated by means of another science only when they are related as subordinate to superior. (PsA., A, 6, 75b13-) 8. Our knowledge of the connexion of an attribute with a subject is essential only when ‘we know that connexion through the middle term in virtue of which it inheres (καθ᾿ὃ ὑπἀρχει), and as an inference from basic premises essential and ‘appropriate’ to the subject.’ The essential belonging of the middle to the minor has a necessary connexion with its belonging to the same genus of the major and minor: ‘If that middle term also belongs essentially to the minor, the middle must belong to the same genus as the major and minor terms (ἀνάγκη τὸ μέσον ἐν τῇ αὐτῇ συγγενείᾳ εἶναι). (PsA., A, 9, 76a4-9) 9. In an essential predication, the predicate is signified of a subject identical with itself or with a species of itself. Since only predicates which signify substance signify that the subject is identical with the predicate or with a species of the predicate, predicates signifying substance are essentially predicated and any other predicate is accidental or coincidental. Thus, while animal is essentially predicated of man because man is identical with a species of animal, white is accidentally predicated of man because man is neither identical with white nor a species of it. (PsA., A, 22, 83a24-32) Weidemann discusses the confusion between essential predications and statements of identity. He warns that the expression ‘(to be) just what a man is’ (analogous to the Greek phrase ‘(εἶναι) ὃπερ ἀνθρώπον) ought not to be confused with the expression ‘just what it is for a man to be,’ which renders the phrase τὸ ὃπερ ἀνθρώπῳ εἶναι’ (1007a22, 23, 27-28); a confusion Kirwan discusses. 10. ‘Demonstration proves the inherence of essential attributes in things.’ (PsA., A, 22, 84a11-12) 11. ‘Nothing which does not happen to belong to the genus is essentially the genus; e.g. a white man is not essentially a color.’ Thus, while justice falls within the genus, a just man does not. (To., Γ, 1, ^116a24-) 12. There is no syllogism of essence (ti esti). Nevertheless, we come to know ti esti through a demonstration. (93b15-20; cf. 93b25-28) D. Accidental 1. An accidental attribute cannot be predicated of a subject universally. Thus, we cannot say ‘Every man is musical.’ The reason is that ‘universal attributes belong to things in virtue of their nature.’ Therefore, accidental predicates are predicated only of the individuals. (Met., Δ, 1017b33-1018a2) 2. An accidental is a mere name. (Met., E, 1026b13-) 3. An accidental is obviously akin to non-being. (Met., E, 1026b21) 4. ‘That which is neither always nor for the most part we call accidental.’ (Met., E, 1026b27-33) 5. The matter (ὕλη) is the cause of the accidental because it is matter which is capable of being otherwise than as it for the most part is. (Met., E, 1027a13-16) In fact, there is cause or principle of the incidental of the same kind as there are of the essential because if there were, everything would be of necessity. (Met., K, 1065a6-8) The causes of accidental are unordered and indefinite. (Met., K, 1065a25-26) 6. Since all science is either of that which is always or of that which is for the most part, there is no science of the accidental. (Met., E, 1027a19-24; K, 1064b30-1065a6) Therefore, since an accident may also not inhere and, thus, it is impossible to prove its inherence as a necessary conclusion, there is no demonstrative knowledge of accidents. (PsA., A, 6, 75a18-23) 7. The accidental is not necessary but indeterminate. (Met., K, 1065a24-26) 8. The co-positing of a subject and a predicate which are accidental either to the same subject or to one another, whiteness and being musical for instance, does not form a unity. (OI, II, 11, 21a7-14) 9. Negative predicates, i.e. predicates including a ‘not,’ are accidental predicates. Thus, if good be an essential predicate of a subject, ‘not bad’ cannot be essential but is accidental. (OI., II, 14, 23b15-20) 10. Every attribute which does not belong to its subject in either of two senses of essential attribute (cf. PsA., A, 4, 73a34-b3), namely, belonging to their subjects as an element of its formula or their subjects belonging to them as an element of them, is an accidental attribute. (PsA., A, 4, 73b3-5) 11. Those attributes that are predicated of a subject other than themselves are accidental attributes. Thus, everything except substance is an accidental in this sense. (PsA., A, 4, 73b5-10) 12. A thing not consequentially connected with anything is accidental. For example, in ‘while he was walking it lightened,’ the lightening was not due to his walking but was a coincidence. (PsA., A, 4, 73b10-15) 13. Those attributes that are not within a genus are accidental attributes. (PsA., A, 6, 75a28-31) Therefore, the extreme and middle terms that are not drawn from the same genus are accidents. (PsA., A, 6, 75b10-12) Moreover, to apply an attribute to subjects in different genera afford knowledge of the attribute, only as inhering accidentally, not as belonging to its subject as such.’ (PsA., A, 9, 75b38-76a3) . (shrink)

There are at least two discussions about Pythagoreans in Aristotle’s works that can be related to paradigm, both in Book A of Metaphysics. In the first, Aristotle says that for Pythagoreans all the things are modeled after numbers (τὰ μὲν ἄλλα τοῖς ἀριθμοῖς ἐφαίνετο τὴν φύσιν ἀφωμοιῶσθαι πᾶσιν). (Met., A, 985b32-33) In the second, Aristotle tells us that Pythagoreans take ‘the first subject of which a given term would be predicable (ᾧ πρώτῳ ὑπάρξειεν ὁ λεχθεὶς ὃρος)’ as the substance (...) of the thing. His example is double and two: since two is the first thing of which double is predicated, double will be the substance of two. (Met., A, 987a22-25) 1) Forms as paradigms Some of the critiques of platonic Forms in Aristotle’s works are paradigm-oriented: they attack Plato’s theory on the basis that Platonians considered Forms as paradigms. The core of all Aristotle’s objections is that calling Forms paradigms is a mere poetical strategy and does not have any real effect. (Met., 991a20-22; M, 1079b24-26) We can recognize four reasons for Aristotle’s objections of forms as paradigms: a) To consider something as the paradigm of another thing to which it is like does not have any ontological effect: ‘For what it is that works, looking to the ideas? Anything can either be, or become, like another without being copied from it, so that whether Socrates exists or not a man might come to be like Socrates.’ (Met., A, 991a22-26; M, 1079b26-29) Therefore, paradigms are ontologically unnecessary: ‘It is quite unnecessary to set up a form as a paradigm … the begetter is adequate to the making of the product and the causing of the form in the matter.’ (Met., Z, 1034a2-5) Don’t these cases imply that Aristotle did have more the ontological necessity of paradigm in thought instead of its epistemological necessity? b) To consider Forms as paradigms means that a thing must have several paradigms; e.g. animal and too-footed and man will be paradigms of the same thing. (Met., A, 991a27-29; M, 1079b31-33) c) The theory that Forms are paradigms not only of sensible things but also of themselves makes the same thing both a paradigm and a copy (ἐικών). (Met., A, 991a29-b1; M, 1079b33-35) 2) Reasoning by paradigm Aristotle compares the arguments using paradigms to his own theory of syllogism: ‘We have an ‘example’ (παράδειγμα) when the major term is proved to belong to the middle by means of a term which resembles the third. It ought to be known that the middle belongs to the third term, and that the first belongs to that which resembles the third. For example, let A be evil, B making war against neighbors, C Athenians against Thebians, D Thebians against Phocians. If then we wish to prove that to fight against Thebians is an evil, we must assume that to fight against neighbors is an evil. Evidence of this is obtained from similar cases, e.g. that the war against the Phocians was an evil to Thebians. …Now it is clear that B belongs to C and to D (for both are cases of making war upon one’s neighbors) and that A belongs to D (for the war against the Phocians did not turn out well for the Thebians); but that A belongs to B will be proved through D.’ (PsA., B, 24, 66b38-69a11) An ‘example’ can also be made by several similar cases. (PrA., B, 24, 69a11-13) Aristotle notes (PrA., B, 24, 69a13-24) that reasoning by paradigm is ‘neither like reasoning from part to whole nor like reasoning from whole to part but is rather a reasoning from part to part, when both particulars are subordinate to the same term, and one of them is known.’ And it differs from induction in two ways: a) While induction uses all the particular cases to prove that the major term belongs to the middle, reasoning by paradigm does not draw its proof from all the particular cases. b) While induction does not apply the syllogistic conclusion to the minor term, reasoning by paradigm does make this application. (PrA., B, 24, 69a13-24) . (shrink)

Definition has the following features in Aristotle’s philosophy: 1. Each thing has only one definition and ‘it is impossible that there should be more than one definition for the same thing.’ (To., Z, 5, 142b^25; cf. To., Z, 4, 141a26) 2. Definition is ‘a formula of the essence’ (Met., H, 1042a17-18) and, thus, signifies the essence of the thing. (To., I, 5, ^101b30-) About the relation between definition and essence Aristotle regards three possibilities (PsA., B, 94a11-14): a) A definition as (...) an indemonstrable statement of essential nature. b) A definition as a syllogism of essential nature differing from demonstration in grammatical form. c) A definition as the conclusion of a demonstration giving essential nature. 3. ‘The definition is a formula and a formula has parts.’ (Met., H, 1042a18-20) Therefore, only the composite substances are definable and the primary parts of a composite substance are not definable. The reason is that ‘a definitory formula predicates something of something and one part of the definition must play the part of matter and the other that of form.’ (Met., H, 1043b28-32) Thus, definition is a sort of number: a divisible including indivisible parts. (Met., H, 1043b32-36) 4. To define a thing, one should give the species or the genera of the thing which are the only other things that can be substances of it and not its accidents. (Cat., 5, 2b31-36) Aristotle also brings differentiae into the definition: ‘There is nothing in the definition except the first-named genus and the differentiae. The other genera are the first genus and along with this the differentiae that are taken with, e.g. the first may be animal, the next animal which is footed, and again animal which is two-footed and featherless and …’ (Met., Z, 1037b28-33) Among genera the nearer genera are more informative because they are more distinctive and less general. (Cat., 5, 2b10-13 and b32-34) However, to give the species is always more informative and apt than giving the genus. (Cat., 5, 2b8-10) 5. Primary substances admit the definition of the species they are their individuals and of their genera. In the same way, species admit the definition of the genus. The reason is that everything said of the predicate can be said of the subject. (Cat., 5, 3b2-6) Therefore, everything admits the definition of its higher classes. 6. ‘Both the species and the individuals admit the definition of the differentia.’ (Cat., 5, 3b6-7) 7. A formula exhibiting the cause of a thing’s existence is a definition. (PsA., B, 10, 93b38-94a1) 8. It is possible to achieve the definition by division only if we keep three conditions in view (PsA., B, 97a23-26): a) The admission only of elements in the definable form. b) The arrangement of these elements in the right order c) The omission of no element in the definable form The process of division (PsA., B, 97a37-b6) is the process of dividing the genus by its differentia to the right species, the one that the subject accepts as its predicate, and again dividing the whole such searched by its right differentia to a predicable species. This process will be continued until we reach to that which is not further divisible, ‘i.e. that as soon as we have taken the last differentia to form the concrete totality, this totality admits of no division into species.’ In this way we achieve to a series of elements all in the definable forms without superfluous addition and without omission of any necessary element. This series includes the primary genus with all the differentia until it achieves to that which would admit of no division. The second condition, the right order, is the order in which that which is posited as primary be the one that is predicable of all of the other and not vice versa. The order must, then, be from more predicables to less predicables: ‘The right order will be achieved if the right term is assumed as primary, and this will be ensured if the term selected is predicable of all the other but not all they of it; since there must be one such term. Having assumed this, we at once proceed in the same way with the lower terms; for our second term will be the first of the remainder, our third the first of those which follow the second in a ‘contiguous’ series, since when the higher term is excluded, the term of the remainder which is ‘contiguous’ to it will be primary, and so on.’ (PsA., B, 97a26-34) 9. Things that are not the same must have different definitions. However, this does not mean that things that are the same must necessarily have the same definition. (To., I, 5, ^102a17-) 10. ‘Everything applicable to property and genus and accident will be applicable to definition as well.’ (To., I, 6, 102b27-) 11. ‘A name, e.g. ‘round’, means vaguely a sort of whole: its definition analyses this into its particular senses.’ Definition must be done through terms that are prior and more familiar and ‘anyone who has not defined a thing through terms that are prior and more familiar has not defined it at all.’ (To., Z, 4, 141a26-) It is indeed this very point that is the basis of definition by genus and differentiae: ‘A correct definition must define a thing through its genus and its differentiae, and these belong to the order of things which are without qualification more familiar than, and prior to, the species.’ (To., Z, 4, 141b^15-) This more familiarity, however, must be without qualification, i.e. not more familiar to certain people or in certain times. Otherwise, definition could not come always to be one and the same. (To., Z, 4, ^142a1-) . (shrink)

A lean hylomorphism stands as a metaphysical holy grail. An embarrassing feature of traditional hylomorphic ontologies is prime matter. Prime matter is both so basic that it cannot be examined (in principle) and its engagement with the other hylomorphic elements is far from clear. One particular problem posed by prime matter is how it is to be understood both as a principle of individuation for material substances and as pure potency. I present Thomas Aquinas’s way of squeezing some intelligibility out (...) of prime matter by modeling it on the idea of logical genus. Such a modeling provides insight into understanding prime matter as substratum, as maximally indeterminate, and as ontologically vague. One of the unusual but exciting things that fall out from this analysis of prime matter is the Entirety Thesis: “For any substance x, if x has prime matter then the prime matter of x is the same* as x,” where ‘same*’ is understood as “indeterminately identical.”. (shrink)

The following are the characteristics of a genus: 1. Those to which the same figure of predication applies are one in genus. (Met. , Δ, 1016b32-35) 2. Things that are one in genus are all one by analogy while things that are one by analogy are not all one in genus. (Met, Δ, 1016b35-1017a3) 3. A genus includes contraries. (Met., Δ, 1018a25-31) 4. All the intermediates are in the same genus as one another and as the things they stand between. (...) (Met., I, 1057a18-30; 1057b31-34) 5. Not every predicate is a genus of what it is predicated on; for this would equate a genus with one of its own species. (PsA., A, 22, 83b7-10) 6. The opposite of the genus should always be the genus of the opposite. (To., Δ, 4, ^125a27-29) 7. A genus divides the object from other things. (To., Z, 3, 140a^24) 8. None of unity and being is a genus. (Met., B, 998b22-27; Met., K, 1059b31-34; PsA., B, 7, 92b12-14) 9. There is no necessity or even no possibility that things that are the same specifically or generically should be numerically the same. (To., H, I, 152b30-) 10. To be called one due to having one genus is in a way similar to be one due to having the same matter. (Met., Δ, 1016a24-28) 11. The substance of a thing involves its genus, and thereby all the higher genera are predicated of the lower. (To., Z, 5, 143a^20- ) 12. Being falls immediately into genera. (Met., Γ, 1004a4-6) A. Characteristics of relations between genera The characteristics of relations between genera, the relations between genera and species excluded, are as follows: 1. Genus is not an element in the composition of things. (Met., I, 1057b20-22) 2. Things resulting from the same division of the same genus are simultaneous by nature. (Cat., 13, 15a3-4) 3. Processes of proof cannot pass from one genus to another. (PsA., A, 23, 84b14-18) 4. It is not necessary for subordinate genera to have different accounts. (To., I, 15, ^107a19-) E.g. when we say a raven is a bird, we also say it is a certain kind of animal. 5. It is necessary for genera that are not subordinate one to the other to have different accounts. (To., I, 15, ^107a27-30) E.g. whenever we call a thing an engine, we do not call it an animal, nor vice versa. 6. If one of the genera is predicated in what it is, all of them, both higher and lower than this one, if predicated at all of the species, will be predicated of it in what it is; so that what has been given as genus is also predicated in what it is. (To., Δ, 2, ^122a10) 7. The same object cannot occur in two genera of which neither contains the other. (To., Z, 139b32-140a2) 8. Those to which the same figure (σχῆμα) of predication applies, are the same in genus. (Met., Δ, 1016b32-35) 9. Attributes that inhere always in each several things can be divided to two groups: those that are wider in extent but not wider than its genus and those wider than its genus. (PsA., B, 13, 96a24-27) 10. The relation between A and B must be extendable in respect of all the genera of A. Thus, if A is double of B, it must also be in excess, the genus of double, to B. Aristotle accepts, however, that this may be objectable in some cases: while knowledge is called knowledge of an object of knowledge, it cannot be called a state and disposition (which is the genus of knowledge) of an object of knowledge. In fact, it is a state and disposition of the soul. (To., Δ, 4, 124b28-34) B. Characteristics of species The following are the characteristics of species: 1. Things are said to be other in species if they are of the same genus but are not subordinate the one to the other. (Met., Δ, 1018a38-b2; Met., I, 1057b35-37) 2. Contraries are other than one another in species. (Met., Δ, 1018b5-7; Met., I, 1058b26-) 3. It is not sufficient for a difference to be the basis of distinguishing species in a genus because it belongs to the genus in virtue of its nature as, e.g., the difference between men and women belongs to animal in virtue of its nature. It must also be a modification peculiar to the genus (οἰκεῖα πάθη τοῦ γένους) in the strongest sense. (Met., I, 1058a29-37) Thus, contraries which are in the formula (ἐν τῷ λόγῳ) make a difference in species, but those which are in the compound material thing do not make one as e.g. being male and female is a difference in matter. (Met., I, 1058a37-b23) 4. Some things are peculiar to the species as distinct from genus: there are attributes peculiar to each distinct species. (PrA., A, 27, 43b27-29) 5. There is no necessity or even no possibility that things that are the same specifically should be the same numerically. (To., H, I, 155b30-) C. Characteristics of relations between genera and species The following are the characteristics of relations between genera and their species: 1. Although species predicated of individuals seem to be principles rather than the genera, it is hard to say, Aristotle asserts, in what sense species are to be taken as principles. (Met., B, 999a14-21) 2. Things that are one in species are all one in genus, while things that are one in genus are not all one in species. (Met., Δ, 1016b35a1) 3. The relation of a species to its genus is like the relation of primary substance to all others: the species is a subject for the genus (ὑπόκειται γὰρ τὸ εἴδος τῷ γένει) and the genera are predicated of the species but the species are not predicated of them. (Cat., 5, 2b17-22) 4. Of the species themselves- those which are not genera- one is no more a substance than another: a certain horse is no more a substance than another horse. (Cat., 5, 2b22-26) 5. Genera are prior to species since they do not reciprocate as to implication of existence (κατὰ τὴν τοῦ εἶναι ἀκολούθησιν). For example, if there is a fish there is an animal, but if there is an animal there is not necessarily a fish. (Cat., 13, 15a4-7) 6. What belongs both to a species and to its genus, it belongs to the species more properly indeed than to the genus. (PrA., A, 27, 43b29-32) 7. A predicate drawn from the genus is never ascribed to the species in a derived form and as its genus. Thus, e.g. coloured cannot be a genus of ‘white’ when we say ‘white is coloured.’ (To., B, I, ^109b1-5) 8. Genera are predicated of their species synonymously because the species take on both the name and the account of their genera. (To., B, I, ^109b3-6) 9. All the attributes that belong to the species belong to the genus as well but there is no necessity that all the attributes that belong to the genus should belong also to the species. (To., B, 4, 111a20-32) 10. Those things of which the genus is predicated must also of necessity have one of its species predicated of them. (To., B, 4, 111a33-) 11. The higher genus should be predicated of the species in what it is. (To., Δ, 2, ^122a6) 12. The species, or any of the things which are under the species, is not predicated of the genus because the genus is the term with the widest range of all. (To., Z, 6, 144a27f.) 13. The same species cannot be in two genera neither of which contains the other. (To., Z, 6, 144b14f.) 14. None of the species of a genus is prior or posterior to other species but they are thought to be simultaneous by nature. (Cat., 13, 14b38-15a1) 15. Daniel W. Graham points that sometimes Aristotle speaks of species as classes (Cat., 5, 2a14-17) and sometimes as properties or a certain character (ποιόν τι) of substances, which is difficult to be distinguished from the category of quality. (Cat., 3b13-22) D. Characteristics of differentia 1. The last differentia will be the substance, the definition and the form of the thing. (Met., Z, 1038a18-28) 2. If we divide according to accidental qualities, there will be as many differentiae as there are processes of division. (Met., Z, 1038a25-28) 3. The differentia divides the object from any of the things contained in the same genus. (To., Z, 3, 140a24-) 4. A. C. Lloyd argues that Aristotle’s logic of classification contains a vicious circle because: ‘For a genus to be predicated unequivocally and essentially of a species the specific differentiae have to be ‘appropriate’; but in order to know whether a proposed differentia is appropriate we have to know whether the genus is predicable essentially of the species thus defined.’ The predication of differentia on primary substance seems to make difficulties in Aristotle’s system, as Terence Irwin points out. It seems to violate the distinction of strong predication and inherence, a distinction between predication of count-nouns and predication of characterizing adjectives. Irwin says that this violation is only apparent because although the differentia-term is an adjective, its gender agrees with the gender of the understood genus-term and not with that of the subject term. ‘Man is biped’ is indeed ‘Man is a biped animal.’ This shows, Irwin asserts, ‘why Aristotle can still mention that strong predication is nominal and inherence is adjectival.’ Differentiae are not, however, secondary substances, as Aristotle himself insists. A differentia does not say what the thing is, as secondary substances do, but only what it is like or what sort it is. (ποιον: To., 122b12-17; 128a20-29; 139a28-31; 142b25-29) Nonetheless, differentiae are not qualities because they are not inherent. Thus, they cannot be regarded in any of the ten categories. Irwin thinks that this anomaly is unnecessary because Aristotle could give good reasons for taking differentiae to be second substances. E. Characteristics of relations between differentia and genera or species 1. It is not possible for the genus to be predicated of the differentia taken apart from the species. (Met., B, 998b23-25; Met., K, 1059b31-33; To., VI, 6, 144a32-b1) 2. It is not possible for the species of the genus to be predicated of the proper differentiae of the genus. (Met., B, 998b24-26) 3. Where the differentia is present, the genus accompanies it, but where the genus is, the differentia is not always present. (Met., Δ, 1014b12-14) 4. The number of species are equal to the number of differentiae. (Met., Z, 1038a15-18) 5. The differentiae of genera which are different and not subordinate one to the other are themselves different in kind. (Cat., 3, 1b16-20; To., I, 15, ^107b19-) 6. There is nothing to prevent genera subordinate one to the other from having the same differentia. (Cat., 3, 1b20-22) 7. Since the higher genera are predicated of the genera below them, all differentiae of the predicated genus will be differentia of the subject also. (Cat., 3, 1b21-24) 8. The definition of the differentia is predicated of that of which the differentia is said. (Cat., 5, 3a25-28) 9. In giving what a thing is it is more fitting to state the genus than the differentia. For example, anyone who says that man is an animal shows what man is better than who describes him as terrestrial. (To., Δ, 6, ^128a24-27) 10. The differentia always signifies a quality of the genus, but the genus does not do this of the differentia. (To., Δ, 6, 128a27-29; To., Z, 6, 144a20-23) 11. A specific differentia, along with the genus, always makes a species. (To., Z, 6, 143b^1-) 12. A genus is always divided by the differentiae that are co-ordinate with it in a division and the differentiae that are co-ordinate in a division are all true of the genus. (To., Z, 6, 143b^1-) 13. Differentia cannot be predicated of the genus because genus is the term with the wider range. (To., Z, 6, 144a27-) In fact, genus is predicated, not of the differentia, but of the object of which the differentia is predicated. (To., Z, 6, 144a^31-b3) 14. Neither species nor the objects under it can be predicated of the differentia because the differentia is a term with a wider range than the species. (To., Z, 6, 144b4-) 15. The differentia is posterior to genus but prior to the species. (To., Z, 6, 144b^9-) 16. The same differentia cannot be used of two genera neither of which contains the other and if they do not both fall under the same genus. Otherwise, the same species will be in two genera neither of which contains the other, which is impossible. (To., Z, 6, 144b14-) 17. Genus and differentia are prior to and more familiar than the species: ‘For annul the genus and the differentia; and the species too is annulled, so that they are prior to the species. They are also more familiar; for if the species is known, the genus and differentia must of necessity be known as well (for anyone who knows what a man is knows also what animal and terrestrial are), whereas if the genus or the differentia is known it does not follow of necessity that the species is known as well; thus the species is less intelligible.’ (To., Z, 4, 141b15-) F. Characteristics of relations in series of classes 1. Mutually exclusive series. If no term in the series ACD… is predicable of any term in the series BEF…, and if G- a term in the former series- is the genus of A, clearly G will not be the genus of B; since, if it were, the series would not be mutually exclusive. (PsA., A, 15, 79b6-11) 2. Atomic disconnection of series. Of two mutually exclusive series ACD and BEF, if neither A nor B has a genus and A does not inhere in B, this disconnection must be atomic. (PsA., A, 15, 79b6-14) G. Characteristics of relations of individuals 1. No individual in a species is more substance than another individual in another species. (Cat., 5, 2b26-28) An individual man, for instance, is no more a substance than an individual ox. 2. Each attribute is wider than every individual it is predicated on, though several attributes, collectively considered, might not be wider but exactly the substance of a thing. (PsA., B, 13, 96a32-b1) 3. Not distinguishing between class membership and class inclusion? Some commentators like Vlastos and Ackrill (1963, 76) criticized Aristotle because he, they believe, did not distinguish between class membership (between species and particulars) and class inclusion (between genera and their species). Having accepted this point, Daniel W. Graham believes it is ‘question-begging in a curious way.’ Phil Corkum thinks that Aristotle employs mereological notions. (This criticism seems so strange because all the Aristotle’s point in distinguishing species 2 from genera is strictly the distinction of class membership and class inclusion as they call them so. (shrink)

Must we choose between reducing material substances to collections of properties, a’ la Berkeley and Hume or positing bare particulars, in the manner of Locke? Having repudiated the notion that a substance could simply be a collection of properties existing on their own, is there a viable alternative to the Lockean notion of a substratum, a being essentially devoid of character? E.J. Lowe and Michael Loux would answer here in the affirmative. Both recommend hylomorphism as an upgrade on the (...) metaphysics of the British empiricists: treating a material substance as its essential 'form,' this embodied 'substance' universal being, in turn, the substratum in which its 'accidents' inhere. Here, I evaluate this Aristotelian metaphysics, identifying the advantages it enjoys over the empiricist's alternatives pertaining to dependence, unity, identity, change, and the distinction between essential and accidental properties. I also develop solutions to the two problems that Loux sees it posing. (shrink)

This paper introduces an innovative analogy between two conceptual trios: 'form, matter, substance' from Aristotelian hylomorphism, and the original 'metaphor, consciousness, emergence' trio, which, while inspired by contemporary philosophy of language, is a novel contribution not previously articulated in the literature. This exploration delves into the intricate interplay of these concepts, seeking to illuminate their profound interconnectedness and its implications for our understanding of reality. By redefining key terms and incorporating the overarching concept of 'thing', this study aims to (...) unravel the complex interplay within these trios and its consequences, thereby challenging conventional interpretations and inviting a reevaluation of fundamental philosophical principles. The analogy seeks not only to provide new perspectives for understanding the intricacies of these concepts but also to expand upon the definitions of the terms themselves. It endeavors to bridge the gap between metaphysical insights and linguistic theories, thereby offering a unique synthesis that contributes to both fields and enhances our conceptual vocabulary. Furthermore, the paper extends the discussion to monistic views of the universe, proposing a synthesis of diverse theories under a single, unifying reality. This approach offers fresh insights, especially in understanding the dynamic nature of consciousness and matter, as well as our perception of reality and creation. Just as Plato's allegory of the cave revealed truths about perception and reality, this paper attempts to uncover deeper metaphysical and linguistic connections. It posits that these connections offer a more comprehensive understanding of the complexities of human cognition and the nature of existence. This analogy represents a metaphorical journey itself, reflecting the continuous quest for deeper understanding in the vast and intricate landscape of philosophical thought. It invites readers to consider the multifaceted nature of reality and its profound impact in shaping our perceptions and understanding of the world. (shrink)

In book Zeta of the Metaphysics and elsewhere Aristotle appears to commit himself to the following propositions: (1) No universal can be substance; (2) Form is a universal; and (3) Form is that which is most truly substance. These propositions appear to constitute an inconsistent triad lying at the heart of Aristotle’s ontology. A number of attempts have been made to rescue Aristotle from the charge of inconsistency. Some have claimed that Aristotle did not subscribe to (1), but (...) only to the proposition that nothing predicated universally can be substance. Others hold that, contrary to (2), form is not a universal but peculiar to each individual. Still others argue that the sense of ‘substance’ in which the species form is a substance is not the sense in which no universal is substance. I argue that none of these attempts to rescue Aristotle from the charge of inconsistency is ultimately defensible. (shrink)

Mark Eli Kalderon presents an original study of perception, taking as its starting point a puzzle in Empedocles' theory of vision: if perception is a mode of material assimilation, how can we perceive colors at a distance? Kalderon argues that the theory of perception offered by Aristotle in answer to the puzzle is both attractive and defensible.

In Physics (Δ, 3, 210a14-24) Aristotle distinguishes eight senses in which one thing is said to be in another thing: 1. Part in whole; e.g. finger in hand 2. The whole in its parts: ‘For there is no whole over and above the parts.’ 3. Species in genus; e.g. man in animal 4. Genus in species (generally: the part of the specific form in the definition of the specific form) 5. Form in matter; e.g. health in the hot and the (...) cold 6. Event in its primary motive agent; e.g. the affairs of Greece center in the king 7. Existence of a thing centeres in its end (in ‘that for the sake of which’ it exists) 8. A thing in place, e.g. a thing in a vessel (‘the strictest sense of all’) Also in Physics (Δ, 3, 210b22-27) he distinguishes between three senses of ‘being in’ one of which is not among the above mentioned list: being in place (sense 8 above), as health is in the hot as a positive determination of it (sense 2 above) and an affection in a body. Since an affection in a body is neither a part in whole, nor a whole in part, nor a species in genus, nor a genus in species, nor a form in matter, nor an event in its motive agenet, nor a thing in its end, nor a thing in place, we must consider it the 9th sense: 9. An affection in its subject It is too strange, however, how this third sense is not among those eight senses while both are in the same page of Physics. It becomes even more strange when we read Categories where we see the crucial role of this last sense in Aristotle’s philosophy. There Aristotle distinguishes between two factors based on which he classifies beings to four classes: ‘being in’ and ‘being said of.’ The only thing he distincts this sense of ‘being in’ from is the first sense of our list, i.e. the sense of a part in a whole. He even does not distinguish it there from being in place, a differentiation he asserts in Physics (Δ, 3, 210b22-27). Nonetheless, we have implications there that: a) It must be differentiated from the sense (4) because it is repeatedly asserted that secondary substances are not in a subject. (Cat., 2 and 5) Thus the fourth sense in which a genus, a secondary substance, is in a species must be other than the ninth sense. b) It must also be different from the second sense because a quality or a quantity or generally an accident in a subject, if we are assumedly allowed to say so, is not a whole in its parts. c) It must also be differentiated from the senses (3), (5), (6) and (7) because no accident is either a species, a form, an event in its primary motive agent or a thing in its end. The origin of the problem of being non-comprehensive of the senses of ‘being in’ in Physics must be somewhere in the difference between Aristotle’s view in Categories and Physics: while in Categories he does not consider the ‘being in’ of quality in its subject as a part that is in, he considers it so in Physics: ‘It is from these, which are ‘parts’ (in the sense at least of being ‘in’ the man), that the man is called white …. So when there are parts, a thing will be in itself, as ‘white’ is in man because it is in body.’ (Phy., Δ, 3, 210b1-8) Whereas in Physics ‘white,’ a quality, is considered a part and its being in body is considered ‘being in’ of a part, it is not a part in Categories. (refer to Categories; cf. Cat., 5,3a29-32) If I am right in my interpretation, we must say that the ninth sense is indeed the same as the first sense and, thus, Physics’ eight partite classification somehow includes the sense mentioned in Categories. The case is not, however, so simple. What is ‘in its subject as its part in Physics is not the same as what is in its subject but not as its part in Categories. What is said to be in its subject in Physics is indeed the surface and not the white: ‘When there are parts of a whole- the one that in which a thing is, the other the thing which is in it- the whole will be described as being in itself. For a thing is described in terms of its parts, as well as in terms of the thing as a whole, e.g. a man is said to be white because his visible surface is white; or he is said to be scientific because his thinking faculty has been trained…. In this sense, then, but not primarily, a thing can be in itself, namely, as ‘white’ is in body (for the visible surface is in body), and science is in the mind.’ (Phy., Δ, 3, 210a30-b1) . (shrink)

Practical research, according to Aristotle, strives to actualize the Supreme Good as the ultimate end of life. The Final Good could be determined if preceded by an outline based on conceptual analysis. For this reason, Aristotle considers agathón (ἀγαθόν), as the universal concept of good, and clarifies its conceptual-categorical structure to explain how we can understand it. In virtue of the similarity between good and existences for their extension of senses (good has as many meanings as existences), Aristotle proceeds to (...) analyze good compared to existence as an absolute philosophical conception. Alongside his comparative study of good and existence, we can consider a metaphysics for good similar to the metaphysics of being and question its possibility. Corresponding to the metaphysics of existence that considers being qua being, one can imagine a metaphysics for good that investigates goodness qua goodness and explores its philosophical characteristics and theoretical attributes aimed at the question of its possibility. It appears, in the process of Aristotle’s analysis that there is a common meaning and central definite characteristic in several significations and different categories of being by reference to one starting point: the primary being or substance. From the categorical point of view, similarly, various categories are accidental qualities of the fundamental category of substance. Because of the one principle of the primary being or substance, a metaphysics for being which contemplates on being qua being would be possible. But good, on the contrary, is used homonymously in various different senses without any common meaning and with no reference to one principle. Of the categorical attitude, good is applied in any individual category independently with no connection with each other and by no reference to one main category. There is not, in fact, any category of primary good or substantial good which constitutes universal meaning and a single category as an appropriate subject matter for the intended knowledge of the metaphysics of good. Consequently, it is not possible to establish one primary philosophy for goodness qua goodness in the same way as the first philosophy of being as being. Knowledge, according to Aristotle, is composed of the eidos (form or essence) as a universal absolute subject and eidetic attitude as a necessary theoretical way of understanding. Eidetic view and eidos entity are based on the common meaning and single principle which are not found in the concept of good. Thus, the theoretical approach to good, which could not constitute the eidos of good and eidetic knowledge, leads to the Platonic Idea of good and the dialectical attitude. But Aristotle who does not follow dialectic, cannot obtain the eidetic path to goodness either, and, therefore, reconstructs good as the well-being which is the final good that humankind can obtain practically. So he goes on to outline good not as the good in itself which in essence necessitates theoretical cognition, but as a final good of human life that is a condition that entails practical realization. (shrink)

In Metaphysics Z.6, Aristotle argues that each substance is the same as its essence. In this paper, I defend an identity reading of that claim. First, I provide a general argument for the identity reading, based on Aristotle’s account of sameness in number and identity. Second, I respond to the recent charge that the identity reading is incoherent, by arguing that the claim in Z.6 is restricted to primary substances and hence to forms.

The article considers one of the most significant concepts in Aristotelian philosophy: the concept of substance and its interpretation in the works of existential Thomists. The emphasis is placed on the fact that the doctrine of substance is first and foremost to be considered in the context of the identification of the subject of scientific knowledge and in the context of the way of knowing this subject. In order to illustrate the epistemological realism, which, according to Thomists, inheres (...) in Aristotle’s philosophy the article analyzes the previous philosophers’ views on the true subject of scientific knowledge. This subject is individual being, which forms the basis of philosophical understanding of things, as a subject of scientific knowledge. It should be noted that the method of constructing of Aristotle’s science general theory is finding reasons why something is just what it is from the viewpoint of necessity. Krąpiec believes that the way Aristotle comes to the formation of the four causes is related to the specificity of the question διὰ τί (why? because of what?). This analysis through causes allows us to understand that each single entity has a composite structure. Furthermore, Aristotle considers substance as a logical and grammatical category and as a main category in the ontological sense, as the mode of the initial being of things. Therefore, categories reflect the actual structure of things, namely the way of its existence on the essential and accidental levels. The very substance itself is recognizable only through the accidents associated with it and represents itself through them. However, the substance precedes its accidents in three meanings: ontological, definitive, and epistemological. (shrink)

The study deals with the main aspects of substance in the works of Aristotle. The presence of a plurality of values for substance is the central idea of the study; in particular, substance has 1) the value of living biological entity and 2) the value of form of the biological entity; both values are fundamental components of Aristotle's theory of substance. The prevalence, in the works of Aristotle, of the first or of the second of the (...) two values depends on the prevailing research interest of Aristotle in each work. The idea of a continuity in Aristotle's interpretation of substance in Aristotle's works is endorsed. This research treats, moreover, of the role of form as actuality, of the relations between form and matter in the material entities, and of the problem of the unity of definition. (shrink)

The concept of Substantial motion (حركت جوهرى) is fundamentally flawed and severely muddled. Aristotle and Mulla Sadra’s conception of motion, substance (جوهر) and substantial form صورت نوعيه)) were all based on a severe misunderstanding of nature as later was established by the scientists and philosophers that came after them. Here, by recalling the established facts of modern science, particularly the universally accepted scientific fact that, properties of objects are reducible to the motion of their electrons and there’s no such (...) thing as ‘substantial form’ much less substance, the author puts an end to a 400-year-old glorious error called ‘substantial motion’. Naturally any attempt to reconcile the paradigms of modern physics with Aristotle/Sadra paradigms of form/matter and substance/accidents, and to try to draw parallel between the two and revive their philosophy would be an exercise in futility. (shrink)

Hylomorphism is the Aristotelian theory according to which objects are composites of form and matter. Form is what unifies the various parts of an object – the matter – into a cohesive whole. Some contemporary hylomorphists argue their theory applies beyond the realm of concreta, and that it explains the unity of various abstract entities. Not everyone agrees. Recent criticism alleges that hylomorphism fails to explain the unity of certain abstract entities, namely, complex properties – properties with other properties as (...) proper parts. Here, I both respond to this criticism and show that and how hylomorphism extends to the domain of complex properties. By discussing hylomorphism’s applicability to the hitherto unchartered domain of complex properties, I hope to defend its credentials as a general mereological theory. (shrink)

As there is currently a neo-Aristotelian revival currently taking place within contemporary metaphysics and dispositions, or causal powers are now being routinely utilised in theories of causality and modality, more attention is beginning to be paid to a central Aristotelian concern: the metaphysics of substantial unity, and the doctrine of hylomorphism. In this paper, I distinguish two strands of hylomorphism present in the contemporary literature and argue that not only does each engender unique conceptual difficulties, but neither adequately captures the (...) metaphysics of Aristotelian hylomorphism. Thus both strands of contemporary hylomorphism, I argue, fundamentally misunderstand what substantial unity amounts to in the hylomorphic framework – namely, the metaphysical inseparability of matter and form. (shrink)

In this paper, we provide an account of the ontological status of Christ’s dead body, which remained in the tomb during the three days after his crucifixion. Our account holds that Christ’s dead body – during the time between his death and resurrection – was prime matter without a substantial form. We defend this account by showing how it is metaphysically possible for prime matter to exist in actuality without substantial forms. Our argument turns on the truth of two theses: (...) God is able to produce all acts of secondary causes without those secondary causes, and Substantial forms are secondary causes of the actuality of prime matter. We argue that the metaphysical possibility of matter without form is perfectly consistent with holding both there is only one substantial form in a material substance and that prime matter is pure potentiality. Moreover, we argue that the metaphysical possibility of matter without form does little-to-no damage to our natural understanding of material substances. (shrink)

Although contemporary metaphysics has recently undergone a neo-Aristotelian revival wherein dispositions, or capacities are now commonplace in empirically grounded ontologies, being routinely utilised in theories of causality and modality, a central Aristotelian concept has yet to be given serious attention – the doctrine of hylomorphism. The reason for this is clear: while the Aristotelian ontological distinction between actuality and potentiality has proven to be a fruitful conceptual framework with which to model the operation of the natural world, the distinction between (...) form and matter has yet to similarly earn its keep. In this chapter, I offer a first step toward showing that the hylomorphic framework is up to that task. To do so, I return to the birthplace of that doctrine - the biological realm. Utilising recent advances in developmental biology, I argue that the hylomorphic framework is an empirically adequate and conceptually rich explanatory schema with which to model the nature of organisms. (shrink)