Properties, Misc

By conducting a semantic analysis of the reference and meaning of concepts that correspond to properties, and assessing its metaphysical implications, I develop a new argument for theism. Theism is understood here as the thesis that a personal being is the ultimate origin and ground of reality. More specifically, I argue that there are no universally held positive contingent properties and that this absence significantly increases the likelihood of theism. By integrating semantic inquiry with metaphysical reasoning, this paper offers a (...) novel approach that contributes to ongoing debates in metaphysics and philosophy of religion. (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 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)

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 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 review of Peter Fritz's _Foundations of Modality: From Propositions to Possible Worlds_.

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)

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

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)

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

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)

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.

Desde los trabajos de von Neumann y Birkhoff hasta la actualidad, el estudio de distintas estructuras algebraicas asociadas al formalismo cuántico ha dado lugar a interesantes desarrollos. A modo de ejemplo, el teorema de Kochen-Specker ha tenido una fuerte repercusión en los fundamentos e interpretación de la teoría cuántica. En este trabajo, prestaremos especial atención al abordaje lógico-algebraico iniciado por von Neumann y Birkhoff (aunque también discutiremos otros formalismos, tales como la lógica de la superposición de Tzouvaras). Se presenta el (...) formalismo de Nmatrices como una semántica adecuada para el retículo de proyectores cuánticas, logrando una novedosa caracterización de los estados cuánticos como valuaciones de cierta Nmatriz cuántica. (shrink)

Jason Bowers and Meg Wallace have recently argued that those who hold that every individual instantiates a ‘haecceity’ are caught up in a Euthyphro-style dilemma when confronted with familiar cases of fission and fusion. Key to Bowers and Wallace’s dilemma are certain assumptions about the nature of metaphysical explanation and the explanatory commitments of belief in haecceities. However, I argue that the dilemma only arises due to a failure to distinguish between providing a metaphysical explanation of why a fact holds (...) vs. a metaphysical explanation of what it is for a fact to hold. In the process, I also shed light on the explanatory commitments of belief in haecceities. (shrink)

Oliver's and Rodriguez-Pereyra's important interpretation of the problem of universals as one concerning truthmakers neglects something crucial: that there is a numerical identity between numerically distinct particulars. The problem of universals is rather how to resolve the apparent contradiction that the same things are both numerically distinct and numerically identical. Baxter's account of instantiation as partial identity resolves the apparent contradiction. A seeming objection to this account is that it appears to make instantiation symmetric, since partial identity is symmetric. Armstrong's (...) standard reply is that the difference between a particular and a universal is what makes instantiation asymmetric. Brown suggests, though, that the instantiation of a universal by a universal is sometimes symmetric. However, the examples on which he relies are not universals. (shrink)

This paper considers whether an analogy between distance and dissimilarlity supports the thesis that degree of dissimilarity is distance in a metric space. A straightforward way to justify the thesis would be to define degree of dissimilarity as a function of number of properties in common and not in common. But, infamously, this approach has problems with infinity. An alternative approach would be to prove representation and uniqueness theorems, according to which if comparative dissimilarity meets certain qualitative conditions, then it (...) is representable by distance in a metric space. I will argue that this approach faces equally severe problems with infinity. (shrink)

There are at least two traditional conceptions of numerical degree of similarity. According to the first, the degree of dissimilarity between two particulars is their distance apart in a metric space. According to the second, the degree of similarity between two particulars is a function of the number of (sparse) properties they have in common and not in common. This paper argues that these two conceptions are logically independent, but philosophically inconsonant.

The Metaphysics of Relations is an anthology of thirteen original papers plus an introduction, addressing the philosophical issue of relations from a contemporary and historical perspective. The result is a remarkably coherent whole, where the different papers shed light on each other even though very few of them explicitly address interconnections. As a consequence, the book works really well as an introduction to the philosophical issue on relations, while the individual papers represent cutting edge research on the particular issues that (...) they focus on. The mix of contemporary and historical perspectives means you get a snapshot view of the contemporary issues, as well as insights into their historical development. (shrink)

Speaks defends the view that propositions are properties: for example, the proposition that grass is green is the property being such that grass is green. We argue that there is no reason to prefer Speaks's theory to analogous but competing theories that identify propositions with, say, 2-adic relations. This style of argument has recently been deployed by many, including Moore and King, against the view that propositions are n-tuples, and by Caplan and Tillman against King's view that propositions are facts (...) of a special sort. We offer our argument as an objection to the view that propositions are unsaturated relations. (shrink)

This paper is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: (...) Nov. 4th, 2016]. (shrink)

This dissertation argues that we have no good reason to accept any one theory of properties as correct. To show this, I present three possible bases for theory-choice in the properties debate: coherence, explanatory adequacy, and explanatory value. Then I argue that none of these bases resolve the underdetermination of our choice between theories of properties. First, I argue considerations about coherence cannot resolve the underdetermination, because no traditional theory of properties is obviously incoherent. Second, I argue considerations of explanatory (...) adequacy cannot resolve the underdetermination, because every traditional theory of properties lacks the theoretical resources to adequately explain resemblance, causal powers, and predication. However, these inadequacies are easily remedied with theoretical modifications. But this results in an overabundance of modified, but adequate, theories of properties. Third, I argue explanatory virtues cannot resolve the underdetermination, because we have no reason to think explanatory virtues make theories of properties more likely to be true. I reject the common argument that explanatory virtues are truth-conducive in theories of properties because they are truth-conducive in scientific theories. Since none of the three bases for theory choice can resolve the underdetermination, I conclude that we have no good reason to accept any one theory of properties as correct. Finally, I consider the possibility of choosing one theory over the others on pragmatic grounds. But I argue that pragmatic grounds cannot resolve the underdetermination either. Instead, I suggest we accept the view I call 'instrumental pluralism,' which allows practitioners to use whatever theory of properties they find useful. Adviser: Jennifer McKitrick. (shrink)

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

Color relationalism holds that the colors are constituted by relations to subjects. The introspective rejoinder against this view claims that it is opposed to our phenomenally-informed, pre-theoretic intuitions. The rejoinder seems to be correct about how colors appear when looking at how participants respond to an item about the metaphysical nature of color but not when looking at an item about the ascription of colors. The present article expands the properties investigated to sound and taste and inspects the mentioned asymmetry, (...) with a particular focus on the principle of charity. Using a metaphysical item, we find that color and sound are no different from shape, our control for a clearly anti-relational property. Taste, on the other hand, is no different from likability, our control for a clearly relational property. Importantly, we find that the disparity between metaphysical and ascription items is due to participants using a principle of charity to interpret disagreement cases such that both parties can be correct. (shrink)

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

It's often said that according to deflationary theories of truth, truth is not a ‘substantial’ property. While this is a fine slogan, it is far from transparent what deflationists mean (or ought to mean) in saying that truth is ‘insubstantial’. Focusing so intently upon the concept of truth and the word ‘true’, I argue, deflationists and their critics have been insufficiently attentive to a host of metaphysical complexities that arise for deflationists in connection with the property of truth. My aim (...) is to correct several misunderstandings as to what deflationists are after here—including some harboured by deflationists themselves—and to offer an account of the commitments about truth's nature that they ought to undertake. In developing this account, I focus particularly upon the issue of what metaphysics of truth a Horwichian minimalist ought to adopt. (shrink)

This chapter is concerned with the coextension difficulty for nominalist theories of properties that reject tropes alongside universals. After carefully explaining the coextension difficulty and describing the theories it targets, the chapter describes different solutions to the difficulty. These solutions differ with respect to how much involved they are into a dualist approach to coextension. A dualist approach to a case of coextension consists in agreeing with the realist that the relevant ascriptions of properties are numerically distinct. A monist approach (...) to a case of coextension consists in contending that the relevant ascriptions of properties are identical. In this chapter, I defend a monist approach to cases of coextension that appeals to a counterpart theory for propositions. (shrink)

A ideia de que certas categorias, propriedades, eventos, ou factos, são construídos socialmente tem sido defendida nas ciências sociais e humanidades desde meados do século xx. Nas últimas décadas, vários filósofos da tradição analítica começaram a dedicar mais atenção à possibilidade de que haja tipos de coisas construídas socialmente. A ideia complementa outra ideia relativamente consensual hoje em dia: a de que existem tipos naturais, mas que nem tudo o que existe constitui um tipo natural. São particularmente interessantes os tipos (...) de coisas que parecem naturais, mas que se argumenta serem na realidade construídos socialmente. Nesta entrada, identifico o papel que as teses construtivistas têm no progresso social e político, distingo entre várias formas de construtivismo teoricamente interessantes – causal e constitutivo, e discuto três objecções à ideia do construtivismo factual. (shrink)

Bob Hale’s distinguished record of research places him among the most important and influential contemporary analytic metaphysicians. In his deep, wide ranging, yet highly readable book Necessary Beings, Hale draws upon, but substantially integrates and extends, a good deal his past research to produce a sustained and richly textured essay on — as promised in the subtitle — ontology, modality, and the relations between them. I’ve set myself two tasks in this review: first, to provide a reasonably thorough (if not (...) exactly comprehensive) overview of the structure and content of Hale’s book and, second, to a limited extent, to engage Hale’s book philosophically. I approach these tasks more or less sequentially: Parts I and 2 of the review are primarily expository; in Part 3 I adopt a somewhat more critical stance and raise several issues concerning one of the central elements of Hale’s account, his essentialist theory of modality. (shrink)

It’s a platitude that a picture is realistic to the degree to which it resembles what it represents (in relevant respects). But if properties are abundant and degrees of resemblance are proportions of properties in common, then the degree of resemblance between different particulars is constant (or undefined), which is inconsonant with the platitude. This paper argues this problem should be resolved by revising the analysis of degrees of resemblance in terms of proportion of properties in common, and not by (...) accepting a sparse theory of properties or by denying that degree of realism is degree of resemblance (in relevant respects). (shrink)