Universals

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.

A connection between things and properties is required to hold things and properties together. Exemplification is such a connection. Exemplification is usually considered primitive, and therefore analysis of exemplification is nearly absent from the literature. I maintain that exemplification might not be primitive; and in giving a description of exemplification, I point out a new problem having to do with the issue of how things are tied to properties.

Many realists and nominalists, guided by a specific interpretation of the nature of the debate concerning the existence of properties, agree in holding that predicative sentences of the form «a is F» – whereas the schematic letters «a» and «F» stand for, respectively, a name of a particular and a general term –, taken by themselves alone, don’t commit us to the existence of properties. In this paper I’ll take into account the main versions of realism and nominalism that assume (...) the correctness of that thesis; then, moving from what I call “the argument from the anaphoric anomaly”, I’ll bring them into question pointing out that their debate is misguided. (shrink)

It is widely assumed that platonism with respect to a discourse of metaphysical interest, such as fictional or mathematical discourse, affords a better account of the semantic appearances than nominalism, other things being equal. Of course, other things may not be equal. For example, platonism is supposed to come at the cost of a plausible epistemology and ontology. But the hedged claim is often treated as a background assumption. It is motivated by the intuitively stronger one that the platonist can (...) take the semantic appearances at ‘face-value’ while the nominalist must resort to ad hoc and technically problematic machinery in order to explain those appearances away. In this article, I argue that, on any natural construal of ‘face-value’, the platonist, like the nominalist, is not able to take the semantic appearances at face-value. And insofar as the nominalist is forced to resort to ad hoc and technically awkward devices in order to explain those appearances away, the platonist must resort to such devices as well. One moral of the story is that the thesis that platonism affords a better account of the semantic appearances than nominalism – even other things being equal – is not trivial. Another is that we should rethink a widespread methodology in metaphysics. (shrink)

Universals are properties that are shared by multiple objects. In classical South Asia, Brahmanical thinkers from Vyākaraṇa, Nyāya, Vaiśeṣika, and Mīmāṃsā text traditions were realists about universals, while most Buddhists were nominalists. In this paper, my aim is to reconstruct the early Nyāya-Vaiśeṣika theory of universals, with special emphasis on the arguments of the Nyāya philosopher Uddyotakara (6th century CE) against a Buddhist strand of resemblance nominalism. I show that Uddyotakara's contribution to this debate is twofold. First, he is possibly (...) the first Naiyāyika to adopt a sparse theory of universals, a theory according to which it is necessary to posit only those universals which explain how objects resemble each other in the most fundamental or irreducible respects. On the other hand, he offers a few arguments for realism, which are explicitly motivated by a causal constraint on intentionality. (shrink)

According to traditional universalism, properties are instantiated by objects, where instantiation is a ‘tie’ that binds objects and properties into facts. I offer two arguments against this view. I then develop an alternative higher-order account which holds that properties are primitively predicated of objects yet, unlike traditional nominalism, are nevertheless genuinely real. When it’s a fact that Fo, it’s not because object o instantiates F-ness, but just that Fo – where F still exists. Against orthodox higher-order approaches, however, my arguments (...) against instantiation also serve to support a sparse conception of properties. In developing the view, I introduce an extension of ontological and ideological commitment in the form of syntactic commitment. (shrink)

I defend a new conception of the particular-universal distinction based on considerations about what David Lewis calls ‘amphibians’. I argue, first, that given the possibility of amphibians, two recently popular conceptions of the particular-universal distinction, namely the repeatability conception and the duplicability conception, are both objectionable since they are biased in one way or another. I then propose a more flexible conception that solves this problem by regarding amphibians as belonging to a sui generis sort of property distinct from what (...) I call ‘strong universals’ and ‘strong tropes’. Finally, I respond to some objections directed at this new account. (shrink)

The existence of disjunctive properties has been put in question by many philosophers. In this article, I shall offer an argument for the existence of such properties. I shall show that they are required in order to ground certain objective and unique resemblances between things. In Section 1, I develop the argument by presenting a toy example involving three entities: a red fish (Bill), a glass and round fish bowl (Bowl), and a red ball (Ball). In Section 2, I deal (...) with two strategies to rebut my argument. Such strategies respectively consist in denying that there is any objective and unique similarity between Bill, Bowl and Ball, and in holding that such a similarity is based on non-disjunctive properties. In Section 3, I examine and reject two further strategies, that consist in holding that grounding objective and unique similarities is not enough in order for something to exist as a property and in pointing to some more general concerns about disjunctive properties. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

Naïve Realists hold that perceptual experience is a conscious relation to an object and its property-instances. In contrast, Representationalists hold that it is a conscious representational state with content, something which is accurate or inaccurate in certain conditions. The most common versions of Representationalism take perceptual content to be either general (Generalism) or singular in the object-place and otherwise consisting of attribution of properties (Singularism/Attributionism). Susanna Schellenberg has recently developed a version on which perceptual content is singular even in the (...) property-place in containing a de re mode of presentation of a property-instance (Particularism) (Schellenberg 2018). Particularism is explicitly motivated by its ability to capture certain Naïve Realist insights and it would be genuine progress if it were the best version of Representationalism. Then the debate between Naïve Realism and Representationalism would reduce to the debate over Disjunctivism. In this paper I show that Particularism faces a version of the problem of the Unity of Perceptual Content. Namely, its supporters haven’t told us how objects can be bound together with property-instances into a content such that it represents them and has accuracy-conditions. Furthermore, I argue that Particularists face an in-principle obstacle in solving it. In contrast, Attributionists can say that objects are bound together with properties into a content because the latter are attributed to the former. This establishes Attributionism as the only Representationalist game in town. But Attributionism can’t capture all Naïve Realist insights that the Particularists are after. Thus, the debate between Naïve Realism and Representationalism doesn’t reduce to the debate over Disjunctivism. (shrink)

This paper explores the connection between two philosophical debates concerning the nature of properties. The first metaethical debate is about whether normative properties are ordinary natural properties or some unique kind of non-natural properties. The second metaphysical debate is about whether properties are sets of objects, transcendent or immanent universals, or sets of tropes. I argue that nominalism, transcendent realism, and immanent realism are not neutral frameworks for the metaethical debate but instead lead to either metaethical naturalism or non-naturalism. We (...) can therefore investigate the metaethical question on its own terms only within the framework of trope theory. (shrink)

Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.

In this chapter, I make the case for platonic realism, the thesis that there are properties that lack spatial locations. After criticizing the one-over-many argument for realism and Lewis's argument for realism, I endorse a modal argument that derives the existence of platonic properties from considerations involving necessary truth. I then defend this argument from various objections. Finally, I argue that epistemic considerations and considerations of parsimony favor a weak form of platonic realism on which there are platonic properties, but (...) each property could have had an instance, and would have been located in its instances if it had any. (shrink)

The Aristotelian view of universals, according to which each universal generically depends for its existence on its instantiations, has recently come under attack by a series of ground-theoretic arguments. The last such arguments, presented by Raven, promises to offer several significant improvements over its predecessors, such as avoiding commitment to the transitivity of ground and offering new reasons for the metaphysical priority of universals over their instantiations. In this paper, we argue that Raven's argument does not effectively avoid said commitment (...) and that Raven's new reasons fail. Moreover, we present a novel ground-theoretic interpretation of the Aristotelian view, referred to as strong immanence, and introduce a new argument against the Aristotelian view, intended to sidestep any commitment to the transitivity of ground. (shrink)

Ontologiset kategoriateoriat pyrkivät vastaamaan metafysiikan klassiseen ongelmaan: kysymykseen siitä, mihin eri kategorioihin oliot eli entiteetit jakaantuvat. Olioilla tarkoitetaan tässä mitä tahansa, joka on olemassa. Olevan kategoriat eli ontologiset kategoriat (lyhyesti kategoriat) ovat alustavasti olioiden hyvin yleisiä lajeja. Jäsenyys olioiden kategoriassa ei niinkään kerro sitä, mitä piirteitä oliolla on, vaan sen olemisen tavan ¬– miten se esimerkiksi on tai voi olla maailman rakenneosa. Esimerkkejä mahdollisista kategorioista ovat konkreettiset partikulaariset yksilöoliot (substanssit), ominaisuudet, relaatiot, prosessit, tapahtumat ja joukot. -/- 1. Mitä ovat ontologiset (...) kategoriateoriat -/- 2. Uusaristoteelinen realismi -/- 3. Russellilainen realismi -/- 4. Universaalikimpputeoriat -/- 5. Nominalismi: substanssi-modus-teoriat -/- 6. Trooppiteoriat -/- 7. Jyrkkä nominalismi -/- 8. Tapahtuma- ja prosessiontologiat -/- 9. Ontologisten kategorioiden tutkimus Suomessa -/- 10. Suositeltavaa jatkolukemista -/- 11. Lähteet . (shrink)

This chapter considers the ‘hosting question’ of how immanent universals, in contrast to transcendent universals, are ‘brought down to earth’ from ‘Plato’s heaven’. It explores the thesis that the hosting amounts to their being constituents of the states of affairs that result from their instantiations. These states of affairs are concrete complexes consisting of particulars and universals, and perhaps something that links them together. The traditional view that immanent universals are concrete is briefly defended against a recent prominent objection. On (...) relationalism, states of affairs are unified by a relation of some sort; on non-relationalism they are unified non-relationally. Roughly, these two conceptions of states of affairs are equivalent to Armstrong’s relational and non-relational versions of immanent realism, respectively. Armstrong mostly criticises the former and defends the latter. It is argued, however, that relationalism, at least potentially, answers the hosting question, whereas non-relationalism realism does not. (shrink)

There is an ongoing debate on the ontology of relations, which features four main competing approaches: directionalism, positionalism, anti-positionalism, and primitivism. This paper focuses on a particular version of positionalism, namely role positionalism, and proposes the results of an experimental philosophy research concerning aspects of it. We tested the intuitions of ordinary subjects regarding the inter-relational generality of the roles typically assumed for spatial and kinematic relations, namely source, destination, theme, location. According to a 2014 paper by Orilia, this generality (...) is rather wide, as it encompasses relations of temporal order, causation, quantitative order, transaction, possession, and parthood. Our findings do not support this proposal, except for parthood, and, in a limited way, for temporal order. We also tested the intuitions of ordinary subjects regarding the contrast between the pro-converses option, according to which non-symmetric relations split into distinct converse relations, and the anti-converses option, according to which non-symmetric relations have no distinct converses. Although traditionally positionalism is associated to the latter option, in recent works by Orilia role positionalism is associated to the former option for at least some relations, while remaining anchored to the latter option for other relations. Our findings support this mixed line to some extent, but not quite in the way suggested by Orilia in such works. (shrink)

The problem of identity is central to epistemic transference. However, relative identity appears to be the only way to work out an epistemic useful notion of identity. Relative identity, on its part, is either parasitic on strict identity or not identity at all. If, on the contrary, we ought for a strict concept of identity capable of satisfying its requirements, we end up with a tautologic and epistemic worthless category. The paper provides an answer to this problem, which, while working (...) with a strict notion, shows how it might still serve epistemic purposes. In doing so, it shows how a formal reconstruction of our objectual world and the identities we refer to poses a workable model upon which our messy epistemic one acquires stability. The paper focuses primarily on the Geach-Quine discussion on identity. (shrink)

Properties have an important role in specifying different views on laws of nature: virtually any position on laws will make some reference to properties, and some of the leading views even reduce laws to properties. This chapter will first outline what laws of nature are typically taken to be and then specify their connection to properties in more detail. We then move on to consider three different accounts of properties: natural, essential, and dispositional properties, and we shall see that different (...) conceptions of properties also result in different views of the modal status of laws, such as the question of whether laws are metaphysically necessary or contingent. Finally, there are also important links specifically between properties, natural kinds, and laws of nature that deserve our attention. (shrink)

Commitment to sparseness amounts to the idea that there is an objective, worldly privileging of certain properties over others that makes the privileged properties suited to play certain roles, and is responsible for their playing such roles. In this chapter I offer a brief, opinionated overview of sparseness. I begin by examining a set of problems that I call “problems of abundance”, which generate canonical motivations for sparseness. I then survey some influential approaches to sparseness and the roles that they (...) attribute to sparse properties, noting that on most approaches sparse properties are deeply connected to inquiry. Finally I consider some problems for sparseness, focusing on the purported connections between sparseness and inquiry, particularly in philosophy of science and inquiry into the social world. (shrink)

Commitment to sparseness amounts to the idea that there is an objective, worldly privileging of certain properties over others that makes the privileged properties suited to play certain roles, and is responsible for their playing such roles. In this chapter I offer a brief, opinionated overview of sparseness. I begin by examining a set of problems that I call “problems of abundance”, which generate canonical motivations for sparseness. I then survey some influential approaches to sparseness and the roles that they (...) attribute to sparse properties, noting that on most approaches sparse properties are deeply connected to inquiry. Finally I consider some problems for sparseness, focusing on the purported connections between sparseness and inquiry, particularly in philosophy of science and inquiry into the social world. (shrink)

The strong immanent realism (i.e., the view that there exist universals as entities capable of being wholly present wherever their instances are located) has been traditionally criticized for having certain absurd consequences. Although Gilmore (2003) replied to these criticisms by taking spatial relations involving universals as relativized to their locations, his reply has been rebutted by Keskinen et al. (2015). This paper aims to defend the strong immanent realism by proposing a new version of the relativization strategy, according to which (...) a spatial relation is to be relativized just to the extent that it contains universals or concrete particulars among its terms. This version, it will be argued, can satisfactorily address the objections hitherto posed to the strong immanent realism. (shrink)

Jc Beall has made several contributions to the theory of restricted quantification in relevant logics. This paper examines these contributions and proposes an alternative account of restricted universals. The alternative is not, however, a theory of relevant restricted universals in any real sense. It is, however, a theory of restricted universals phrased in the most plausible general quantificational theory for relevant logics—Kit Fine’s stratified semantics. The motivation both for choosing this semantic framework and for choosing the particular theory of restricted (...) quantification we use is because they are the best way of dealing with these topics from Beall’s theory-building theory picture of logic, establishing a second point of contact with Beall’s work. (shrink)

Gideon Rosen, Brian Leiter, and Catarina Dutilh Novaes raise deep questions about the arguments in Morality and Mathematics (M&M). Their objections bear on practical deliberation, the formulation of mathematical pluralism, the problem of universals, the argument from moral disagreement, moral ‘perception’, the contingency of our mathematical practices, and the purpose of proof. In this response, I address their objections, and the broader issues that they raise.

In the ontology of music the Aristotelian theory of musical works is the view that musical works are immanent universals. The Aristotelian theory (hereafter Musical Aristotelianism) 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)

Review of: "Biology as a postmodern science: Universals, historicity, and context".

Natural languages vary in their quantity expressions, but the variation seems to be constrained by general properties, so-calleduniversals. Their explanations have been sought among constraints of human cognition, communication, complexity, and pragmatics. In this article, we apply a state-of-the-art language coordination model to the semantic domain of quantities to examine whether two quantity universals—monotonicity and convexity—arise as a result of coordination. Assuming precise number perception by the agents, we evolve communicatively usable quantity terminologies in two separate conditions: a numeric-based condition (...) in which agents communicate about a number of objects and a quotient-based condition in which agents communicate about the proportions. We find out that both universals take off in all conditions but only convexity almost entirely dominates the emergent languages. Additionally, we examine whether the perceptual constraints of the agents can contribute to the further development of universals. We compare the degrees of convexity and monotonicity of languages evolving in populations of agents with precise and approximate number sense. The results suggest that approximate number sense significantly reinforces monotonicity and leads to further enhancement of convexity. Last but not least, we show that the properties of the evolved quantifiers match certain invariance properties from generalized quantifier theory. (shrink)

The theory of universals faces two opposing demands. On the one hand, it must be explanatory. That is, certain kinds of statements found in our everyday discourse and the theories used to explain them seem to require the existence of universals for their understanding or acceptance. On the other hand, it must be ontologically appropriate. This means that theories that intervene ontologically without sufficient reasons for the existence of implausible entities or theories that result in an excessive proliferation of new (...) entities should not be embraced as theories of universals. The problem is that a theoretically sound theory of universals appears to inevitably involve a tension between explanatory and ontological appropriateness. This dilemma arises from the two aforementioned demands, and it is a genuine dilemma in that it is difficult to give up either demand. Philosophy, or metaphysics, fundamentally aims to explain the facts of the experiential world. If a philosophical theory fails to adequately satisfy our explanatory demands regarding the experiential world, it is not suitable as a philosophical theory. Conversely, it is also undesirable for a philosophical theory to impose excessive ontological burdens. The justification of a philosophical theory is a priori, and any a priori claims about the existence of entities should not be arbitrarily adopted. This article resolves this dilemma as follows: If the explanatory demand requires reduction from an ontological standpoint, it can be adequately addressed through unproblematic means. On the other hand, the apparent conflict between the explanatory demand and appropriate ontology only arises when it is understood as a demand for explanatory priority. However, such a demand does not necessarily require the introduction of any ontological priority. Therefore, there was no need for the dilemma to arise. Finally, I attempt to respond to the demands from natural kind predicates. (shrink)

We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible operators, only few appear in the lexicon of natural languages: the connectives in English, for example, are conjunction _and_, disjunction _or_, and negated disjunction _nor_; the lexical quantifiers are _all, some_ and _no_. The logically possible nand (negated conjunction) and Nall (negated universal) are not expressed by lexical entries in English, nor in any natural language. Moreover, (...) the lexicalized operators are all upward or downward monotone, an observation known as the Monotonicity Universal. We propose a logical explanation of lexical gaps and of the Monotonicity Universal, based on the dynamic behaviour of connectives and quantifiers. We define update potentials for logical operators as procedures to modify the context, under the assumption that an update by \( \phi \) depends on the logical form of \( \phi \) and on the speech act performed: assertion or rejection. We conjecture that the adequacy of update potentials determines the limits of lexicalizability for logical operators in natural language. Finally, we show that on this framework the Monotonicity Universal follows from the logical properties of the updates that correspond to each operator. (shrink)

At least since Russell, mainstream analytic philosophy has distinguished internal and external relations and acknowledged the existence of both. This seems in line with both the manifest and scientific images of the world. However, there is a recent deflationary trend about relations, which focuses on the truthmakers of relational statements in order to show that putative external relations are in fact internal, and that internal relations do not really exist. Lowe’s posthumous 2016 paper is a thorough presentation of this line (...) of thought. This article critically analyzes Lowe’s arguments in that paper, and some related arguments in recent works. It finds them wanting and thus reaffirms the irreducible reality of relations. (shrink)

Within some ontological theories, bare or thin particulars are the “kernel” of ordinary substances and they are supposed to clarify some key features of the latter, including their nature. In this article, I wish to offer a new theory of bare particulars, based on an interpretation of properties as modes and on a new reading of the dependence relations holding among entities in terms of respects of dependence. In Section 1, I shall introduce bare particulars, modes and respects of dependence. (...) In Section 2, I shall consider the relationships between bare particulars, clothed particulars (i.e., ordinary substances) and their properties. I shall present two models and I shall examine some of their problems. In Section 3 and in Section 4, I shall present a new model by invoking modes and respects of dependence. This will ground my theory of the relationships between bare particulars, clothed particulars and their properties. Finally, in Section 5, I shall compare my model with the second model presented in Section 2 and, in Section 6, I shall deal with some objections against bare particulars and against my own theory. (shrink)

The paper proposes a simple method for constructing ontological theories—an ‘ontology generator’. It shows that such a generator manages to produce major existing ontological theories, e.g., Realism, Nominalism, Trope theory, Bundle theory, Perdurantism, Endurantism, Possibilism, Actualism and more. It thus turns out, surprisingly, that all these seemingly unrelated different ontological theories that were designed by thinkers hundreds of years apart, can all be generated using the same simple mechanism. Moreover, this same generator manages to produce entirely novel ontological theories, that (...) fare no worse than existing ones in meeting the same common metaphysical challenges. (shrink)

In this paper, I advance a lesser known counterfactual principle of grounding in a new kind of way by appealing to properties and the work they do. I then show that this new way of arguing for this principle is superior to another way, describe some of the work this principle can do, defend my use of this principle, and conclude with remarks on why principles like it are needed.

This paper is inspired by and develops on E. J. Lowe’s work, who writes in his book The Possibility of Metaphysics that ‘metaphysical possibility is an inescapable determinant of actuality’ (1998: 9). Metaphysics deals with possibilities – metaphysical possibilities – but is not able to determine what is actual without the help of empirical research. Accordingly, a delimitation of the space of possibilities is required. The resulting – controversial – picture is that we generally need to know whether something is (...) possible before we can know whether it is actual. In order to appreciate this picture, we need to understand Lowe’s slogan: ‘essence precedes existence’ (Lowe 2008: 40). This slogan has both an ontological and an epistemic reading. The ontological reading is related to the now familiar idea that essence grounds modality, as popularised by Kit Fine. The epistemic reading suggests that we can know the essence of some entity before we know whether or not that entity exists. However, this idea is often met with puzzlement and Lowe himself sadly passed away before he had a chance to clarify this framework. I will present the framework as I understand it, develop it on my own terms, and put forward a qualified defence of it. I will also illustrate how the framework can be put to use with a case study concerning the discovery of transuranic elements. (shrink)

The meanings of utterances and thoughts are commonly regarded in philosophical semantics as abstract objects, called «propositions», which account for how different utterances and thoughts can be synonymous and which constitute the primary truth-bearers. I argue that meanings are instead natural properties that play causal roles in the world, that the kind of «One over Many» thinking underlying the characterization of shared meanings as abstract objects is misguided and that utterances and thoughts having truth-values in virtue of their meanings does (...) not entail that meanings themselves are truth-bearers. (shrink)

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 (...) also constant, which is absurd. Avoiding this absurd conclusion requires questioning assumptions about infinity in the proof or interpretation of the theorem, adopting a sparse conception of properties, or denying degree of resemblance is a function of number of properties in common. After arguing against both the first two options, this paper argues for a version of the third which analyses degree of resemblance as a function of properties in common, but weighted by their degree of naturalness or importance. (shrink)

The sparseness thesis has notably gained momentum among contemporary realists about universals: indeed, most of them hold that some but not all predicates true of particulars are ontologically rooted in correlative universal properties, viz. some but not all predicates are property-predicates. Armstrong is one the main advocates of this position as he put forward a cluster of arguments to the conclusion that in mapping predicates onto universals we find gaps and discontinuity. One of the main Armstrongian arguments of this kind (...) pivots on the crucial application of the apparently highly intuitive genuine identity test for universals. In this paper I will examine Armstrong’s argument from genuine identity against disjunctive properties and evaluate its strength. (shrink)

In this paper, I develop a theory on which each of a thing’s abundant properties is immanent in that thing. On the version of the theory I will propose, universals are abundant, each instantiated universal is immanent, and each uninstantiated universal is such that it could have been instantiated, in which case it would have been immanent. After setting out the theory, I will defend it from David Lewis’s argument that such a combination of immanence and abundance is absurd. I (...) will then advocate the theory on the grounds that it accomplishes all of Lewis’s “new work” while providing a gain in parsimony and a new account of fine-grained content. I will close with a discussion of how the theory also affords a new reply to two objections to uninstantiated universals: Armstrong’s charge that they are inconsistent with naturalism, and a Benacerraf-Field-style objection about epistemic access. (shrink)

This paper reports an experiment that investigates interpretive distinctions between two different expressions of generalization in Spanish. In particular, our aim was to find out when the distinction between generic statements (GS) such as Tigers have stripes and universally quantified statements (UQS) such as All tigers have stripes was acquired in Spanish-speaking children of two different age groups (4/5-year-olds and 8/9-year-olds), and then compare these results with those of adults. The starting point of this research was the semantic distinction between (...) GS and UQS in that the former admit exceptions, unlike the latter. On the other hand, several authors have observed a Generic overgeneralization effect (GOG) consisting in allowing for UQS to be felicitous in the face of exceptions, thus proposing that this “error” stems from GS being defaults (simpler, more easily learned and processed). In the current paper we aimed to test the “Generics as Default” (GaD) hypothesis by comparing GS and UQS in three different age ranges. Our data show that, overall, the accuracy of GS is greater than the accuracy of UQS. Moreover, we also confirm a hypothesized interaction between age and NP type (GS vs UQS). Further, we present several data points that are not predicted by the GaD, including an observed decline in the accuracy of GS in the older group of children as well as in adults, and that children fail at rejecting statements that are not considered to be true generalizations. (shrink)

According to a well-known argument against dispositional essentialism, the nature of unmanifested token powers leaves dispositional essentialists with an objectionable commitment to the reality of non-existent entities. The idea is that, because unmanifested token powers are directed at their non-existent token manifestations, they require the reality of those manifestations. Arguably the most promising response to this argument works by claiming that, if properties are universals, dispositional directedness need only entail the reality of actually existing manifestation types. I argue that this (...) response fails, because no version of the response can adequately accommodate dispositions of the sort that follow from Coulomb’s law. This result both defeats an important argument that dispositional essentialists ought to be realists about universals and appears to leave dispositional essentialists with a problematic commitment to either non-relational connections or a Meinongian ontology. (shrink)

The possibility of multi-location—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 the location of immanent universals, the multi-location of mereologically changing three-dimensional objects, the multi-location of mereologically complex objects, and that it makes extended simples impossible. (shrink)

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the way.

To be an Aristotelian about universals is to hold that universals depend for their existence on their exemplifiers. An argument against Aristotelianism about universals has recently been put forward by Costa to the effect that a contradiction follows from assuming a certain formulation of Aristotelianism together with some highly plausible principles governing the notions employed in that formulation. In this paper, we provide different ways of articulating the Aristotelian position which, while being related with some of the main contributions in (...) the current Aristotelian tradition, do not fall prey to the argument. (shrink)

In this paper, I propose a solution to an almost ignored problem in metaphysics and metametaphysics: what is categorial fundamentality and non-fundamentality? My proposal builds on E. J. Lowe’s view on the issue. By means of the newcomer notion of generic identity, I can give an account of something that Lowe did not explicate: the constitution of formal ontolog- ical relations. Formal ontological relations (e.g. instantiation) are internal relations that deter- mine ontological form and category-membership. I argue that categorial fundamentality (...) is hav- ing membership fully determined by a simple formal ontological relation or relations jointly in an order and categorial non-fundamentality is having membership at least partly determined by a derived formal ontological relation in an order. In contrast to Lowe, my proposal does not pre- suppose non-modal essentialism. (Please, ask for the penultimate draft.). (shrink)