Propositional contingentism is the view that what propositions there are is a contingent matter—certain propositions ontologically depend on objects which themselves only contingently exist. Possible worlds are, loosely, complete ways the world could have been. That is to say, the ways in which everything in its totality could have been. Propositional contingentists make use of possible worlds frequently. However, a neglected, but important, question concerns whether there are any notions of worlds which are both theoretically adequate and consistent with (...) propositional contingentism. Some notion of a possible world is adequate if the systematic connection between, at least, possibility and truth at some possible world holds. Here, I argue that no adequate notion of a possible world is available to at least those who subscribe to one natural formulation of propositional contingentism. I also show that this result contrasts with a simple and adequate definition of a possible world available to the necessitist—those who hold that necessarily everything necessarily exists. (shrink)

Metaphysics is supposed to tell us about the metaphysical nature of our world: under what conditions composition occurs; how objects persist through time; whether properties are universals or tropes. It is near orthodoxy that whichever of these sorts of metaphysical claims is true is necessarily true. This paper looks at the debate between that orthodox view and a recently emerging view that claims like these are contingent, by focusing on the metaphysical debate between monists and pluralists about concrete particulars. This (...) paper argues that we should be contingentists about monism and pluralism, and it defends contingentism against some necessitarian objections by offering an epistemology of contingent metaphysical claims. (shrink)

Necessitism, Contingentism, and Theory Equivalence is a dissertation on issues in higher-order modal metaphysics. Consider a modal higher-order language with identity in which the universal quantifier is interpreted as expressing universal quantification and the necessity operator is interpreted as expressing metaphysical necessity. The main question addressed in the dissertation concerns the correct theory formulated in this language. A different question that also takes centre stage in the dissertation is what it takes for theories to be equivalent.The whole dissertation consists (...) of an extended argument in defence of the truth of two seemingly inconsistent higher-order modal theories, specifically: 1.Plantingan Moderate Contingentism, a theory based on Plantinga’s [1] modal metaphysics that is committed to, among other things, the contingent being of some individuals and the necessary being of all possible higher-order entities;2.Williamsonian Thorough Necessitism, a theory advocated by Williamson [3] which is committed to, among other things, the necessary being of every possible individual as well as of every possible higher-order entity.Part of the case for these theories’ joint truth relies on defences of the following metaphysical theses: Thorough Serious Actualism, the thesis that no things could have been related while being nothing, and Higher-Order Necessitism, the thesis that necessarily, every higher-order entity is necessarily something. It is shown that Thorough Serious Actualism and Higher-Order Necessitism are both implicit commitments of very weak logical theories. The defence of Higher-Order Necessitism constitutes a powerful challenge to Stalnaker’s [2] Thorough Contingentism, a theory committed to, among other things, the view that there could have been some individuals as well as some entities of any higher-order that could have been nothing.In the dissertation it is argued that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are in fact equivalent, even if they appear to be jointly inconsistent. The case for this claim relies on the Synonymy account, a novel account of theory equivalence developed and defended in the dissertation. According to this account, theories are equivalent just in case they have the same commitments and conception of logical space.By way of defending the Synonymy account’s adequacy, the account is applied to the debate between noneists, proponents of the view that some things do not exist, and Quineans, proponents of the view that to exist just is to be some thing. The Synonymy account is shown to afford a more nuanced and better understanding of that debate by revealing that what noneists and Quineans are really disagreeing about is what expressive resources are available to appropriately describe the world.By coupling a metatheoretical result with tools from the philosophy of language, it is argued that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are synonymous theories, and so, by the lights of the Synonymy account, equivalent. Given the defence of their extant commitments made in the dissertation, it is concluded that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are both correct. A corollary of this result is that the dispute between Plantingans and Williamsonians is, in an important sense, merely verbal. For if two theories are equivalent, then they “require the same of the world for their truth.”Thus, the results of the dissertation reveal that if one speaks as a Plantingan while advocating Plantingan Moderate Contingentism, or as a Williamsonian while advocating Williamsonian Thorough Necessitism, then one will not go wrong. Notwithstanding, one will still go wrong if one speaks as a Plantingan while advocating Williamsonian Thorough Necessitism, or as a Williamsonian while advocating Plantingan Moderate Contingentism.On the basis of a conception of the individual constants and predicates of second-order modal languages as strongly Millian, i.e., as having actually existing entities as their semantic values, in the appendix are presented second-order modal logics consistent with Stalnaker’s Thorough Contingentism. Furthermore, it is shown there that these logics are strong enough for applications of higher-order modal logic in mathematics, a result that constitutes a reply to an argument to the contrary by Williamson [3]. Finally, these logics are proven to be complete relative to particular “thoroughly contingentist” classes of models. (shrink)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...) 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

According to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The two classes of models are shown to be equivalent as models of contingency in what propositions there are, although they differ as to which other aspects of reality they represent. These constructions are based on recent work by Robert Stalnaker; the aim of this paper is to explain, (...) expand, and, in one aspect, correct Stalnaker's discussion. (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)

Metaphysics is supposed to tell us about the metaphysical nature of our world: under what conditions composition occurs; how objects persist through time; whether properties are universals or tropes. It is near orthodoxy that whichever of these sorts of metaphysical claims is true is necessarily true. This paper looks at the debate between that orthodox view and a recently emerging view that claims like these are contingent, by focusing on the metaphysical debate between monists and pluralists about concrete particulars. This (...) paper argues that we should be contingentists about monism and pluralism, and it defends contingentism against some necessitarian objections by offering an epistemology of contingent metaphysical claims. (shrink)

Necessitism about individuals claims that necessarily every individual necessarily exists. An analogous necessitist thesis attributes necessary existence to properties and relations. Both theses have been defended by Williamson. Furthermore, Williamson specifically argues against the hybrid conjunction of first-order contingentism and higher-order necessitism; a combination that would bring about additional drawbacks. I work out a defence of the hybrid combination, including some replies to Williamson’s additional objections. Considerations of ontological parsimony and pre-theoretical intuitions favour the hybrid view over necessitism at (...) all orders. (shrink)

One important challenge for contingentists is that they seem to be unable to account for the meaning of some apparently meaningful modal discourse that is perfectly intelligible for necessitists. This worry is particularly pressing for higher-order contingentists, contingentists who hold that it is not only contingent which objects there are, but also contingent which semantic values there are for higher-order variables to quantify over. Objections against higher-order contingentism along these lines have been presented in Williamson (Mind 119(475):657–748, 2010; Modal (...) logic as metaphysics, Oxford University Press, 2013, ch. 7), and Fritz and Goodman (Mind 126(504):1063–1108, 2017). This paper presents a way for contingentists to respond to these challenges. The upshot is that the contingentist can account for the meaningfulness of the problematic modal claims by pretending necessitism to be true, but in some cases it turns out to be indeterminate whether they are true. I defend this strategy against the objections against pretence-strategies presented in Fritz and Goodman (Mind 126(504):1063–1108, 2017, §4). Furthermore, I defend the plausibility of the resulting indeterminacy from the contingentist’s perspective. (shrink)

Hybrid contingentism combines first-order contingentism, the view that it is contingent what individuals there are, with higher-order necessitism, the view that it is non-contingent what properties and propositions there are (where these are conceived as entities in the range of appropriate higher-order quantifiers). This combination of views avoids the most delicate problems afflicting alternative contingentist positions while preserving the central contingentist claim that ordinary, concrete entities exist contingently. Despite these attractive features, hybrid contingentism is usually faced with (...) rejection. The main reason for this is an objection that crucially involves haecceitistic properties, properties such as being identical to Plato or being identical to Aristotle. The objection alleges that by accepting the necessary existence of such haecceities, hybrid contingentists incur an explanatory commitment that they are unable to discharge, namely that of explaining how it is that certain haecceities ‘lock onto’ their target individuals even when those individuals are absent. To defend hybrid contingentism against this charge, I first clarify the haecceities objection in several respects and consider, in particular, what notion of explanation the objection is operating with. After arguing that it can be fruitfully understood as a challenge to provide metaphysical grounds for certain haecceity facts, I develop a contingentist response to the objection that draws on recent work on the connection between ground and essence. (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)

Necessitism is the view that necessarily everything is necessarily something; contingentism is the negation of necessitism. The dispute between them is reminiscent of, but clearer than, the more familiar one between possibilism and actualism. A mapping often used to ‘translate’ actualist discourse into possibilist discourse is adapted to map every sentence of a first-order modal language to a sentence the contingentist (but not the necessitist) may regard as equivalent to it but which is neutral in the dispute. This mapping (...) enables the necessitist to extract a ‘cash value’ from what the contingentist says. Similarly, a mapping often used to ‘translate’ possibilist discourse into actualist discourse is adapted to map every sentence of the language to a sentence the necessitist (but not the contingentist) may regard as equivalent to it but which is neutral in the dispute. This mapping enables the contingentist to extract a ‘cash value’ from what the necessitist says. Neither mapping is a translation in the usual sense, since necessitists and contingentists use the same language with the same meanings. The former mapping is extended to a second-order modal language under a plural interpretation of the second-order variables. It is proved that the latter mapping cannot be. Thus although the necessitist can extract a ‘cash value’ from what the contingentist says in the second-order language, the contingentist cannot extract a ‘cash value’ from some of what the necessitist says, even when it raises significant questions. This poses contingentism a serious challenge. (shrink)

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according (...) to the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (shrink)

Platonists and nominalists disagree about whether mathematical objects exist. But they almost uniformly agree about one thing: whatever the status of the existence of mathematical objects, that status is modally necessary. Two notable dissenters from this orthodoxy are Hartry Field, who defends contingent nominalism, and Mark Colyvan, who defends contingent Platonism. The source of their dissent is their view that the indispensability argument provides our justification for believing in the existence, or not, of mathematical objects. This paper considers whether commitment (...) to the indispensability argument gives one grounds to be a contingentist about mathematical objects. (shrink)

Here is a puzzling phenomenon. Moral theories are typically thought to be necessary. If act utilitarianism is true, for example, then it is necessarily true. However, scientific theories are typically thought to be contingent. If quantum field theory is true, it’s not necessarily true — the world could have been Newtonian. My aim is to explore this discrepancy between domains. -/- In particular, I explore the role of what I call `internality’ intuitions in motivating necessitism about both moral and scientific (...) domains. In effect, these internality intuitions tell against the explanatory role of certain `external’ entities – like moral or scientific principles. I’ll suggest that perhaps these internality intuitions are more compelling in the moral case than the scientific case. If so, this would rationalize the combination of moral necessitism and scientific contingentism. (shrink)

Philosophical Investigations, EarlyView.

Let us distinguish two kinds of contingentism: entity contingentism and metaphysical contingentism. Here, I use ‘entity’ very broadly to include anything over which we can quantify—objects (abstract and concrete), properties, and relations. Then entity contingentism about some entity, E, is the view that E exists contingently: that is, that E exists in some possible worlds and not in others. By contrast, entity necessitarianism about E is the view that E exists of necessity: that is, that E (...) exists in all possible worlds. We can distinguish two views: global entity contingentism and global entity necessitarianism. Global entity contingentism is the view that for any possible E, E exists contingently. Global entity necessitarianism is the view that for any possible E, E exists necessarily. While entity contingentism and entity necessitarianism are views about the modal status of entities, metaphysical contingentism and necessitarianism are views about the modal status of metaphysical principles. Metaphysical contingentism about some metaphysical principle, P, is the view that P is contingent: it is true in some worlds, and false in others. Metaphysical necessitarianism about P is the view that P is necessary: either P is true in every world, or false in every world. We can then distinguish two views: global metaphysical contingentism and global metaphysical necessitarianism. Global metaphysical contingentism is the view that for any internally coherent metaphysical principle P, P is contingent: P is true in some worlds and false in others. Global metaphysical necessitarianism is the view that for any internally coherent metaphysical principle, P, P is necessary: it is either true in every world, or false in every world. This chapter principally focuses on metaphysical rather than entity contingentism, though §2 briefly discusses the latter. As we will see, (§2), both global entity contingentism and global entity necessitarianism are controversial views, and most philosophers fall somewhere between these two extremes, holding that some, but not all, entities exist necessarily—a view we can call entity moderatism. By contrast, global metaphysical necessitarianism has, until recently, largely been the default view. It is only recently that some philosophers have argued that we should be metaphysical contingentists about at least some metaphysical principles—a view we can call metaphysical moderatism. §3 considers why global metaphysical necessitarianism has hitherto been so persuasive, then evaluates (§3.1) some arguments for the view before considering more recent arguments in favour of the contingency of (at least some) metaphysical principles (§3.2). (shrink)

Two expressive limitations of an infinitary higher-order modal language interpreted on models for higher-order contingentism – the thesis that it is contingent what propositions, properties and relations there are – are established: First, the inexpressibility of certain relations, which leads to the fact that certain model-theoretic existence conditions for relations cannot equivalently be reformulated in terms of being expressible in such a language. Second, the inexpressibility of certain modalized cardinality claims, which shows that in such a language, higher-order contingentists (...) cannot express what is communicated using various instances of talk of ‘possible things’, such as ‘there are uncountably many possible stars’. (shrink)

The contingentist/inevitabilist debate contests whether the results of successful science are contingent or inevitable. This article addresses lingering ambiguity in the way contingency is defined in this debate. I argue that contingency in science can be understood as a collection of distinct concepts, distinguished by how they hold science contingent, by what elements of science they hold contingent, and by what those elements are contingent upon. I present a preliminary taxonomy designed to characterize the full-range positions available and illustrate that (...) these constitute a diverse array rather than a spectrum. (shrink)

According to no-futurism, past and present entities are real, but future ones are not. This view faces a skeptical challenge (Bourne 2002, 2006, Braddon-Mitchell, 2004): if no-futurism is true, how do you know you are present? I shall propose a new skeptical argument based on the physical possibility of Gödelian worlds (1949). This argument shows that a no-futurist has to endorse a metaphysical contingentist reading of no-futurism, the view that no-futurism is contingently true. But then, the no-futurist has to face (...) a new skeptical challenge: how do you know that you are in a no-futurist world? (shrink)

The contingentist/inevitabilist debate contests whether the results of successful science are contingent or inevitable. This article addresses lingering ambiguity in the way contingency is defined in this debate. I argue that contingency in science can be understood as a collection of distinct concepts, distinguished by how they hold science contingent, by what elements of science they hold contingent, and by what those elements are contingent upon. I present a preliminary taxonomy designed to characterize the full-range positions available and illustrate that (...) these constitute a diverse array rather than a spectrum. (shrink)

Robert Stalnaker has recently advocated propositional contingentism, the claim that it is contingent what propositions there are. He has proposed a philosophical theory of contingency in what propositions there are and sketched a possible worlds model theory for it. In this paper, such models are used to interpret two propositional modal languages: one containing an existential propositional quantifier, and one containing an existential propositional operator. It is shown that the resulting logic containing an existential quantifier is not recursively axiomatizable, (...) as it is recursively isomorphic to second-order logic, and a natural candidate axiomatization for the resulting logic containing an existential operator is shown to be incomplete. (shrink)

Contingentism is the view that it is contingent which things exist. Despite its plausibility, advocates of contingentism face a well-known ‘challenge’ to demonstrate that they can draw what appear to be intelligible modal distinctions (Williamson Modal Logic as Metaphysics. Oxford University Press, Oxford, 2013). In this article, I argue that if certain controversial modal principles fail, the challenge contingentists face becomes much more difficult. Whereas extant challenges concern contingentists’ inability to draw quite theoretical second-order modal distinctions, I present (...) a challenge which concerns contingentists’ inability to draw simpler first-order distinctions. This indicates that in certain modal settings there may well be significant first-order barriers to maintaining contingentism. (shrink)

[This paper is available as open access from the publisher.]The conventional wisdom in ethics is that pure moral laws are at least metaphysically necessary. By contrast, Moral Contingentism holds that pure moral laws are metaphysically contingent. This paper raises a normative objection to Moral Contingentism: it is worse equipped than Moral Necessitarianism to account for the normative standing or authority of the pure moral laws to govern the lives of the agents to whom they apply. Since morality is (...) widely taken to have such a standing, failing to account for it would be a significant problem. The objection also shows that the debate about the modal status of moral principles isn’t a debate solely within modal metaphysics, but has implications for topics in moral philosophy. (shrink)

According to grounding necessitarianism if some facts ground another fact, then the obtaining of the former necessitates the latter. Proponents of grounding contingentism argue against this claim, stating that it is possible for the former facts to obtain without necessitating the latter. In this article I discuss a recent argument from restricted accidental generalisations provided by contingentists that advances such possibility. I argue that grounding necessitarianism can be defended against it. To achieve this aim, I postulate a relationship between (...) grounding and essence by introducing a notion of individual essences understood as a set of essential properties that individuate its bearer. According to a proposed view grounding holds in virtue of identities of its relata, which are in turn determined by their respective individual essences. From there I claim that if grounding holds in virtue of the individual essences of its relata, then it is possible to resist the objection from restricted accidental generalisations and maintain a view that grounds necessitates what is grounded. (shrink)

Necessitists hold that, necessarily, everything is such that, necessarily, something is identical to it. Timothy Williamson has posed a number of challenges to contingentism, the negation of necessitism. One such challenge is an argument that necessitists can more wholeheartedly embrace possible worlds semantics than can contingentists. If this charge is correct, then necessitists, but not contingentists, can unproblematically exploit the technical successes of possible worlds semantics. I will argue, however, that the charge is incorrect: contingentists can embrace possible worlds (...) semantics as wholeheartedly as necessitists. Williamson offers a criterion for a class of models of quantified modal logic to be intended, and argues on its basis that contingentists must deny that there is an intended class of models. I argue that Williamson’s criterion is objectionable, supply an alternative that does not support Williamson’s argument, and adapt Williamson’s construction of an intended model structure to the needs of contingentist metaphysics. (shrink)

This paper outlines a defense of hybrid contingentism: that it is contingent which individuals there are, but not contingent what properties there are. Critics pursue two main lines of complaint. First, that the hybrid contingentist’s treatment of haecceitistic properties is metaphysically mysterious, and second, that hybrid contingentism involves an unjustified asymmetry in the associated modal logic. I suggest that these complaints may be too quick, at least in the setting of higher-order metaphysics. It is not at all obvious (...) whether and to what extent we should expect particular "symmetries" across the orders, and so whether (as Williamson (2013) argues) “the default preference is for a uniform metaphysics, on which being is contingent at all orders or none.”. (shrink)

This article attempts to make sense of property contingentism, the view that the metaphysical nature of properties is contingent. That is, it is contingent whether properties are universals or tropes or some other kind of entity. The article argues that even if one thinks that necessities are exhausted by conceptual truths and a posteriori necessities, the sort of methodology that can lead one to endorse contingentism in various domains in metaphysics does not give us good grounds to suppose (...) that the nature of properties is contingent. (shrink)

This article explores the connection between two theses: the principle of conditional excluded middle for the counterfactual conditional, and the claim that it is a contingent matter which (coarse grained) propositions there are. Both theses enjoy wide support, and have been defended at length by Robert Stalnaker. We will argue that, given plausible background assumptions, these two principles are incompatible, provided that conditional excluded middle is understood in a certain modalized way. We then show that some (although not all) arguments (...) for conditional excluded middle can in fact be extended to motivate this modalized version of the principle. (shrink)

The models of contingency in what propositions, properties and relations there are developed in Part 1 are related to models of contingency in what propositions there are due to Robert Stalnaker. It is shown that some but not all of the classes of models of Part 1 agree with Stalnaker’s models concerning the patterns of contingency in what propositions there are they admit. Further structural connections between the two kinds of models are explored.

Aristotle and Aquinas may have held that the things we believe and assert can have different truth-values at different times. Stoic logicians did; they held that there were “vacillating assertibles”—assertibles that are sometimes true and sometimes false. Frege and Russell endorsed the now widely accepted alternative, where the propositions believed and asserted are always specific with respect to time. This paper brings a new perspective to this question. We want to figure out what sorts of propositions speakers believe. Some philosophers (...) have argued that we must take agents to believe temporalist propositions—propositions that are inspecific with respect to time—if we’re to explain the agent’s own thoughts and inferences. I’ll explore another strategy. I’ll focus on our ability to think and reason about the beliefs that other people have. I’ll suggest that an adequate account of that ability requires that we take others to believe some temporalist propositions. I also ask whether all propositions can be specific with respect to worlds, and close by exploring some general issues. (shrink)

The paper introduces precise definitions of the inevitabilist and contingentist positions. On this basis, it reveals the analytical structure and some inherent difficulties of the contingentist/inevitabilist issue. It then discusses some of these difficulties, relying on the thought-experiment of a ‘divided physics’. Along the way, it investigates the kinds of differences that two alternative physics should present, if they are to give rise to non-benign forms of contingentism.Keywords: Contingency; Inevitabilism; Incommensurability; Theory-comparison; Scientific realism; Constructivism.

Things could have been different, but could it also have been different what things there are? It is natural to think so, since I could have failed to be born, and it is natural to think that I would then not have been anything. But what about entities like propositions, properties and relations? Had I not been anything, would there have been the property of being me? In this thesis, I formally develop and assess views according to which it is (...) both contingent what individuals there are and contingent what propositions, properties and relations there are. I end up rejecting these views, and conclude that even if it is contingent what individuals there are, it is necessary what propositions, properties and relations there are. -/- Call the view that it is contingent what individuals there are first-order contingentism, and the view that it is contingent what propositions, properties and relations there are higher-order contingentism. I bring together the three major contributions to the literature on higher-order contingentism, which have been developed largely independently of each other, by Kit Fine, Robert Stalnaker, and Timothy Williamson. I show that a version of Stalnaker's approach to higher-order contingentism was already explored in much more technical detail by Fine, and that it stands up well to the major challenges against higher-order contingentism posed by Williamson. -/- I further show that once a mistake in Stalnaker's development is corrected, each of his models of contingently existing propositions corresponds to the propositional fragment of one of Fine's more general models of contingently existing propositions, properties and relations, and vice versa. I also show that Stalnaker's theory of contingently existing propositions is in tension with his own theory of counterfactuals, but not with one of the main competing theories, proposed by David Lewis. -/- Finally, I connect higher-order contingentism to expressive power arguments against first-order contingentism. I argue that there are intelligible distinctions we draw with talk about "possible things", such as the claim that there are uncountably many possible stars. Since first-order contingentists hold that there are no possible stars apart from the actual stars, they face the challenge of paraphrasing such talk. I show that even in an infinitary higher-order modal logic, the claim that there are uncountably many possible stars can only be paraphrased if higher-order contingentism is false. I therefore conclude that even if first-order contingentism is true, higher-order contingentism is false. (shrink)

Karen Bennett’s Making Things Up starts with the claim that despite all the differences between them, analytic philosophers share an interest in ‘claims about what builds – or fails to build – what’. Be that as it may, there is another candidate for a shared interest: in generalizing, and identifying common patterns in ostensibly different domains. It is that interest that Bennett pursues in the book, by developing a general theory of building relations.

This paper first argues that we can bring out a tension between the following three popular doctrines: (i) the canonical reduction of metaphysical modality to essence, due to Fine, (ii) contingentism, which says that possibly something could have failed to be something, and (iii) the doctrine that metaphysical modality obeys the modal logic S5. After presenting two such arguments (one from the theorems of S4 and another from the theorems of B), I turn to exploring various conclusions we might (...) draw in light of these results, and argue that none comes cost free. In the course of laying out possible responses to my arguments, we'll have a chance to evaluate various doctrines about the interplay between contingency and essence, as well as develop some alternative reductions of metaphysical modality to essence. I don't decisively come down in favor of one response over the others, though I say some things that point towards the conclusion that essence has no role to play in reducing metaphysical modality. (shrink)

Monistic grounding says that there is one fundamental ground, while pluralistic grounding says that there are many such grounds. Grounding necessitarianism says that grounding entails, but is not reducible to, necessitation, while grounding contingentism says that there are at least some cases where grounding does not entail necessitation. Pluralistic grounding necessitarianism is a very popular position, but accidental generalizations, such as ‘all solid gold spheres are less than one mile in diameter’, pose well-known problems for this view: the many (...) fundamental grounds of such generalizations do not necessitate them. Though there is a straightforward response to this objection, I argue that it fails. Thus the objection from accidental generalizations stands, and proponents of pluralistic grounding necessitarianism face the following dilemma: either give up pluralistic grounding, or give up necessitarianism. (shrink)

Alexander Bird (2001; 2002; 2007) offers a powerful argument showing that, regardless of whether necessitarianism or contingentism about laws is true, salt necessarily dissolves in water. The argument is that the same laws of nature that are necessary for the constitution of salt necessitate the solubility of salt. This paper shows that Bird’s argument faces a serious objection if the possibility of emergentism – in particular, C. D. Broad’s account – is taken into account. The idea is (roughly) that (...) some emergent laws in some possible worlds may disrupt the solubility of salt without disrupting its constitution. (shrink)

In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced for the (...) purpose of making explicit their ontological presuppositions. In this context Jadacki's ontological difference between being and existence is discussed and analyzed within the framework of hereby proposed system of quantified modal logic. The second section discusses ontological implications of the Barcan formula and its converse within the system accommodating the difference between being and existence. The third section presents a proof of incompatibility of the Barcan formula and its converse with the use of imperatives. In the concluding section, a thesis on logical pragmatics foreclosing the dilemma between necessitism and contingentism is put forward and defended against some objections. (shrink)

In Modal Logic as Metaphysics, Timothy Williamson claims that the possibilism-actualism (P-A) distinction is badly muddled. In its place, he introduces a necessitism-contingentism (N-C) distinction that he claims is free of the confusions that purportedly plague the P-A distinction. In this paper I argue first that the P-A distinction, properly understood, is historically well-grounded and entirely coherent. I then look at the two arguments Williamson levels at the P-A distinction and find them wanting and show, moreover, that, when the (...) N-C distinction is broadened (as per Williamson himself) so as to enable necessitists to fend off contingentist objections, the P-A distinction can be faithfully reconstructed in terms of the N-C distinction. However, Williamson’s critique does point to a genuine shortcoming in the common formulation of the P-A distinction. I propose a new definition of the distinction in terms of essential properties that avoids this shortcoming. (shrink)

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and (...) outer quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

Jonathan Schaffer argues against a necessary connection between properties and laws. He takes this to be a question of what possible worlds we ought to countenance in our best theories of modality, counterfactuals, etc. In doing so, he unfairly rigs the game in favor of contingentism. I argue that the necessitarian can resist Schaffer’s conclusion while accepting his key premise that our best theories of modality, counterfactuals, etc. require a very wide range of things called ‘possible worlds’. However, the (...) necessitarian can and should insist that, in many cases, these worlds are not metaphysically possible. I will further argue that, having taken such a stance, the necessitarian has additional resources to respond to Schaffer’s other arguments against the view. (shrink)

In this paper we will argue that the ontology implicit in John Buridan’s modal octagon commits him to a form of contingentism. In particular, we will argue that Buridan is committed to denying the validity of the Barcan and converse Barcan formulae.

Gideon Rosen has recently sketched an argument which aims to establish that the notion of metaphysical modality is systematically ambiguous. His argument contains a crucial sub-argument which has been used to argue for Metaphysical Contingentism, the view that some claims of fundamental metaphysics are metaphysically contingent rather than necessary. In this paper, Rosen’s argument is explicated in detail and it is argued that the most straight-forward reconstruction fails to support its intended conclusion. Two possible ways to save the argument (...) are rebutted and it is furthermore argued that the crucial sub-argument only supports a rather particular variant of Metaphysical Contingentism. (shrink)

Grounding contingentism is the doctrine according to which grounds are not guaranteed to necessitate what they ground. In this paper I will argue that the most plausible version of contingentism is incompatible with the idea that the grounding relation is transitive, unless either ‘priority monism’ or ‘contrastivism’ are assumed.

What formulas are tense-logically valid depends on the structure of time, for example on whether it has a beginning. Logicians have investigated what formulas correspond to what physical hypotheses about time. Analogously, we can investigate what formulas of modal logic correspond to what metaphysical hypotheses about necessity. It is widely held that physical hypotheses about time may be contingent. If so, tense-logical validity may be contingent. In contrast, validity in modal logic is typically taken to be non-contingent, as reflected by (...) the general acceptance of the so-called “rule of necessitation.” But as has been argued by various authors in recent years, metaphysical hypotheses may likewise be contingent. If, in particular, hypotheses about the extent of possibility are contingent, we should expect modal-logical validity to be contingent too. Let “contingentism” be the view that everything that is not ruled out by logic is possible. I shall investigate what the right system of modal logic is, if contingentism is true. Given plausible assumptions, the system contains the McKinsey principle, and is thus not even contained in S5. It also contains simple and elegant iteration principles for the contingency operator: something is contingent if and only if it is contingently contingent. (shrink)

Modal contingentists face a dilemma: there are two attractive principles of which they can only accept one. In this paper I show that the most natural way of resolving the dilemma leads to expressive limitations. I then develop an alternative resolution. In addition to overcoming the expressive limitations, the alternative picture allows for an attractive account of arithmetic and for a style of semantic theorizing that can be helpful to contingentists.

Contingentism depicts normativity as one of our human effective possibilities rather than as a metaphysical bottleneck which we should necessary fulfill. The book is a critical survey of Richard McKay Rorty’s “neo-pragmatism”, in the light of various theoretical arguments as well as of his own resourceful attempts to renew philosophy from within its practice.

Contingentists—who hold that it is contingent what there is—are divided on the claim that having a property or standing in a relation requires being something. This claim can be formulated as a natural schematic principle of higher-order modal logic. On this formulation, I argue that contingentists who are also higher-order contingentists—and so hold that it is contingent what propositions, properties and relations there are—should reject the claim. Moreover, I argue that given higher-order contingentism, having a property or standing in (...) a relation does not even require possibly being something. (shrink)