Truthmaker says that things, broadly construed, are the ontological grounds of truth and, therefore, that things make truths true. Recently, there have been a number of arguments purporting to show that if one embraces Truthmaker, then one ought to embrace Truthmaker Maximalism—the view that all non-analytic propositions have truthmakers. But then if one embraces Truthmaker, one ought to think that negative existentials have truthmakers. I argue that this is false. I begin by arguing that recent attempts by Ross Cameron and (...) Jonathan Schaffer to provide negative existentials with truthmakers fail. I then argue that the conditional—if one embraces Truthmaker, the one ought to embrace Truthmaker Maximalism—is false by considering worlds where very little, if anything at all, exists. The conclusion is that thinking that negative existentials do not have truthmakers, and therefore rejecting Truthmaker Maximalism, need not worry Truthmaker embracers. (shrink)

This paper is a review of Geralding Coggins's book on metaphysical nihilism: Could There Have Been Nothing?

This paper addresses the most fundamental question in metaphysics, Why is there something rather than nothing? The question is framed as a question about concrete entities, Why does a possible world containing concrete entities obtain rather than one containing no concrete entities? Traditional answers are in terms of there necessarily being some concrete entities, and include the possibility of a necessary being. But such answers are threatened by metaphysical nihilism, the thesis that there being nothing concrete is possible, and the (...) subtraction argument for this thesis, an argument that is the subject of considerable recent debate. I summarize and extend the debate about the argument, and answer the threat it poses, turning the tables on it to show how the subtraction argument supports a cosmological argument for a necessary being. (shrink)

Abstract: This paper explores the relevance of themes from Wittgenstein's Tractatus Logico-Philosophicus to the ongoing discussion of metaphysical nihilism. I set out by showing how metaphysical nihilism is of paramount importance for cosmological arguments. Metaphysical nihilism is the position that there might have been nothing. Two conflicting intuitions emerge from a survey of discussions of metaphysical nihilism: Firstly, that metaphysical nihilism is true, and secondly, that formulations of the position are somehow unclear or nonsensical. By considering formalizations of philosophical language, (...) the second intuition is sharpened, while the first intuition is given expression through the Tractarian distinction between what is said and what is shown by our symbolism. I conclude by exploring and rejecting objections to making metaphysical nihilism a scientific, rather than a philosophical question. (shrink)

In this paper, I distinguish between two varieties of actualism—hardcore actualism and softcore actualism—and I critically discuss Ross Cameron’s recent arguments for preferring a softcore actualist account of the truthmakers for modal truths over hardcore actualist ones. In the process, I offer some arguments for preferring the hardcore actualist account of modal truthmakers over the softcore actualist one.

In this paper I examine the objection to truthmaker theory, forcibly made by David Lewis and endorsed by many, that it violates the Humean denial of necessary connections between distinct existences. In Sect. 1 I present the argument that acceptance of truthmakers commits us to necessary connections. In Sect. 2 I examine Lewis’ ‘Things-qua-truthmakers’ theory which attempts to give truthmakers without such a commitment, and find it wanting. In Sects. 3–5 I discuss various formulations of the denial of necessary connections (...) and argue that each of them is either false or compatible with truthmaker theory. In Sect. 6 I show how the truthmaker theorist can resist the charge that they are committed to necessary exclusions between possible existents. I conclude that there is no good objection to truthmaker theory on the grounds that it violates the Humean dictum. (shrink)

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments (...) advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. -/- Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. -/- To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions? (shrink)

In this paper I argue, that if it is metaphysically possible for it to have been the case that nothing existed, then it follows that the right modal logic cannot extend D, ruling out popular modal logics S4 and S5. I provisionally defend the claim that it is possible for nothing to have existed. I then consider the various ways of resisting the conclusion that the right modal logic is weaker than D.

Subtraction arguments support the view that there might have been nothing. The best-developed SA to date, due to David Efird and Tom Stoneham, is claimed by its authors to entail that there are worlds in which there are space-time points but no concrete objects: Efird and Stoneham hold that space-time points are not concrete and that a world made up from them alone contains nothing concrete. In this paper it is argued that whole space-times are concrete and subtractable, so that (...) a subtraction argument commits us to a bolder conclusion: namely, that there are worlds in which there is no space-time. This result has far-reaching consequences: it supports the view that there might have been no time; and constrains accounts of possible worlds. In the course of developing this revised subtraction argument, I counter suggestions that SAs are question-begging. (shrink)

Necessitism is the controversial thesis that necessarily everything is necessarily something, namely that everything, everywhere, necessarily exists. What is controversial about necessitism is that, at its core, it claims that things could not have failed to exist, while we have a pre-theoretical intuition that not everything necessarily exists. Contingentism, in accordance with common sense, denies necessitism: it claims that some things could have failed to exist. Timothy Williamson is a necessitist and claims that David Lewis is a necessitist too. The (...) paper argues that, granted the assumptions that lead to interpret the Lewisian as a necessitist, she can preserve contingentist intuitions, by genuinely agreeing with the folk that existence is contingent. This is not just the uncontroversial claim that the Lewisian, as a result of the prevalence of restricted quantification in counterpart theoretic regimentations of natural language, can agree with the folk while disagreeing with them in the metaphysical room. Rather, this is the claim that it is in the metaphysical room that the Lewisian can endorse the intuitions lying behind contingentism. (shrink)

Universalist and nihilist answers to philosophical questions may be extreme, but they are clear enough. Aliquidist answers, by contrast, are typically caught between the Scylla of vagueness and indeterminacy and the Charybdis of ungroundedness and arbitrariness, and steering a proper middle course—saying exactly where in the middle one is going to settle—demands exceptional navigating powers. I myself tend to favor extreme answers precisely for this reason. Here, however, I consider one sense in which Something may claim superiority over its polar (...) competitors, Everything and Nothing, when it comes to answerting the ontological question, “What is there?”. (shrink)

‘If I were to toss a coin 1000 times, then it would land heads exactly n times’. Is there a specific value of n that renders this counterfactual true? According to an increasingly influential view, there is. A precursor of the view goes back to the Molinists; more recently it has been inspired by Stalnaker, and versions of it have been advocated by Hawthorne, Bradley, Moss, Schulz, and Stefánsson. More generally, I attribute to these authors what I call Counterfactual Plenitude:For (...) any antecedent A, there is a world wisuch that A ☐→ wiis true.Moreover, some of these authors are also committed to Primitive Counterfacts Realism:There exist primitive modal facts that serve as truth-makers for counterfactual claims.Call the conjunction of these italicized theses counterfactism. I clarify it and suggest some of its virtues, while ultimately rejecting it.Stefánsson’s counterfactism is motivated by and targeted at my “counterfactual skepticism”—I argue that most counterfactuals are false—and counterfactism has various other sources of support. I briefly defend that skepticism, and I seek to undercut those sources of support. I then argue more directly against counterfactism, especially on grounds of its ontological profligacy, and its leading to another kind of skepticism about counterfactuals that I believe is more problematic than my kind. In the process, I discuss how Bradley’s multidimensional semantics bears on counterfactism; I offer some new considerations against some central theses regarding conditionals ; and I reflect more generally on the epistemology of modality and the choice of primitives in our theorizing. (shrink)

Contingent negative existentials give rise to a notorious paradox. I formulate a version in terms of metaphysical grounding: nonexistence can't be fundamental, but nothing can ground it. I then argue for a new kind of solution, expanding on work by Kit Fine. The key idea is that negative existentials are contingently zero-grounded – that is to say, they are grounded, but not by anything, and only in the right conditions. If this is correct, it follows that grounding cannot be an (...) internal relation, and that no complete account of reality can be purely fundamental. (shrink)

I begin by giving reasons to accept the block-universe view, the strongly supported by physics view that we live in a four-dimensional world. According to it, the past and the future are as real as the present. As a result, it seems that the future is determined in the sense that what will be the case will necessarily be the case. In the dissertation, I examine whether we have to accept this consequence. I show that we do not have to (...) bite the bullet: the future might be both real and contingent. I first start to consider modal realism (possible futures are real) as a possible solution. However, I propose then another account, actualist (positing the reality of only one possible world: the space-time we live in). This solution relies on a conventionalist theory about metaphysical modality (Sidelle, 1989). It states that modal modality is purely conventional. In combination with a realist interpretation of natural modality (causal and/or nomological), this framework allows me to propose that the future is conventionally closed and naturally contingent. In this view, the necessity of the future holds in virtue of linguistic conventions and then is conventionally necessary. But this is a distinct phenomenon from the natural contingency of the future: the future is naturally contingent because there are mind-independent probabilistic relations holding between the present and the future. This solution has strong consequences: most importantly, an anti-realist view about ordinary objects and physical particles. I end up by presenting and arguing in favour of the general image of the world that comes out from these views. (shrink)

By nihilism I shall understand the thesis that it is metaphysically possible that there are no concrete objects. I think there is a version of an argu- ment, the subtraction argument, which proves nihilism nicely (see Baldwin 1996 and Rodriguez-Pereyra 1997). But E. J. Lowe, who is no nihilist, has a very interesting argument purporting to show that concrete objects exist necessarily (Lowe 1996, 1998). In this paper I shall defend nihilism from Lowe’s argument.

Let’s call the sentence “why is there something rather than nothing?” the Question. There’s no consensus, of course, regarding which proposed answer to the Question, if any, is correct, but occasionally there’s also controversy regarding the meaning of the Question itself. In this paper I argue that such controversy persists because there just isn’t one unique interpretation of the Question. Rather, the puzzlement expressed by the sentence “why is there something rather than nothing?” varies depending on the ontology implicitly or (...) explicitly endorsed by the speaker. In this paper I do three things. First, I argue that other proposals according to which the Question has one uniquely adequate interpretation are false. Second, I give several examples of the way in which the meaning of the Question can vary depending on the ontology to which it is coupled. Third, I explore the implications of my thesis for the manner in which we should approach future attempts to answer the Question. (shrink)

We argue that genuine modal realism can be extended, rather than modified, so as to allow for the possibility of nothing concrete, a possibility we term ‘metaphysical nihilism’. The issue should be important to the genuine modal realist because, not only is metaphysical nihilism itself intuitively plausible, but also it is supported by an argument with pre-theoretically credible premises, namely, the subtraction argument. Given the soundness of the subtraction argument, we show that there are two ways that the genuine modal (...) realist can accommodate metaphysical nihilism: (i) by allowing for worlds containing only spatiotemporal points and (ii) by allowing for a world containing nothing but the null individual. On methodological grounds, we argue that the genuine modal realist should reject the former way but embrace the latter way. (shrink)

Many versions of the ontological argument have two shortcomings: First, despite the arguments put forward, for example, by Hugh Chandler and Nathan Salmon, they assume that S5 is the correct modal logic for metaphysical modality. Second, despite the classical arguments put forward, for example, by David Hume and Immanuel Kant or the more recent arguments put forward, for example, by John Findlay and Richard Swinburne, they assume that necessary existence is possible. The aim of the paper is to develop an (...) alternative version of the ontological argument that, by an appeal to the logic of ‘actually’, avoids these two shortcomings. The version helps to leave aside unnecessary debates about the modal logic S5 or about the possibility of necessary existence and to focus on the actual challenge for the debate about the ontological argument: the challenge to evaluate the claim that it is possible that God exists. (shrink)

La critique du nihilisme par Lowe est soumise à une évaluation. Le nihilisme semble impliquer un engagement à l'existence d'entités abstraites et Lowe utilise le principe de dépendance (PD) — les abstraits dépendent des concrets — pour bloquer la référence à des entités abstraites : les nombres sont dits dépendre de concrets. On défendra l'idée que cette forme de fictionnalisme n'est pas innocente et que nous devons sérieusement envisager l'alternative que constitue le platonisme. On défendra une forme de platonisme, le (...) platonisme particularisé. En conclusion on proposera de renoncer au PD. (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)

This paper is an investigation of metaphysical nihilism: the view that there could have been no contingent or concrete objects. I begin by showing the connections of the nihilistic theses to other philosophical doctrines. I then go on to look at the arguments for and against metaphysical nihilism in the literature and find both to be flawed. In doing so I will look at the nature of abstract objects, the nature of spacetime and mereological simples, the existence of the empty (...) set, the dependence of universals on particulars, and other general questions of ontology. (shrink)

Could an object have only mass and no other property? In giving an affirmative answer to this question, Jonathan Schaffer (2003, pp. 136-8) proposes what he calls ‘the subtraction argument’ for ‘the possibility of free mass’. In what follows, we aim to assess the cogency of this argument in comparison with an argument of the same general form which has also been termed a subtraction argument, namely, Thomas Baldwin’s (1996) subtraction argument for metaphysical nihilism, which is the claim that there (...) might have been no concrete objects. The comparison will be instructive because Baldwin’s argument has been the subject of considerable recent debate (of particular relevance for current purposes are Paseau 2002, Authors 2005, and Paseau 2006), and the lesson of this debate seems to be that subtraction arguments, such as Baldwin’s and Schaffer’s, are faced with a dilemma: either they are invalid or they fail to be suasive. We outline how Baldwin’s argument can be reformulated so as to avoid both horns of this dilemma, and we then argue that Schaffer’s argument cannot so avoid the dilemma. (shrink)

Many believe that the world exists without a cause or reason. Most of them reject an explanation for the whole concrete world because they accept the traditional idea that concrete existence comes only from things that concretely exist. But I provide reasons for thinking that the world might be actual as a result of a feature that is not concrete but abstract. I begin by outlining ideas that some followers of the Platonic Theory of Forms have developed about whether actuality (...) of something can be explained by its possibility. Next, I show that many who think they reject all paths for explaining actuality by abstract facts about possibilities in fact follow such paths. The question of why there exists anything concrete might be answered not by saying that the world exists reasonlessly, but by following some such paths: Having a certain nature for something concrete can turn its possibility into its actuality. Still, we might in the end be forced to accept that the world exists without any reason. (shrink)

Metaphysical nihilism is the thesis that there could have been no concrete objects. Thomas Baldwin (1996) offers an argument for metaphysical nihilism. The premisses of the argument purport to provide a procedure of subtraction that can be iterated until we reach a world where no concrete objects exist. Gonzalo Rodriguez-Pereyra (1997) finds fault with Baldwin’s argument, modifies it, and claims to have proved metaphysical nihilism. My primary aim is to show that Rodriguez-Pereyra’s alleged proof rests on a false assumption. The (...) assumption is that, necessarily, if there are no concrete* objects (in the sense Rodriguez-Pereyra defines), then there are no concrete objects. My secondary aim, with which I begin, is to formulate and then strengthen a succinct version of the subtraction argument. (shrink)

In my thesis, I aim to develop a systematic and philosophically coherent thesis of ultimate reality for Ibn Arabi. In this pursuit, I adopt the style of analytic philosophy, seeking to employ and utilise some of its methods and theories. The philosophical aspects of Ibn Arabi’s doctrine are in dire need of conceptual clarification and systematic analysis with a closer focus on argumentation. The analytic tradition will prove most helpful in this regard. In my thesis, I begin by tracing Ibn (...) Arabi’s related views and concepts as they are dispersed throughout his writings. I then clarify, sharpen and, in many cases, develop these views and concepts into fully constructed forms. Finally, I weave the developed concepts and views into a systematic thesis or set of sub-theses. Where necessary, I provide my own arguments and concepts to help substantiate and strengthen the structure of Ibn Arabi’s thesis. I propose that Ibn Arabi’s various, and sometimes apparently inconsistent, views are best presented in terms of three main concepts: the concept of ultimate reality as existence, which has long been known as Ibn Arabi’s thesis of the oneness of existence ; the concept of ultimate reality as the Divine Self ; and the concept of ultimate reality as God. The three concepts neither represent different ultimate realities nor different perspectives of the same ultimate reality. Instead, they represent the same ultimate reality but each one has its own unique scope and encompassment. The three concepts are aimed at encompassing Ibn Arabi’s various views and concepts of ultimate reality in a consistent and systematic manner. (shrink)

Divine necessity is the thesis that God must exist. In this paper, I give a brief survey of what the thesis is more exactly, the main arguments for it, and the main arguments against it.

Nesse papel, tentarei mostrar que uma leitura da lógica de Hegel baseada em mundos possíveis, particularmente da rejeição de um mundo possível absolutamente vazio poderia fornecer a confirmação da tese hegeliana de acordo com a qual a noção de ser puro implica a noção de ser determinado. Na seção 1, eu retomo o desenvolvimento hegeliano do ser puro ao ser determinado através da interpretação de Stephen Houlgate da abertura da lógica de Hegel. Na seção 2, eu retomo brevemente a noção (...) de mundo possível. Na seção 3, tento conceber a supracitada implicação hegeliana através dos mundos possíveis e através da substituição da autocontradição do vir-a-ser com a rejeição de um mundo vazio e argumento que tal operação respeita fundamentalmente a dialética hegeliana. Nas seções 4-8, analiso algumas objeções possíveis a minha tese e argumento que substituir a categoria do devir com a noção de mundo vazio melhora o projeto de Hegel de um começo sem pressuposições. (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)

What I call the argument from almost indiscernibles is an argument, put forward by Robert Adams in 1979, for the possibility of indiscernibles based on the possibility of almost indiscernibles. The argument is that if almost indiscernibles are possible, indiscernibles are possible, but since almost indiscernible are possible, indiscernibles are possible. The argument seems to be an improvement over the mere appeal to intuitions, like that suggested by Max Black, that situations in which there are indiscernibles are possible, for the (...) argument purports to give us a reason that indiscernibles are possible. In this paper I shall assess the argument by examining whether there is support for the conditional premise that if almost indiscernibles are possible, indiscernibles are possible. I shall argue that there are reasons to think that either the premise lacks support or almost indiscernibles are dispensable. If the premise lacks support, the argument does not establish the possibility of almost indiscernibles; if almost indiscernibles are dispensable, the argument is not needed to establish the possibility of indiscernibles. (shrink)

In this paper we offer a new solution to the old paradox of nothingness. This new solution develops in two steps. The first step consists in showing how to resolve the contradiction generated by the notion of nothingness by claiming that the contradiction shows the indefinite extensibility of the concept of object. The second step consists in showing that, having accepted the idea of indefinite extensibility, we can have absolute generality without the emergence of the contradiction connected to the absolute (...) notion of nothingness. The idea of indefinite extensibility allows us to have our cake and to eat it too. (shrink)

The answer to the question of why there is Something rather than Nothing is that there has to be Something and that Nothing is impossible. There cannot not be Something so there cannot be Nothing. The paper justifies this conclusion, while also explaining why we might believe there may be Nothing. In the course of this, the so-called subtraction-argument is shown to be inadequate and question-begging.