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)

In this paper, I first argue for a relational account of the concept of ontological form and its difference from being. The former is explicated by the concepts of character-neutral internal relation and existence or being and that the ontological forms of entities consist in these formal ontological relations in which the entities stand. Secondly, I apply this account to ontological categories and their membership-determination, existence and reality. Here I also defend a relational view that categories are construed as pluralities (...) of entities standing in the same formal ontological relations in the same order. Formal ontological relations are not additional entities to their relata because they are internal relations. Therefore, categories do not exist as entities numerically distinct from their members. Yet their membership is determined by formal ontological relations actually holding among entities. My accounts are nominalist since ontological forms and categories are not universal or general entities of any sort. (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)

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)

L'Occident n'a jamais paru aussi vulnérable à la critique. On lui impute notamment l'humiliation infligée par des siècles de colonisation. Même en son propre sein il est contesté, accusé d'avoir assuré au mâle hétérosexuel blanc des privilèges indus ou encore jugé responsable du saccage de la planète. Pourtant, l'Occident continue de fasciner ceux-là mêmes qui le contestent. Le sens des flux migratoires en est la preuve : ce ne sont pas les Occidentaux qui fuient leurs pays au risque de leur (...) vie, même quand ils sont en désaccord avec leurs gouvernants. Ces quatre derniers siècles, l'Occident a toujours été à la pointe, en politique, morale, esthétique, science, technologie, philosophie, etc. Les bienfaits planétaires de ses progrès justifient, à ses yeux, son universalisme messianique. Cependant, la liste est longue de ceux qui refusent de suivre aveuglément les valeurs 'universelles' de l'Occident. Mais que lui reprochent-ils précisément? (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.

This paper will examine the Küng-Armstrong trilemma against Class Nominalism. We will see that combining Class Nominalism and Zermelo-Fraenkel set theory (ZF) can provide us with a sophisticated version of Class Nominalism, namely ZF-Class Nominalism, which successfully addresses the objection and leads to a moderate version of ineffabilism about the putative set-membership relation.

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)

The general concept of a trope – that of a non-shareable character-grounder – admits of a distinction between modifier tropes and module tropes. Roughly, a module trope is self-exemplifying whereas a modifier trope is not. This distinction has wide-ranging implications. Modifier tropes are uniquely eligible to be powers and fundamental determinables, whereas module tropes are uniquely eligible to play a direct role in perception and causation. Moreover, each type of trope theory faces unique challenges concerning character- grounding. Modifier trope theory (...) faces challenges concerning the inscrutability of predication and the incompatibility with bundle theory, whereas module trope theory faces challenges concerning character overdetermination and a collapse into austere nominalism. These differences indicate that the modifier/module distinction divides the advantages of general trope theory and thus presents the trope theorist with a pivotal choice. (shrink)

The task of distinguishing universals from particulars is difficult twice over. It faces a host of first order challenges, since first order proposals about the distinction (e.g. only universals are instantiable, or only universals can be multi-located) tend to be threatened by counterexamples. But it also faces formidable methodological challenges, such as how to decide whether the distinction ought to be exclusive and exhaustive. After discussing the relationships between the distinction and several pairs of pre-philosophical notions, this chapter aims to (...) provide an instructive—albeit non-exhaustive—examination of some principal first order approaches and methodological challenges, respectively. (shrink)

The property theory of musical works is the view that identifies works of music with properties as universals. The purpose of this article is to distinguish different versions of the property theory and argue that none of them can satisfy certain demands we expect from a successful theory of musical works. I conclude that although properties as universals are familiar and useful in other domains, we cannot rely on them to explain the ontological nature of musical works.

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)

This paper defines relational properties and argues for their reducibility in a, broadly speaking, Armstrongian framework of state of affairs ontology and truthmaking. While Armstrong’s own characterisation and reduction of them arguably is the best one available in the literature of this framework, it suffers from two main problems. As will be shown, it neither defines relational properties very clearly (if at all), nor provides an adequate conception of their reduction. This paper attempts to remedy this situation in four steps. (...) First, it introduces relational properties and why they matter in metaphysics in general. Second, by briefly comparing and contrasting them with extrinsic properties, and by briefly mapping them onto a tripartite division of relations, the particular kinds of relevant relational properties are identified. Third, it classifies relational properties and thereby makes possible an apt definition of them. Finally, using the notion of truthmaking, it outlines a more satisfactory case for their reduction. (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)

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)

This book provides an exhaustive overview of the ontology of relations. Moreover, it offers a detailed defense of the existence of irreducible relations in the universe and shows that entities such as powers should be better thought of as relations. At first, the author discusses many classical arguments for and against the existence of relations and draws preliminary distinctions between internal and external relations and symmetrical and non-symmetrical relations. He defends the existence of irreducible relations against several objections, most notably (...) three Bradleyan regresses. In response to these objections, the author argues that both internal and external relations should be thought of as relational modes and that intentional, temporal and spatial relations are external. He also presents several problems that are typically taken to affect non-symmetrical relations and introduces one new version of a theory to deal with them-the O-role theory. Finally, the author explores essential dependence relations and causal dependence relations and defends the view that power are relational modes. The Ontology of Relations will be of interest to scholars and advanced students working in metaphysics, philosophy of science, and history of philosophy. (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)

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)

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)

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 universe is a metaverse. Proven by quantum entanglement on all levels. Meaning 'what you see is never what you get.' No such thing as 'reality.' It's all in your 'mind.' (Everybody's 'mind.') Why observation cannot provide the 'truth.'.

In his Metaphysical Disputation 5, Francisco Suárez offers a concise argument to the effect that all that does or can possibly exist is singular and individual, and that a commitment to real universals would entail what he calls a ‘manifest contradiction’. According to a recent interpretation of this Master Argument against realism, it reveals that Suárez was committed to a hylomorphic version of the principle of the identity of indiscernibles, and ruled out the possibility of perfectly similar yet numerically distinct (...) entities. In this paper, however, I argue that (1) at least for fundamental items in his ontology such as immaterial forms and matter-form compounds, Suárez was not committed to the identity of indiscernibles, and (2) a reading of the Master Argument that does justice to this is available. On the basis of this reading I provide a reappraisal of the argument, and conclude that (3) it rests on a premise that the realist would have good reasons to challenge. Hence, while the argument seems consistent with the possibility of indiscernible yet numerically distinct immaterial forms and matter-form compounds Suárez wishes to allow for, it is doubtful whether it can accomplish what it sets out to do, and undermine the case for realism. (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.

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)

Representationalists hold that perceptual experience is a conscious representational state with content, something which is accurate or inaccurate in certain conditions. The most common version of Representationalism takes perceptual content to be singular in the object-place and otherwise consisting of attribution of properties (Singularism/Attributionism). 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). 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 solve the problem and that establishes their view as the only game in town. (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)