In The Principles of Mathematics, Russell writes: Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term. This, then, is the widest word in the philosophical vocabulary. I shall use as synonymous with it the words unit, individual and entity. The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, i.e. (...) is in some sense. A man, a moment, a number, a class, a relation, a chimera, or anything else that can be mentioned, is sure to be a term'. Now in this remark, a certain extremely general, topic-neutral use of ‘object’ is singled out, a use in which the expression is treated as equivalent to (equally neutral) uses of ‘term’, ‘entity’, ‘unit’, ‘individual’, and ‘thing’. In addition, a claim is made to the effect that the content of the expression, with its emphasis on one, is such as to be adequate to comprehend the sum-total of existence, to include whatever there may be. The paper addresses the question of what this claim means, and whether it might be true. (shrink)

There is a puzzle concerning the essences of fundamental entities that arises from considerations about essence, on one hand, and fundamentality, on the other. The Essence-Dependence Link (EDL) says that if x figures in the essence of y, then y is dependent upon x. EDL is prima facie plausible in many cases, especially those involving derivative entities. But consider the property negative charge. A negatively charged object exhibits certain behaviors that a positively charged object does not: it moves away from (...) other negatively charged objects, towards positively charged objects, etc. It is commonly thought that negative charge disposes its bearer to move away from other negatively charged objects, towards positively charged objects, etc. But if negative charge is fundamental, then no other entities—including the property positive charge—can figure in its essence. We thus have a prima facie puzzle: How can we say anything interesting about the essences of fundamental entities without running afoul of EDL? In this paper, I present and discuss the consequences of EDL for the debate between causal essentialists and quidditists about properties, and propose solutions to the puzzle. (shrink)

Natural properties are those that carve reality at the joints. The notion of carving reality at the joints, however, is somewhat obscure, and is often understood in terms of making for similarity, conferring causal powers, or figuring in the laws of nature. I develop and assess an account of the third sort according to which carving reality at the joints is understood as having the right level of determinacy relative to nomic roles. The account has the attraction of involving very (...) weak metaphysical presuppositions, but fails to capture several features that natural properties are presumed to have. (shrink)

What does it mean that an object has instrumental value? While some writers seem to think it means that the object bears a value, and that instrumental value accordingly is a kind of value, other writers seem to think that the object is not a value bearer but is only what is conducive to something of value. Contrary to what is the general view among philosophers of value, I argue that if instrumental value is a kind of value, then it (...) is a kind of extrinsic final value. (shrink)

ABSTRACT Historical structuralist views have been ontological. They either deny that there are any mathematical objects or they maintain that mathematical objects are structures or positions in them. Non-ontological structuralism offers no account of the nature of mathematical objects. My own structuralism has evolved from an early sui generis version to a non-ontological version that embraces Quine’s doctrine of ontological relativity. In this paper I further develop and explain this view.

The paper looks at the semantics and ontology of dispositions in the light of recent work on the subject. Objections to the simple conditionals apparently entailed by disposition statements are met by replacing them with so-called 'reduction sentences' and some implications of this are explored. The usual distinction between categorical and dispositional properties is criticised and the relation between dispositions and their bases examined. Applying this discussion to two typical cases leads to the conclusion that fragility is not a real (...) property and that, while both temperature and its bases are, this does not generate any problem of overdetermination. (shrink)

Rudolf Carnap's Der logische Aufbau der Welt (The Logical Structure of the World) is generally conceived of as being the failed manifesto of logical positivism. In this paper we will consider the following question: How much of the Aufbau can actually be saved? We will argue that there is an adaptation of the old system which satisfies many of the demands of the original programme. In order to defend this thesis, we have to show how a new 'Aufbau-like' programme may (...) solve or circumvent the problems that affected the original Aufbau project. In particular, we are going to focus on how a new system may address the well-known difficulties in Carnap's Aufbau concerning abstraction, dimensionality, and theoretical terms. (shrink)

A book review of "Properties" by Douglas Edwards (Polity Press, 2014).

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of (...) predication, we offer such an account. We use this account to examine the problem in three different type-theoretic settings, which are increasingly permissive with respect to predication. We conclude that unrestricted quantification is available in all but the most permissive kind of type theory. (shrink)

This paper explores the impact of quantification into predicate position on the metaphysics of properties, arguing that two familiar debates about properties are fundamentally altered by recasting them in a second-order setting. Two theories of properties are outlined, differing over whether the existence of properties is expressed using first-order or second-order quantifiers. It is argued that the second-order theory: provides good reason to regard debate about the locations of properties as contentless; resolves debate about whether properties are particulars or universals (...) in favour of universals. (shrink)

This paper evaluates the argument for the contradictoriness of unity, that be- gins Priest’s recent book One. The argument is seen to fail because it does not adequately differentiate between different forms of unity. This diagnosis of the argument’s failure is used as a basis for two consistent accounts of unity. The paper concludes by arguing that reality contains two absolutely fundamental and unanalysable forms of unity, which are in principle presupposed by any theory of anything. These fundamental forms of (...) unity are closely related to the unity of propositions and facts. (shrink)

Peter Geach proposed a substitutional construal of quantification over thirty years ago. It is not standardly substitutional since it is not tied to those substitution instances currently available to us; rather, it is pegged to possible substitution instances. We argue that (i) quantification over the real numbers can be construed substitutionally following Geach's idea; (ii) a price to be paid, if it is that, is intuitionism; (iii) quantification, thus conceived, does not in itself relieve us of ontological commitment to real (...) numbers. (shrink)

Philosophy and Phenomenological Research, EarlyView.

According to one popular criterion of property identity, where X and Y are properties, X is identical with Y if and only if X and Y bestow the same conditional powers on their bearers. In this paper, I argue that this causal criterion of property identity is unsatisfactory, because it fails to provide a sufficient condition for the identification of properties. My argument for this claim is based on the observation that the summing of properties does not entail the summing (...) of the conditional powers that they bestow on an object, but, rather, in some cases their subtraction. If so, the following causal structure seems possible: There are two properties, A and B. Each bestows a different set of conditional powers on its bearer, but the conjunctive property A-and-B bestows exactly the same set of conditional powers as either A or B. If this causal structure is possible, then it creates a serious problem for the causal criterion of property identity. (shrink)

This dissertation explores the concepts of naturalness, intrinsicality, and duplication. An intrinsic property is had by an object purely in virtue of the way that object is considered in itself. Duplicate objects are exactly similar, considered as they are in themselves. The perfectly natural properties are the most fundamental properties of the world, upon which the nature of the world depends. In this dissertation I develop a theory of intrinsicality, naturalness, and duplication and explore their philosophical applications. Chapter 1 introduces (...) the notions, gives a preliminary survey of some proposed conceptual connections between the notions, and sketches some of their proposed applications. Chapter 2 gives my background assumptions and introduces notational conventions. In chapter 3 I present a theory of naturalness. Although I take ‘natural’ as a primitive, I clarify this notion by distinguishing and explicating various conceptions of naturalness. In chapter 4 I give a theory of various notions related to naturalness, especially intrinsicality and duplication. I show that ‘intrinsic’ and ‘duplicate’ are interde nable, and then give analyses of these and other notions in terms of naturalness. If, as I think likely, naturalness cannot be analyzed, then what is the proper response? David Lewis suggests: accept naturalness as a primitive. I am sympathetic to this proposal, but not to the form Lewis gives it: chapter 5 contains an argument against Lewis’s theory of naturalness. In chapter 6 I reject the idea that naturalness is analyzable in terms of immanent universals. I focus on the work of D. M. Armstrong. I also criticize Armstrong’s arguments against transcendent universals. (shrink)

2020 update of the entry "Properties".

One might well wonder—is there a category under which every thing falls? Offering an informative account of such a category is no easy task. For nothing would distinguish things that fall under it from those that don’t—there being, after all, none of the latter. It seems hard, then, to say much about any fully general category; and it would appear to do no carving or categorizing or dividing at all. Nonetheless there are candidates for such a fully general office, including (...) thing, being, entity, item, existent, and—especially—object.[ It is not obvious that there is any fully general category (whether object or otherwise). Accordingly, not all accounts of object assign it to a fully general category, instead allowing that there are non-objects. On those views, object does indeed divide. Accounts of object, then, differ with respect to whether there are non-objects. And this is not the only fault line. Other dimensions of difference include what objects there are and what objects are. Accordingly, this entry will survey three broad questions about the category object: What, if any, is its contrast or complement? What is its extension? What is its nature? (shrink)

Properties and facts play a central role within metaphysics, yet there is no widely accepted account of what constitutes a property or a fact. Traditional conceptions of these metaphysical notions raise serious philosophical puzzles, making the existence of each seem dubious. Drawing on the minimalist theory of truth, I argue in favor of a minimalist conception of properties and facts. A minimalist theory of properties and facts explains these matters in terms of the acceptance of trivial schemas. To make the (...) case that minimalism is a superior approach to properties and facts, I argue against the standard views in the philosophical literature. I argue that the minimalist approach to properties has advantages over realism, nominalism, and the trope theory. I argue that the minimalist approach to facts is superior to the standard treatment of facts on correspondence theories. Metaphysical minimalism, a minimalist metaphysics of properties and facts, is a distinct and superior alternative to the theories of properties and facts currently on offer.Iako svojstva i činjenice u metafizici igraju središnju ulogu, ne postoji usuglašen opis toga što sačinjava svojstvo ili činjenicu. Tradicionalne koncepcije tih metafizičkih pojmova povlače za sobom ozbiljne filozofske zagonetke, zbog kojih se postojanje i svojstava i činjenica čini dvojbenim. Oslanjajući se na minimalističku teoriju istine, iznosim argumente u prilog minimalističkoj koncepciji svojstava i činjenica. Minimalistička teorija objašnjava svojstva i činjenice na osnovi prihvaćanja trivijalnih shema. Kako bih dokazao da je minimalizam nadmoćan pristup svojstvima i činjenicama, iznosim argumente protiv standardnih gledišta u filozofskoj literaturi. Tvrdim da minimalistički pristup svojstvima ima prednosti u odnosu na realizam, minimalizam i teoriju tropa. Tvrdim da je minimalistički pristup činjenicama nadmoćan standardnom shvaćanju činjenica u teorijama korespondencije. Metafizički minimalizam, minimalistička metafizika svojstava i činjenica, neovisna je i nadmoćna alternativa postojećim teorijama svojstava i činjenica. (shrink)

Properties and facts play a central role within metaphysics, yet there is no widely accepted account of what constitutes a property or a fact. Traditional conceptions of these metaphysical notions raise serious philosophical puzzles, making the existence of each seem dubious. Drawing on the minimalist theory of truth, I argue in favor of a minimalist conception of properties and facts. A minimalist theory of properties and facts explains these matters in terms of the acceptance of trivial schemas. To make the (...) case that minimalism is a superior approach to properties and facts, I argue against the standard views in the philosophical literature. I argue that the minimalist approach to properties has advantages over realism, nominalism, and the trope theory. I argue that the minimalist approach to facts is superior to the standard treatment of facts on correspondence theories. Metaphysical minimalism, a minimalist metaphysics of properties and facts, is a distinct and superior alternative to the theories of properties and facts currently on offer. (shrink)

The aim of this thesis is to increase our ontological understanding of musical works in two ways. We’ll increase our understanding of their categorial nature and we’ll increase our understanding of what the identity of each musical work consists in. In chapter 1, I introduce the basic question of the thesis: what are musical works? This question is broken down into four separate questions which guide the structure and argument of the thesis. One question asks if musical works exist, the (...) other asks about the ontological category to which musical works belong. In the first half of the thesis, I argue that musical works exist and that the best explanation of their features is given by assigning them to the category of universals. I argue for this conclusion by elaborating and defending a view according to which musical works are properties. I then show that this conception is superior to the strongest rivals. One rival takes musical works to be historical individuals (Rohrbaugh 2003). The other takes them to be actions of composition (Davies 2004). In chapter 6, I turn to two questions about identity. One question asks about the identity criteria for musical works, the other question asks for an explanation of musical work identity. In the remainder of chapter 6, I argue by reference to contextualist intuitions that a superficially appealing view, sonicism is problematic. The critique of sonicism is used to draw out certain contextualist assumptions that our ontology of music ought to explain. In chapter 7, I examine a family of Levinsonian contextualist proposals. I argue that the original formulations (Levinson 1980) give incorrect results, and that attempts to modify them (Davies, S: 2001) slip into obscurity, or undermine the aims of the project (Levinson 1992). I end chapter 7 by presenting the performance theory in a more flattering light. I argue that as a theory of musical work identity, the performance theory is the best on the market because it overcomes the problems associated with the Levinsonian views and deepens our understanding of contextualist intuitions. In chapter 8, I present an account of the ontology of music which integrates the property theory of category with the performance theory of identity by construing musical works as impure relational properties. I then defend the integrated account against various objections. In this defence, I elaborate a view of compositional actions as belonging to the ontological category of processes. (shrink)

One’s life can be meaningful, but not worth living, or worth living, but not meaningful, which demonstrates that an evaluation of whether life is worth living differs from an evaluation of whether one’s life is meaningful. But how do these evaluations differ? As I will argue, an evaluation of whether life is worth living is a more comprehensive evaluation than the evaluation of whether one’s individual life is meaningful. In judging whether one finds life worth living, one takes into account, (...) not only whether one’s life is meaningful, but undesirable aspects of life such as chronic pain and suffering. For example, a person who is suffering greatly, but who has lived a meaningful life, might still conclude that his or her life is not worth living. Although the famed question about the meaning of life has received most of the attention, I argue that the better and more fruitful question is “Is life worth living?” One should want, not just for one’s life to be meaningful, but for it to be worth living. (shrink)

This paper uses the explanation of blindsight generated by a two-systems theory of vision in order to set Siewert a dilemma. Either his blindsight examples are modelled on actual blindsight, in which case certain reductive theories of phenomenal consciousness will have no difficulty in accommodating them. Or they are intended to be purely imaginary, in which case they will have no force against a reductive naturalist.