The subject of this essay is the classical problem of induction, which is sometimes attributed to David Hume and called “the Humean Problem of Induction.” Here, I examine a certain sort of Neo-Aristotelian solution to the problem, which appeals to the concept of natural kinds in its response to the inductive skeptic. This position is most notably represented by Howard Sankey and Marc Lange. The purpose of this paper is partly destructive and partly constructive. I raise two questions. The first (...) is: Are the natural kind solutions to the problem successful? The first thesis of this paper is that they are not, and I will show how and why they fail. And the second question I raise here is: Is there nonetheless some alternative Neo-Aristotelian solution to the problem which is successful and can overcome the shortcomings endemic to the Sankey-Lange account? The second thesis is that there is, and I’ll attempt to sketch one. My stance here may be summarized by saying that, while I agree with Sankey and Lange that the problem of induction can be adequately resolved, and while I am on the whole sympathetic with the Aristotelian spirit of their account, I am, for all that, dissatisfied with the letter of them. Nothing short of a more thoroughgoing Aristotelianism about the epistemology of induction will do. (shrink)

Something is good insofar as it achieves its end, so says a neo-Aristotelian view of goodness. Powers/dispositions are paradigm cases of entities that have an end, so say many metaphysicians. A question therefore arises, namely, can one account for neo-Aristotelian goodness in terms of an ontology of powers? This is what I shallbeginto explore in this paper. I will first provide a brief explication of both neo-Aristotelian goodness and the metaphysics of powers, before turning to investigate whether one can give (...) an account of neo-Aristotelian goodness in terms of powers. I will suggest that the answer to this question is yes. (shrink)

In this paper, I examine Peter Schulte’s “Grounding Nominalism” (Schulte, 2018), understood as the claim that first-order properties and relations are grounded in the concrete particulars which instantiate them. While Schulte offered reasons to think that this view is consistent, along with answers to a number of objections, a more straightforward argument for GN is still needed. I take on this task here, by discussing and defending what I call the “argument from abstraction”. The latter, I suggest, offers more grounds (...) to Grounding Nominalism. (shrink)

Following in the hylomorphic tradition of Aristotle, Thomas Aquinas holds that all material substances are composed of matter and form. Like Aristotle, Aquinas also recognizes two different types of forms that material substances can be said to possess: substantial forms and accidental forms. Of which form or forms, then, are material substances composed? This paper explores two competing models of Aquinas’s ontology of material substances, which diverge on precisely this issue. According to what the author refers to as the “Standard (...) Model,” Aquinas’s view is that a material substance is composed of prime matter and substantial form. According to the “Expanded Model,” Aquinas’s view is that a material substance is composed of prime matter, substantial form, and all of its accidental forms. After outlining the main claims of each of the two competing models and considering two arguments in favor of the Standard Model, the author offers two arguments in favor of the Expanded Model. He argues that, given the way in which Aquinas argues for God’s simplicity in question three of the Prima pars, and the way in which he consistently describes the difference between an essence and a suppositum, or individual substance, throughout his works, there is good reason to believe that Aquinas thinks that the accidental forms of a material substance are included among its metaphysical parts. (shrink)

Hylomorphism and related to it classical concept of the human soul—understood as a substantial form of the human being—are traditionally supported and commented on by the followers of the Aristotelian-Thomistic thought, both in its classical and contemporary approach. At the same time, hylomorphism has recently found a new group of followers, coming from the circles of analytic metaphysics, unrelated to the classical school of thought. This article strives to answer the question of the relation of the new, analytic versions of (...) hylomorphism to its classical definition. Moreover, it also analyzes their application in the debate concerning the mind-body problem in philosophy of mind, as well as the question of their reference to the concept of the human soul. It seems that the mereological and structural reinterpretation of the material and the formal causes departs considerably from the classical definition of hylomorphism. Moreover, the suggestion of William Jaworski – who argues in favor of the new hylomorphism in the mind-body debate – to define mental phenomena as “structured manifestations of powers” belonging to the parts of human body, not only raises some serious metaphysical concerns, but also seems to leave no “space” for the classical concept of human soul. These difficulties notwithstanding, one should appreciate an attempt of the proponents of the new analytic hylomorphism at finding an alternative to the extreme positions of substance or property dualism and eliminative or reductionist materialism in the contemporary discussion concerning the mind-body problem. (shrink)

One might well wonder—is there a category under which every thing falls? Offering an informative account of such a category is no easy task. For nothing would distinguish things that fall under it from those that don’t—there being, after all, none of the latter. It seems hard, then, to say much about any fully general category; and it would appear to do no carving or categorizing or dividing at all. Nonetheless there are candidates for such a fully general office, including (...) thing, being, entity, item, existent, and—especially—object.[ It is not obvious that there is any fully general category (whether object or otherwise). Accordingly, not all accounts of object assign it to a fully general category, instead allowing that there are non-objects. On those views, object does indeed divide. Accounts of object, then, differ with respect to whether there are non-objects. And this is not the only fault line. Other dimensions of difference include what objects there are and what objects are. Accordingly, this entry will survey three broad questions about the category object: What, if any, is its contrast or complement? What is its extension? What is its nature? (shrink)

It is commonly assumed that Aristotle thinks that his claim that being exhibits a category-based pros hen structure, which he introduces to obviate the problem of categorial heterogeneity, is sufficient to defend the possibility of a science of being qua being. We, on the contrary, argue that Aristotle thinks that the pros hen structure is necessary only, but not sufficient, for this task. The central thesis of our paper is that Aristotle, in what follows 1003b19, raises a second problem for (...) the possibility of the science of being qua being; and that he does not think that the resolution of the first, the category-based problem, is either necessary or sufficient for resolving this problem. This is the problem: how can a plurality of apparently primary kinds and their opposites (they include to hen, to on, to auto, to homoion, to heteron and to anhomoion) be the subject-matter of the science of being qua being? It has been argued that these kinds are per se attributes of ousia and that, therefore, this problem is not different from the first problem. This, we argue, is mistaken; for nowhere in Gamma 2 does Aristotle claim that unity is a per se attribute of ousia. Rather, he says that identity, similarity, etc. are per se attributes of being qua being and unity qua unity. Aristotle’s resolution of the second problem, we argue, is that most of these kinds are reducible to a single compound principle: being-and-unity. Being and unity, moreover, are themselves related to each other as primary ousia and consequent ousia; but, we argue, Aristotle leaves it open, in Gamma 2, which of the two is primary, and which is consequent ousia. (shrink)

Constituent ontologies maintain that the properties of an object are either parts or something very much like parts of that object. Recently, such a view has been criticized as leading to a bizarre and problematic form of substance dualism and implying the existence of impossible objects. After briefly presenting constituent and relational ontologies, I respond to both objections, arguing that constituent ontology does not yield either of these two consequences and so is not shown to be an unacceptable ontological framework.

Hylomorphism is the theory that objects are composites of form and matter. Recently it has been argued that form is structure, or the arrangement of an object's parts. This paper shows that the principle of form cannot be ontologically exhausted by structure. That is, I deny form should be understood just as the arrangement of an object's parts. I do so by showing that structure cannot play the role form is supposed to in a certain domain of objects, specifically, in (...) mereological simples. Thus, I show that Hylomorphism does not reduce to Structuralism. I also draw out some important consequences from my argument for Hylomorphism in general. (shrink)

Bare particulars tend to get a bad rap. But often, the arguments lodged against bare particulars seem to miss important aspects of the theoretical context of bare particulars. In particular, these arguments fail to situate bare particulars within a constituent ontology with substrates, and thus fail to appreciate an important consequence of that context: the need for two types of exemplification. In this paper, I do three things. First, I motivate and describe the need, given bare particulars, for two types (...) of exemplification, and explore more generally how constituent ontologies with substrates ought to think about exemplification. Second, I show how Andrew Bailey’s (2012) new argument against bare particulars fails when that need is charitably considered. Third, I highlight where bare particular theory ought to be pressed, which turns out to be precisely its account of exemplification. (shrink)

In this dissertation I consider the merits of certain nominalist accounts of phenomena related to the character of ordinary objects. What these accounts have in common is the fact that none of them is an error theory about standard cases of predication and none of them deploys God or uniquely theistic resources in its explanatory framework. -/- The aim of the dissertation is to answer the following questions: -/- • What is the best nominalist account on offer? • How might (...) it be improved? • Does it ultimately succeed? -/- I will argue that while so-called trope theory is the best account on offer, it can be significantly improved—or replaced—by a novel version of nominalism that is modeled after trope theory. Ultimately, however, I will argue that even the novel version fails. -/- The dissertation unfolds as follows. In Chapter 1, I introduce Austere Nominalism (AN), which is perhaps the most extreme version of nominalism that falls within the scope of the dissertation. AN is often described as the view that there exist only concrete particulars. According to AN, it is unnecessary to posit any entities other than ordinary objects—turkeys, tables, and the like—in order to account for explananda related to the character of those objects. (Such explananda include the phenomenon of attribute agreement, of attribute possession, of true subject-predicate sentences, etc.) In this chapter I argue that AN fails to provide an adequate account of these explananda. In addition, introducing and criticizing AN serves an important heuristic role for the rest of the dissertation. To understand this role, we must distinguish between the basic explanatory strategy deployed by the austere nominalist and the type of explananda for which she deploys that strategy. The austere nominalist deploys the strategy to account for the character of ordinary objects. As I argue in Chapter 1, this deployment is a failure. As I go on to show in Chapter 2, the widespread rejection AN has led to a variety of rival accounts of the character of ordinary objects. In rejecting AN, however, these accounts also tacitly reject its basic explanatory strategy. Thus goes the baby with the bathwater, since, arguably, there are some attractive features of AN’s basic explanatory strategy. Indeed, those who defend the most prominent version of nominalism—trope theory—seem to overlook the advantages of AN’s basic strategy, and by so doing, make an unnecessary concession to the realist. Or so I argue in Chapter 3. And, as I will argue in Chapter 4, the strongest version of nominalism is a novel account, modeled after trope theory, that deploys AN’s basic strategy at a more fundamental level than that of ordinary objects. This novel account—troper theory—is closer in spirit to AN than is traditional trope theory. (Thus, AN serves as a foil for the discussion of other nominalist views.) Finally, in the Afterword I indicate how troper theory is equally vulnerable to some of the traditional objections that plague trope theory. Thus, if you are not convinced that traditional objections to trope theory are conclusive and you want to be a nominalist, then you should abandon trope theory and adopt troper theory. If you take traditional objections against trope theory to have significant force, then you should reject both theories. (shrink)

In this paper, I criticize Structured Propositionalism, the most widely held theory of the nature of propositions according to which they are structured entities with constituents. I argue that the proponents of Structured Propositionalism have paid insufficient attention to the metaphysical presuppositions of the view – most egregiously, to the notion of propositional constituency. This is somewhat ironic, since the friends of structured propositions tend to argue as if the appeal to constituency gives their view a dialectical advantage. I criticize (...) four different approaches to providing a metaphysics of propositional constituency: set-theoretic, mereological, hylomorphic, and structure-making. Finally, I consider the option of taking constituency in a deflationary, metaphysically ‘lightweight’ sense. I argue that, though invoking constituency in a lightweight sense may be useful for avoiding the ontological problems that plague the ‘heavyweight’ conception, it no longer proffers a dialectical advantage to Structured Propositionalism. (shrink)

This paper seeks to give an account of what it is for an individual to instantiate thisness (i.e. primitive individual essence). Thisnesses are peculiar entities, and even those who endorse their existence and instantiation by objects/entities, have said very little about how an individual and its thisness are related. My approach will be to seek out a model for the instantiation of thisness by canvassing broadly Aristotelian accounts of the substance/attribute relation, and then by making appropriate modifications to the most (...) likely candidates in order to accommodate an individual's instantiation of thisness. What will emerge is that the model with the most utility makes thisness redundant in the case of material substances. Nonetheless, I will suggest that a version of the model can be appropriately applied in the case of other individuals which might instantiate thisness: for example, events (where these are conceived as a fundamental category of ontology distinct from material substances). (shrink)

In The Principles of Mathematics, Russell writes: Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term. This, then, is the widest word in the philosophical vocabulary. I shall use as synonymous with it the words unit, individual and entity. The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, i.e. (...) is in some sense. A man, a moment, a number, a class, a relation, a chimera, or anything else that can be mentioned, is sure to be a term'. Now in this remark, a certain extremely general, topic-neutral use of ‘object’ is singled out, a use in which the expression is treated as equivalent to (equally neutral) uses of ‘term’, ‘entity’, ‘unit’, ‘individual’, and ‘thing’. In addition, a claim is made to the effect that the content of the expression, with its emphasis on one, is such as to be adequate to comprehend the sum-total of existence, to include whatever there may be. The paper addresses the question of what this claim means, and whether it might be true. (shrink)

Attempts to explicate the substance-property nexus are legion in the philosophical literature both historical and contemporary. In this paper, I shall attempt to impose some structure into the discussion by exploring ways to combine two unlikely bedfellows—Platonic properties and Aristotelian substances. Special attention is paid to the logical structure of substances and the metaphysics of property exemplification. I shall argue that an Aristotelian-Platonic account of the substance-property nexus is possible and has been ably defended by contemporary philosophers.

Over the past twenty-five years, no one has done more than J. P. Moreland to equip Christians to love God with their minds. In his work as a Christian philosopher, scholar, and apologist, he has influenced thousands of students, written groundbreaking books, and taught multitudes of Christians to defend their faith. -/- In honor of Moreland's ministry, general editors Paul M. Gould and Richard Brian Davis have assembled a team of friends and colleagues to celebrate his work. In three major (...) parts devoted to philosophy, apologetics, and spiritual formation, scholars such as Stewart Goetz, Paul Copan, Douglas Groothuis, Scott Rae, and Klaus Issler interact with Moreland's thought and make their own contributions to these important subjects. Moreland concludes the volume with his own essay, "Reflections on the Journey Ahead.". (shrink)

In his theory of categories, Aristotle introduces a distinction between two types of universals, i.e., kinds and attributes. While attributes determine how their subjects are, kinds determine what something is: kinds represent unified ways of being which account for the existence and identity of particular objects. Since its introduction into the philosophical discussion, the concept of a kind has attracted criticism. The most important objection argues that no separate category of kinds is needed because all kinds can be reduced to (...) conjunctions of ordinary attributes. The present paper explores one possible response to this reductionist challenge on behalf of the Aristotelian—one which takes issue with the view that conjunctive properties license a reduction of kinds to attributes. The aim of this exploration is not only to defend an Aristotelian doctrine of kinds—i.e., to convey a better understanding of why we actually need an irreducible category of kinds—but also to define the Aristotelian position more precisely; i.e., to shed more light on the concept of kinds and the very the idea of kindhood. (shrink)

The debate between relational versus constituent substance ontology is longstanding and ongoing. In the contemporary literature it is mostly taken for granted that any version of hylomorphism must count as a constituent substance ontology. Here I argue that a certain sort of relational substance ontology could also legitimately be labeled hylomorphic, and in fact that relational substance ontologists have some good reasons to affirm this version of hylomorphism.

The bundle theory is a theory about the internal constitution of individuals. It asserts that individuals are entirely composed of universals. Typically, bundle theorists augment their theory with a constitutional approach to individuation entailing the thesis ‘identity of constituents is a sufficient ground for numerical identity’ (CIT). But then the bundle theory runs afoul of Black’s duplication case—a world containing two indiscernible spheres. Here I propose and defend a new version of the bundle theory that denies ‘CIT’, and which instead (...) conjoins it with a structural diversity thesis , according to which being separated by distance is a sufficient ground for numerical diversity. This version accommodates Black’s world as well as the three-spheres world —a world containing three indiscernible spheres, arranged as the vertices of an equilateral triangle. In this paper, I also criticize Rodriguez-Pereyra’s alternative attempt to defend the bundle theory against Black’s case and the case of the three-spheres world. (shrink)

In his theory of categories, Aristotle introduces a distinction between two types of universals, i.e., kinds and attributes. While attributes determine how their subjects are, kinds determine what something is: kinds represent unified ways of being which account for the existence and identity of particular objects. Since its introduction into the philosophical discussion, the concept of a kind has attracted criticism. The most important objection argues that no separate category of kinds is needed because all kinds can be reduced to (...) conjunctions of ordinary attributes. The present paper explores one possible response to this reductionist challenge on behalf of the Aristotelian—one which takes issue with the view that conjunctive properties license a reduction of kinds to attributes. The aim of this exploration is not only to defend an Aristotelian doctrine of kinds—i.e., to convey a better understanding of why we actually need an irreducible category of kinds—but also to define the Aristotelian position more precisely; i.e., to shed more light on the concept of kinds and the very the idea of kindhood. (shrink)