The article is primarily concerned with the notion of a truth-maker. An explication for this notion is offered, which relates it to other notions of making something such-and-such. In particular, it is shown that the notion of a truth-maker is a close relative of a concept employed by van Inwagen in the formulation of his Consequence Argument. This circumstance helps understanding the general mechanisms of the concepts involved. Thus, a schematic explication of a whole battery of related notions is offered. (...) It is based on an explanatory notion, introduced by the sentential connector “because”, whose function is examined in some detail. Finally, on the basis of the explication proposed, an argument is developed to the effect that the objects usually regarded as truth-makers are not apt to play this role. (shrink)

Properties come in clusters. It seems impossible, for instance, that a mass could float free, unattached to any other property. David Armstrong takes this as a reductio of the bundle theory and an argument for substrata, while Peter Simons and Arda Denkel reply by supplementing the bundle theory with accounts of property interdependencies. I argue against both views. Virtually all plausible ontologies turn out to be committed to the existence of free masses.

The argument from internal relatedness was one of the major nineteenth century neo-Hegelian arguments for monism. This argument has been misunderstood, and may even be sound. The argument, as I reconstruct it, proceeds in two stages: first, it is argued that all things are internally related in ways that render them interdependent; second, the substantial unity of the whole universe is inferred from the interdependence of all of its parts. The guiding idea behind the argument is that failure of free (...) recombination is the modal signature of an integrated monistic cosmos. Frequently consider the connection of all things in the universe and their relation to one another. For in a manner all things are implicated with one another... (Marcus Aurelius, Meditations, p. 43). (shrink)

On the truthmaker view of ontological commitment [Heil (From an ontological point of view, 2003); Armstrong (Truth and truthmakers, 2004); Cameron (Philosophical Studies, 2008)], a theory is committed to the entities needed in the world for the theory to be made true. I argue that this view puts truthmaking to the wrong task. None of the leading accounts of truthmaking—via necessitation, supervenience, or grounding—can provide a viable measure of ontological commitment. But the grounding account does provide a needed constraint on (...) what is fundamental. So I conclude that truthmaker commitments are not a rival to quantifier commitments, but a needed complement. The quantifier commitments are what a theory says exists, while the truthmaker commitments are what a theory says is fundamental. (shrink)

Truthmakers are supposed to explain the truth of propositions, but it is unclear what kind of explanation truthmakers can provide. In this paper, I argue that ‘truthmaker explanations’ conflate two different explanatory projects. The first project is essentially concerned with truth, while the second project is concerned with reductive explanation. It is the latter project, I maintain, which is really central to truthmaking theory. On this basis, a general account of truthmaking can be formulated, which, when combined with a specific (...) theory of reduction (the ‘conceptual entailment approach’), yields a new analysis of truthmaking. This analysis is intuitively appealing and avoids the problem of necessary truths, which poses a serious obstacle for standard accounts. (shrink)

Is the relation between properties and the causal powers they confer necessary, or contingent? Necessary, says Sydney Shoemaker, on pain of skepticism about the properties. Contingent, says David Lewis, swallowing the skeptical conclusion. I shall argue that Lewis is right about the metaphysics, but that Shoemaker and Lewis are wrong about the epistemology. Properties have intrinsic natures (quiddities), which we can know.

Perceptual representations have distal content: they represent external objects and their properties, not light waves or retinal images. This basic fact presents a fundamental problem for ‘input-oriented’ theories of perceptual content. As I show in the first part of this paper, this even holds for what is arguably the most sophisticated input-oriented theory to date, namely Karen Neander's informational teleosemantics. In the second part of the paper, I develop a new version of informational teleosemantics, drawing partly on empirical psychology, and (...) partly on philosophical considerations. I shall argue that this version has all the virtues of Neander's original theory, but also the further crucial advantage of being able to account for the distality of perceptual content. (shrink)

Most answers to the mind-body problem are claims about the nature of mental properties and substances. But advocates of non-reductive physicalism have generally neglected the topic of the nature of substance, quickly nodding to the view that all substances are physical, while focusing their intellectual energy on understanding how mental properties relate to physical ones. Let us call the view that all substances are physical or are exhaustively composed of physical substances substance physicalism (SP). Herein, I argue that non-reductive physicalism (...) (NRP) cannot uphold substance physicalism and is thereby false. For NRP faces a mind problem: its commitment to property irreducibility prevents that which bears the mental properties—the mind, or on some views, the self or person—from being a physical thing. (shrink)

A central tenet of truthmaker theory is that necessitation is necessary for truthmaking (NEC). This paper defends NEC in a novel, piecemeal way, namely by responding to a potential counterexample involving a changing past. If Carter won a race at t1 but is later disqualified at t2, then Carter no longer won at t1. A wholly past event seems to have changed in the future. The event makes ‘Carter won the race at t1’ (RACE) true between t1‐2 but fails to (...) make it true at t2. So, we have a potential counterexample to necessitation: a truthmaker of RACE fails in another context to make the same truthbearer RACE true. I argue that the best solution to this challenge is not that there are different truthbearers at t1‐2 and t2 (the semantic response), or that RACE was never true because of the future disqualification or will always be true despite the future disqualification. The best solution is to accept that the past can change: past events can change based on what happens in the future (e.g., via their effects). This paper's novel defence of necessitation will illustrate the importance of utilising explicitly ontological and commonsensical tools in accounting for truth. (shrink)

Consider a circle and a pair of its semicircles. Which is prior, the whole or its parts? Are the semicircles dependent abstractions from their whole, or is the circle a derivative construction from its parts? Now in place of the circle consider the entire cosmos (the ultimate concrete whole), and in place of the pair of semicircles consider the myriad particles (the ultimate concrete parts). Which if either is ultimately prior, the one ultimate whole or its many ultimate parts?

Metaphysical semantics is supposed to connect the nonfundamental to the fundamental in a distinctively “linguistic” way, explaining how nonfundamental truths can be grounded in fundamental facts , and so inducing a radically eliminative vision of the nonfundamental as mere talk. I wonder how the story goes when a single nonfundamental truth can be grounded in many different fundamental facts. For instance, the truth that Moore has hands can presumably be grounded in many different distributions of fields, arrangements of particles, vibrations (...) of strings, or whatnot. I am asking how metaphysical semantics can accommodate this sort of multiple realizability. (shrink)

Since causal processes can be prevented and interfered with, law-governed causation is a challenge for necessitarian theories of laws of nature. To show that there is a problematic friction between necessity and interference, I focus on David Armstrong's theory; with one proviso, his lawmaker, nomological necessity, is supposed to be instantiated as the causation of the law's second relatum whenever its first relatum is instantiated. His proviso is supposed to handle interference cases, but fails to do so. In order to (...) be able to handle interferences, any theory which utilizes a kind of necessitation as lawmaker has to downgrade what it treats as necessity to something more akin to (Newtonian) forces. (shrink)

‘‘Thus I believe that there is no part of matter which is not—I do not say divisible—but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.’’ (Leibniz, letter to Foucher).

This paper argues that accepting an ordinary approach to truthmakers and rejecting something I call “the metaphysical knowledge assumption” allows us to account for inquiry in terms of truthmaking. §1 introduces inquiry and the potential place of truthmakers in inquiry. §2 presents the relevant ordinary notion of truthmakers. §3 presents and motivates MKA. This assumption, I argue, makes a truthmaker-focused account of inquiry whose objects are not the fundamental nature of things impossible and thus should be rejected. The ordinary picture, (...) which understands truthmakers not exclusively in terms of the objects of fundamental reality or of semantics, but in terms of the relevant, intentional objects of inquiry, gives us an attractive, general, truthmaker-based view of inquiry. (shrink)

Grounding is often glossed as metaphysical causation, yet no current theory of grounding looks remotely like a plausible treatment of causation. I propose to take the analogy between grounding and causation seriously, by providing an account of grounding in the image of causation, on the template of structural equation models for causation.

Recently, philosophers have tried to develop a version of truthmaker theory which ties the truthmaking relation closely to the notion of fundamentality. In fact, some of these truthmaker-fundamentalists, as I call them, assume that the notion of fundamentality is intelligible in part by citing, as central examples of fundamentals, truthmakers, which they understand necessarily as constituents of fundamental reality. The aim of this paper is first to bring some order and clarity to this discussion, sketching how far TF is compatible (...) with orthodox truthmaking, and then critically to evaluate the limits of TF. It will be argued that truthmaker theory cannot directly help with articulating the nature of fundamental reality and that T-REL does not necessarily relate truths with anything more fundamental, unless what is fundamental is what the truthbearers in question are about. I shall argue that TF faces a rather thorny dilemma and some general problems. I shall present two exhaustive types of fundamentalism on which a version of TF can be based: deflationary and inflationary. It will be argued that each version of TF runs into significant troubles accounting for all truth, specifically ordinary truths and metaphysical truths about the relations between ordinary facts and fundamental facts. I shall not attempt to solve these problems, but rather, at the end, diagnose the issues with TF as lying in the difficulties with reconciling the manifest image with the scientific and metaphysical images of reality. (shrink)

Sydney Shoemaker's "Subset Account" offers a new take on determinable properties and the realization relation as well as a defense of non-reductive physicalism from the problem of mental causation. At the heart of this account are the claims that (1) mental properties are determinable properties and (2) the causal powers that individuate a determinable property are a proper subset of the causal powers that individuate the determinates of that property. The second claim, however, has led to the accusation that the (...) effects caused by the instantiation of a determinable property will also be caused by the instantiation of the determinates of that property—so instead of solving the problem of mental causation, the Subset Account ends up guaranteeing that the effects of mental properties (and all other types of determinable property) will be causally overdetermined! In this paper, I explore this objection. I argue that both sides in this debate have failed to engage the question at the heart of the objection: Given that both a determinable property and its determinates have the power to cause some effect (E), does it follow that both will actually cause E when the relevant conditions obtain? To make genuine progress towards answering this question, we need to take a serious look at the metaphysics of causation. With the debate properly reframed and issues about the metaphysics of causation front and center, I explore the question of whether the Subset Account is doomed to result in problematic causal overdetermination. (shrink)

Discusses how to develop the idea that the normative truth is perspective-dependent with a broadly constructivist approach to metaethics - arguing in favor of developing this idea in terms of the idea that the normative truth is dependent upon the perspective of the assessor.

One controversial position in the debate over dispositional and categorical properties maintains that our concepts of these properties are the result of partially considering unitary properties that are both dispositional and categorical. As one of its defenders (Heil 2005, p. 351) admits, this position is typically met with “incredulous stares”. In this paper, I examine whether such a reaction is warranted. This thesis about properties is an instance of what I call “the Partial Consideration Strategy”—i.e., the strategy of claiming that (...) what were formerly thought of as distinct entities are actually a unified entity, partially considered. By evaluating its use in other debates, I uncover a multi-layered _prima facie_ case against the use of the Partial Consideration Strategy in the dispositional/categorical properties debate. In closing, I describe how the Partial Consideration Strategy can be reworked in a way that would allow it to sidestep this _prima facie_ case. (shrink)

One controversial position in the debate over dispositional and categorical properties maintains that our concepts of these properties are the result of partially considering unitary properties that are both dispositional and categorical. As one of its defenders (Heil 2005, p. 351) admits, this position is typically met with “incredulous stares”. In this paper, I examine whether such a reaction is warranted. This thesis about properties is an instance of what I call “the Partial Consideration Strategy”—i.e., the strategy of claiming that (...) what were formerly thought of as distinct entities are actually a unified entity, partially considered. By evaluating its use in other debates, I uncover a multi-layered prima facie case against the use of the Partial Consideration Strategy in the dispositional/categorical properties debate. In closing, I describe how the Partial Consideration Strategy can be reworked in a way that would allow it to sidestep this prima facie case. (shrink)

In this paper we examine a puzzle recently posed by Aaron Preston for the traditional realist assay of property (quality) instances. Consider Socrates (a red round spot) and red1—Socrates’ redness. For the traditional realist, both of these entities are concrete particulars. Further, both involve redness being `tied to’ the same bare individuator. But then it appears that red1 is duplicated in its ‘thicker’ particular (Socrates), so that it can’t be predicated of Socrates without redundancy. According to Preston, this suggests that (...) a concrete particular and its property instances aren’t genuinely related. We argue that Preston’s proffered solution here—to treat property instances as “mental constructs”—is fraught with difficulty. We then go on to show how, by fine-tuning the nature of bare particulars, treating them as abstract modes of things rather than concrete particulars, the traditional realist can neatly evade Preston’s puzzle. (shrink)

A central problem for any truthmaker theory is the problem of negative truths. In this paper, I develop a novel, piecemeal strategy for solving this problem. The strategy puts central focus on a truth-relevant notion of aboutness within a metaphysically modest version of truthmaker theory and uses key conceptual tools gained by taking a deeper look at the best attempts to solve the problem of intentionality. I begin this task by critically discussing past proposed solutions to P-NEG in light of (...) Russell’s debate with Demos. This reveals a central difficulty with addressing the problem, specifically that one cannot be committed to incompatibility facts in one’s account of negation and of the truth of negative truths. I then present an aboutness-based version of truthmaker theory. Utilising what I call the strict and full account of aboutness, I extract aboutness-based theories of truth and falsity. I use this machinery to present a promising new strategy for solving P-NEG which does not have the problems of alternative approaches. Finally, I present and respond to some potential objections. (shrink)

Truthmaker theory has been used to argue for substantial conclusions about the categorial structure of the world, in particular that states of affairs are needed to play the role of truthmakers. In this paper, I argue that closely considering the role of aboutness in truthmaking, that is considering what truthbearers are about, yields the result that there is no good truthmaker-based reason to think that truthmakers must be states of affairs understood as existing entities, whether complex or simple. First, I (...) introduce an aboutness-based account of truthmaking as a metaphysically modest alternative to the orthodox necessitarian account of truthmaking. Second, I discuss the distinction between states and events that has been made on the basis of linguistic evidence regarding aspectual markers and nominalisation. I argue that the modest approach to truthmaking allows us to accept that there is a real distinction between states and events without requiring that the distinction is ontologically substantial. Specifically, what we are talking about with state-truthbearers really differs from what we are talking about with event-truthbearers, but this difference need not be understood as a difference in kinds of entities. Because of its overall modesty, this is a theoretically virtuous result. (shrink)

This paper proposes an integrated-structure notion of interlevel emergence, from a dynamic relational ontological perspective. First, I will argue that only the individualist essentialism of atomistic metaphysics can block the possibility of interlevel emergence. Then I will show that we can make sense of emergence by recognizing the formation of structures of transformative and interdependent causal relations in the generation and development of a particular class of mereological complexes called integrated systems. Finally, I shall argue that even though the emergent (...) structural attributes of such systems are not micro-determined nor micro-reducible, they can still be accounted for by an interlevel integrative neo-mechanistic form of explanation. (shrink)

In this paper, I both propose and discuss a novel account of truthmaking. I begin by showing what truthmaking is not: it is not grounding and it is not correspondence. I then show what truthmaking is by offering an account that appeals both to grounding and what I call ‘deep correspondence’. After I present the account and show that it is an account that unifies, I put it to work by showing how it can overcome an objection to truthmaking, how (...) we can get truthmaking from correspondence, what it says about truthmaker necessitation, and how it can explain a connection between truthmaker maximalism and pluralism about truth. (shrink)

Recent metaphysics has seen a surge of interest in grounding—a relation of non-causal determination underlying a distinctive kind of explanation common in philosophy. In this article, I investigate the connection between grounding and another phenomenon of great interest to metaphysics: ontological dependence. There are interesting parallels between the two phenomena: for example, both are commonly invoked through the use of “dependence” terminology, and there is a great deal of overlap in the motivations typically appealed to when introducing them. I approach (...) the question of the relationship between grounding and ontological dependence through an investigation of their modal connections. I argue, firstly, that on the common assumption that grounding is factive, it can be shown that no known variety of rigid ontological dependence is either necessary or sufficient for grounding. I also offer some suggestions in support of the claim that this generalizes to every possible form of rigid ontological dependence. I then broaden the discussion by considering a non-factive conception of grounding, as well as by looking at forms of generic ontological dependence. I argue that there is at least one form of rigid ontological dependence that is sufficient for non-factive grounding, and that a form of generic dependence may be necessary both for factive and non-factive grounding. However, justifying even these fairly weak modal connections between grounding and ontological dependence turns out to require some quite specific and substantive assumptions about the two phenomena that have only rarely been discussed. (shrink)

How should we understand the Confucian doctrine of the rectification of names (zhengming): what does it mean that an object’s name must be in accordance with its reality, and why does it matter? The aim of this paper is to answer this question by advocating a novel interpretation of the later Confucian, Xunzi’s account of the doctrine. Xunzi claims that sage-kings ascribe names and values to objects by convention, and since they are sages, they know the truth. When we misuse (...) names, we are departing from a sagely convention of naming. As sagely convention determines moral truth, departure from the linguistic convention of the sages is a departure from moral truth. On my interpretation of Xunzi, the rectification of names is not a doctrine about what is true, but a doctrine about how we aim at truth. We are aiming at descriptive truth when our language conforms to the correct name of an object according to what I call ‘Confucian conventionalism’. When we correctly aim at descriptive truth we can aim at moral truth. Therefore, I claim that the doctrine of the rectification of names is concerned with discerning the literal accordance of language with an object (what is descriptively, linguistically true), to determine what is normatively, or morally, true. According to Xunzi, moral truth is grounded in linguistic truth. (shrink)

forthcoming in Philosophy and Phenomenological Research.

In this article I construe Russell's definite description notation as a fragment of an "ideal language"– a language in which, as Russell puts it in the "Logical Atomism" lectures, "the words in a proposition correspond one by one with the components of the corresponding fact." Russell's notation – containing as it does variables, quantifiers and the identity sign – commits him to an ontology that is lavish indeed. It thus conflicts with the spirit of the theory of descriptions, which is (...) developed in the service of ontological frugality. I make use of arguments derived from the Tractatus to show that an ideal language need not contain logical signs. I thus defend the spirit of the theory of descriptions while departing from its letter. (shrink)

Powers are properties defined by what they do. The focus of the large majority of the powers literature has been mainly put on explicating the (multifaceted) results of the production of a power in certain (multifaceted) initial conditions: but all this causal complexity is bound to be—and, in fact, it has proved to be—quite difficult to handle. In this paper we take a different approach by focusing on the very activity of producing those multifaceted manifestations themselves. In this paper, we (...) propose an original account of what the essence of a power consists in which stems from a radical reconceptualisation of power-causation according to which counterfactuals are to be explained away by powers, and not vice-versa. We call this approach the dynamical operator account of powers. According to this account, the causal role of powers consists in their ensuring that the ontological transition from a stimulus S to a manifestation M happens. Powers thus have a dynamical essence which consists in the fundamental activity of generating the counterfactuals typically associated with them. We show that if one conceptualises this functional activity as the metaphysical fulcrum around which counterfactual-based causation revolves, one is granted not only an improved methodology to individuate powers but also a better understanding of their knowability, modality and directedness. (shrink)

ABSTRACTThis paper examines the ontological status of individual substances; intuitive examples of such entities include particles and living organisms. My aim is to assess the ontological status of individual substances in the light of arguments for an ontology of [concrete] facts, often called states of affairs. Advocates of a fact ontology have argued that these factive entities are the ontologically fundamental beings. I will address the salient question of whether individual substances are reducible to, or eliminable in favor of, facts. (...) I will further address the question of whether individual substances, even if not reducible to facts, are nonetheless ontologically dependent upon facts in a way that undercuts the claim that some individual substances are ontologically fundamental. Finally, I will argue that a persuasive case for the claim that facts are what is ontologically fundamental has yet to be made. (shrink)

“Physical premotion” is a concept associated with Baroque Catholic theological debates concerning grace and freedom. In this paper, I present an argument that the entities identified in this debate, physical premotions, are necessary for any classical theist’s account of divine causality. A “classical theist” is a theist who holds both that God is simple, that is, without inhering properties, and that humans and God are both free in the incompatibilist sense. In fact, not only does the acceptance of physical premotions (...) not entail determinism, physical premotions are the only way for classical theists to preserve the aforementioned two commitments. Nevertheless, the theory of premotions cannot help theologians resolve questions of how God causes human free acts without violating their freedom. (shrink)

Joseph Schmid has proposed an account of existential inertia which says (among other things) that each existentially inert object is not ontologically dependent on anything that is not a part of itself. Using this account, I propose an argument that existential inertia cannot be enjoyed by external relations nor by their relata. I first draw from Arianna Betti’s case for relata-specific relations to argue that external relations cannot have existential inertia. Building on this conclusion, I then propose an argument that (...) the relata of external relations also cannot have existential inertia. (shrink)

On a highly influential way to think of modality, that I call ‘relationalism’, the modality of a state is explained by its being composed of properties, and these properties being related by a higher-order and primitively modal relation. Examples of relationalism are the Dretske-Tooley-Armstrong account of natural necessity, many dispositional essentialist views, and Wang’s incompatibility primitivism. I argue that relationalism faces four difficulties: that the selection between modal relations is arbitrary, that the modal relation cannot belong to any logical order, (...) that to explain how the modal relation can relate properties of different adicities additional ideological complexity has to be introduced, and that not all modal constraints are relational. From the discussion, I will extract desiderata for a successor theory of modality. (shrink)

In this paper I undermine the Entailment Principle according to which if an entity is a truthmaker for a certain proposition and this proposition entails another, then the entity in question is a truthmaker for the latter proposition. I argue that the two most promising versions of the principle entail the popular but false Conjunction Thesis, namely that a truthmaker for a conjunction is a truthmaker for its conjuncts. One promising version of the principle understands entailment as strict implication but (...) restricts the field of application of the principle to purely contingent truths (i.e. those that contain no necessary proposition at any level of analysis). But a conjunction of purely contingent truths strictly implies its conjuncts. So this version of the principle is committed to the Conjunction Thesis. The same is true of the version of the principle where entailment is understood in the sense of systems T, R, and E of relevant logic, since in these systems conjunctions entail their conjuncts. I argue that the Conjunction Thesis is false because a truthmaker is that in virtue of what a certain proposition is true and it is false that, for example, what the proposition that Peter is a man is true in virtue of is the conjunctive fact that Peter is man and Saturn is a planet (or the facts that Peter is a man and that Saturn is a planet taken together). I also argue against other versions of the principle. (shrink)

This bulletin contains a summary of the main topics of discussion in truthmaker theory, namely: the definition of truthmakers, problems with Truthmaker Necessitarianism and Truthmaker Maximalism, the ontological burden of truthmakers and the recalcitrant topic of truthmakers for negative truths.

Universals have traditionally thought to obey the identity of indiscernibles, that is, it has traditionally been thought that there can be no perfectly similar universals. But at least in the conception of universals as immanent, there is nothing that rules out there being indiscernible universals. In this paper, I shall argue that there is useful work indiscernible universals can do, and so there might be reason to postulate indiscernible universals. In particular, I shall argue that postulating indiscernible universals can allow (...) a theory of universals to identify particulars with bundles of universals, and that postulating indiscernible universals can allow a theory of universals to develop an account of the resemblance of quantitative universals that avoids the objections that Armstrong’s account faces. Finally, I shall respond to some objections and I shall undermine the criterion of distinction between particulars and universals that says that the distinction between particulars and universals lies in that while there can be indiscernible particulars, there cannot be indiscernible universals. (shrink)

Universals have traditionally thought to obey the identity of indiscernibles, that is, it has traditionally been thought that there can be no perfectly similar universals. But at least in the conception of universals as immanent, there is nothing that rules out there being indiscernible universals. In this paper, I shall argue that there is useful work indiscernible universals can do, and so there might be reason to postulate indiscernible universals. In particular, I shall argue that postulating indiscernible universals can allow (...) a theory of universals to identify particulars with bundles of universals, and that postulating indiscernible universals can allow a theory of universals to develop an account of the resemblance of quantitative universals that avoids the objections that Armstrong’s account faces. Finally, I shall respond to some objections and I shall undermine the criterion of distinction between particulars and universals that says that the distinction between particulars and universals lies in that while there can be indiscernible particulars, there cannot be indiscernible universals. (shrink)

In the present article, I show that sounds are properties that are not physical in a narrow sense. First, I argue that sounds are properties using Moorean style arguments and defend this property view from various arguments against it that make use of salient disanalogies between sounds and colors. The first disanalogy is that we talk of objects making sounds but not of objects making colors. The second is that we count and quantify over sounds but not colors. The third (...) is that sounds can survive qualitative change in their auditory properties, but colors cannot survive change in their chromatic properties. Next, I provide a taxonomy of property views of sound. As the property view of sound has been so rarely discussed, many of the views available have never been articulated. My taxonomy will articulate these views and how they are related to one another. I taxonomize sounds according to three characteristics: dispositional/non-dispositional, relational/non-relational, and reductive/non-reductive. Finally, mirroring a popular argument in the color literature, I argue that physical views in the narrow sense are unable to accommodate the similarity and difference relations in which sounds essentially stand. I end replying to three objections. (shrink)

Navigating the ontology of color used to be a simple affair. There was the naive view that colors really are in objects the way they appear, and the view that they are secondary qualities to cause certain experiences in us. Today, there are myriad well-developed views but no satisfactory taxonomy of philosophical theories on color. In this article, I first examine the two newest taxonomies on offer and argue that they are inadequate. In particular, I look at Brogaard’s taxonomy and (...) then Cohen’s. One of the reasons I am displeased with Brogaard and Cohen’s taxonomies is that I find it implausible that dispositions are relational properties. I provide an argument against this way of classifying dispositions. Having learned from the vices and virtues of Brogaard and Cohens’ taxonomies, I provide what I believe is a much-enhanced way of taxonomizing philosophical views on color. My taxonomy rules out certain views, clarifies others, and shows that there is an unnoticed view worthy of consideration. (shrink)

This article considers three views about which properties are genuine. According to the first view, we should look to successful commonsense and scientific explanations in determining which properties are genuine. On this view, predicates that figure in such explanations thereby pick out genuine properties. According to the second view, the only predicates that pick out genuine properties are those that figure in our best scientific explanations. On this view, predicates that figure in commonsense explanations pick out genuine properties only if (...) such explanations are vindicated by the sciences. According to the third view, the only genuine properties are the fundamental, microphysical ones. On this view, although there are “higher-level” predicates that figure in true commonsense and scientific explanations, there are no “higher-level” properties corresponding to such predicates. The article argues that the third view is superior to the others. (shrink)

The difficulties facing Humean regularity accounts of laws have led some philosophers to a theory that takes laws to be necessitation relations between universals. In this paper I evaluate David Armstrong's version of this theory by considering two of its key elements: its solution to the so-called “Inference Problem” and its denial of uninstantiated universals. After considering some potential problems with each of these elements on their own, I argue that Armstrong's solution to the Inference Problem and his denial of (...) uninstantiated universals are not two independent aspects of his view. His solution to the Inference Problem depends upon his denial of uninstantiated universals. (shrink)

In 1997, David Armstrong argued that the world is a world of states of affairs. In his latest book, Truth and Truthmakers, he remains strongly committed to the existence of states of affairs, despite now advocating an ontology in which they are not needed, 'as an ontological extra'. States of affairs remain needed, Armstrong says, 'to act as truthmakers for predicative truths'. In this paper, I attempt to shed light on what Armstrong might mean by this claim. While there is (...) a straightforward sense in which states of affairs are not needed in Armstrong's amended ontology, I suggest that Armstrong might be charitably interpreted in a manner that justifies his claim. However, in clarifying the manner in which states of affairs remain needed in Armstrong's ontology, it becomes unclear whether they are needed in any 'deep' sense, or rather are merely parochial to his ontology. I examine Armstrong's rejection of Resemblance Nominalism on the grounds that it does not provide adequate 'minimal' truthmakers. I then argue that he has significant additional work to do in explaining this concept before his rejection of Resemblance Nominalism can be justified, and thus before the need for states of affairs can be asserted generally, rather than just within particular ontologies, such as Armstrong's amended one. (shrink)

On its usual interpretation, the Barcan Formula—◊∃_xB_ → ∃_x_◊_B_—says that, if there could have been something that is such and such a way, then there is something that could have been that way. It is traditionally held that contingentist actualists should—indeed, must—reject the Barcan Formula. I argue that contingentist actualists should—indeed, must—endorse the Barcan Formula, at least assuming a standard, Tarskian conception of truth and truth preservation. I end by proposing a logic for contingentist actualists that validates the Barcan Formula. (...) This logic has the surprising feature of also validating the Converse Barcan Formula, □∀_xB_ → ∀_x_□_B_, while still invalidating related formulas—such as □∀_x_□∃_y x_ = _y_ (NNE)—that contingentist actualists should reject. It does this by employing models with fixed domains but assignments to the identity predicate that vary across worlds. (shrink)

The history of biological systematics documents a continuing tension between classifications in terms of nested hierarchies congruent with branching diagrams (the ‘Tree of Life’) versus reticulated relations. The recognition of conflicting character distribution led to the dissolution of the scala naturae into reticulated systems, which were then transformed into phylogenetic trees by the addition of a vertical axis. The cladistic revolution in systematics resulted in a representation of phylogeny as a strictly bifurcating pattern (cladogram). Due to the ubiquity of character (...) conflict—at the genetic or morphological level, or at any level in between—some characters will necessarily have to be discarded ( qua noise) in favor of others in support of a strictly bifurcating phylogenetic tree. Pattern analysts will seek maximal congruence in the distribution of characters (ultimately of any kind) relative to a branching tree-topology; process explainers will call such tree-topologies into question by reference to incompatible evolutionary processes. Pattern analysts will argue that process explanations must not be brought to bear on pattern reconstruction; process explainers will insist that the reconstructed pattern requires a process explanation to become scientifically relevant, i.e., relevant to evolutionary theory. The core question driving the current debate about the adequacy of the ‘Tree of Life’ metaphor seems to be whether the systematic dichotomization of the living world is an adequate representation of the complex evolutionary history of global biodiversity. In ‘Questioning the Tree of Life’, it seems beneficial to draw at least four conceptual distinctions: pattern reconstruction versus process explanation as different epistemological approaches to the study of phylogeny; open versus closed systems as expressions of different kinds of population (species) structures; phylogenetic trees versus cladograms as representations of evolutionary processes versus patterns of relationships; and genes versus species as expressions of different levels of causal integration and evolutionary transformation. (shrink)

Hylomorphism is the Aristotelian theory according to which objects are composites of form and matter. Form is what unifies the various parts of an object – the matter – into a cohesive whole. Some contemporary hylomorphists argue their theory applies beyond the realm of concreta, and that it explains the unity of various abstract entities. Not everyone agrees. Recent criticism alleges that hylomorphism fails to explain the unity of certain abstract entities, namely, complex properties – properties with other properties as (...) proper parts. Here, I both respond to this criticism and show that and how hylomorphism extends to the domain of complex properties. By discussing hylomorphism’s applicability to the hitherto unchartered domain of complex properties, I hope to defend its credentials as a general mereological theory. (shrink)

It is widely believed that presentism is compatible with both a libertarian view of human freedom and an unrestricted principle of bivalence. I argue that, in fact, presentists must choose between bivalence and libertarianism: if presentism is true, then either the future is open or no one is free in the way that libertarians understand freedom.

I defend (metaphysical) ground against recent, unanswered objections aiming to dismiss it from serious philosophical inquiry. Interest in ground stems from its role in the venerable metaphysical project of identifying which facts hold in virtue of others. Recent work on ground focuses on regimenting it. But many reject ground itself, seeing regimentation as yet another misguided attempt to regiment a bad idea (like phlogiston or astrology). I defend ground directly against objections that it is confused, incoherent, or fruitless. This vindicates (...) the very attempt to regiment ground. It also refocuses our attention on the genuine open questions about ground and away from the distracting, unpersuasive reasons for dismissing them. (shrink)