Javier Cumpa

In this article, I critically examine a problem of Thomasson’s project of demystification of metaphysics since Ontology Made Easy and Norms and Necessity, and that it is central in Rethinking Metaphysics. Namely, the so-called ‘problem of universals’. Thomasson has developed a novel non-explanatory metaphysics of universals, according to which there are universals, but these do not play explanatory roles. I discuss two major problems of her metaphysics. First, I argue that Thomasson’s metaphysics does not dispense with certain explanatory roles of universals, and that it seems to face a threat of categorial collapse. Second, I argue that her metaphysics is theoretically impotent to account for similarity and the one over the many.

Traditionally, the so-called exemplification or the relation between the particular and the universal has been one of the three central problems making up the classical problem of universals: (1) What is a particular? (2) What is a universal? (3) What is the relation between the particular and the universal? I used the expression “classical problem of universals” instead of “the problem of universals” since the classical formulation of the problem could be said to contain a questionable assumption, namely that substance should be the bearer “in” which are the entities of (other) categories. Under these circumstances, a neutral approach to the problem of universals could consist in reformulating the three problems of the classical problem as follows: (4) What is the fundamental bearer of categories? (5) What categories are there? (6) What is the relation between the fundamental bearer and the categories? My purpose in this paper is to answer the latter three questions. In order to accomplish this task, I shall discuss the views of two leading figures in substance-ontology, Aristotle and Jonathan Lowe, and the views of two leading figures in fact-ontology, Gustav Bergmann and Reinhardt Grossmann. I shall answer the first question by claiming that the fundamental bearer of categories is facts; the second, by pointing out that it depends on the answer to the previous one; and the third, by showing that the relation between the fundamental bearer and the categories is the one between facts and its constituents, not between a substance or particular and its accidents or properties. In this connection, I shall argue that the “in” of property exemplification should be categorially reconstructed in order for entities other than properties, say, particulars, relations, connectives, numbers, and even facts, to be “in” facts. This categorial reconstruction will also argued for with respect to the Principle of Exemplification.

The Sellarsian task of ontology is to reconcile two seemingly divergent images of ordinary objects such as persons, tomatoes and tables, namely, the manifest image of common sense and the scientific image provided by fundamental physics (Sellars, Science, Perception, and Reality, 1963). Can the genuine categories of the ontologies of Substantialism (Heil, The World as We Find It, 2012), Structural Realism (Ladyman and Ross,Every Thing Must Go: Metaphysics Naturalized, 2007; French, The Structure of the World: Metaphysics and Representation, 2014), and Factualism (Cumpa, ‘A Materialist Criterion of Fundamentality’, American Philosophical Quarterly, 2014), such as ‘substance’, ‘structure’, and ‘fact’, help us to solve the problem of the reconciliation of the two images of ordinary objects? In this paper I defend the thesis that the ontology of Factualism does a better job of reconciling the manifest and the scientific images of ordinary objects than other ontologies.

ABSTRACT Permissivism is a view about ontological questions which holds that such questions for the most part can all be trivially answered. Understood in this way, Permissivism seems to be entailed, or at least motivated by, an important number of ontological and metaontological views, ranging from Mereological Universalism and Material Plenitude to ontologies which draw prominently on some notion of fundamentality, and Deflationism. By and large, permissivist-inspired arguments have had as their ontological target material objects, but little to none is found within the ontological debate about properties. Our aim in this paper is to address this omission by providing a thorough assessment of one notable effort in this direction formulated by Jonathan Schaffer, which defends the existence of universal properties by way of trivial inferences. We argue that such inferences fail to secure the existence of universal properties in a trivial manner. Together with offering an extended discussion of Schaffer’s permissivist inferences, we also explore alternative ways in which the said inferences can be amended, although in each case with a restricted scope.

The aim of this paper is to offer two novel solutions to two perennial problems of categorial ontology, namely, the problem of the categorial structure: how are the categories related to one another? And the problem of categorial completeness: how is the completeness of a proposed list of categories justified? First, I argue that a system of categories should have a structure such that there is a most basic category that is a bearer of all other categories and that has what I shall call “combinatorial conditions”. To do so, I compare this approach to categorial structure with the approaches given by substantialist, mereological, factualist, and geo ontologies. Second, I argue that the problem of categorial completeness is only a problem for certain ontologies. In this connection, I explore views on categorial completeness proposed by substantialists and geo-ontologists. Lastly, I conclude that factualism does a better job of accounting for categorial structure and categorial completeness than other categorial ontologies.

What is the so-called “question of ontology?” Is the question of ontology genuinely a question about “categories” (Lowe 2006), “structure” (Sider 2011), “existence” (Thomasson 2015), or rather “reality” (Fine 2009)? In this article, I defend the neo-Sellarsian approach to the question of ontology, a novel, naturalistic approach according to which the foundational question of ontology is about “understanding the manifest and the scientific images of the world, and their multiple relationships.” First, I argue for the thesis of Impure Eliminativism, a form of constructive pluralism about the question of ontology by which the substantivity of questions of ontology which are not the neo-Sellarsian one is to be built upon certain relations with the neo-Sellarsian question of ontology. Second, I argue for the categorial plasticity of the two images and their relations in connection with the hypothesis of Weak Epistemic Factualism. Third, and lastly, I argue for a person-based ontology framed in terms of the crucial notions of “fact” and “understanding” in response to the eliminativist categorizations of the two images and their relationships proposed by substantialism and structuralism.

In his conceivability argument, Chalmers assumes that all properties have their causal powers contingently and causal laws are also contingent. We argue that this claim conflicts with how conceivability itself must work for the conceivability argument to be successful. If conceivability is to be an effective mechanism to determine possibility, it must work as a matter of necessity, since contingent conceivability renders conceivability fallible for an ideal reasoner and the fallible conceivability of zombies would not entail their possibility. But necessary conceivability must either be governed by necessitating causal processes or by a necessitating non-causal mechanism. We argue that the latter option is untenable or mysterious; whereas, if Chalmers chooses the former and applies it only to conceivability, his solution is ad hoc, but if he accepts necessary causal powers or processes generally, the conceivability argument fails. We conclude that, as it stands, the Conceivability Argument does not establish that physicalism is false.

Mereological Nominalism, as traditionally understood, states that properties are mereological wholes and that instantiation is mereological. Thus defined, this view faces a number of well-known issues, which make it virtually untenable. Recently, Effingham :160–185, 2020) has offered an alternative account of Mereological Nominalism, which intends to avoid these problems by accepting while rejecting. In this paper, we argue that this theory is not viable for two main reasons. First, it faces a threat of circularity. Second, the various non-mereological accounts of instantiation envisioned by Effingham in order to replace seem inconsistent with.

Categories play a major role in contemporary metaphysics. They have not only been invoked in a number of philosophical theories but are themselves objects of epistemological and metaphysical scrutiny. In this article, we will discuss the following questions: How do we know when something belongs to a certain category? Is there a fundamental category of the world? Can we give a satisfactory account of the number of categories and the completeness of systems of categories? Are categories the genuine subjects of ontology?

Consider two similarity facts: a is similar to b with respect to G, and c is similar to d with respect to G. According to the Platonist approach to similarity, the analysis of such facts forces us to admit that similarity facts are to be analyzed into facts about universal similarities of the form: a is similar to b with respect to G, and c is similar to d with respect to G, where similarity is a universal. In this paper, I defend Neutralism, a view according to which there are properties and similarities, but these are not universals, particulars, or of other categories. After presenting the Platonist analysis of similarity proposed by Russell and Grossmann, I examine the question of whether or not the Platonist analysis of similarity leads us inevitably to a conception of similarity as a universal. Then I offer a novel, alternative analysis of similarity free of commitment to universals.

Is structure a fundamental and indispensable part of the world? Is the question of ontology a question about structure? Structure is a central notion in contemporary metaphysics [Sider 2011. Writing the Book of the World. Oxford: Clarendon Press]. Realism about structure claims that the question of ontology is about the fundamental and indispensable structure of the world. In this paper, I present a criticism of the metaphysics of realism about structure based on a version of Russell’s famous regress argument against nominalism [Russell 1911. “On the Relation of Universals and Particular.” In Logic & Knowledge. Reprint, London: George Allen & Unwin]. First, I argue that the three general tests for the fundamentality of structure proposed by realism about structure rely on a particular empirical test for structure, namely, the so-called ‘similarity test for structure.’ Second, I argue that the similarity test is not well-founded because it leads to a vicious regress. Third, I argue that the regress affects the whole metaphysics of realism about structure, and that no structural notion can be said to be fundamental in connection with any of the other tests. Lastly, I argue that the question of ontology as a question about structure is not substantive.

The Sellarsian task of ontology is to reconcile two seemingly divergent images of ordinary objects such as persons, tomatoes and tables, namely, the manifest image of common sense and the scientific image provided by fundamental physics (Sellars, Science, Perception, and Reality, 1963). Can the genuine categories of the ontologies of Substantialism (Heil, The World as We Find It, 2012), Structural Realism (Ladyman and Ross,Every Thing Must Go: Metaphysics Naturalized, 2007; French, The Structure of the World: Metaphysics and Representation, 2014), and Factualism (Cumpa, ‘A Materialist Criterion of Fundamentality’, American Philosophical Quarterly, 2014), such as ‘substance’, ‘structure’, and ‘fact’, help us to solve the problem of the reconciliation of the two images of ordinary objects? In this paper I defend the thesis that the ontology of Factualism does a better job of reconciling the manifest and the scientific images of ordinary objects than other ontologies.

The metaphysics of ordinary objects is an increasingly vibrant field of study for philosophers. This volume gathers insights from a number of leading authors, who together tackle the central issues in contemporary debates about the subject. Their essays engage with topics including composition, persistence, perception, categories, images, artifacts, truthmakers, metaontology, and the relationship between the manifest and scientific images. Exploring the nature of everyday things, the contributors situate their arguments and the latest research against the background of the field's development. Moreover, many essays propose new ideas and approaches, looking ahead to the future of the metaphysical study of ordinary objects. Featuring numerous clearly explained examples and with thoughtful links drawn to other, related disciplines such as pragmatism, this wide-ranging volume fills a major gap in the literature and will be important for scholars working in metaphysics.

Are properties universal or particular? According to Universalism, properties are universals because there is a certain fundamental tie that makes properties capable of being shareable by more than one thing. On the opposing side, Particularism is the view that properties are particulars due to the existence of a fundamental tie that makes properties incapable of being shared. My aim in this paper is to critically examine the connections between the notions of the fundamental tie and universality and particularity. I argue, first, that universality and particularity can characterize a property if and only if there is a universalist or a particularist fundamental tie, and, second, that it is unclear that these should be the fundamental ties that connect ordinary and scientific properties to their respective bearers. Then I develop an alternative approach to properties and the fundamental tie, which is neutralist because it dispenses with universality and particularity as features of properties, and naturalist because it naturalizes the possession of properties by replacing metaphysical fundamental ties with a scientific one, in particular, a physical process. I show how this approach improves our understanding of properties and instantiation.

1. Categories and the Scientific Turn of Metaphysics: The Notion of World-Fundamentality What are the fundamental inhabitants of the world? This question, as old as it is new, is about the fundamental structure of our world. Is our world a world of Aristotle's ordinary substances, Locke's physical substances, Husserl's wholes, Wittgenstein's facts, Sellars's processes, or Quine's sets? In order to distinguish the sort of metaphysical fundamentality at stake in this discussion from other possible types of fundamentality, I shall call it from now on "world-fundamentality." In this article I want to make a proposal in the context of this metaphysical dispute. The proposal is the addition of a new criterion of world-fundamentality to the existing catalog of independence and simplicity, among some other prominent classical examples. I call this criterion "the materialist criterion of world-fundamentality" because it states that metaphysicians should not decide the question of whether our world is a world of facts rather than a world of sets or other categories without considering the explanatory power of such categories to account for the relation between "the manifest image" and "the scientific image," to use the words of Wilfrid Sellars.

It is argued that a number of related influential contemporary solutions to certain problems of the “realism–nominalism issue” seem to depend on an interpretation of those problems rather than upon observations of things. The problem of universals is a case in point. Therefore, there is a problem of the problem of universals and it has to be clarified what the problem of universals is. A primitive or uninterpreted raising of the problem is the main pupose of this paper. In order to accomplish such a task, a methodological statement is made in the first place, namely that the philosophical talk used by some property theorists to raise and answer “realism–nominalism” questions can provide us with a tool to discover when ontological analyses of things are consequences of interpretations. In the second place, a particular influential contemporary interpretation of particulars, universals, exemplification, and facts led by Armstrong, Mertz, Wolterstorff, Butchvarov, and Lowe, which I shall call “The Dogma of Repetition,” is extensively discussed.

Traditionally, the so-called exemplification or the relation between the particular and the universal has been one of the three central problems making up the classical problem of universals: (1) What is a particular? (2) What is a universal? (3) What is the relation between the particular and the universal? I used the expression “classical problem of universals” instead of “the problem of universals” since the classical formulation of the problem could be said to contain a questionable assumption, namely that substance should be the bearer “in” which are the entities of (other) categories. Under these circumstances, a neutral approach to the problem of universals could consist in reformulating the three problems of the classical problem as follows: (4) What is the fundamental bearer of categories? (5) What categories are there? (6) What is the relation between the fundamental bearer and the categories? My purpose in this paper is to answer the latter three questions. In order to accomplish this task, I shall discuss the views of two leading figures in substance-ontology, Aristotle and Jonathan Lowe, and the views of two leading figures in fact-ontology, Gustav Bergmann and Reinhardt Grossmann. I shall answer the first question by claiming that the fundamental bearer of categories is facts; the second, by pointing out that it depends on the answer to the previous one; and the third, by showing that the relation between the fundamental bearer and the categories is the one between facts and its constituents, not between a substance or particular and its accidents or properties. In this connection, I shall argue that the “in” of property exemplification should be categorially reconstructed in order for entities other than properties, say, particulars, relations, connectives, numbers, and even facts, to be “in” facts. This categorial reconstruction will also argued for with respect to the Principle of Exemplification.