This paper develops and motivates a unification theory of metaphysical explanation, or as I will call it, Metaphysical Unificationism. The theory’s main inspiration is the unification account of scientific explanation, according to which explanatoriness is a holistic feature of theories that derive a large number of explananda from a meager set of explanantia, using a small number of argument patterns. In developing Metaphysical Unificationism, I will point out that it has a number of interesting consequences. The view offers a novel (...) conception of metaphysical explanation that doesn’t rely on the notion of a “determinative” or “explanatory” relation; it allows us to draw a principled distinction between metaphysical and scientific explanations; it implies that naturalness and fundamentality are distinct but intimately related notions; and perhaps most importantly, it re-establishes the unduly neglected link between explanation and understanding in the metaphysical realm. A number of objections can be raised against the view, but I will argue that none of these is conclusive. The upshot is that Metaphysical Unificationism provides a powerful and hitherto overlooked alternative to extant theories of metaphysical explanation. (shrink)

A variety of relations widely invoked by philosophers—composition, constitution, realization, micro-basing, emergence, and many others—are species of what I call ‘building relations’. I argue that they are conceptually intertwined, articulate what it takes for a relation to count as a building relation, and argue that—contra appearances—it is an open possibility that these relations are all determinates of a common determinable, or even that there is really only one building relation.

Intuitively, Gettier cases are instances of justified true beliefs that are not cases of knowledge. Should we therefore conclude that knowledge is not justified true belief? Only if we have reason to trust intuition here. But intuitions are unreliable in a wide range of cases. And it can be argued that the Gettier intuitions have a greater resemblance to unreliable intuitions than to reliable intuitions. Whats distinctive about the faulty intuitions, I argue, is that respecting them would mean abandoning a (...) simple, systematic and largely successful theory in favour of a complicated, disjunctive and idiosyncratic theory. So maybe respecting the Gettier intuitions was the wrong reaction, we should instead have been explaining why we are all so easily misled by these kinds of cases. (shrink)

In recent years, metaphysics has undergone what some describe as a revolution: it has become standard to understand a vast array of questions as questions about grounding, a metaphysical notion of determination. Why should we believe in grounding, though? Supporters of the revolution often gesture at what I call the Argument from Explanatoriness: the notion of grounding is somehow indispensable to a metaphysical type of explanation. I challenge this argument and along the way develop a “reactionary” view, according to which (...) there is no interesting sense in which the notion of grounding is explanatorily indispensable. I begin with a distinction between two conceptions of grounding, a distinction which extant critiques of the revolution have usually failed to take into consideration: grounding qua that which underlies metaphysical explanation and grounding qua metaphysical explanation itself. Accordingly, I distinguish between two versions of the Argument from Explanatoriness: the Unexplained Explanations Version for the first conception of grounding, and the Expressive Power Version for the second. The paper’s conclusion is that no version of the Argument from Explanatoriness is successful. (shrink)

Taking their motivation from the perceived failure of the reductive physicalist project concerning consciousness, panpsychists ascribe subjectivity to fundamental material entities in order to account for macro-consciousness. But there exists an unresolved tension within the mainstream panpsychist position, the seriousness of which has yet to be appreciated. I capture this tension as a dilemma, and offer advice to panpsychists on how to resolve it. The dilemma is as follows: Panpsychists take the micro-material realm to feature phenomenal properties, plus micro-subjects to (...) whom these properties belong. However, it is impossible to explain the generation of a macro-subject (like one of us) in terms of the assembly of micro-subjects, for, as I show, subjects cannot combine. Therefore the panpsychist explanatory project is derailed by the insistence that the world’s ultimate material constituents are subjects of experience. The panpsychist faces a choice of giving up her explanatory ambitions, or of giving up the claim that the ultimates are subjects. I argue that the latter option is preferable, leading to neutral monism, on which phenomenal qualities are irreducible but subjects are reducible. So panpsychists should be neutral monists. (shrink)

My first goal is to motivate a distinctively metaphysical approach to the problem of induction. I argue that there is a precise sense in which the only way that orthodox Humean and non-Humean views can justify induction is by appealing to extremely strong and unmotivated probabilistic biases. My second goal is to sketch what such a metaphysical approach could possibly look like. After sketching such an approach, I consider a toy case that illustrates the way in which such a metaphysics (...) can help us make progress on the problem of induction. (shrink)

2020 update of the entry "Properties".

According to the grounding theory of powers, fundamental physical properties should be thought of as qualities that ground dispositions. Although this view has recently been defended by many different philosophers, there is no consensus for how the view should be developed within a broader metaphysics of properties. Recently, Tugby has argued that the view should be developed in the context of a Platonic theory of properties, where properties are abstract universals. I will argue that the view should not be developed (...) within such a framework. Either the view should be developed with an ontology of Aristotelian properties, or it should be developed in a Nominalist framework that contains no properties at all. (shrink)

Musical works change. Bruckner revised his Eighth Symphony. Ella Fitzgerald and many other artists have made it acceptable to sing the jazz standard “All the Things You Are” without its original verse. If we accept that musical works genuinely change in these ways, a puzzle arises: why can’t I change Bruckner’s Eighth Symphony? More generally, why are some individuals in a privileged position when it comes to changing musical works and other artifacts, such as novels, films, and games? I give (...) a view of musical works that helps to answer these questions. Musical works, on this view, are created abstract objects with no parts. The paradigmatic changes that musical works undergo are socially determined normative changes in how they should be performed. Due to contingent social practices, Bruckner, but not I, can change how his symphony should be performed. Were social practices radically different, I would be able to change his symphony. This view extends to abstract artifacts beyond music, including novels, films, words, games, and corporations. (shrink)

An encyclopedia entry which covers various revisionary conceptions of which macroscopic objects there are, and the puzzles and arguments that motivate these conceptions: sorites arguments, the argument from vagueness, the puzzles of material constitution, arguments against indeterminate identity, arguments from arbitrariness, debunking arguments, the overdetermination argument, and the problem of the many.

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

Discussion of a metaphysical sense of 'inheritance' and cognate notions relevant to fundamentality.

Since 2002 we have been testing and refining a methodology for ontology development that is now being used by multiple groups of researchers in different life science domains. Gary Merrill, in a recent paper in this journal, describes some of the reasons why this methodology has been found attractive by researchers in the biological and biomedical sciences. At the same time he assails the methodology on philosophical grounds, focusing specifically on our recommendation that ontologies developed for scientific purposes should be (...) constructed in such a way that their terms are seen as referring to what we call universals or types in reality. As we show, Merrill’s critique is of little relevance to the success of our realist project, since it not only reveals no actual errors in our work but also criticizes views on universals that we do not in fact hold. However, it nonetheless provides us with a valuable opportunity to clarify the realist methodology, and to show how some of its principles are being applied, especially within the framework of the OBO (Open Biomedical Ontologies) Foundry initiative. (shrink)

Orthodoxy has it that only metaphysically elite properties can be invoked in scientifically elite laws. We argue that this claim does not fit scientific practice. An examination of candidate scientifically elite laws like Newton’s F = ma reveals properties invoked that are irreversibly defined and thus metaphysically non-elite by the lights of the surrounding theory: Newtonian acceleration is irreversibly defined as the second derivative of position, and Newtonian resultant force is irreversibly defined as the sum of the component forces. We (...) think that scientists are happy to invoke metaphysically non-elite properties in scientifically elite laws for reasons of convenience, such as to simplify the equations and to make them more modular. On this basis, we draw a deflationary moral about laws themselves, as being merely convenient summaries. 1 Introduction2 Orthodoxy2.1 Orthodoxy stated2.2 Orthodoxy explained2.3 A worrisome commitment: Term objectivism3 The Loose View3.1 The argument from practice3.2 Finding the scientifically elite equations3.3 Diagnosing the metaphysically non-elite properties3.4 Situating our challenge4 Newtonian Mechanics4.1 Newtonian acceleration4.2 Newtonian resultant force4.3 A metaphysical discovery?5 Objections5.1 Metaphysically elite after all?5.2 Scientifically non-elite after all?5.3 But our world is not Newtonian!6 Consequences6.1 Consequences for the motivations for link6.2 Consequences for metaphysically elite properties6.3 Consequences for lawhood. (shrink)

Ordinary English contains different forms of quantification over objects. In addition to the usual singular quantification, as in 'There is an apple on the table', there is plural quantification, as in 'There are some apples on the table'. Ever since Frege, formal logic has favored the two singular quantifiers ∀x and ∃x over their plural counterparts ∀xx and ∃xx (to be read as for any things xx and there are some things xx). But in recent decades it has been argued (...) that we have good reason to admit among our primitive logical notions also the plural quantifiers ∀xx and ∃xx. More controversially, it has been argued that the resulting formal system with plural as well as singular quantification qualifies as ‘pure logic’; in particular, that it is universally applicable, ontologically innocent, and perfectly well understood. In addition to being interesting in its own right, this thesis will, if correct, make plural quantification available as an innocent but extremely powerful tool in metaphysics, philosophy of mathematics, and philosophical logic. For instance, George Boolos has used plural quantification to interpret monadic second-order logic and has argued on this basis that monadic second-order logic qualifies as “pure logic.” Plural quantification has also been used in attempts to defend logicist ideas, to account for set theory, and to eliminate ontological commitments to mathematical objects and complex objects. (shrink)

Trope theory is an increasingly prominent contender in contemporary debates about the existence and nature of properties. But it suffers from ambiguity concerning the nature of a trope. Disambiguation reveals two fundamentally different concepts of a trope: modifier tropes and module tropes. These types of tropes are unequally suited for metaphysical work. Modifier tropes have advantages concerning powers, relations, and fundamental determinables, whereas module tropes have advantages concerning perception, causation, character-grounding, and the ontology of substance. Thus, the choice between modifier (...) tropes and module tropes is significant and divides the advantages of trope theory simpliciter. In addition, each resulting trope theory is unstable: modifier trope theory threatens to collapse into realism and module trope theory threatens to collapse into austere nominalism. This invites reflection on the stability of trope theory in general. (shrink)

Questions about the relation between identity and discernibility are important both in philosophy and in model theory. We show how a philosophical question about identity and dis- cernibility can be ‘factorized’ into a philosophical question about the adequacy of a formal language to the description of the world, and a mathematical question about discernibility in this language. We provide formal definitions of various notions of discernibility and offer a complete classification of their logical relations. Some new and surprising facts are (...) proved; for instance, that weak dis- cernibility corresponds to discernibility in a language with constants for every object, and that weak discernibility is the most discerning nontrivial discernibility relation. (shrink)

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)

I will introduce and motivate eliminativist super-relationism. This is the conjunction of relationism about spacetime and eliminativism about material objects. According to the view, the universe is a big collection of spatio-temporal relations and natural properties, and no substance (material or spatio-temporal) exists in it. The view is original since eliminativism about material objects, when understood as including not only ordinary objects like tables or chairs but also physical particles, is generally taken to imply substantivalism about spacetime: if properties are (...) directly instantiated by spacetime without the mediation of material objects, then, surely, spacetime has to be a substance. After introducing briefly the two debates about spacetime (§1) and material objects (§2), I will present Schaffer's super-substantivalism (§3), the conjunction of substantivalism about spacetime and eliminativism about material objects at the fundamental level. I shall then expose and discuss the assumption from which the implication from eliminativism to substantivalism is drawn, and discuss the compatibility of eliminativism with relationism: if spacetime is not a substance, and if material objects are not real, how are we to understand the instantiation of properties (§4)? And what are the relata of spatio-temporal relations (§5)? I then show that each argument in favor of super-substantivalism offered by Schaffer also holds for super-relationism (§6) and examine several metaphysical consequences of the view (§7). I conclude that both super-substantivalism and super-relationism are compatible with Schaffer's priority monism (§8). (shrink)

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, but also relations between what (...) we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)

One of the promising approaches to the problem of consciousness has been the Higher-Order Monitoring Theory of Consciousness. According to the Higher-Order Monitoring Theory, a mental state M of a subject S is conscious iff S has another mental state, M*, such that M* is an appropriate representation of M. Recently, several philosophers have developed a Higher-Order Monitoring theory with a twist. The twist is that M and M* are construed as entertaining some kind of constitutive relation, rather than being (...) logically independent of each other. We may call this the Same-Order Monitoring Theory of Consciousness. In this paper, I discuss the nature of the Same-Order Monitoring Theory and argue for its superiority over the more traditional Higher-Order Monitoring Theory. (shrink)

In this paper, I criticize Structured Propositionalism, the most widely held theory of the nature of propositions according to which they are structured entities with constituents. I argue that the proponents of Structured Propositionalism have paid insufficient attention to the metaphysical presuppositions of the view – most egregiously, to the notion of propositional constituency. This is somewhat ironic, since the friends of structured propositions tend to argue as if the appeal to constituency gives their view a dialectical advantage. I criticize (...) four different approaches to providing a metaphysics of propositional constituency: set-theoretic, mereological, hylomorphic, and structure-making. Finally, I consider the option of taking constituency in a deflationary, metaphysically ‘lightweight’ sense. I argue that, though invoking constituency in a lightweight sense may be useful for avoiding the ontological problems that plague the ‘heavyweight’ conception, it no longer proffers a dialectical advantage to Structured Propositionalism. (shrink)

A formal theory of quantity T Q is presented which is realist, Platonist, and syntactically second-order (while logically elementary), in contrast with the existing formal theories of quantity developed within the theory of measurement, which are empiricist, nominalist, and syntactically first-order (while logically non-elementary). T Q is shown to be formally and empirically adequate as a theory of quantity, and is argued to be scientifically superior to the existing first-order theories of quantity in that it does not depend upon empirically (...) unsupported assumptions concerning existence of physical objects (e.g. that any two actual objects have an actual sum). The theory T Q supports and illustrates a form of naturalistic Platonism, for which claims concerning the existence and properties of universals form part of natural science, and the distinction between accidental generalizations and laws of nature has a basis in the second-order structure of the world. (shrink)

According to the truthmaker theory that we favour, all contingent truths are made true by existing facts or states of affairs. But if that is so, then it appears that we must accept the existence of the negative facts that are required to make negative truths (such as 'There is no hippopotamus in the room.') true. We deny the existence of negative facts, show how negative truths are made true by positive facts, point out where the (reluctant) advocates of negative (...) facts (Russell, Armstrong, et al.) went wrong, and demonstrate the superiority of our solution to the alternatives. (shrink)

Dispositional Essentialism, as commonly conceived, consists in the claims that at least some of the fundamental properties essentially confer certain causal-nomological roles on their bearers, and that these properties give rise to the natural modalities. As such, the view is generally taken to be committed to a realist conception of properties as either universals or tropes, and to be thus incompatible with nominalism as understood in the strict sense. Pace this common assumption of the ontological import of Dispositional Essentialism, the (...) aim of this paper is to explore a nominalist version of the view, Austere Nominalist Dispositional Essentialism. The core features of the proposed account are that it eschews all kinds of properties, takes certain predicative truths as fundamental, and employs the so-called generic notion of essence. As I will argue, the account is significantly closer to the core idea behind Dispositional Essentialism than the only nominalist account in the vicinity of Dispositional Essentialism that has been offered so far—Ann Whittle’s Causal Nominalism—and is immune to crucial problems that affect this view. (shrink)

One of the many ways that ‘deflationary’ and ‘inflationary’ theories of truth are said to differ is in their attitude towards truth qua property. This difference used to be very easy to delineate, with deflationists denying, and inflationists asserting, that truth is a property, but more recently the debate has become a lot more complicated, owing primarily to the fact that many contemporary deflationists often do allow for truth to be considered a property. Anxious to avoid inflation, however, these deflationists (...) are at pains to point out that the truth property, on their view, is not a property of any significant interest. Correspondingly, inflationists have seen this as an opportunity to refine what kind of property they think truth is, which—according to them—moves their views beyond deflationism. The upshot of this is that there are number of different accounts in the literature of what distinguishes an inflationary truth property from a deflationary one, or—as it is sometimes put—what distinguishes a ‘substantive’ property from an ‘insubstantive’ one. This has made it hard to pin down exactly what is at issue at the metaphysical level between deflationists and inflationists, which makes it increasingly hard to see how debates between them are properly phrased. Given that these positions represent the two central attitudes towards truth in contemporary debates, this makes for a serious obstacle for the project of discerning the correct theory of truth. The aim of this paper is to discern the best way to distinguish between substantive and insubstantive properties, and thus to restore some focus to these debates. I argue that the three central distinctions in the literature fail, and offer what I take to be a more promising distinction in terms of a graded distinction between abundant and sparse properties. (shrink)

This paper discusses the nature and the status of inference to the best explanation. We outline the foundational role given IBE by its defenders and the arguments of critics who deny it any place at all ; argue that, on the two main conceptions of explanation, IBE cannot be a foundational inference rule ; sketch an account of IBE that makes it contextual and dependent on substantive empirical assumptions, much as simplicity seems to be ; show how that account avoids (...) the critics ' complaints and leaves IBE an important role ; and sketch how our account can clarify debates over IBE in arguments for scientific realism. (shrink)

I argue that it is metaphysically necessary that: (i) every fundamental entity is conscious, and (ii) every fundamental property is a phenomenal property.

Trope theory is the view that the world is a world of abstract particular qualities. But if all there is are tropes, how do we account for the truth of propositions ostensibly made true by some concrete particular? A common answer is that concrete particulars are nothing but tropes in compresence. This answer seems vulnerable to an argument (first presented by F. H. Bradley) according to which any attempt to account for the nature of relations will end up either in (...) contradiction, nonsense, or will lead to a vicious infinite regress. I investigate Bradley’s argument and claim that it fails to prove what it sets out to. It fails, I argue, because it does not take all the different ways in which relation and relata may depend on one another into account. If relations are entities that are distinct from yet essentially dependent upon their relata, the Bradleyan problem is solved. We are then free to say that tropes in compresence are what make true propositions ostensibly made true by concrete particulars. (shrink)

We propose a modular ontology of the dynamic features of reality. This amounts, on the one hand, to a purely spatial ontology supporting snapshot views of the world at successive instants of time and, on the other hand, to a purely spatiotemporal ontology of change and process. We argue that dynamic spatial ontology must combine these two distinct types of inventory of the entities and relationships in reality, and we provide characterizations of spatiotemporal reasoning in the light of the interconnections (...) between them. (shrink)

Quantified expressions in natural language generally are taken to act like quantifiers in logic, which either range over entities that need to satisfy or not satisfy the predicate in order for the sentence to be true or otherwise are substitutional quantifiers. I will argue that there is a philosophically rather important class of quantified expressions in English that act quite differently, a class that includes something, nothing, and several things. In addition to expressing quantification, such expressions act like nominalizations, introducing (...) a new domain of objects that would not have been present in the semantic structure of the sentence otherwise. The entities those expressions introduce are of just the same sort as those that certain ordinary nominalizations refer to (such as John's wisdom or John's belief that S), namely they are tropes or entities related to tropes. Analysing certain quantifiers as nominalizing quantifiers will shed a new light on philosophical issues such as the status of properties and the nature of propositional attitudes. (shrink)

A polemical account of Australian philosophy up to 2003, emphasising its unique aspects (such as commitment to realism) and the connections between philosophers' views and their lives. Topics include early idealism, the dominance of John Anderson in Sydney, the Orr case, Catholic scholasticism, Melbourne Wittgensteinianism, philosophy of science, the Sydney disturbances of the 1970s, Francofeminism, environmental philosophy, the philosophy of law and Mabo, ethics and Peter Singer. Realist theories especially praised are David Armstrong's on universals, David Stove's on logical probability (...) and the ethical realism of Rai Gaita and Catholic philosophers. In addition to strict philosophy, the book treats non-religious moral traditions to train virtue, such as Freemasonry, civics education and the Greek and Roman classics. (shrink)

I am attracted to ontological pluralism, the doctrine that some things exist in a different way than other things.1 For the ontological pluralist, there is more to learn about an object’s existential status than merely whether it is or is not: there is still the question of how that entity exists. By contrast, according to the ontological monist, either something is or it isn’t, and that’s all there is say about a thing’s existential status. We appear to be to be (...) ontological committed to what I will call almost nothings. Examples of almost nothings include holes, cracks, and shadows; almost nothings thrive in the absence of ‘positive’ entities such as donuts, walls, and sunlight. Let’s focus on holes, since the literature on them is voluminous.2 We quantify over holes, and even count them: we say, for example, that there are some holes in the cheese, seven to be precise. We ascribe features to them and talk as though they stand in relations: that hole is three feet wide, much wider than that tire over there. Holes apparently persist through time, as evidenced by the fact that my sweater has the same hole in it as the last time you saw me wear it. We even talk as though holes are causally efficacious: my ankle was badly sprained because I stepped in that hole in the sidewalk.3 It seems then that we believe in holes. If our beliefs are true, holes must enjoy some kind of reality. This puts the ontological monist in an uncomfortable position. According to her, everything that there is enjoys the same kind of reality, which is the kind of reality enjoyed by full-fledged concrete entities such as ourselves. She is committed to the unpleasant claim that holes are just as real as concretia, a claim that is apt to be met with incredulous stares by those not acquainted with contemporary metaphysics. Roy Sorensen (2008, p. 19) notes the tension almost nothings generate for ontological monists: ‘… it feels paradoxical to say that absences exist—but no better to say that absences do not exist’.. (shrink)

This entry concerns dualism in the philosophy of mind. The term ‘dualism’ has a variety of uses in the history of thought. In general, the idea is that, for some particular domain, there are two fundamental kinds or categories of things or principles. In theology, for example a ‘dualist’ is someone who believes that Good and Evil — or God and the Devil — are independent and more or less equal forces in the world. Dualism contrasts with monism, which is (...) the theory that there is only one fundamental kind, category of thing or principle; and, rather less commonly, with pluralism, which is the view that there are many kinds or categories. In the philosophy of mind, dualism is the theory that the mental and the physical — or mind and body or mind and brain — are, in some sense, radically different kinds of thing. Because common sense tells us that there are physical bodies, and because there is intellectual pressure towards producing a unified view of the world, one could say that materialist monism is the ‘default option’. Discussion about dualism, therefore, tends to start from the assumption of the reality of the physical world, and then to consider arguments for why the mind cannot be treated as simply part of that world. (shrink)

Debates about the ontological implications of the general theory of relativity have long oscillated between spacetime substantivalism and relationism. I evaluate such debates by claiming that we need a third option, which I refer to as “structural spacetime realism.” Such a tertium quid sides with the relationists in defending the relational nature of the spacetime structure, but joins the substantivalists in arguing that spacetime exists, at least in part, independently of particular physical objects and events, the degree of “independence” being (...) given by the extent to which geometrical laws exist “over and above” physical events exemplifying them. By showing that structural spacetime realism is the natural outcome of a semantic, model-theoretic approach to the nature of scientific theories, I conclude by arguing that the notion of partial isomorphic representation is the most plausible candidate to connect spacetime models with reality. (shrink)

Theodore Sider’s recent book, “Writing the Book of the World”, employs a primitive notion of metaphysical structure in order to make sense of substantive metaphysics. But Sider and others who employ metaphysical primitives face serious epistemological challenges. In the first section I develop a specific form of this challenge for Sider’s own proposed epistemology for structure; the second section develops a general reliability challenge for Sider’s theory; and the third and final section argues for the rejection of Siderean structure in (...) the course of answering a transcendental argument against such rejection. (shrink)

This article offers a limited defense of metaphysical “infinitism,” the view that there are, or might be, infinite chains of ontological dependence. According to a widespread presupposition, there must be an ultimate ground of being—most likely, a plurality of fundamental atoms. Contrary to this view, this article shows that metaphysical infinitism is internally coherent. In particular, a parallel with the debate concerning infinitism about epistemic justification is suggested, and an “emergence model” of being is put forward. According to the emergence (...) model, the being of any given entity gradually arises out of an infinite series of progressively less dependent entities—it is not wholly transmitted, as it were, from a basic, ungrounded level to all the dependent ones in a step-by-step fashion. Some objections are considered and rebutted. (shrink)

Kit Fine (2000) breaks with tradition, arguing that, pace Russell (e.g., 1903: 228), relations have neither directions nor converses. He considers two ways to conceive of these new "neutral" relations, positionalism and anti-positionalism, and argues that the latter should be preferred to the former. Cody Gilmore (2013) argues for a generalization of positionalism, slot theory, the view that a property or relation is n-adic if and only if there are exactly n slots in it, and (very roughly) that each slot (...) may be occupied by at most one entity. Slot theory (and with it, positionalism) bears the full brunt of Fine's (2000) symmetric completions and conflicting adicities problems. I fully develop an alternative, plural slot theory (or pocket theory), which avoids these problems, key elements of which are first considered by Yi (1999: 168 ff.). Like the slot theorist, the pocket theorist posits entities (pockets) in properties and relations that can be occupied. But unlike the slot theorist, the pocket theorist denies that at most one entity can occupy any one of them. As a result, she must also deny that the adicity of a property or relation is equal to the number of occupiable entities in it. By abandoning these theses, however, the pocket theorist is able to avoid Fine's problems, resulting in a stronger theory about the internal structure of properties and relations. Pocket theory also avoids a serious drawback of anti-positionalism. (shrink)

Mereological realism holds that the world has a mereological structure – i.e. a distribution of mereological properties and relations. In this article, I defend Eleaticism about properties, according to which there are no causally inert non-logical properties. I then present an Eleatic argument for mereological anti-realism, which denies the existence of both mereological composites and mereological simples. After defending Eleaticism and mereological anti-realism, I argue that mereological anti-realism is preferable to mereological nihilism. I then conclude by examining the thesis that (...) composition is identity and noting its consequences for the question of mereological structure. (shrink)

In this article I address the Problem of Universals by answering questions about what facts a solution to the Problem of Universals should explain and how the explanation should go. I argue that a solution to the Problem of Universals explains the facts the Problem of Universals is about by giving the truthmakers (as opposed to the conceptual content and the ontological commitments) of the sentences stating those facts. I argue that the sentences stating the relevant facts are those like (...) 'a has the property F', that is, sentences stating that a particular has a certain property. Finally I show how answering these questions in this way transforms the Problem of Universals, traditionally conceived as the One over Many, that is, the problem of explaining how different particulars can have the same properties, into the Many over One, that is, the problem of explaining how the same particular can have different properties. The Problem of Universals is the problem of the Many over One. (shrink)

Visual perception is widely taken to present properties such as redness, roundness, and so on. This in turn might be thought to give rise to accuracy conditions for experience, and so content, regardless of which metaphysical view of perception one endorses. An influential version of this argument—Susanna Siegel’s ’Argument from Appearing’—aims to establish the existence of content as common ground between representational and relational views of perception. This goes against proponents of ‘austere’ relationalism who deny that content plays a substantive (...) role in philosophical explanations of conscious perceptual experience. Though Siegel’s argument purports to be neutral with respect to the metaphysics of perception, it relies upon an equivocation between the presentation of property-types and property-instances. Consequently, the argument begs the question against the austere relational view, and so fails to establish the desired conclusion. So while relationalists can and should allow that experiences have accuracy conditions, it does not follow from this that they have contents of any philosophically interesting or significant kind. (shrink)

Nominalizations are expressions that are particularly challenging philosophically in that they help form singular terms that seem to refer to abstract or derived objects often considered controversial. The three standard views about the semantics of nominalizations are [1] that they map mere meanings onto objects, [2] that they refer to implicit arguments, and [3] that they introduce new objects, in virtue of their compositional semantics. In the second case, nominalizations do not add anything new but pick up objects that would (...) be present anyway in the semantic structure of a corresponding sentence without a nominalization. In the first and third case, nominalizations in a sense ‘create’ new objects’, enriching the ontology on the basis of the meaning of expressions. I will argue that there is a fourth kind of nominalization which requires a quite different treatment. These are nominalizations that introduce ‘new’ objects, but only partially characterize them. Such nominalizations generally refer to events or tropes. I will explore an account according on which such nominalizations refer to truth makers. (shrink)

As anyone who has flown out of a cloud knows, the boundaries of a cloud are a lot less sharp up close than they can appear on the ground. Even when it seems clearly true that there is one, sharply bounded, cloud up there, really there are thousands of water droplets that are neither determinately part of the cloud, nor determinately outside it. Consider any object that consists of the core of the cloud, plus an arbitrary selection of these droplets. (...) It will look like a cloud, and circumstances permitting rain like a cloud, and generally has as good a claim to be a cloud as any other object in that part of the sky. But we cannot say every such object is a cloud, else there would be millions of clouds where it seemed like there was one. And what holds for clouds holds for anything whose boundaries look less clear the closer you look at it. And that includes just about every kind of object we normally think about, including humans. Although this seems to be a merely technical puzzle, even a triviality, a surprising range of proposed solutions has emerged, many of them mutually inconsistent. It is not even settled whether a solution should come from metaphysics, or from philosophy of language, or from logic. Here we survey the options, and provide several links to the many topics related to the Problem. (shrink)