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)

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)

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)

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)

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)

Let NNG be the claim that necessitation is necessary for grounding, and let NSG be the claim that necessitation is sufficient for grounding. The consensus view is that grounding cannot be reduced to necessitation, and this is due to the (approximately) universally-accepted claim that NSG is false. Among deniers of NSG: grounding contingentists think NNG is also false, but they are in the minority compared to grounding necessitarians who uphold NNG. For one who would defend the claim that grounding is (...) reducible to necessitation, the task is formidable: she must defend NSG and NNG. I consider two prominent objections against NSG, and two more against NNG before developing a reductive account of grounding as minimal necessitation that avoids not only all four of the previously mentioned objections, but also an additional objection that targets minimal necessitation accounts in particular. If my arguments are compelling, then, insofar as we thereby have a strong prima facie case for thinking that grounding can be reduced to (minimal) necessitation, we have a strong prima facie case for thinking the consensus view is mistaken. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order (...) logic. Our assessment of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (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)

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)

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)

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)

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.

In this paper a symmetry argument against quantity absolutism is amended. Rather than arguing against the fundamentality of intrinsic quantities on the basis of transformations of basic quantities, a class of symmetries defined by the Π-theorem is used. This theorem is a fundamental result of dimensional analysis and shows that all unit-invariant equations which adequately represent physical systems can be put into the form of a function of dimensionless quantities. Quantity transformations that leave those dimensionless quantities invariant are empirical and (...) dynamical symmetries. The proposed symmetries of the original argument fail to be both dynamical and empirical symmetries and are open to counterexamples. The amendment of the original argument requires consideration of the relationships between quantity dimensions. The discussion raises a pertinent issue: what is the modal status of the constants of nature which figure in the laws? Two positions, constant necessitism and constant contingentism, are introduced and their relationships to absolutism and comparativism undergo preliminary investigation. It is argued that the absolutist can only reject the amended symmetry argument by accepting constant necessitism. I argue that the truth of an epistemically open empirical hypothesis would make the acceptance of constant necessitism costly: together they entail that the facts are nomically necessary. (shrink)

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

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)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in (...) order to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

Grounding necessitarianism (GN) is the view that full grounds necessitate what they ground. Although GN has been rather popular among philosophers, it faces important counterexamples: For instance, A=[Socrates died] fully grounds C=[Xanthippe became a widow]. However, A fails to necessitate C: A could have obtained together with B=[Socrates and Xanthippe were never married], without C obtaining. In many cases, the debate essentially reduces to whether A indeed fully grounds C – as the contingentist claims – or if instead C is (...) fully grounded in A+, namely A plus some supplementary fact S (e.g. [Xanthippe was married to Socrates]) – as the necessitarian claims. Both sides typically agree that A+ necessitates C, while A does not; they disagree on whether A or A+ fully grounds C. This paper offers a novel defence of the claim that, in these typical cases, unlike A+, A fails to fully ground C – thereby bringing further support to GN. First and foremost, unlike A+, A fails to fully ground C because it fails to contain just what is relevant to do so, in two distinct senses – explanatory and generative relevance. Second, going for A, rather than A+, as a full ground undermines not just grounding necessitarianism, but modally weaker views which even contingentists may want to preserve. (shrink)

As Williamson puts it, ‘necessitism’ is the metaphysical view that claims that “necessarily everything is necessarily something”. As that claim involves modal unrestricted quantification, the necessitist must accept it as a part of an intelligible discourse. Here, I present one of the main objections that have been presented against the intelligibility of unrestricted quantification: the objection based on the so-called All-in-One Principle. I then propose possible strategies that the necessitist could adopt to shield themselves from the objection.

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)

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)

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)

In his book Modal Logic as Metaphysics, Timothy Williamson defends first-order necessitism using simplicity as a powerful argument. However, simplicity is decomposed into two different, even antagonistic, sides: elegance and parsimony. On the one hand, elegance is the property of theories possessing few and simple principles that allow them to deploy all their theoretical power; on the other hand, parsimony is the property of theories having the fair and necessary number of ontological entities that allow such theories give an (...) account of themselves. Since necessitism endorses Barcan Formulae for the sake of elegance, it is committed to a vast number of contingently non-concrete objects, so one may think that it is not qualitatively parsimonious. I argue that necessitism could be viewed as an additive case in the sense that Alan Baker characterizes the adjective so quantitative parsimony should be considered when it comes to necessitism instead of qualitative parsimony. (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)

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)

Our aim in this paper is to present the distinct ways in which Wolff, Baumgarten, and Kant understand the relationship between necessitation, constraint, and reluctant action in an effort to illustrate the subtle ways in which their conceptions of obligation differ from each another. Whereas Wolff conceives of natural or moral obligation as incompatible with constraint, Baumgarten holds that constraint and reluctant action are, in some instances, compatible with natural obligation. Kant departs from Baumgarten by conceiving of obligation as necessarily (...) involving constraint: as Kant’s reply to Schiller’s famous objection reveals, obligation must take on the character of constraint to reluctant action on account of the fact that human beings possess inclinations that always threaten to impel them in directions that oppose morality. (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)

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)

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)

I offer a close reading of the first part of Sartre's The Transcendence of the Ego, arguing that contrary to widely held interpretation, one of Sartre's main goals in that text is to defend the view that consciousness does not necessitate self-awareness, that not all conscious states need be, ipso facto, states of self-awareness. In addition, I explain that this view about the conceptual relationship between consciousness and self-awareness has important methodological implications. One of the standard strategies for accounting for (...) the possibility of the type of capacity to have I* thoughts and attitudes is based on the assumption that being conscious necessarily entails being self-aware in at least a minimal sense, and then proceeds to explain how it I*-thoughts and attitudes are possible on the basis of those minimal states of self-awareness. Yet if Sartre's account of self-awareness is so much as plausible, this kind of strategy is bound to be incomplete. By helping itself to a notion of minimal self-awareness that is purportedly constitutive of consciousness, it fails to account for what is, by its own lights, the most fundamental form of self-awareness. (shrink)

In `Essence and Modality', Kit Fine proposes that for a proposition to be metaphysically necessary is for it to be true in virtue of the nature of all objects whatsoever. Call this view Fine's Thesis. This paper is a study of Fine's Thesis in the context of Fine's logic of essence (LE). Fine himself has offered his most elaborate defense of the thesis in the context of LE. His defense rests on the widely shared assumption that metaphysical necessity obeys the (...) laws of the modal logic S5. In order to get S5 for metaphysical necessity, he assumes a controversial principle about the nature of all objects. I will show that the addition of this principle to his original system E5 leads to inconsistency with an independently plausible principle about essence. In response, I develop a theory that avoids this inconsistency while allowing us to maintain S5 for meta- physical necessity. However, I conclude that our investigation of Fine's Thesis in the context of LE motivates the revisionary conclusion that metaphysical necessity obeys the principles of the modal logic S4, but not those of S5. I argue that this constitutes a distinctively essentialist challenge to the received view that the logic of metaphysical necessity is S5. (shrink)

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)

I argue for a novel interpretation of Leibniz’s conception of the kind of contingency that matters for freedom, which I label ‘agential contingency.’ In brief, an agent is free to the extent that she determines herself to do what she judges to be the best of several considered options that she could have brought about had she concluded that these options were best. I use this novel interpretation to make sense of Leibniz’s doctrine that the reasons that explain free actions (...) are merely inclining and not necessitating. (shrink)

I elaborate and defend a "necessitarian" interpretation of Kant's account of laws.

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)

Pace Necessitism – roughly, the view that existence is not contingent – essential properties provide necessary conditions for the existence of objects. Sufficiency properties, by contrast, provide sufficient conditions, and individual essences provide necessary and sufficient conditions. This paper explains how these kinds of properties can be used to illuminate the ontological status of merely possible objects and to construct a respectable possibilist ontology. The paper also reviews two points of interaction between essentialism and modal logic. First, we will (...) briefly see the challenge that arises against S4 from flexible essential properties; as well as the moves available to block it. After this, the emphasis is put on the Barcan Formula (BF), and on why it is problematic for essentialists. As we will see, Necessitism can accommodate both (BF) and essential properties. What necessitists cannot do at the same time is to continue to understanding essential properties as providing necessary conditions for the existence of individuals; against what might be for some a truism. (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.

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist (...) claims concerning the possible geometric structures of spacetime, and dispositional properties are actual possible entities, the condition of being grounded in the concrete is consistent with the Barcan formula; and thus -- in the geometric setting -- merits adoption by the Necessitist. (shrink)

This chapter explores a potential analogy between mereological principles and laws of nature. Against a backdrop of what Marmodoro has termed ‘power structuralism’ (and a rejection of a Humean worldview), the connection between parthood and modality may be richer than has hitherto been considered. Mereological principles delineate possibilities for parts and wholes, and putting powers at the centre of a discussion about parthood can furnish a novel conception of mereological laws, much as dispositionalism has done so for natural laws; namely, (...) these principles express connections between fundamental dispositional properties. By extending dispositionalism to comprehend mereology in this way, we can help fulfil its promise to provide a foundational, naturalistic metaphysics, as foundational mereological debates then begin to mirror those relating to dispositionalist views of laws of nature: we may treat natural and mereological laws in tandem, as holding either necessarily or contingently, with associated strategies for dealing with supposed counterexamples to one’s preferred set of mereological principles. We can thus bring new life to the debate over whether questions of composition admit of contingent or only necessary answers. (shrink)

This paper aims to show the necessity of development ethics. For this purpose, I discuss two of many moral issues of development policy – poverty and corruption. I argue that reducing poverty and curbing corruption are the two moral issues that should be considered seriously, because poverty and corruption prevent people from getting any access to development. But in order to reduce poverty and to curb corruption value-neutral measures of economics are not enough. They are also involved with ethical assumptions. (...) I show that if any development policy maker wants to reduce poverty and corruption to some extent, he has to resort not only to value-neutral strategies of development, but also to the ethics of development. And this opens the door for development ethics that can contribute to the creation of a sane and judicious development policy. (shrink)

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

According to Leininger, presentists and growing blockers cannot explain why past and present regularities persist in the future. In order to do so, they would have to appeal to enforcers, such as causation, laws or dispositions. But in a world with no future, these enforcers are powerless and cannot guarantee future regularity. I disagree and argue that Leininger’s coordination problem can be met by distinguishing type- from token-level necessitation. Whereas token-level necessitation is cross-temporal and subject to Leininger’s coordination problem, type-level (...) necessitation is atemporal and immune to the coordination problem. For this solution to work, though, type-level necessitation must be ontologically prior to token-level necessitation. This forces us to adopt a Platonist position according to which universals are transcendent, and not immanent. (shrink)

Bien sûr, «la philosophie des sciences sans l’histoire des scien­ces est vide et l’histoire des sciences sans la philosophie des sciences est aveugle» (Lakatos), mais cette formule célèbre ne méconnaît-elle pas l’importance dissymétrique de cette relation de dépendance réci­proque ? En effet, ne pourrait-on pas soute­nir que les philoso­phes des sciences désireux d’arriver à une juste et saine philosophie des sciences ont besoin, pour ce faire, des travaux des historiens des sciences, bien plus que ces der­­niers n’ont besoin, pour leurs (...) recons­tructions historiques, des écrits des philosophes des sciences ? Telle est la thèse, quelque peu provocatrice, que l’auteur tente de défendre : un séminaire ne doit-il pas être un lieu de débat ? ––– Of course, «the philosophy of science is empty without the history of science and the history of science is blind without the philosophy of science» (Lakatos). But does not this famous formula fail to recognize the importance of the dyssymetry of this relationship of mutual dependence ? Could it not be main­tained that the philos­ophers of science, in their search for a correct and healthy philos­ophy of science, need the works of the historians of science far more than the latter need the works of the philosophers of science for their historical work ? This is the somewhat provocative thesis we shall attempt to defend : should not a seminar be a forum for debate ? (shrink)

‘Frankfurt-style cases’ (FSCs) are widely considered as having refuted the Principle of Alternate Possibilities (PAP) by presenting cases in which an agent is morally responsible even if he could not have done otherwise. However, Neil Levy (J Philos 105:223–239, 2008) has recently argued that FSCs fail because we are not entitled to suppose that the agent is morally responsible, given that the mere presence of a counterfactual intervener is enough to make an agent lose responsibility-grounding abilities. Here, I distinguish two (...) kinds of Frankfurt counter-arguments against the PAP: the direct and the indirect counter-arguments. I then argue that Levy’s argument, if valid, can shed doubt on the indirect argument but leaves the direct argument untouched. I conclude that FSCs can still do their job, even if we grant that the mere presence of a counterfactual intervener can modify an agent’s abilities. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed (...) by Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

In “Causality and Determination”, Anscombe stressed that, in her view, physical determinism and free action were incompatible. As the relevant passage suggests, her espousal of incompatibilism was not merely due to specific features of human ‘ethical’ freedom, but due to general features of agency, intentionality, and voluntariness. For Anscombe went on to tentatively suggest that lack of physical determination was required for the intentional conduct of animals we would not classify as ‚free‘, too. In this paper, I examine three different (...) lines of argument to establish Anscombe’s latter suggestion, which are based on general considerations about the causal efficacy of psychological-agential phenomena, the nature of agency, and the specific features of intentional agency. I start with Anscombe’s own claim from “The Causation of Action” that microphysical determinism would make psychological and personal phenomena epiphenomenal, before I turn to the view of ‘Agency Incompatibilism’, that genuine agency requires the absence of antecedent necessitation, and, lastly, to concerns about some crucial features of intentional agency which we find in both human and animal agents. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This paper critically examines Japan's approach toward the adoption of Generative AI such as ChatGPT in education via studying media discourse and guidelines at both the national as well as local levels. It highlights the lack of consideration for socio-cultural characteristics inherent in the Japanese educational systems, such as the notion of self, teachers’ work ethics, community-centric activities for the successful adoption of the technology. We reveal ChatGPT’s infusion is likely to further accelerate the shift away from traditional notion of (...) self, which has been ongoing during past educational reforms, towards active and self-directed learning. The current discourse on Generative AI’s infusion in education is driven by neoliberal agendas aimed at increasing employability and individualism. Moreover, the introduction of ChatGPT in the context of Japan's educator culture offers potential solutions to address issues of overwork but also necessitates considerations regarding increased responsibilities for teachers and the preservation of their central role in student education. Finally, the irreplicable social growth fostered by community-centric activities in the Japanese educational system highlights the limitations of ChatGPT in replicating dynamic social interactions, emphasizing the importance of holistic approaches to education beyond technological integration. (shrink)

This article presents the results of research conducted with secondary school teachers in Quebec, specifically in the Mauricie region. The authors propose a reflection on the construction of professional identity in a context of institutional crisis. They argue that in this context, the teacher can not rely on stable and social frameworks to build up a strong professional identity and that work experience that becomes the primordial material from which that identity is developed. Therefore, the teacher has to build its (...) identity from a set of rational narrative experience of professional practice.contrastée des attentes et des représentations d'étudiants en formation initiale à l'enseignement secondaire en fonction de leur engagement ou non dans un établissement scolaire Cet article présente les résultats d’une recherche menée auprès d’enseignants du niveau secondaire au Québec, plus spécifiquement dans la région de la Mauricie. Les auteurs proposent une réflexion sur la construction de l’identité professionnelle dans un contexte de crise des institutions. Ils soutiennent que dans ce contexte l’enseignant ne peut compter sur des cadres sociaux stables et solides pour se constituer une identité professionnelle et que c’est l’expérience au travail qui devient le matériau primordial à partir duquel s’élabore cette identité. Par conséquent, l’enseignant a à construire son identité à partir d’une mise en récit rationnelle de son expérience de la pratique professionnelle. (shrink)