Paper responding to critique of Maurin (2002) presented by Herbert Hochberg in his “Relations, Properties and Particulars” (2004).

In order to avoid the problems faced by standard realist analyses of the “relation” of instantiation, Baxter and, following him, Armstrong each analyze the instantiation of a universal by a particular in terms of their partial identity. I introduce two related conceptions of partial identity, one mereological and one non-mereological, both of which require at least one of the relata of the partial identity “relation” to be complex. I then introduce a second non-mereological conception of partial identity, which allows for (...) both relata to be simple. I take these three conceptions to exhaust the plausible ways of construing two entities as being partially identical. I then argue that there is no analysis (including those offered by Baxter and Armstrong) of a universal and a particular as being partially identical consistent with any of these three conceptions that (i) is coherent, (ii) is consistently realist, (iii) does not lead to absurd consequences, and (iv) offers a “solution” to the problem of instantiation that avoids the problems with the other standard realist responses. In so arguing, I offer a criticism of the analysis of instantiation as partial identity that is independent of the standard criticism that it entails the necessity of predication. (shrink)

Universalism (the thesis that distinct objects always compose a further object) has come under much scrutiny in recent years. What has been largely ignored is its role in the metaphysics of classes. Not only does universalism provide ways to deal with classes in a metaphysically pleasing fashion, its success on these grounds has been offered as a motivation for believing it. This paper argues that such treatments of classes can be achieved without universalism, examining theories from Goodman and Quine, Armstrong (...) and Lewis. In the case of each theory, universalism is drafted in to ensure that there are enough material objects to play a particular role. I argue that, for each theory, there's a better theory that ditches universalism and instead uses an alternative principle of composition demanding that the unrestricted composition of entities other than material objects (respectively: regions, states of affairs and singletons) play that role instead. I conclude that (1) non-universalists can consider accepting such theories of classes and (2) we should ignore any alleged motivation for universalism on the basis of dealing with classes. (shrink)

Recently, nominalists have made a case against the Quine–Putnam indispensability argument for mathematical Platonism by taking issue with Quine’s criterion of ontological commitment. In this paper I propose and defend an indispensability argument founded on an alternative criterion of ontological commitment: that advocated by David Armstrong. By defending such an argument I place the burden back onto the nominalist to defend her favourite criterion of ontological commitment and, furthermore, show that criterion cannot be used to formulate a plausible form of (...) the indispensability argument. (shrink)

Presentists face a challenge from truthmaker theory: if you hold both that the only existing objects are presently existing and that truth supervenes on being, then you will be hard pressed to identify some existent on which a given true but traceless claim about the past supervenes. One reconciliation strategy, advocated by Cameron (2011), is to appeal to distributional properties so to serve as presently existing truthmakers for past truths. I argue that a presentist ought to deny that distributional properties (...) can serve as truthmakers. (shrink)

In this dissertation I suggest an answer to the famous question ‘why is there something rather than nothing?’ I argue that there is something because there could not have been nothing. The focus of my discussion is the empty possible world of metaphysical nihilism, and the first chapter is a rejection of the only prominent argument for that position; the subtraction argument. In the second part of my discussion I construct a positive argument against metaphysical nihilism, I assume, as is (...) common in the literature, that inconceivability provides evidence of impossibility. I establish the inconceivability of nothingness taking propositional imagining to be the core of conceivability, claiming that we have no experience of nothingness in the relevant sense and are unable to imagine it. Finally, I suggest that a distinction should be made between everyday use of the term ‘nothing’, and the sense under discussion here. The inconceivability of nothingness applies only in the latter case. Given that nothingness is inconceivable, we have prima facie reason to suppose that the empty world is impossible. I conclude that given the failure of the subtraction argument and in light of my argument against metaphysical nihilism, that position should be rejected. (shrink)

A modus tollens against zero-dimensional material objects is presented from the premises (i) that if there are zero-dimensional material objects then there are bare particulars, and (ii) that there are no bare particulars. The argument for the first premise proceeds by elimination. First, bare particular theory and bundle theory are motivated as the most appealing theories of property exemplification. It is then argued that the bundle theorist’s Ockhamism ought to lead her to reject spatiotemporally located zero-dimensional property instances. Finally, it (...) is argued that since she must accept such instances if she accepts zero-dimensional material object bundles, she ought to avoid the latter. This leaves bare particular theory as the default view of zero-dimensional material objects. The argument for the second premise invokes the thesis that the exemplification of at least one sparse property is a prerequisite for the existence of any particular. It is argued from Humean considerations that bare particulars fail this prerequisite. (shrink)

In this paper I assume that we have some intuitive knowledge—i.e. beliefs that amount to knowledge because they are based on intuitions. The question I take up is this: given that some intuition makes a belief based on it amount to knowledge, in virtue of what does it do so? We can ask a similar question about perception. That is: given that some perception makes a belief based on it amount to knowledge, in virtue of what does it do so? (...) A natural idea about perception is that a perception makes a belief amount to knowledge in part by making you sensorily aware of the concrete objects it is about. The analogous idea about intuition is that an intuition makes a belief amount to knowledge in part by making you intellectually aware of the abstract objects it is about. I expand both ideas into fuller accounts of perceptual and intuitive knowledge, explain the main challenge to this sort of account of intuitive knowledge (i.e. the challenge of making sense of intellectual awareness), and develop a response to it. (shrink)

Many philosophers believe that truth is grounded: True propositions depend for their truth on the world. Some philosophers believe that truth’s grounding has implications for our ontology of time. If truth is grounded, then truth supervenes on being. But if truth supervenes on being, then presentism is false since, on presentism, e.g., that there were dinosaurs fails to supervene on the whole of being plus the instantiation pattern of properties and relations. Call this the grounding argument against presentism. Many presentists (...) claim that the grounding argument fails because, despite appearances, supervenience is compatible with presentism. In this paper, I claim that the grounding argument fails because, despite appearances, truth’s grounding gives the presentist no compelling reason to adopt the sort of supervenience principle at work in the grounding argument. I begin by giving two precisifications of the grounding principle: truthmaking and supervenience. In Sect. 2, I give the grounding argument against presentism. In Sect. 3, I argue that we should distinguish between eternalist and presentist notions of grounding; once this distinction is in hand, the grounding argument is undercut. In Sect. 4, I show how the presentist’s notion of grounding leads to presentist-friendly truthmaking and supervenience principles. In Sect. 5, I address some potential objections. (shrink)

Three plausible views—Presentism, Truthmaking, and Independence—form an inconsistent triad. By Presentism, all being is present being. By Truthmaking, all truth supervenes on, and is explained in terms of, being. By Independence, some past truths do not supervene on, or are not explained in terms of, present being. We survey and assess some responses to this.

In this paper I develop a framework for understanding ontic vagueness. The project of the paper is two-fold. I first outline a definitional account of ontic vagueness – one that I think is an improvement on previous attempts because it remains neutral on other, independent metaphysical issues. I then develop one potential manifestation of that basic definitional structure. This is a more robust (and much less neutral) account which gives a fully classical explication of ontic vagueness via modal concepts. The (...) overarching aim is to systematically investigate the puzzling question of what exactly it could be for the world itself to be vague. (shrink)

This paper discusses the significance of non-causal dependence for truthmaker theory. After introducing truthmaker theory (section 1), I discuss a challenge to it levelled by Benjamin Schnieder. I argue that Schnieder’s challenge can be met once we acknowledge the existence of non-causal dependence and of explanations which rely on it (sections 2 to 5). I then mount my own argument against truthmaker theory, based on the notion of non-causal dependence (sections 6 and 7).

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)

In a recent paper Horsten embarked on a journey along the limits of the domain of the unknowable. Rather than knowability simpliciter, he considered a priori knowability, and by the latter he meant absolute provability, i.e. provability that is not relativized to a formal system. He presented an argument for the conclusion that it is not absolutely provable that there is a natural number of which it is true but absolutely unprovable that it has a certain property. The argument depends (...) on a description principle. I will argue that the latter principle implies the knowability of all arithmetical truths. Therefore, Horsten's argument is either sound but its conclusion is trivial, or his argument is unsound. (shrink)

Baxter (Australas J Philos 79: 449-464, 2001) proposes an ingenious solution to the problem of instantiation based on his theory of cross-count identity. His idea is that where a particular instantiates a universal it shares an aspect with that universal. Both the particular and the universal are numerically identical with the shared aspect in different counts. Although Baxter does not say exactly what a count is, it appears that he takes ways of counting as mysterious primitives against which different numerical (...) identities are defined. In contrast, I defend the idea— suggested, though not quite endorsed, by Baxter himself—that counts are independent dimensions of numerical identity. Different ways of counting are explained by the existence of these different sorts of identity (i.e., counts). For the instantiation of a universal by a particular, I propose one dimension concerned with the individuation of particulars (the p-count) and another dimension concerned with the individuation of universals (the u-count). On that basis, I give a clear definition of cross-count identity that explains its asymmetrical nature (i.e., the fact that particulars instantiate universais, but not vice versa). I extend the theory to a third dimension—that of time, or the t-count—and thereby defend Baxter's ideas on change, and the contingency of instantiation. Baxter (Mind 97(388): 575-582, 1988; Australas J Philos 79: 449-464, 2001) proposes the related idea of composition as (cross-count) identity. Parts are individually cross-count identical with the wholes that they constitute, and they collectively share all aspects across counts with those wholes. I propose an innovation by which totality is shared distinctness across counts. The theory applies to both the totality of particulars that instantiate any given universal, and the totality of parts that constitute any given whole. I argue that this has several advantages over Armstrong's view, which is based on a dubious external totalling relation. I also argue that Armstrong's theory of numbers (or quantities) as internal relations ought to be rejected in favour of an account based on identity and distinctness. The paper concludes with a careful analysis of external relations in Baxter's framework. I argue that we must recognise one further dimension of identity in order to differentiate between, e.g., the aspects of Abelard insofar as he loves Heloise and Abelard insofar as he loves Isobel. Each of these aspects is identical with Abelard and identical with loving-by, yet they must be in some way distinct. I therefore propose the r-count, in which multiple distinct relational properties are the very same relation (-part). The existence of these four independent dimensions explains the fact that particulars, universals, relations, and times are fundamentally different sorts of things in the ontology. Each is individuated with respect to a different dimension of identity. (shrink)

Here, I defend the view that there is no sensible way to pin a truth-maker objection on presentism. First, I suggest that if we adopt truth-maker maximalism then the presentist can requisition appropriate ontological resources with impunity. Second, if we deny maximalism, then the presentist can sensibly restrict the truth-maker principle in order to avoid the demand for truth-makers for talk about the non-present.

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)

In 1931 eminent chemist Fritz Paneth maintained that the modern notion of “element” is closely related to (and as “metaphysical” as) the concept of element used by the ancients (e.g., Aristotle). On that basis, the element chlorine (properly so-called) is not the elementary substance dichlorine, but rather chlorine as it is in carbon tetrachloride. The fact that pure chemicals are called “substances” in English (and closely related words are so used in other European languages) derives from philosophical compromises made by (...) grammarians in the late Roman Empire (particularly Priscian [fl. ~520 CE]). When the main features of the constitution of isotopes became clear in the first half of the twentieth century, the formal (IUPAC) definition of a “chemical element” was changed. The features that are “essential” to being an element had previously been “transcendental” (“beyond the sphere of consciousness”) but, by the mid-twentieth century the defining characteristics of elements, as such, had come to be understood in detail. This amounts to a shift in a “horizon of invisibility” brought about by progress in chemistry and related sciences. Similarly, chemical insight is relevant to currently-open philosophical problems, such as the status of “the bundle theory” of the coherence of properties in concrete individuals. (shrink)

A personal view is presented of how metaphysics and ontology stand at the beginning of the twenty-first century, in the light of developments during the twentieth. It is argued that realist metaphysics, with serious ontology at its heart, has a promising future, provided that its adherents devote some time and effort to countering the influences of both its critics and its false friends.

Narrowly speaking, the correspondence theory of truth is the view that truth is correspondence to a fact -- a view that was advocated by Russell and Moore early in the 20 th century. But the label is usually applied much more broadly to any view explicitly embracing the idea that truth consists in a relation to reality, i.e., that truth is a relational property involving a characteristic relation (to be specified) to some portion of reality (to be specified). During the (...) last 2300 years this basic idea has been expressed in many ways, resulting in a rather extended family of views, theories, and theory sketches. The members of the family employ various concepts for the relevant relation (correspondence, conformity, congruence, agreement, accordance, copying, picturing, signification, representation, reference, satisfaction) and/or various concepts for the relevant portion of reality (facts, states of affairs, situations, events, objects, sequences of objects, sets, properties, tropes). The resulting multiplicity of versions and reformulations of the theory is due to a blend of substantive and terminological differences. (shrink)

Recent work on probability in the Everett interpretation of quantum mechanics yields a decision-theoretic derivation of David Lewis’ Principal Principle, and hence a general metaphysical theory of probability; part 1 is a discussion of this remarkable result. I defend the claim that the ‘subjective uncertainty’ principle is required for the derivation to succeed, arguing that it amounts to a theoretical identification of chance. In part 2, I generalize this account, and suggest that the Everett interpretation, in combination with a plausible (...) view of natural laws, has the potential to provide a reductive theory of metaphysical modality. I defend the resulting naturalistic modal realism, and outline some of its implications for other parts of metaphysics. (shrink)

In this paper I present some of Robert N. McLaughlin's critique of a truth functional approach to conditionals as it appears in his book On the Logic of Ordinary Conditionals. Based on his criticism I argue that the basic principles of logic together amount to epistemological and metaphysical implications that can only be accepted from a logical atomist perspective. Attempts to account for conditional relations within this philosophical framework will necessarily fail. I thus argue that it is not truth functionality (...) as such that is the problem, but the philosophical foundation of modern logic. (shrink)

In this chapter, I survey what I call Lewisian approaches to modality: approaches that analyze modality in terms of concrete possible worlds and their parts. I take the following four theses to be characteristic of Lewisian approaches to modality. (1) There is no primitive modality. (2) There exists a plurality of concrete possible worlds. (3) Actuality is an indexical concept. (4) Modality de re is to be analyzed in terms of counterparts, not transworld identity. After an introductory section in which (...) I motivate analyzing modality in terms of possible worlds, I devote one section to each of these four theses. For each thesis, I take Lewis’s interpretation and defense as my starting point. I then consider and endorse alternative ways of accepting the thesis, some of which disagree substantially with Lewis’s interpretation or defense. There is more than one way to be a Lewisian about modality. (shrink)

When there is truth, there must be some thing (or things) to account for that truth: some thing(s) that couldn’t exist and the true proposition fail to be true. That is the truthmaker principle. True propositions are made true by entities in the mind-independently existing external world. The truthmaker principle seems attractive to many metaphysicians, but many have wanted to weaken it and accept not that every true proposition has a truthmaker but only that some important class of propositions require (...) truthmakers.1 Let us, following Armstrong, call the claim that all true propositions, without exception, have a truthmaker, Truthmaker Maximalism. Why might one be tempted to the spirit of truthmaker theory but reject Truthmaker Maximalism? Well, you might deny that necessary truths need truthmakers, for one, and insist that only contingent truths have truthmakers. But I think it’s fair to say that the most common motivation for rejecting maximalism concerns negative truths. The thought that negative truths are exempt from the demand for truthmakers could be justified in one of two ways: there is the claim that we don’t need truthmakers for negative truths, and there is the claim that we can’t have.. (shrink)

This paper attempts to locate, within an actualist ontology, truthmakers for modal truths: truths of the form or . In Sect. 1 I motivate the demand for substantial truthmakers for modal truths. In Sect. 21 criticise Armstrong's account of truthmakers for modal truths. In Sect. 31 examine essentialism and defend an account of what makes essentialist attributions true, but I argue that this does not solve the problem of modal truth in general. In Sect. 41 discuss, and dismiss, a theistic (...) account of the source of modal truth proposed by Alexander Pruss. In Sect. 5 I offer a means of (dis)solving the problem. (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.

Gonzalo Rodriguez-Pereyra (2006) argues against attempts to preserve the entailment principle (or a restriction of it) while avoiding the explosion of truthmakers for necessities and truthmaker triviality. In doing so, he both defends the disjunction thesis--if something makes true a disjunctive truth, then it makes true one of its disjuncts--, and rejects the conjunction thesis--if something makes tue a conjunctive truth, then it makes true each of its conjuncts. In my discussion, I provide plausible counterexamples to the disjunction thesis, and (...) contend that Rodriguez-Pereyra's general defence of it fails. Then I defend the conjunction thesis from Rodriguez-Pereyra's case against it. (shrink)

Surprisingly, many ethical realists and anti-realists, naturalists and not, all accept some version of the following normative appeal to the natural (NAN): evaluative and normative facts hold solely in virtue of natural facts, where their naturalness is part of what fits them for the job. This paper argues not that NAN is false but that NAN has no adequate non-parochial justification (a justification that relies only on premises which can be accepted by more or less everyone who accepts NAN) to (...) back up this consensus. I show that we cannot establish versions of NAN which are interesting in their own right (and not merely as instances of a general naturalistic ontology) by appealing to the nature of natural properties or the kind of in-virtue-of relation to which NAN refers, plus other plausible nonparochial assumptions. On the way, I distinguish different types of 'in virtue of claims. I conclude by arguing that the way in which assessment of meta-ethical hypotheses is theory-dependent predicts the failure of non-parochial justifications of NAN. (shrink)

To what extent do true predications correspond to truthmakers in virtue of which those predications are true? One sort of predicate which is often thought to not be susceptible to an ontological treatment is a predicate for instantiation, or some corresponding predication (trope-similarity or set-membership, for example). This paper discusses this question, and argues that an "ontological" approach is possible here too: where this ontological approach goes beyond merely finding a truthmaker for claims about instantiation. Along the way a version (...) of the problem of the regress of instantiation is posed and solved. (shrink)

In this paper, I explore a seldom-recognized connection between the ontology of abstract objects and a current issue in the philosophy of chemistry. Specifically, I argue that realism with regard to universals implies a view of chemical elements similar to F.A. Paneth’s thesis about the dual nature of the concept of element.

This entry focuses on two of the more historically important monisms: existence monism and priority monism . Existence monism targets concrete objects and counts by tokens. This is the doctrine that exactly one concrete object exists. Priority monism also targets concrete objects, but counts by basic tokens. This is the doctrine that exactly one concrete object is basic, which will turn out to be the classical doctrine that the whole is prior to its parts.

I argue that Colin Cheyne and Charles Pigden's recent attempt to find truthmakers for negative truths fails. Though Cheyne and Pigden are correct in their treatment of some of the truths they set out to find truthmakers for (such as 'There is no hippopotamus in S223' and 'Theatetus is not flying') they over-generalize when they apply the same treatment to 'There are no unicorns'. In my view, this difficulty is ineliminable: not every truth has a truthmaker.

This paper is concerned with what I call the ‘problem of unity’ . This is the puzzle of how Armstrong‐like states of affairs are unified. The general approach is ‘relational internalism’: the unifier of such a state of affairs is a relation of some sort in it. A view commonly associated with relational internalism is that if such a relation satisfies a certain ‘naive’ expectation to a relation – that it is related to its relata – then Bradley's regress results. (...) As I argue, for one very natural species of relational internalism, this is indeed the case. Influential writers on the topic have therefore maintained that this relation is not related to its relata. But, as we shall see, while this ‘classic’ relational internalism obviously avoids Bradley's regress, intuitively, it fails completely to solve the problem of unity. I argue, however, that given the rejection of a natural, but unfounded, assumption of conventional relational internalism, a unique relation can unify states of affairs without leading to Bradley's regress. I consequently propose a novel version of relational internalism on which states of affairs are unified by such an entity. (shrink)

Suppose nothing exists. Then it is true that nothing exists. What makes that true? Nothing! So it seems that if nothing existed, then the principle that every truth is made true by something (the truthmaker principle) would be false. So if it is possible that nothing exists, a claim often called 'metaphysical nihilism', then the truthmaker principle is not necessary. This paper explores various ways to resolve this conflict without restricting metaphysical nihilism in such a way that it would become (...) trivial and uninteresting. (shrink)

The main scientific problems of chemical bonding were solved half a century ago, but adequate philosophical understanding of chemical combination is yet to be achieved. Chemists routinely use important terms ("element," "atom," "molecule," "substance") with more than one meaning. This can lead to misunderstandings. Eliminativists claim that what seems to be a baseball breaking a window is merely the action of "atoms, acting in concert." They argue that statues, baseballs, and similar macroscopic things "do not exist." When macroscopic objects like (...) baseballs move, exceedingly large numbers (1025) of microscopic components coordinate their activities. Understanding how this happens requires attention to the interactions that link parts into larger units. Eliminativists say that everything that truly exists has causal relationships in addition to those of its components—"nonredundant causality." This paper holds that if a number of entities interact in such a way that the effect of that collection on test objects is different than it would have been in the absence of the interaction, then identification of that collection as a single composite agent is warranted, for purposes to which that difference is relevant. Ordinary "chemical substances" (both elementary materials such as dihydrogen and compounds such as water) fulfill this version of the requirement of nonredundant causality. Other sorts of chemical coherences, including chemical dissipative structures (e.g., flames), also fulfill that criterion. All these types of coherences qualify as "substances" (as that term is used in philosophy) even though they are not all "chemical substances.". (shrink)

We argue that Armstrong's Combinatorialism allows for the possibility of nothing by giving a Combinatorial account of the empty world and show that such an account is consistent with the ontological and conceptual aims of the theory. We then suggest that the Combinatorialist should allow for this possibility given some methodological considerations. Consequently, rather than being 'spoils for the victor', as Armstrong maintains, deciding whether there might have been nothing helps to determine which metaphysics of modality is to be preferred.

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 monism is the view that natural properties and relations are ‘pure powers’. It is objected that dispositional monism involves some kind of vicious or otherwise unpalatable regress or circularity. I examine ways of making this objection precise. The most pressing interpretation is that is fails to make the identities of powers determinate. I demonstrate that this objection is in error. It does however puts certain constraints on what the structure of fundamental properties is like. I show what a satisfactory (...) structure would be. (shrink)

We have to gain from recognizing a relation between epistemic agents and the parts of subject matters that play a role in their cognitive lives. I call this relation “grasping”. Namely, I zone in on one notion of having a partial grasp of a subject matter—that of agents grasping part of the subject matter that they are attending to—and characterize it. I propose that giving up the idealization that we fully grasp the subject matters we attend to allows one to (...) more realistically characterize the epistemic life of agents. To show this, I propose an epistemic logic with partial grasp that has in mind considerations from first-order aboutness theory with the aim of avoiding certain forms of logical omniscience, and which provides an alternative to immanent closure (Yablo Aboutness, Princeton University Press, 2014). (shrink)

According to one-level physicalism, reality is exhausted by fundamental physical entities and properties. This position is sometimes defended on the basis of the truthmaker view of ontological commitment. Accordingly, physicalists can affirm higher-level truths without ontologically committing to any higher-level properties or states of affairs; fundamental physical states of affairs serve as truthmakers of all truths that have truthmakers, and a physicalist’s ontology should consist of nothing but the fundamental physical states of affairs and their constituents. In this paper, I (...) raise a problem for one-level physicalists who defend their views by appealing to the truthmaker view of ontological commitment. I argue that the truthmaker view faces certain puzzles the solutions of which clash with the main tenets of one-level physicalism. I conclude that either truthmaking is not a good guide to ontological commitment or one-level physicalism cannot be defended on the basis of the truthmaker view. (shrink)

In contemporary metaphysics, the doctrine that the fundamental facts are those which are wholly ungrounded is the received view or something near enough. Against this radical brutalism, several metaphysicians argued in favour of the existence of fundamental facts that are moderately brute or merely partially grounded. However, the arguments for moderately brute facts rely on controversial metaphysical scenarios. This paper aims to counteract the tendency in favour of radical brutalism on scientific grounds. It does so by showing that naturalistic metaphysicians (...) can appeal to plausible considerations from physical theory to establish the existence of moderately brute facts. But should the naturalistic metaphysician embrace moderate brutalism, namely the view that the fundamental facts are those which are merely partially ungrounded? Here I argue for a negative answer, recommending a more inclusive pluralism about the kinds of brute facts we can expect to find in nature. (shrink)

Some views articulate reality's hierarchical structure using relations from the fundamental to representations of reality. Other views instead use relations from the fundamental to constituents of non-representational reality. This paper argues against the first kind of view.

Separatists about grounding take explanations to be separate from their corresponding grounding-facts. Grounding-facts are supposed to underlie, or back, such explanations. However, the backing relation hasn’t received much attention in the literature. The aim of this paper is to provide an informative definition of backing. First, I examine two prominent proposals: backing as explaining (Kovacs 2017; 2019a) and backing as grounding (see Sjölin Wirling 2020). Finally, I put forward my own proposal. I argue that under plausible assumptions about the role (...) of backing and the nature of explanation, backing should be understood as a form of truthmaking, minimally construed. (shrink)

Counterpossibles, counterfactuals conditional with impossible antecedents, are notoriously contested; while the standard view makes them trivially true, some authors argue that they can be non-trivially true. In this paper, I examine the use of counterfactuals in the context of games, and argue that there is a case to be made for their non-triviality in a restricted sense. In particular, I examine the case of retro problems in chess, where it can happen that one is tasked with evaluating counterfactuals about illegal (...) positions. If we understand illegality as a type of restricted impossibility, those counterfactuals are non-trivial counterpossibles. I suggest that their non-triviality stems from their role in practices of rule coordination and revision, and suggest that this model could be generalized to counterpossibles in different domains. I then compare the approach to the accounts of Vetter 2016 and Locke 2019. (shrink)