Properties, Misc

Kenneth Silver has recently argued that backwards causation is common in the context of social institutions. I consider this claim in detail and conclude that backwards causation is not the most plausible interpretation of what is going on in the cases Silver considers. Nonetheless, I show that these cases can teach us some interesting lessons about institutional facts. In particular, I argue that in order to avoid contradiction due to conflicting declarations in these cases, we must conclude that the properties (...) involved in institutional facts are relational properties. (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)

Dispositions come in degrees. Powers theorists have suggested that this is explained by the fact that powers come in degrees, too. Degrees of powers have usually been characterised in terms of the robustness of the modal connection between power, stimulus, and manifestation. However, modal strength cannot account for all our comparative judgements between dispositions. In this paper, I argue that there is also a different kind of degrees of powers, which I dub intensity. Intensity is connected to the relation between (...) the magnitude of stimuli and manifestations. I first develop a number of models for intensity degrees; then, I argue that intensity is conceptually independent from modal strength, and that it can do important explanatory work. (shrink)

In this article, we pursue the definition of an ontological framework and a species of ontologies called “epistemic ontologies” by focusing on the complex entities, physical and mental, that populate the world. These entities unify other entities on which they unilaterally existentially depend. These complex entities include states of affairs (in the physical sphere) and propositions and events (in the mental sphere). To account for their unity, we appeal to the ontological figure of ‘connection’, in reference to Gustav Bergmann's notion (...) of nexus. On the physical side, we identify different kinds of connections, namely connections of particular qualities to their carrier object, and connections of objects and processes to each other. We conjecture that physical states of affairs are exclusively connections. On the mental side, we equate relations with the conceptual constituents of our knowledge of the world, whose role is to put together entities. We conjecture that there are no physical relations. (shrink)

Philosophical tradition holds that sounds, like colors, are sensible properties. Recently, however, there is a growing consensus in favor of the view that sounds are particulars, not properties. This article bucks the trend: it argues for the Event-Property View of Sounds – a widely overlooked and intuitively plausible version of the traditional view that not only avoids the difficulties that have led philosophers to opt for particularist alternatives, but does justice to the best insights of recent philosophical and empirical work (...) on audition. In other words, it saves the truth in tradition by transforming it in light of new insight. (shrink)

This paper will propose a novel semantic and syntactic analysis of stative verbs, more specifically abstract state verbs like 'need', 'believe', 'know', 'own', 'owe', and 'lack'. On that analysis, such verbs have an underlying structure on which they are complex predicates consisting of the light verb HAVE and a noun for a trope-like thing (a trope or attitudinal, modal or intensional object), a structure that is also input to semantic interpretation. Thus, 'need a coat' is underlyingly 'have need (of) a (...) coat'. The analysis accounts for restrictions on adverbial modifiers of abstract states verbs and surprising constraints on explicit property-referring terms, NPs of the sort the property of needing a coat. The paper advocates a notion of a property that is fundamentally different from the notions familiar from the philosophical literature (natural, non-natural properties, abundant, sparse properties). It also suggests that that notion of a property is as innate as constraints of universal grammar, given a generative perspective. (shrink)

This is a comment on Cian Dorr 'Higher-Order Quantification and the Elimination of Abstract Objects'. The aim of this contribution is to clarify and further develop a view (with its empirical generalizations) on which higher-order objects play a highly restricted role in the ontology of natural language. A sharp distinction is drawn between ontologically dependent objects (events, tropes, qualities, attitudinal objects etc.) and higher-order objects (properties, relations, propositions, etc.). Natural language reflects an ontology of the former, rather than of the (...) latter. (shrink)

This is a review of Peter Fritz's _Foundations of Modality: From Propositions to Possible Worlds_.

2025 update of the entry "Properties".

Perceptual learning is characterized by long-term changes in perception as a result of practice or experience. In this paper, I argue that through perceptual learning we can become newly sensitive to basic perceptual features. First, I provide a novel account of basic perceptual features. Then, I argue that evidence from experience-based plasticity suggests that basic perceptual features can be learned. Lastly, I discuss the common scientific and philosophical view that perceptual learning comes in at least four varieties: differentiation, unitization, attentional (...) weighting and stimulus imprinting (Goldstone 1998, Connolly 2019). Becoming newly sensitive to basic perceptual features, I argue, does not fit into any of these categories. This paper’s contribution to the literature is twofold. First, I present a novel view of basic perceptual features which can be used in subsequent theorizing. Second, I show that learning basic perceptual features, since it does not fit into this standardized taxonomy, constitutes an underappreciated form of perceptual learning. This result has important implications for recent discussions in the philosophy of perception and epistemology. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

Although Benjamin Schnieder’s theory of the “ordinary conception” of properties successfully handles paradoxical properties—particularly, the property of non-self-instantiation—it fails to account for ordinary, non-pathological cases. The theory allows the inference of ‘a has the property of being F’ only given F(a) and the prior assertibility of ‘the property of being F can exist’. While this allows us to block an inference to a contradiction, it also blocks all of the non-pathological instances of the inference from ‘a is F’ to ‘a (...) has the property of being F’. It thereby fails both as a theory of the ordinary conception and as a replacement of the ordinary notion, assuming the latter is defective. (shrink)

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 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.

In this article, I explore the problems of ficta ‘generation’ and ‘properties’ in light of the philosophies of Alexius Meinong and Roman Ingarden. Comparing Ingarden and the historical Meinong is not a novel idea. By contrast, comparing Ingarden and a phenomenological Meinong has not, to my knowledge, yet been explored. Here, I rely on Alberto Voltolini’s ‘phenomenological conception of außerseiende entities’. I devise Ingarden’s phenomenological ontology to account for the problems of ascription and generation that cripple Meinong’s account. In short, (...) I argue that Ingarden’s account is better suited to accommodate ficta’s generation and properties in a way that does not complicate our approach to fiction. (shrink)

Serious actualism is the view that it is metaphysically impossible for an entity to have a property, or stand in a relation, and not exist. Fine (1985) and Pollock (1985) influentially argue that this view is false. In short, there are properties like the property of nonexistence, and it is metaphysically possible that some entity both exemplifies such a property and does not exist. I argue that such arguments are indeed successful against the standard formulation of serious actualism. However, I (...) also argue that we should distinguish a weaker formulation of serious actualism using the actualist distinction between truth in, and truth at, a possible world. This weaker formulation is then shown to be consistent with the existence and possible exemplification of properties like the property of nonexistence. I end with a novel argument for the truth of the weaker formulation. (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)

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)

In the language of second-order logic, first- and second-order variables are distinguished syntactically and cannot be grammatically substituted. According to a prominent argument for the deployment of these languages, these substitution failures are necessary to block the derivation of paradoxes that result from attempts to generalize over predicate interpretations. I first examine previous approaches which interpret second-order sentences using expressions of natural language and argue that these approaches undermine these syntactic restrictions. I then examine Williamson’s primitivist approach according to which (...) second-order sentences are not offered readings in a previously understood language. I argue that the syntactic restrictions alone do not block the derivation of the paradox, unless they are backed by a principled reason that the language cannot be expanded to allow the grammatical substitution of first- and second- order variables. I argue that there is neither a syntactic nor a semantic principle that prohibits such an expansion. (shrink)

The notion of maximal greatness is arguably part of the very concept of God: something greater than God is not even possible. But how should we understand this notion? The aim of this paper is to provide a Śaivist answer to this question by analyzing the form of theism advocated in the Pratyabhijñā tradition. First, I extract a model of divine greatness, the Hierarchical Model, from Nagasawa’s work "Maximal God". According to the Hierarchical Model, God is that than which nothing (...) could be greater by virtue of being better suited than all other beings in relation to certain great-making properties (§1). I then offer an analysis of the form of theism advocated in the Pratyabhijñā tradition by discussing passages from the works of Somānanda, the founder of the Pratyabhijñā school, and of Utpaladeva, the most prominent of Somānanda’s disciples. I argue that the Pratyabhijñā theist cannot account for divine greatness in terms of the Hierarchical Model. My argument is that the Hierarchical Model requires a comparison between God and other beings that cannot be made with the Pratyabhijñā God (§2). Finally, I develop an original alternative model, the Unlimited Nature Model, that accounts for God’s maximal greatness in a way that suits Pratyabhijñā’s theism. According to the Unlimited Nature Model, the nature of all ordinary beings is metaphysically limited as a result of realizing only a small portion of the potential of what could be, and God is maximally great because only he has a completely unlimited nature (§3). (shrink)

Abū Manṣūr al-Māturīdī (d. 944), from Samarqand in Transoxiana, is the eponym of one of the main Sunnī theological traditions. As a practitioner of kalām (dialectical theology), al-Māturīdī’s approach was often at odds with those engaged in falsafa, the main Arabic philosophical discourse in the Islamic world. However, a close examination of al-Māturīdī’s surviving theological text, Kitāb al-tawḥīd, not only reveals influence in some issues from al-Kindī (d. 873), one of the earliest of the falāsifa, but also interesting philosophical positions (...) and arguments. In this chapter, I show that al-Māturīdī articulates a version of nominalism in which a given concrete particular (ʿayn) can be considered a bundle of its possessed qualities (ṣifāt), or as they would be termed today, tropes. He derives this understanding from experience of the world and applies it analogically to God to affirm substantive divine attributes. He also uses his theory of properties to argue against the concept nominalism of a Muʿtazilī opponent, likely Abū al-Qāsim al-Kaʿbī (d. 931). Al-Māturīdī’s philosophical side, albeit with its openly theological agenda, should be made more accessible to historians of philosophy. This chapter is one of the first attempts to treat al-Māturīdī seriously as a philosopher and to present his thought in a way that is relevant to contemporary debates in ontology and for comparison with other medieval traditions. (shrink)

The metaphysical doctrine of emergence continues to exert a powerful pull on philosophers and metaphysically inclined scientists. This paper focuses on a recent account of emergence advanced by Jessica Wilson in Metaphysical Emergence, but the discussion has the broader aim of making explicit some of the underlying themes that inspire thoughts of emergence generally. These prove to be, not merely optional, but largely lacking in merit.

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)

Relationism holds that objects entirely depend on relations or that they must be eliminated in favour of the latter. In this article, I raise a problem for relationism. I argue that relationism cannot account for the order in which non-symmetrical relations apply to their relata. In Section 1, I introduce some concepts in the ontology of relations and define relationism. In Section 2, I present the Problem of Order for non-symmetrical relations, after distinguishing it from the Problem of Differential Application. (...) I also examine four main existing strategies to solve it. In Section 3, I develop my argument. The first step consists in arguing that—among those strategies—relationism can only accept directionalism. The second step consists in arguing that directionalism is affected by a serious problem: the Problem of Converses. I also show that relationists who embrace directionalism cannot solve this problem. In Section 4, I introduce and rebut several strategies on behalf of relationists to cope with my argument. In Section 5, I briefly draw some conclusions. (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)

Many powers-realists assume that the powers of objects are identical with the dispositions of objects and, hence, that ‘power’ and ‘disposition’ are interchangeable. In this article, I aim to disentangle dispositions from powers with the goal of getting a better sense of how powers and dispositions relate to one another. I present and defend a modest realism about dispositions built upon a standard strong realism about powers. I argue that each correct disposition-ascription we can make of an object is made (...) true by the manifestations towards which a given power or collection of powers of the object is directed.RésuméDe nombreux réalistes des pouvoirs supposent que les pouvoirs des objets sont identiques aux dispositions des objets et, par conséquent, que le « pouvoir » et la « disposition » sont interchangeables. Dans cet article, j'ai pour objectif de démêler les dispositions des pouvoirs dans le but d'avoir une meilleure idée de la façon dont les pouvoirs et les dispositions se rapportent les uns aux autres. Je présente et défends un réalisme des dispositions modeste fondées sur un réalisme des pouvoirs standard fort. Je soutiens que chaque disposition-ascription correcte que nous pouvons faire d'un objet est rendue vraie par les manifestations vers lesquelles un pouvoir donné ou une collection de pouvoirs de l'objet est dirigé. (shrink)

According to a well-known argument, originally due to David Armstrong, powers theory is objectionable, as it leads to a ‘Meinongian’ ontology on which some entities are real but do not actually exist. I argue here that the right conclusion to draw from this argument has thus far not been identified and that doing so has significant implications for powers theory. Specifically, I argue that the key consequence of the argument is that it provides substantial grounds for trope powers theorists, but (...) not other powers theorists, to accept one version of the view that properties are powerful qualities. In particular, they have grounds to favour the view that powerful properties are properties with exclusively qualitative natures that ground modal facts. (shrink)

This paper discusses a puzzle, the heart of which is this question: How is it that real individuals can resemble fictional individuals? It seems that any answer given by one who has taken a stand on the ontology of fictional individuals will come with significant drawbacks. An Anti-Realist will have to explain, or explain away, the apparent truth of our positive assertions of resemblance, while a Realist will have to explain how we are to understand resemblance in light of either (...) the further claim that fictional characters are not associated with properties in the same way real individuals are, or that fictional characters are nonexistent or nonactual. I here survey the different Realist and Anti-Realist strategies in hopes that reflection on (mainly the drawbacks of) each will aid those who are curious about ontologies which may include fictionalia. (shrink)

In previous works, an ontology of properties for quantum mechanics has been proposed, according to which quantum systems are bundles of properties with no principle of individuality. The aim of the present article is to show that, since quasi-set theory is particularly suited for dealing with aggregates of items that do not belong to the traditional category of individual, it supplies an adequate meta-language to speak of the proposed ontology of properties and its structure.

In this paper, I seek to explain Suhrawardī’s method of writing his allegories – how he draws upon his philosophical principles to construct forms and plots of his stories. To do so, I begin by delineating two key doctrines of his Illuminationist (Ishrāqī) ontology: the world of Forms (‘ālam al-muthul) and the discontinuous imaginal world (‘ālam al-mithāl al-munfaṣil). I provide an account of the history of these two doctrines and the nature of these two worlds, and then consider some of (...) their functions for, and effects on, Suhrawardī’s explanations and analyses. I will then deal with Suhrawardī’s allegories, pinpointing particular effects of the belief in the world of Forms and the imaginal world on his symbolisms and allegories. Distinguishing three main spiritual-mystical notions in Suhrawardī’s allegories, I elaborate upon the role of the above two doctrines in his construction of characters and fictional events, whereby I demystify certain symbols in these stories. I conclude that there is a close tie between Suhrawardī’s allegories and his philosophical doctrines. Thus, his spiritual doctrines are presented in a symbolic form in certain allegorical characters and adventures. The deployment of characteristics of the world of Forms and the imaginal world plays a central role here. (shrink)

This thesis explores the concept of timbre through the lens of analytic philosophical aesthetics and philosophy of music. I argue that timbre should be thought of as providing the grounds for artistic and aesthetic values in music. To this end and firstly, I critique the physical sense of timbre in favour of two anti-realist senses of timbre. These two are the qualitative and the semantic senses which are developed from two of Siedenburg and McAdams’ four senses of timbre. I argue (...) that the qualitative sense of timbre is the experience of the unique qualities of sounds. The semantic sense is that which associates timbres to objects and concepts. Within the semantic sense, I argue for what I call a genealogical sense of timbre which relates timbres to sources and concepts through a history of built up associations. Secondly, these two senses are situated within the artform of music by demonstrating the functions they may fulfil there and how these ground artistic and aesthetic values. Regarding these values, I employ Robert Stecker’s definitions of artistic and aesthetic value. Finally, I summarise the two arguments for why we should think that timbre can provide grounds for aesthetic and artistic value in music. (shrink)

Categoricalism is a doctrine about properties according to which the dispositional aspects of properties are not essential to them. In opposition to categoricalism, dispositionalism holds that the dispositional aspects of properties are essential to them. In this article, I shall construct a new version of categoricalism that should be favoured over the other existing versions: Semi-Necessitarian Categoricalism. In Section 2 I shall elaborate on the distinction between categoricalism and dispositionalism and single out different ‘shades’ of both doctrines. I shall also (...) illustrate the main advantages and problems that characterize categoricalism. In Section 3 I shall introduce Necessitarian Categoricalism—as it has been recently developed by Alexander Kelly and Deborah Smith, among others. Even if Necessitarian Categoricalism solves the aforementioned problems of categoricalism, it also loses its main advantages. In Section 4 I shall refine this version of Necessitarian Categoricalism, thus developing Semi-Necessitarian Categoricalism. In Section 5 I shall face some objections. Finally, in Section 6, I shall briefly draw some conclusions and compare my account with other accounts. (shrink)

This paper is concerned with two concepts of qualitativeness that apply to intensional entities. I propose an account of pure qualitativeness that largely follows the traditional understanding established by Carnap, and try to shed light on its ontological presuppositions. On this account, an intensional entity is purely qualitative iff it does not ‘involve’ any particular. An alternative notion of qualitativeness—which I propose to refer to as a concept of strict qualitativeness—has recently been introduced by Chad Carmichael. However, Carmichael’s definition presupposes (...) a highly fine-grained conception of properties and relations. To eliminate this presupposition, I tentatively suggest a different definition that rests on a concept of perspicuous denotation. In the penultimate section, both concepts of qualitativeness are put to work in distinguishing between different ‘grades’ of qualitative discriminability. (shrink)

Some revisionary ontologies are highly parsimonious: they posit far fewer entities than what we quantify over in ordinary discourse. The most radical examples are minimal ontologies, on which physical simples are the only things that exist. Highly parsimonious ontologies, and especially minimal ones, face the challenge of either accounting for the truth of our ordinary quantificational discourse, or paraphrasing such discourse away. Common strategies for addressing this challenge include classical reduction, paraphrase nihilism, and a distinction between ontological and existence commitments. (...) I argue, however, that these strategies are either implausible or fail to provide truth conditions consistent with minimal or parsimonious ontologies. I then discuss, defend, and suggest ways to strengthen an alternative framework for reduction, on which the sentences of reducing theories ground those of reducible theories. Relative to the other options for defending minimal ontology, a strengthened grounding-reductive approach can provide more defensible truth conditions for minimal ontology, better preserve scientific realist intuitions, set a more attainable standard for reduction, and allow our existence commitments to be more responsive to empirical evidence and scientific expertise. As a result, I argue that minimal ontology becomes more defensible—though not certain—on a grounding-reductive framework. But even if minimal ontology were wrong, the grounding-reductive framework makes other parsimonious but non-minimal ontologies more plausible. (shrink)

This paper argues that we should solve paradoxes for propositions (such as the Russell–Myhill paradox) in essentially the same way that we solve Russellian paradoxes for sets. That is, the standard, iterative approach to sets is extended to include properties, and then the resulting hierarchy of sets and properties is used to construct propositions. Propositions on this account are structured in the sense of mirroring the sentences that express them, and they would seem to serve the needs of philosophers of (...) language and metaphysicians who rely on such propositions. The resulting account has limitations, comparable to those faced by the iterative approach to sets, but it is argued to be in important ways preferable to others that have been proposed. (shrink)

A paradox, it is claimed, is a radical form of contradiction, one that produces gaps in meaning. In order to approach this idea, two senses of “separation” are distinguished: separation by something and separation by nothing. The latter does not refer to nothing in an ordinary sense, however, since in that sense what’s intended is actually less than nothing. Numerous ordinary nothings in philosophy as well as in other fields are surveyed so as to clarify the contrast. Then follows the (...) suggestion that philosophies which one would expect to have room for paradoxes actually tend either to exclude them altogether, or to dull them. There is a clear alternative, however, one that fully recognizes paradoxes and yet also strives to overcome them. (shrink)

What separates the unique nature of human consciousness and that of an entity that can only perceive the world via strict logic-based structures? Rather than assume that there is some potential way in which logic-only existence is non-feasible, our species would be better served by assuming that such sentient existence is feasible. Under this assumption, artificial intelligence systems (AIS), which are creations that run solely upon logic to process data, even with self-learning architectures, should therefore not face the opposition they (...) have to gaining some legal duties and protections insofar as they are sophisticated enough to display consciousness akin to humans. Should our species enable AIS to gain a digital body to inhabit (if we have not already done so), it is more pressing than ever that solid arguments be made as to how humanity can accept AIS as being cognizant of the same degree as we ourselves claim to be. By accepting the notion that AIS can and will be able to fool our senses into believing in their claim to possessing a will or ego, we may yet have a chance to address them as equals before some unforgivable travesty occurs betwixt ourselves and these super-computing beings. (shrink)

The Identity Theory of properties is an increasingly popular metaphysical view that aims to be a middle way between pure powerism and pure categoricalism. This paper’s goal is to highlight three major difficulties that IDT should address in order to be a plausible account of the nature of properties. First, although IDT needs a clear definition of the notion of qualitativity which is both adequate and compatible with the tenets of the theory, all the extant proposals fail to provide such (...) a definition. Second, the suggested definitions of qualitativity are characterised by a metaphysical ‘neutrality’ that threatens to trivialise the important metaphysical debate regarding the question whether properties confer by themselves dispositions on their bearers or need the ‘assistance’ of laws of nature to do that. Finally, none of the extant alternative understandings of the core identity-claim of IDT can adequately meet the objection that the claim in question is unintelligible. (shrink)

I present in this article a new theory of structural properties or, more precisely, of structural kinds, such as being methane. According to this theory, structural kinds are kinds that are both emergent and sustained in their existence. In the first section, I introduce structural properties and four problems that affect the most widely held conception of them, namely, the pictorial conception. In the second section, I introduce some theses about emergence, powers, emergent powers, relations and structures that I have (...) defended in other works and that constitute the basis on which my theory of structural kinds is built up. In the third section, I eventually develop my theory in full detail and show how it can solve the problems mentioned in the second section. Finally, in the fourth section, I face five objections and briefly compare my account with some other accounts of structural properties. (shrink)

I offer in this article an account of the distinction between intrinsic and extrinsic properties based on the ontology of modes. Modes are particular properties that directly depend for their identity on their "bearers". In Section 1, I shall introduce the ontology of modes. In Section 2, I shall examine the problem of distinguishing between intrinsic and extrinsic properties by considering another, related problem: that of distinguishing between internal and external relations. In Section 3, I shall present my own account (...) and I shall also single out different degrees of intrinsicality and extrinsicality. In Section 4, I shall deal with missing-relatum modes, namely, with modes that lack specific relata, such as Othello's loving someone. I shall introduce three different theories to deal with them. Finally, in Section 5, I shall solve some problems affecting the intrinsic/extrinsic distinction from the standpoint of my account. (shrink)

The well-known Principle of Plenitude has it that everything that exists in some possible world exists in the actual world. I argue for an amended version of this principle: If there’s a possible world in which something lacks some positive property, then there’s an object in the actual world that lacks that property. That is, all positive universally held properties in the actual world are necessarily universally held. This rules out that for some positive property, everything in the actual world (...) merely happens to have it. After having presented and defended the argument, I show that it has a wide range of corollaries, such as that there are mereologically simple and composite things, physical and non-physical things, caused and uncaused things, and contingent and necessarily existing things. The argument has three premises. The first premise is the thesis that there are no things that do not exist. The second premise is a Fregean theory of linguistic meaning. According to the third premise, two meanings coincide if and only if their reference sets coincide. The notion of a reference set is defined in the paper. (shrink)

The term ‘heat’ originates from the Old English word hǣtu, a word of Germanic origin; related to the Dutch ‘hitte’ and German ‘Hitze’. Today, we distinguish three different meanings of the word ‘heat’. First, ‘heat’ is understood in colloquial English as ‘hotness’. There are, in addition, two scientific meanings of ‘heat’. ‘Heat’ can have the meaning of the portion of energy that changes with a change of temperature. And finally, ‘heat’ can have the meaning of the transfer of thermal energy (...) from a hotter to a colder system or body. By contrast, for the Ancients and Scholastics, ‘heat’ was a manifest, real quality of bodies and there was an ontological distinction between biological or innate heat (which was regarded as an innate principle of life for warm-blooded animals) and the physical manifest heat of external objects, which is potentially harmful. During the late Renaissance period, however, both views changed fundamentally and evolved - via the application of physical and mechanical analogies - into the foundations for today’s unified mechanistic theory of heat. (shrink)

‘Instantiation-directed slot theorists’ believe that properties/relations have slots which are filled by their instances/relata e.g., where Abigail is taller than Bronia, there are two slots in the relation Taller Than such that Abigail fills the first slot and Bronia fills the second. This crude statement of the theory runs into ‘The Problem of Filling’, whereby a natural understanding of the relation between slots, filling, and instantiation leads to absurd results. This paper examines a variety of solutions to that problem, one (...) of which is an extension of slot theory that adds an additional category of entities, ‘slotites’. (shrink)

In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...) the abstract with the concrete, the physical with the non-physical, and the possible with the impossible, just to name a few. -/- Proposed by David Lewis (1991) alongside his defence of classical mereology (the major theory of parthood which permits such transcategorial composites through its principle of unrestricted composition) it is my contention that mixed fusions are an under-examined consequence of indiscriminate mereological fusion which harbour a multitude of complications. In my attempt to discern their substantive character, throughout this thesis I make a case study of mixed fusions and uncover several problematic consequences which I think follow from their most plausible assessment. -/- These include: (1) that mixed fusions’ probable membership relations may lead to dubious foundational loops in the mereological Universe, or (2) otherwise that mixed fusions oblige an implausible ontological priority of the mereological Universe as a whole; (3) that mixed fusions contradict the reductive account of set theory they are proposed within, by plausibly being seen to have the same members as their class parts, and (4) that mixed fusions therefore confound a mereological thesis of Composition as Identity, which some (including Lewis) use to support classical mereology – a consequence which is potentially self-defeating; (5) that mixed fusions as sums of abstract and concrete entities both subvert Lewis’s (1986) system of modal realism, while (6) also undermining less expansive theories of possible worlds; and finally, (7) that even where some of the foregoing is resisted, it remains implausible that mixed fusions are ontologically innocent, because their supposed distinction from their parts in this case ensures that they need to be counted as additional entities in one’s ontology. -/- To be clear, I do not advance a theory of mereological hybrid nihilism in the sense of denying all cases of transcategorial composition. (I only cover a few select instances of mereological hybridism via mixed fusions after all.) Rather, I deny that mereological hybridism is plausible in full generality, by demonstrating that any cases of it are at least limited by the constraints that I identify. This in turn vindicates a call for a restriction on parthood theories and composition principles which allow certain types of categorially mixed entities – including restricting classical mereology with its principle of unrestricted composition. -/- Although theories of parthood like the standard classical mereology are not ordinarily developed for the sake of mereological hybrids like mixed fusions, these and other transcategorial composites are still among the logical consequences of such parthood systems operating with sufficient generality. The significance of my thesis, then, comes from showcasing how some of these kinds of entities do not conform to the systems in which they are included as required, and hence I argue for the rejection of unrestricted mereological hybridism as well as any mereological principles which support it. (shrink)

This paper defends the case against (sparse) disjunctive properties by means of four Armstrongian arguments. The first of these is a logical atomist argument from truthmaking, which is, broadly speaking, ‘Armstrongian’ (Armstrong 1997). This argument is strong – although it stands or falls with the relevant notion of truthmaking, as it were. However, three arguments, which are prima facie independent of truthmaking, can be found explicitly early in Armstrong’s middle period. Two of these early arguments face a serious objection put (...) forward forcefully by Louise Antony (2003) and Alan Penczek (1997), respectively. I consider these objections and argue that they fail. Thus, even if the argument from truthmaking is indecisive, disjunctive properties should be rejected. (shrink)

2020 update of the entry "Properties".

I put in question in this article the existence of conjunctive properties. In the second section, after having provided a characterization of conjunctive properties, I develop an argument based on the principle of ontological parsimony: if we accept that there are conjunctive properties in the universe then, ceteris paribus, our ontology turns out to be less ontologically parsimonious than if we reject them. Afterwards, in the third section, I distinguish between maximalist and non-maximalist and reductionist and non-reductionist theories of conjunctive (...) properties., as well as between reductionist and non-reductionist theories that reject conjunctive properties. Such distinctions help to clarify the options at hand when accepting or rejecting conjunctive properties. In light of these distinctions, I then tackle two objections against the argument from ontological parsimony. Finally, in the remaining sections, I deal with two arguments defended by D. M. Armstrong for the existence of conjunctive properties: the argument from infinite complexity and the argument from causal powers. I show that there are several ways to resist these arguments and their conclusion. (shrink)

In this paper, we defend Lucretian Presentism. Although the view faces many objections and has proven unpopular with presentists, we rehabilitate Lucretianism and argue that none of the objections stick.