Universals

According to Satosi Watanabe's "theorem of the ugly duckling", the number of predicates satisfied by any two different particulars is a constant, which does not depend on the choice of the two particulars. If the number of predicates satisfied by two particulars is their number of properties in common, and the degree of resemblance between two particulars is a function of their number of properties in common, then it follows that the degree of resemblance between any two different particulars is (...) a constant, which does not depend on the choice of the two particulars either. Avoiding this absurd conclusion requires questioning assumptions involving infinity in the proof or interpretation of the theorem, adopting a sparse conception of properties according to which not every predicate corresponds to a property, or denying that degree of resemblance is a function of number of properties in common. After arguing against the first two options, this paper argues for a version of the third which analyses degrees of resemblance in terms of degrees of naturalness of common properties. In the course of doing so, it presents a novel account of natural properties. (shrink)

In this paper I explore the logical relationship between the question of the reality of qualia and the problem of universals. I argue that nominalism is inconsistent with the existence of qualia, and that realism either implies or makes plausible the existence of qualia. Thus, one's position on the existence of qualia is strongly constrained by one's answer to the problem of universals.

The possibility of multilocation --- of one entity having more than one exact location --- is required by several metaphysical theories such as the immanentist theory of universals and three-dimensionalism about persistence. One of the most pressing challenges for multi-location theorists is that of making sense of exact location --- in that extant definitions of exact location entail a principle called Functionality, according to which nothing can have more than one exact location. Recently in a number of promising papers, Antony (...) Eagle has proposed and defended a definition of exact location in terms of weak location that does not entail Functionality. This paper provides the first thorough assessment of Eagle’s proposal. In particular, we argue that it cannot account for (i) location of immanent universals, (ii) multi-location of mereologically changing three-dimensional objects , (iii) multi-location of mereologically complex objects, and (iv) mereologically simple but extended objects. (shrink)

In the ontology of music the Aristotelian theory of musical works is the view that musical works are immanent universals. The Aristotelian theory is an attractive and serviceable hypothesis. However, it is overlooked as a genuine competitor to the more well-known theories of Musical Platonism and nominalism. Worse still, there is no detailed account in the literature of the nature of the universals that the Aristotelian identifies musical works with. In this paper, I argue that the best version of Musical (...) Aristotelianism identifies musical works with structural universals. I first motivate the view by outlining its explanatory benefits. I then argue that Musical Aristotelianism is preferable to Musical Platonism and present a novel account of musical works as structural universals by developing D. M. Armstrong’s theory of structural universals. I discuss the consequences of Musical Aristotelianism with respect to on-going issues in debates about musical works and defend the view against an influential objection, concluding that Musical Aristotelianism is a genuine competitor in debates about the nature of musical works. (shrink)

In this paper, I argue that for the purposes of ordinary reasoning, sentences about properties of concrete objects can be replaced with sentences concerning how things in our universe would be related to inscriptions were there a pluriverse. Speaking loosely, pluriverses are composites of universes that collectively realize every way a universe could possibly be. As such, pluriverses exhaust all possible meanings that inscriptions could take. Moreover, because universes necessarily do not influence one another, our universe would not be any (...) different intrinsically if there were a pluriverse. These two facts enable anti-realists about abstract objects to replace, e.g., talk of anatomical features with talk of the inscriptions concerning anatomical structure that would exist were there a pluriverse. The availability of such replacements enables anti-realists to carry out essential ordinary reasoning without referring to properties, thereby making room for a consistent anti-realist worldview. The inscriptions of the would-be pluriverse are so numerous and varied that sentences about them can play the roles in ordinary reasoning served by simple sentences about properties of concrete objects. (shrink)

Higher-order realists about properties express their view that there are properties with the help of higher-order rather than first-order quantifiers. They claim two types of advantages for this way of formulating property realism. First, certain gridlocked debates about the nature of properties, such as the immanentism versus transcendentalism dispute, are taken to be dissolved. Second, a further such debate, the tropes versus universals dispute, is taken to be resolved. In this paper I first argue that higher-order realism does not in (...) fact resolve the tropes versus universals dispute. In a constructive spirit, I then develop higher-order realism in a way that leads to a dissolution, rather than a resolution, of this dispute too. (shrink)

Both philosophers of perception and analytic metaphysicians apply the tropes/universals distinction when considering the ontological status of visual properties. One way of arguing in favor of the trope interpretation of visual properties is to claim that the way in which we visually experience properties makes it plausible to characterize them as tropes. In this paper, I argue for a different position, namely that the way in which we visually experience properties provides a serious challenge for the trope interpretation, but not (...) for an interpretation in terms of universals. More specifically, I claim that the trope interpretations of visual properties have problems accounting for the fact that ordinary, veridical visual experiences can present the properties of two objects as strictly similar. (shrink)

What the COVID-19 pandemic serves to reveal is the inherent limitations and contradictions of a symbolic order that must now be perceived via an “impossible subjectivity”: what this essay will refer to as the “in-human.” (Zizek, 2020). Indeed, this in-human perspective transpires not through our fetishization of the virus, as some form of justification for humanity’s impact on the world, but from a position of impossibility that renders “the whole situation into which we are included.” (Monbiot, 2020; Zizek, 2020). It (...) is on this basis that the virus confers a confrontation with the Real: an antagonism steered by the isolation of an “impossible phenomenon,” grounded in a certain level of “disengagement” that obliges us to “perceive reality as it were viewed from outside.” (Zizek, 2020). Importantly, this “view from outside” does not—and now, cannot—avoid our engagement with the impossible, but must instead be rendered via a form of approachment that conceives of the “virus” as an in-human phenomenon that is our universal condition. The following sections will serve to clarify this in-human approach. (shrink)

Trope theory is a leading metaphysical theory in analytic ontology. One of its classic statements is found in the work of Donald C. Williams who argued that tropes qua abstract particulars are the very alphabet of being. The concept of an abstract particular has been repeatedly attacked in the literature. Opponents and proponents of trope theory alike have levelled their criticisms at the abstractness of tropes and the associated act of abstraction. In this paper I defend the concept of a (...) trope qua abstract particular by rejecting arguments that purport to show that tropes should not be understood as abstract and by arguing that the abstractness of tropes plays an indispensable role in one of our more promising trope-theoretic analyses of universals and of concrete objects. (shrink)

David Armstrong (1926-2014) was much the most internationally successful philosopher to come from Sydney. His life moved from a privileged Empire childhood and student of John Anderson to acclaimed elder statesman of realist philosophy. His philosophy developed from an Andersonian realist inheritance to major contributions on materialist theory of mind and the theory of universals. His views on several other topics such as religion and ethics are surveyed briefly.

David Armstrong accepted the following three theses: universals are immanent, laws are relations between universals, and laws govern. Taken together, they form an attractive position, for they promise to explain regularities in nature—one of the most important desiderata for a theory of laws and properties—while remaining compatible with naturalism. However, I argue that the three theses are incompatible. The basic idea is that each thesis makes an explanatory claim, but the three claims can be shown to run in a problematic (...) circle. I then consider which thesis we ought to reject and suggest some general lessons for the metaphysics of laws. (shrink)

This paper responds to the contributions by Alexander Bird, Nathan Wildman, David Yates, Jennifer McKitrick, Giacomo Giannini & Matthew Tugby, and Jennifer Wang. I react to their comments on my 2015 book Potentiality: From Dispositions to Modality, and in doing so expands on some of the arguments and ideas of the book.

‘Nominalism’ refers to a family of views about what there is. The objects we are familiar with (e.g. hands, laptops, cookies, and trees) can be characterized as concrete and particular. Nominalists agree that there are such things. But one group of nominalists denies that anything is non-particular and another group denies that anything is non-concrete. These two sorts of nominalism, referred to as ‘nominalism about universals’ and ‘nominalism about abstract objects’, have common motivations in contemporary philosophy.

Is it possible to get by with just one ontological category? We evaluate L.A. Paul's attempt to do so: the mereological bundle theory. The upshot is that Paul's attempt to construct a one category ontology may be challenged with some of her own arguments. In the positive part of the paper we outline a two category ontology with property universals and kind universals. We will also examine Paul's arguments against a version of universal bundle theory that takes spatiotemporal co-location instead (...) of compresence or coinstantiation as the feature by which we can identify genuine bundles. We compare this novel theory, bundle theory with kinds, and Paul's mereological bundle theory and apply them to a case study concerning entangled fermions and co-located bosons. (shrink)

ABSTRACT An apparent objection against my theory of instantiation as partial identity is that identity is necessary, yet instantiation is often contingent. To rebut the objection, I show how it can make sense that identity is contingent. I begin by showing how it can make sense that identity is temporary. I rely heavily on Andre Gallois’s formal theory of occasional identity, but argue that there is a gap in his explanation of how his formalisms make sense that needs to be (...) filled by appeal to my theory of Aspects. (shrink)

Structural universals are a kind of complex universal. They have been put to work in a variety of philosophical theories but are plagued with problems concerning their compositional nature. In this article, we will discuss the following questions. What are structural universals? Why believe in them? Can we give a consistent account of their compositional nature? What are the costs of doing so?

Aquinas’s process of abstraction of the particular thing into a universal concept is of pivotal importance for grounding his philosophy and theology in a natural framework. Much has been said and written regarding Aquinas’s doctrine of abstraction, yet recent studies still consider it to be ‘nothing more than a kind of magic.’ This problematic claim is not without foundation, for in trying to understand exactly how this process works, we are constantly faced with an unbridgeable abyss and the repeated vague (...) explanations made by Aquinas. The plain truth is that Aquinas explains what abstraction ought to do and yet, most of the time, he does not explain how it is to be done. This paper intends to show that although Aquinas does not present us with a mechanism for the theory of abstraction, we are nevertheless able to construct a viable mechanism which accords with Aquinas’s guidelines. The aim of constructing a working mechanism that corresponds to what Aquinas demands of the process of abstraction is twofold: First, it attempts to extricate Aquinas’s doctrine of abstraction from the claims of being a quasi-natural doctrine. Second, a viable process of abstraction which is derived from Aquinian-Aristotelian sources can approach contemporary cognitive problems from a fresh point of view. (shrink)

In this paper, we discern different types of possible relations. We focus on the distinction between internal and external relations and their various possible sub-types. In the first section, we present what is nowadays more or less the standard distinction between internal and external relations. In the second section, we make two contributions to the literature of internal relations: a new taxonomy of internal relations and a novel distinction between formal and material ontological relations. In the third section, we discuss (...) three distinctions among external relations, in particular the distinction between relata-specific and relata-unspecific relations. We argue that relata-specific external relations are a promising but incomplete solution to the vexed problem of Bradley’s relation regress. (shrink)

According to Lowe’s Four-Category Ontology, the general nature of the entities belonging to the four fundamental categories is determined by the basic formal ontological relations (instantiation and characterization) that they bear to other entities. I argue that, in closer analysis, instead of one formal relation of characterization, this category system introduces two, one connecting particulars and another universals. With regard to the characterization relation connecting particulars, it remains an open issue whether it would need further analysis. By contrast, the status (...) of instantiation as an internal relation is comparatively clear. Nevertheless, because of holding by virtue of the essences of particulars, the holding of instantiation between universals and particulars rules out the possibility of kind change and entails that particulars are essentially rigidly dependent on universals. Finally, Lowe’s analysis of necessary exemplification gives us some reasons to suspect that some property universals need not have any instances in order to exist. (shrink)

This book addresses the metaphysics of Armstrongian states of affairs, i.e. instantiations of naturalist universals by particulars. The author argues that states of affairs are the best candidate for truthmakers and, in the spirit of logical atomism, that we need no molecular truthmakers for positive truths. In the book's context, this has the pleasing result that there are no molecular states of affairs. Following this account of truthmaking, the author first shows that the particulars in (first-order) states of affairs are (...) bare particulars. He then argues that the properties in states of affairs are simple, non-relational and concrete universals. Next, he argues that (material) relations in states of affairs are external relations. Lastly, he argues that a state of affairs is unified by a distinctive formal relation without giving rise to Bradley’s regress. (shrink)

The problem of universals remains a philosophical theme not only in ontology but also in epistemology. In Husserl, there are particular universals, the noematic ‘X’, the identical, and universals stricto sensu, atemporal universal names. In this paper, I present the theme as it is analyzed by Husserl in Ideas I. In the first section, I describe the trajectory to the universals highlighting the parallelism between noese and noema. In the second section, I draw the reflection of this problem on the (...) philosophy of language which is also affected by the noeticnoematic correspondence. In the third and last section, I show how the investigation about the universals moves in the noematic sphere, and conclude defending the possibility of reaching the universal strict sense departing from the noematic ‘X’. (shrink)

Scientific realists argue that a good track record of multi-agent, and multiple method, validation of empirical claims is itself evidence that those claims, at least partially and approximately, reflect ways nature actually is independent of the ways we conceptualize it. Constructivists contend that successes in validating empirical claims only suffice to establish that our ways of modelling the world, our “constructions,” are useful and adequate for beings like us. This essay presents a thought experiment in which beings like us intersubjectively (...) validate claims about properties of particular things in nature under conditions in which those beings have profoundly different personal phenomenological experiences of those properties. I submit that the thought experiment scenario parallels our actual situation, and argue that this shows that successes in intersubjectively validating empirical claims are indeed enough to claim victory for the realist. More specifically, I champion a variation of realism that marries Ronald Giere’s brand of ‘perspectival realism’ with Philip Kitcher’s ‘real realism,’ and posits that causal relations between ourselves and properties instantiated in nature ground our references to the relevant properties even though our conceptions of them are perspective relative. (shrink)

Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the mathematical theory of categories, (...) dating from the mid-twentieth century, includes a theory of always-self-predicative universals--which can be seen as forming the "other bookend" to the never-self-predicative universals of set theory. The self-predicative universals of category theory show that the problem in the antinomies was not self-predication per se, but negated self-predication. They also provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. (shrink)

The purpose of this book is to address the controversial issues of whether we have a fixed set of ontological categories and if they have some epistemic value at all. Which are our ontological categories? What determines them? Do they play a role in cognition? If so, which? What do they force to presuppose regarding our world-view? If they constitute a limit to possible knowledge, up to what point is science possible? Does their study make of philosophy a science? Departing (...) from the novelty –but no exclusively- of considering distinctions to be the subject matter of thought and language -that is, of reference and meaning- the author arrives at a radical novel conception of the ontological categories. The observations and arguments presented in it constitute a strong case against established and well-rooted tenets, if not paradigms, of contemporary philosophy, beyond ontology and epistemology. The entailing conclusions, open the door to a revival of the discipline and the importance of its studies, as the science of the constitutive elements of knowledge of a non-empirical nature. (shrink)

D. M. Armstrong famously claims that deterministic laws of nature are contingent relations between universals and that his account can also be straightforwardly extended to irreducibly probabilistic laws of nature. For the most part, philosophers have neglected to scrutinize Armstrong’s account of probabilistic laws. This is surprising precisely because his own claims about probabilistic laws make it unclear just what he takes them to be. We offer three interpretations of what Armstrong-style probabilistic laws are, and argue that all three interpretations (...) are incompatible either with some feature of Armstrong’s broader metaphysics or with essential features of his account of laws (or both). (shrink)

In Lowe’s Four-Category Ontology, instantiation is a basic formal ontological relation between particulars (objects, modes) and their kinds (kinds, attributes). Therefore, instantiation must be considered as a metaphysically necessary relation, which also rules out the metaphysical possibility of kind change. Nevertheless, according to Lowe, objects obtain their identity conditions in a more general level than specific natural kinds, which allows for kind change. There also seems to be actual examples of kind change. The advocate of Four-Category Ontology is obliged to (...) resolve the tension between these mutually incompatible claims. In this article, we argue that the only viable option for the advocate of Four-Category Ontology is to bite the bullet and stick to the necessity of each of the most specific natural kind to the object instantiating it. As a major drawback, the four-category ontologist does not have any credible means to allow for kind change or determination of the identity conditions in a more general level. (shrink)

It is commonly held that Bradley’s regress has a solution within a trope ontology. This seems to happen when a bundle is understood as constituted by non-transferable tropes. It also seems to happen when a bundle is understood as constituted by transferable tropes related by a relational trope of compresence whose existence specifically depends on those relata. In this article I demonstrate that these proposals fail in addressing the essential question that underlies the regress, incurring in a question-begging response already (...) anticipated by Bradley. (shrink)

According to the traditional bundle theory, particulars are bundles of compresent universals. I think we should reject the bundle theory for a variety of reasons. But I will argue for the thesis at the core of the bundle theory: that all the facts about particulars are grounded in facts about universals. I begin by showing how to meet the main objection to this thesis (which is also the main objection to the bundle theory): that it is inconsistent with the possibility (...) of distinct qualitative indiscernibles. Here, the key idea appeals to a non-standard theory of haecceities as non-well-founded properties of a certain sort. I will then defend this theory from a number of objections, and finally argue that we should accept it on the basis of considerations of parsimony about the fundamental. (shrink)

There is a largely unrecognized ambiguity concerning the nature of a trope. Disambiguation throws into relief two fundamentally different conceptions of a trope and provides two ways to understand and develop each metaphysical theory that put tropes to use. In this paper I consider the relative merits that result from differences concerning a trope’s ability to ground the character of ordinary objects. I argue that on each conception of a trope, there are unique implications and challenges concerning character-grounding.

We argue that if one wishes to be a realist, one should adopt a Neo-Aristotelian ontology involving tropes instead of a Russellian ontology of property universals and objects. Either Russellian realists should adopt the relata-specific relational tropes of instantiation instead of facts, or convert to Neo-Aristotelian realism with monadic tropes. Regarding Neo-Aristotelian realism, we have two novel points why it fares better than Russellian realism. Instantiation of property universals by tropes and characterization or inherence between tropes and objects are more (...) transparent ontological notions than relational inherence, which is assumed in Russellian realism with the relational tropes of instantiation. Neo-Aristotelian realism makes better sense about abstract universals, which are a more viable option than concrete universals. (shrink)

Trope theory is the view that the world consists (wholly or partly) of particular qualities, or tropes. This admittedly thin core assumption leaves plenty of room for variation. Still, most trope theorists agree that their theory is best developed as a one-category theory according to which there is nothing but tropes. Most hold that ‘sameness of property’ should be explained in terms of resembling tropes. And most hold that concrete particulars are made up from tropes in compresence (for an overview, (...) including an introduction to some alternative versions of the view, cf. Maurin, 2014). D. M. Armstrong disagrees. He thinks the world is a world of immanent universals, the thin particulars in which those universals are instantiated, and the states of affairs that—thereby—exist. He holds that ‘sameness of property’ should be explained in terms of numerically identical universals or—if the resembling things are the universals themselves—in terms of partially identical universals. And he believes that concrete particulars are made up from ‘thin particulars’ in which a (sufficient) number of universals are instantiated. In spite of their disagreements, proponents of tropes owe Armstrong a debt of gratitude. First, for being one of the theory’s earliest, most serious, and—not least—most prominent, critics (Armstrong for the first time considers, and rejects, what he then labels ‘particularism’, in his 1978a). But also for being one of the theory’s most ardent champions. Already in his 1989a, Armstrong regrets his 1978-rejection of the view. Equivalence classes of exactly resembling tropes, he now admits, for most purposes “serve as an excellent substitute for universals” (Armstrong 1989a, 122). But then why isn’t Armstrong a trope theorist? In this paper, Armstrong’s main reasons for rejecting the trope view are critically scrutinized. All of them, it is maintained, fail to convince. If this argument is accepted, Armstrong seems to have no—or, at least, no good—reason for not accepting the existence of tropes. But, then, ought Armstrong to have been a trope theorist? If the ‘best’ version of the trope view turns out to be ontologically more parsimonious than Armstrong’s own theory of universals, then, yes. That there is a version of the trope view, a version that is not (or, at least not seriously) considered by Armstrong, that is ontologically more parsimonious than the universals view, is argued in the next section. Why none of Armstrong’s reasons for preferring universals to tropes manage to convince, is explained in the section after that. First, however, and in order to avoid a common misunderstanding of the trope view and, as a consequence, of why one ought to reject it, a few more words about the core-difference between tropes and universals, and about how this difference matters (as well as does not matter) to what—and how well—these theories explain. (shrink)

This paper addresses the ontological status of the ontological categories as defended within E.J. Lowe’s four-category ontology (kinds, objects, properties/relations, and modes). I consider the arguments in Griffith (2015. “Do Ontological Categories Exist?” Metaphysica 16 (1):25–35) against Lowe’s claim that ontological categories do not exist, and argue that Griffith’s objections to Lowe do not work once we fully take advantage of ontological resources available within Lowe’s four-category ontology. I then argue that the claim that ontological categories do not exist has (...) no undesirable consequences for Lowe’s brand of realism. (shrink)

Vallicella’s influential work makes a case that, when formulated broadly, as a problem about unity, Bradley’s challenge to Armstrongian states of affairs is practically insurmountable. He argues that traditional relational and non-relational responses to Bradley are inadequate, and many in the current metaphysical debate on this issue have come to agree. In this paper, I argue that such a conclusion is too hasty. Firstly, the problem of unity as applied to Armstrongian states of affairs is not clearly defined; in fact, (...) it has taken a number of different forms each of which need to be carefully distinguished and further supported. Secondly, once we formulate the problem in more neutral terms, as a request for a characterization of the way that particulars, universals, and states of affairs stand to one another, it can be adequately addressed by an Armstrongian about states of affairs. I propose the desiderata for an adequate characterization and present a neo-Armstrongian defense of states of affairs that meets those desiderata. The latter relies on an important distinction between different notions of fundamentality and existential dependence. (shrink)

Non-Relational Realism is a popular solution to the Bradleyan regress of facts or truths. It denies that there is a relational universal of exemplification; for an object a to exemplify a universal F-ness, on this view, is not for a relation to subsist between a and F-ness. An influential objection to Non-Relational Realism is that it is unacceptably obscure. The author argues that Non-Relational Realism can be understood as a selective application of satisfaction semantics to predicates like ‘exemplify’, and that (...) so understood, it is not obscure. This kind of selective use of satisfaction semantics may be feasible in other contexts as a means of making theories more parsimonious. (shrink)

G. E. L. Owen, in his infl uential paper “Inherence,” talks of “vink,” a name he has created for a particular shade of the color pink, and this “vink” serves as an individual in the Aristotelian category of quality. Owen was one of the first to aim to discredit the belief that J. L. Ackrill and his camp espoused, the belief that Aristotle thought that “general attributes are not in individuals, particular attributes are not in more than one individual.” I (...) postulate that there is nothing here that does not preclude the existence of transferable nonsubstantial particulars, and base this view on passages from Aristotle’s Categories and certain examples found in Ammonius’s commentary and On Colors. Given this, a nonsubstantial particular of “vink” would not have to rely on having inhered in just one particular body to have existence, however, it would have to inhere in at least one particular body. (shrink)

Samuel Alexander was one of the first realists of the twentieth century to defend a theory of categories. He thought that the categories are genuinely real and grounded in the intrinsic nature of Space-Time. I present his reduction of the categories in terms of Space-Time, articulate his account of categorial structure and completeness, and offer an interpretation of what he thought the nature of the categories really were. I then argue that his theory of categories has some advantages over competing (...) theories of his day, and finally draw some important lessons that we can learn from his realist yet reductionist theory of categories. (shrink)

A problem for Aristotelian realist accounts of universals (neither Platonist nor nominalist) is the status of those universals that happen not to be realised in the physical (or any other) world. They perhaps include uninstantiated shades of blue and huge infinite cardinals. Should they be altogether excluded (as in D.M. Armstrong's theory of universals) or accorded some sort of reality? Surely truths about ratios are true even of ratios that are too big to be instantiated - what is the truthmaker (...) of such truths? It is argued that Aristotelianism can answer the question, but only a semi-Platonist form of it. (shrink)

In this paper I explore Michael Loux’s important distinction between “tropes” and “tropers”. First, I argue that the distinction throws into relief an ambiguity and discrepancy in the literature, revealing two fundamentally different versions of trope theory. Second, I argue that the distinction brings into focus unique challenges facing each of the resulting trope theories, thus calling into question an alleged advantage of trope theory—that by uniquely occupying the middle ground between its rivals, trope theory is able to recover and (...) preserve the insights of these views. Ultimately, the distinction suggests that trope theory is a divided house. (shrink)

Trope theory is an increasingly prominent contender in contemporary debates about the existence and nature of properties. But it suffers from ambiguity concerning the nature of a trope. Disambiguation reveals two fundamentally different concepts of a trope: modifier tropes and module tropes. These types of tropes are unequally suited for metaphysical work. Modifier tropes have advantages concerning powers, relations, and fundamental determinables, whereas module tropes have advantages concerning perception, causation, character-grounding, and the ontology of substance. Thus, the choice between modifier (...) tropes and module tropes is significant and divides the advantages of trope theory simpliciter. In addition, each resulting trope theory is unstable: modifier trope theory threatens to collapse into realism and module trope theory threatens to collapse into austere nominalism. This invites reflection on the stability of trope theory in general. (shrink)

Are concrete objects in some sense made up of the properties they exemplify? A distinguished tradition holds they are. I begin by defending the distinction: there is a real and not just semantic distinction between asserting and denying that concrete objects have their properties as parts. I then argue in favor of the view that concrete objects are not made up of their parts. First, this view has less ontological baggage than its opponent. Next, the supposed advantages of the alternative (...) view—its superiority in understanding persistence, exemplification, or the possibility of diverse duplicates—dissipate under analysis. (shrink)

In Metaphysics A, Aristotle offers some objections to Plato’s theory of Forms to the effect that Plato’s Forms would not be explanatory in the right way, and seems to suggest that they might even make the explanatory project worse. One interesting historical puzzle is whether Aristotle can avoid these same objections to his own theory of universals. The concerns Aristotle raises are, I think, cousins of contemporary concerns about the usefulness and explanatoriness of abstract objects, some of which have recently (...) been receiving attention in the philosophy of mathematics. After discussing Aristotle’s objections and their contemporary cousins, the paper discusses some of the main available lines of response to these sorts of challenges, before concluding with an examination of whether these responses could assist Plato or Aristotle in responding to these challenges. (shrink)

In The Problems of Philosophy, Russell presented his famous regress argument against the nominalist denial of universals. In this paper I explore the origin of the argument in Russell and explore its relevance in contemporary metaphysical debate. I argue that a hundred years on, the argument still presents a powerful tool for realists in their debate with nominalists and trope theorists.

Today it would be considered "bad Platonic metaphysics" to think that among all the concrete instances of a property there could be a universal instance so that all instances had the property by virtue of participating in that concrete universal. Yet there is a mathematical theory, category theory, dating from the mid-20th century that shows how to precisely model concrete universals within the "Platonic Heaven" of mathematics. This paper, written for the philosophical logician, develops this category-theoretic treatment of concrete universals (...) along with a new concept to abstractly model the functions of a brain. (shrink)

It is widely held that some properties are more natural than others and that, as David Lewis put it, “an adequate theory of properties is one that recognises an objective difference between natural and unnatural properties” (Lewis 1983, p. 347). The general line of thought is that such ‘elitism’ about properties is justified as it can give simple and elegant solutions to a number of old metaphysical and philosophical problems. My aim is to analyze what these natural properties are: super-determinates (...) or determinable (or maybe both) and argue that all three of these options would lead to serious difficulties for metaphysical elitism and would prevent natural properties from fulfilling their supposed grand explanatory role. (shrink)

In this paper I outline the main features of Karen Bennett’s (Australasian Journal of Philosophy 1–21, 2011) non-classical mereology, and identify its methodological costs. I argue that Bennett’s mereology cannot account for the composition of structural universals because it cannot explain the mereological difference between isomeric universals, such as being butane and being isobutane. I consider responses, which come at costs to the view.

We discuss the one?many problem as it appears in the Philebus and find that it is not restricted to the usually understood problem about the identity of universals across particulars that instantiate them (the Hylomorphic Dispersal Problem). In fact some of the most interesting aspects of the problem occur purely with respect to the relationship between Forms. We argue that contemporary metaphysicians may draw from the Philebus at least three different one?many relationships between universals themselves: instantiation, subkind and part, and (...) thereby construct three new ?problems of the one and the many? (an Eidetic Dispersal Problem, a Genus?Species Problem, and an Eidetic Combination Problem), which are as problematic as the version generally discussed. We then argue that this taxonomy sheds new and interesting light on certain discussions of higher-order universals in recent Australian analytic philosophy. (shrink)