Varieties of Modality

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)

On what I call absolutist essentialism about modality (AE), the metaphysical necessities are the propositions that are true in virtue of the essence (i.e. Aristotelian, absolute essence) of some entities. Other kinds of necessity can then be defined by restriction – e.g. the conceptual necessities are the propositions that are true in virtue of the essence of conceptual entities specifically. As an account of metaphysical modality and some other kinds (e.g. logical, conceptual), AE may have important virtues. However, when it (...) comes to accounting for further important kinds, like natural or normative necessity, it faces a challenge. Three main options have been defended: treat those kinds as further restricted forms of metaphysical necessity; define them as conditional forms of metaphysical necessity; treat them as primitive kinds. -/- In this paper, I propose a new option, which combines the main idea of AE (reducing necessities to essences) with an idea which has been developed largely independently: that of relative essence. On the proposed view, those kinds (e.g. natural necessity) that cannot be grounded in the essences (i.e. absolute essences) of the relevant entities (e.g. natural entities) may be grounded in their relative essences instead. Thus, I propose a generalized, or extended, version of AE, which I call relativized essentialism about modality (RE). In particular, RE offers prospects for a general framework for kinds of modality which is flexible enough to cover a large range of kinds (both absolute and relative ones) while remaining parsimonious and unified. (shrink)

Pluralists believe in the occurrence of numerically distinct spatiotemporal coincident objects. They argue that there are coincident objects that share all physical and spatiotemporal properties and relations; nevertheless, they differ in terms of modal and some other profiles. Appealing to the grounding problem according to which nothing can ground the modal differences between coincident objects, monists reject the occurrence of coincident objects. In the first part of this paper, I attempt to show that the dispute between monists and pluralists cannot (...) be settled based upon the grounding problem tout court. I argue that the grounding problem or a very similar problem is a challenge for all monists and pluralists alike if they are ontologically committed to the existence of composite objects as independent entities. In the final part, adopting the Aristotelian account of essence, I propose a solution that enables pluralists to plausibly ground modal differences between coincident objects. (shrink)

This is a primer on Steven James Bartlett's book CRITIQUE OF IMPURE REASON: HORIZONS OF POSSIBILITY AND MEANING. ●●●●● -/- Some books are long and complex. The Critique of Impure Reason is such a book. It is long enough and complex enough so that it may be a service to some readers to offer a primer to introduce and partially summarize the book’s objectives and method. Here, the author of Critique of Impure Reason: Horizons of Possibility and Meaning provides such (...) a guide, a vade mecum to accompany a reader should he or she embark on a study of the long and complex work. ●●●●● -/- The book is available in a printed edition, ISBN 978-0-578-88646-6, from online booksellers such as Barnes & Noble, Amazon, and through independent bookstores. The book is also available as an eBook, DOI: 10.5281/zenodo.5458352, through Zenodo, PhilSci, PhilPapers, HAL, and other online archives. (shrink)

I begin by outlining Du Châtelet’s ontology of mathematical objects: she is an idealist, and mathematical objects are fictions dependent on acts of abstraction. Next, I consider how this idealism can be reconciled with her endorsement of necessary truths in mathematics, which are grounded in essences that we do not create. Finally, I discuss how mathematics and physics relate within Du Châtelet’s idealism. Because the primary objects of physics are partly grounded in the same kinds of acts as yield mathematical (...) objects, she thinks we are sometimes licensed in drawing conclusions about physical things from mathematical premises. (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)

In this article, I intend to show what the metaphysical possibility is, distinguishing it from the logical and the physical possibilities, and then to indicate that at least there is two kinds of metaphysical possibilities, i.e., the potentialities of the things and the possibilities of the events to occur. This is an important goal because it makes clearer the discussion about possibilities. To show what the metaphysical possibility is, I try to show that we need an absolute modality for the (...) debate about what is possible do not be trivial. And to indicate that there are two kinds of metaphysical possibilities, I show that we can talk independently about these two notions of possibility, and that the debate between determinism and indeterminism presupposes such distinction. The conclusion we achieve is that there really are these two kinds of metaphysical possibilities, and that if we don’t want to be ambiguous, we have good reasons to use such distinction in our theories about the possibilities. (shrink)

There seems to be widespread agreement that there are two modal values: necessity and possibility. X is necessary if it is not possible that not-X; and Y is possible if it is not necessary that not-Y. In their path-breaking book, Rani Lill Anjum and Stephen Mumford defend the radical idea that there is a third modal value, weaker than necessity and stronger than possibility. This third value is dubbed 'dispositional modality' (DM) or 'tendency' and is taken to be an irreducible (...) and sui generis worldly modality: "the modality that's everywhere" (5). The source of DM is the causal powers of particulars; hence, DM is constitutively involved in causation: "a cause tends or disposes towards its effect, and can sometimes succeed in producing it" (9). Accordingly, DM is involved in all causal processes, from fundamental physics to the social and moral realm. This "deeply tendential view" (11) of the metaphysics of nature is advanced as distinct from both extant neo-Aristotelian and Humean views. Its key feature is that there is neither pure contingency nor necessitation in nature. (shrink)

This study asserts that W.V.O. Quine’s eliminative philosophical gaze into mereological composition affects inevitably his interpretations of composition theories of ontology. To investigate Quine’s property monism from the account of modal eliminativism, I applied to his solution for the paradoxes of de re modalities’ . Because of its vital role to figure out how dispositions are encountered by Quine, it was significantly noted that the realm of de re modalities doesn’t include contingent and impossible inferences about things. Therefore, for him, (...) all the intrinsic forces and elements of entities such as powers and causal or teleological dispositions for ontology demand to be seen necessarily as bound variables from a monist perspective. Although his denial of analyticity and the elimination of dispositional field of ontology, S. Mumford criticizes the monist perspective of Quine’s paradoxical approach to superveniences. Because superveniences create problems while determining type-type identities from a monist mereological perspective. It is observed that Quine faces with a reduction again in terms of his dispositional monism despite his critiques to repulse vagueness from the ontology in his well-known article Two Dogmas of Empiricism. -/- . (shrink)

According to Amie Thomasson's Modal Normativism (MN), knowledge of metaphysical modality is to be explained in terms of a speaker’s mastery of semantic rules, as opposed to one’s epistemic grasp of independent modal facts. In this chapter, I outline (MN)'s account of modal knowledge (§1) and argue that more than semantic mastery is needed for knowledge of metaphysical modality. Specifically (§2), in reasoning aimed at gaining such knowledge, a competent speaker needs to further deploy essentialist principles and information. In response, (...) normativists might contend that a competent speaker will only need to appeal to specific independence counterfactuals, on analogy with quasi-realism about morality. These conditionals fix the meaning of our terms at the actual world, independently of the particular context in which a statement is evaluated. However, I show that this strategy causes several problems for the account (§3). While those problems might perhaps be avoided by endorsing a certain picture of modal metaphysics (Modal Monism), such a picture involves notorious issues that normativists will have to address (§4). It is thus doubtful that (MN) can explain knowledge of metaphysical modality. Still, it may explain some modal knowledge without committing to Modal Monism. As I show (§5), semantic mastery may suffice for gaining knowledge of logical-conceptual modality or analyticity. (shrink)

Some people might be tempted by modal ontological arguments from the possibility that God exists to the conclusion that God in fact exists. They might also be tempted to support the claim that possibly God exists by appealing to the conceivability of God’s existence. In this chapter, I introduce three constraints on an adequate theory of philosophical conceivability. I then consider and develop both imagination-based accounts of conceivability and conceptual coherence-based accounts of conceivability. Finally, I return to the modal ontological (...) argument and consider whether the premise that possibly God exists can be supported by some conceiving. (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)

In this paper, it is argued that there can be necessary and non-natural desires. After a discussion about what seems wrong with such desires, Epicurus’ classification of desires is treated similarly to Kripke’s treatment of the Kantian table of judgments. A sample of three cases is suggested to make this point.

I critically assess Stephen Yablo’s claim that cassinis are ovals is an a posteriori conceptual necessity. One does not know it simply by mastering the relevant concepts but by substantial empirical scrutiny. Yablo represents narrow content by would have turned out -conditionals. An epistemic reading of such conditionals does not bear Yablo’s claim. Two metaphysically laden readings are considered. In one reading, Yablo’s conditionals test under what circumstances concepts remain the same while their extensions diverge. As an alternative, I develop (...) a more literal metaphysical interpretation: Yablo’s conditionals draw on scenarios which are qualitatively identical to some original situation. None of these interpretations sustains Yablo’s core thesis. (shrink)

In this essay, I consider some logical treatises and commentaries from the first decades of the 12th century (many of which are still unedited) which contain a discussion on modalities and modal logic. After presenting a short catalogue of these sources and a description of their common features, I shall focus on some definitions of the modal term “necessarium” which are provided in them. As we will see, Abelard and logicians of his time advanced three different characterizations of this term: (...) necessity was either defined in terms of unavoidability (ineuitabilitas), or in terms of immutability and omnitemporality (impermutabilitas, sempiternitas), or again in terms of absolute necessity as opposed to conditioned one (necessitas absoluta vs. determinata). I argue that the temporal understanding of necessity in terms of omnitemporality, inherited from ancient sources and extensively used by Abelard and others in the first years of the twelfth-century, started to disappear in texts datable from around the 1120, perhaps due to several difficulties that were related to this definition when applied in logical contexts. I also discuss how the notion of necessitas determinata was used by Abelard’s contemporaries to qualify the modal status of present and past events, which were generally believed to be necessary only in a “weak” and harmless sense that did not prevent them from being contingent. -/- . (shrink)

Aim of this paper is to analyse and assess two divergent understandings of metaphysical modality. On one hand, according to the absolutist conception, metaphysical modality is the extreme variety of objective modality and can be characterised in terms of all the varieties of objective modality: for example, p is metaphysically necessary if and only if p is necessary for every variety of objective necessity. The absolutist conception can also be framed in terms of counterfactual inevitability. On the other hand, according (...) to the essentialist conception of metaphysical modality, p is metaphysically necessary if and only if the truth of p is grounded by the essences of some entities. Based on the analysis of these two conceptions, I show that possible worlds are not helpful in characterising metaphysical modality. I finally suggest that in the light of a general principle about philosophical terminology, the essentialist conception has an edge over the absolutist one. (shrink)

This paper is on Descartes’ account of modality and, in particular, his account of the necessity of the laws of nature. He famously argues that the necessity of the “eternal truths” of logic and mathematics depends on God’s will. Here I suggest he has the same view about the necessity of the laws of nature. Further, I argue, this is a plausible theory of laws. For philosophers often talk about something being nomologically or physically necessary because of the laws of (...) nature, but this necessity is thought to be metaphysically contingent. However, they struggle to explain how the laws could be genuinely necessary while being metaphysically contingent. The chief advantage of Descartes view, I argue, is that God’s will can plausibly explain both the necessity of the laws and the contingency of the laws. So, Descartes’ theistic account of laws provides a plausible explanation, perhaps the best explanation, of the contingent-necessity of laws of nature. (shrink)

Talk of metaphysical modality as “absolute” is ambiguous, as it appears to convey multiple ideas. Metaphysical possibility is supposedly completely unrestricted or unqualified; metaphysical necessity is unconditional and exceptionless. Moreover, metaphysical modality is thought to be absolute in the sense that it’s real or genuine and the most objective modality: metaphysical possibility and necessity capture ways things could and must have really been. As we disentangle these ideas, certain talk of metaphysical modality qua “absolute” turns out to be misguided. Metaphysical (...) possibility isn't completely unrestricted or most inclusive compared to the other modalities; metaphysical necessity, like all kinds of necessities, is relative to or conditional upon a specific framework of reference. Still, metaphysical modality captures how things could and must have really been most generally because it deals with reality and the nature of things or their essence. That’s the chief interest of metaphysics. Arguments against the alleged absoluteness of metaphysical modality may not thereby undermine its philosophical significance. (shrink)

Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...) interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

I show that intuitive and logical considerations do not justify introducing Leibniz’s Law of the Indiscernibility of Identicals in more than a limited form, as applying to atomic formulas. Once this is accepted, it follows that Leibniz’s Law generalises to all formulas of the first-order Predicate Calculus but not to modal formulas. Among other things, identity turns out to be logically contingent.

Modal knowledge accounts like sensitivity or safety face a problem when it comes to knowing propositions that are necessarily true because the modal condition is always fulfilled no matter how random the belief forming method is. Pritchard models the anti-luck condition for knowledge in terms of the modal principle safety. Thus, his anti-luck epistemology faces the same problem when it comes to logical necessities. Any belief in a proposition that is necessarily true fulfills the anti-luck condition and, therefore, qualifies as (...) knowledge. Miščević shares Pritchard’s take on epistemic luck and acknowledges the resulting problem. In his intriguing article “Armchair Luck: Apriority, Intellection and Epistemic Luck” Miščević suggests solving the problem by supplementing safety with a virtue theoretic condition-“agent stability”-which he also spells out in modal terms. I will argue that Miščević is on the right track when he suggests adding a virtue-theoretic component to the safety condition. However, it should not be specified modally but rather in terms of performances that manifest competences. (shrink)

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...) results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

According to EJ Lowe, diachronic necessity and synchronic necessity are logically independent. Diachronic possibility concerns what could happen to an object over time and therefore concerns future possibilities for that object given its past history. Synchronic possibility concerns what is possible for an object in the present or at a past present moment. These are logically independent, given certain assumptions. While it may true that because I am 38, it is impossible diachronically for me to be 30 (at least once (...) we restrict the degree of relevant possibility), it is possible, given that at some point in the past, I may have been conceived slightly earlier than I was, that I am now 37. Likewise, it is possible diachronically for me to be somewhere other than where I am, but given that one object cannot be in different places at the same time, it is impossible for me now to be somewhere other than where I am, and this is true at each past point in my history too. There are, then, two axis upon which to distinguish what is and is not possible: tensed possibilities and possibilities of degree, which include nomic, metaphysical, and logical necessities, among others. I examine the interactions between these possibilities and I come to the conclusion that logical necessity is not in fact logical necessity simpliciter. Whether something is logically necessary depends upon tensed possibilities. I argue that while synchronic logical necessity entails diachronic logical necessity, the reverse entailment does not hold. I explore the consequences of this for certain philosophical debates in semantics including the concept of rigid designation, and descriptive names. (shrink)

The starting point of this paper concerns the apparent difference between what we might call absolute truth and truth in a model, following Donald Davidson. The notion of absolute truth is the one familiar from Tarski’s T-schema: ‘Snow is white’ is true if and only if snow is white. Instead of being a property of sentences as absolute truth appears to be, truth in a model, that is relative truth, is evaluated in terms of the relation between sentences and models. (...) I wish to examine the apparent dual nature of logical truth (without dwelling on Davidson), and suggest that we are dealing with a distinction between a metaphysical and a linguistic interpretation of truth. I take my cue from John Etchemendy, who suggests that absolute truth could be considered as being equivalent to truth in the ‘right model’, i.e., the model that corresponds with the world. However, the notion of ‘model’ is not entirely appropriate here as it is closely associated with relative truth. Instead, I propose that the metaphysical interpretation of truth may be illustrated in modal terms, by metaphysical modality in particular. One of the tasks that I will undertake in this paper is to develop this modal interpretation, partly building on my previous work on the metaphysical interpretation of the law of non-contradiction (Tahko 2009). After an explication of the metaphysical interpretation of logical truth, a brief study of how this interpretation connects with some recent important themes in philosophical logic follows. In particular, I discuss logical pluralism and propose an understanding of pluralism from the point of view of the metaphysical interpretation. (shrink)

This paper argues that there are true synthetic modal claims and that modal questions in philosophy in general are to be interpreted not in terms of logical necessity but in terms of synthetic necessity. I begin by sketching the debate about modality between logical positivism and phenomenology. Logical empiricism taught us to equate being tautological with being necessary. The common view is that tautologies are necessary in the narrow sense but that there is also necessity in a wider sense. I (...) argue against this that we should distinguish necessity from analyticity and possibility from consistency. (shrink)

The famous Cartesian Nicolas Malebranche (1638-1715) espoused the occasionalist doctrine that ‘there is only one true cause because there is only one true God; that the nature or power of each thing is nothing but the will of God; that all natural causes are not true causes but only occasional causes’ (LO, 448, original italics). One of Malebranche’s well-known arguments for occasionalism, known as, the ‘no necessary connection’ argument (or, NNC ) stems from the principle that ‘a true cause… is (...) one such that the mind perceives a necessary connection between it and its effect’ (LO, 450). The outline of this paper is as follows. I explicitly layout NNC and articulate some of its prima facie strengths (§1). I then critically discuss, what I take to be, the two main arguments against NNC of the Lee-Pyle interpretation (§2). The main conclusion from (§2) is that Malebranche did not abandon NNC in his later works given textual evidence from the Dialogues, contrary to the Lee-Pyle interpretation. In (§3) I discuss in what ways Suárez, Leibniz, Régis and Spinoza all accepted the main premise of NNC. Then, I rebut Steven Nadler’s influential and unchallenged criticism that Malebranche conflated causal and logical necessity, and provide a more accurate interpretation of Malebranche that only commits him to a partial reduction of causal to logical necessity (§4). (shrink)

Graham Oppy has argued that possible explanation entails explanation in order to object to Richard Gale and Alexander Pruss’s new cosmological argument that it does not improve upon familiar cosmological arguments. Gale and Pruss as well as Pruss individually have granted Oppy’s inference from possible explanation to explanation and argue that this inference provides a reason to believe that the strong principle of sufficient reason is true. In this article, I shall undermine Oppy’s objection to the new cosmological argument by (...) arguing that it is logically possible that some truths are merely possibly explained. (shrink)

Information is often modelled as a set of relevant possibilities, treated as logically possible worlds. However, this has the unintuitive consequence that the logical consequences of an agent's information cannot be informative for that agent. There are many scenarios in which such consequences are clearly informative for the agent in question. Attempts to weaken the logic underlying each possible world are misguided. Instead, I provide a genuinely psychological notion of epistemic possibility and show how it can be captured in a (...) formal model, which I call a fan. I then show how to use fans to build formal models of being informed, as well as knowledge, belief and information update. (shrink)

Millikan and Her Critics offers a unique critical discussion of Ruth Millikan's highly regarded, influential, and systematic contributions to philosophy of mind and language, philosophy of biology, epistemology, and metaphysics. These newly written contributions present discussion from some of the most important philosophers in the field today and include replies from Millikan herself.

One of the most basic methods of philosophy is, and has always been, the consideration of counterfactual cases and imaginary scenarios. One purpose of doing so obviously is to test our theories against such counterfactual cases. Although this method is widespread, it is far from being commonly accepted. Especially during the last two decades it has been confronted with criticism ranging from complete dismissal to denying only its critical powers to a cautious defense of the use of thought experiments as (...) counterexamples. One of the strongest criticisms of the method of thought experimentation is "modal skepticism" as explicated and defended by Peter van Inwagen. Van Inwagen argues that the philosopher's notion of logical possibility is confused and that its epistemology is dubious. I argue that van Inwagen's skepticism is unwarranted. There is a sufficiently clear notion of logical possibility and a sufficiently straightforward way of getting to know what is logically possible. In the remainder of the paper I show how that connects with the methodology of thought experimentation in philosophy. (shrink)

I set up a dilemma, concerning metaphysical modality de re, for the essentialist opponent of a ‘two senses’ view of necessity. I focus specifically on Frank Jackson's two-dimensional account in his From Metaphysics to Ethics (Oxford: Oxford University Press, 1998). I set out the background to Jackson's conception of conceptual analysis and his rejection of a two senses view. I proceed to outline two purportedly objective (as opposed to epistemic) differences between metaphysical and logical necessity. I conclude that since one (...) of these differences must hold and since each requires the adoption of a two senses view of necessity, essentialism is not consistent with the rejection of a two senses view. (shrink)

The paper argues against a commitment to metaphysical necessity, semantic modalities are enough. The best approaches to elucidate the semantic modalities are (still) versions of lingustic ersatzism and fictionalism, even if only developed in parts. Within these necessary properties and the difference between natural and semantic laws can be accounted for. The proper background theory for this is an updated version of Logical Empiricism, which is congenial to recent trends in Structural Realism. The anti-metaphysical attitude of Logical Empiricism deserves revitalization. (...) Another target besides metaphysical necessity are substantial forms of iterated modalities, as used, for instance, in the philosophy of religion. (shrink)

Fragmentalism allows incompatible facts to constitute reality in an absolute manner, provided that they fail to obtain together. In recent years, the view has been extensively discussed, with a focus on its formalisation in model-theoretic terms. This paper focuses on three formalisations: Lipman’s approach, the subvaluationist interpretation, and a novel view that has been so far overlooked. The aim of the paper is to explore the application of these formalisations to the alethic modal case. This logical exploration will allow us (...) to study (i) cases of metaphysical incompatibility between modal facts and (ii) cases of modal dialetheias. In turn, this will enrich our understanding of the role of impossibility in the fragmentalist framework. (shrink)

In Death and Nonexistence, Palle Yourgrau defends what he calls the principle of Prior Possibility: nothing comes to exist unless it was previously possible that it exists. While this seems like a plausible principle, it’s not strong enough; it allows the impossible to come to exist. I argue for a stronger principle: nothing exists unless its existence has always been possible. Further, I argue that we then have reason to accept a surprising result: nothing exists unless its existence is always (...) possible. Or, more generally, that nothing is the case unless it’s always possible that it’s the case. (shrink)

Essentialist facts, facts about what is essential to what, are explanatorily distinctive. They can often be appealed to in the course of metaphysically explaining some fact, while themselves serving as explanatory ends. In other words, when one arrives in the course of an explanation at an essentialist fact, it often seems like a legitimate place to stop. In certain contexts, they seem to provide a metaphysical backstop to making further explanatory demands. This paper defends the view that essentialist facts are (...) zero-grounded. Just as we can think of certain logical truths as truths derivable from the empty set of premises, we can think of the zero-grounded facts as the facts that obtain in virtue of the empty set of facts. On this picture, the essentialist facts are grounded, but they are grounded literally in nothing—grounded for free, automatically, and by default. -/- This view has been unpopular for many reasons, including concerns about the obscurity of the notion of zero-grounding. Concerns notwithstanding, I make the case that the zero-grounding view fares better than the alternative ground-theoretic accounts in making sense of certain explanatory roles essences plausibly play. After some preliminary remarks on how we should understand what an essentialist fact is as well as which ones serve as explanation stoppers, I introduce a widespread and attractive picture of what the essentialist facts are; they are domain fixing facts. I then argue that this feature of the essentialist facts well-positions them to serve as explanation stoppers. Afterwards, I argue that the zero-ground view best accommodates the domain-fixing conception of essence. (shrink)

In recent work, Amie Thomasson has defended what she calls normativism about metaphysical modality. She claims that discourse about metaphysical modality primarily serves a non-descriptive function, and builds a theory of such discourse around this claim. In this text, I critically discuss Thomasson’s view. Chief among the problems I go on to discuss is that Thomasson’s account of the meanings of modal expressions does not solve the problems she intends it to solve (among them solving the Frege-Geach problem), that there (...) is no significant ordinary practice of making metaphysically modal claims in the first place, and that the general problem she identifies and seeks to solve goes beyond discourse about metaphysical modality so a theory focused on metaphysical modal discourse is not general enough to deal with the problem. (shrink)

I examine issues in the philosophy of religion at the intersection of what possibilities there are and what a God, as classically conceived in the theistic philosophical tradition, would be able to do. The discussion is centered around arguing for an incompatibility between theism and two principles about possibility and ability, and exploring what theists should say about these incompatibilities. -/- I argue that theism entails that certain kinds and amounts of evil are impossible. This puts theism in conflict with (...) popular principles of modal recombination. However, theists have plausible explanations for the violations of recombination that they posit, and can suitably amend these principles without giving up their usefulness in accounting for what possibilities there are. -/- I also argue that despite the impossibility of these evils, God is able to bring these evils about. This puts theism in conflict with the principle that no one is able to do the impossible. However, theists can give a plausible account of why God is unique in being able to do the impossible, and have distinctive resources to address the arguments in favor of the idea that no one is able to do the impossible. And by denying this principle, theists are able to resolve several otherwise difficult puzzles, including reconciling conflicts between the divine attributes. (shrink)

To reject skepticism and lay the foundation for the certainty of knowledge, Kant raised the question of how synthetic a priori proposition is possible. In his solution, the new content of knowledge comes from the syntheses of experience a posteriori, and the universal necessity of knowledge is guaranteed by it’s a priority. Under the influence of Kant, the concept of a priori and necessity has long been regarded as coextensive. But Saul Kripke believes that this will confuse different philosophical fields: (...) a priori is an epistemological concept, which involves the way or means of acquiring knowledge, and necessity is a metaphysical concept, which involves the possible ways or states of the world. The key point is that, on Kripke, there is no necessary connection between these two fields. He raised some famous examples of the necessary a posteriori. More remarkably, in his explanation of necessary a posteriori, although he did not clearly propose the distinction between epistemic possibility and metaphysical possibility, he had laid the foundation for this distinction. Furthermore, on Manuel Garcia-Carpintero and Josep Macia, when Kripke talks about necessary a posteriori by appealing to two relevant expressions, what he proposed can be taken as kind of ‘blueprint for 2-D accounts’. (Manuel Garcia-Carpintero and Josep Macia, 2006, p.2) There are different forms of two-dimensionalism in semantics. I will focus on David Chalmers’s epistemic version and Scott Soames’ criticism. With the framework of possible world semantics established by Kripke and others, David Chalmers’ epistemic two-dimensionalism deals with the relationship between epistemic and metaphysical modalities from a quite different perspective, and then gives an elegant definition to necessary a posteriori and other modal concepts. Scott Soames criticized two-dimensionalism based on Kripke's modal realism and essentialism, and developed Kripke's account of necessary a posteriori. But according to Chalmers, Soames also uses a two-dimensional system himself to analyze cases of the necessary a posteriori. In the first two part of this paper I will briefly introduce the epistemic two-dimensionalism and specify the similarities between Kripke-Soames and Chalmers when they interpret necessary a posteriori. In the third part I turn to their difference by the analysis of relationship between epistemic possibility and metaphysical possibility which is the key issue for illuminating necessary a posteriori. (shrink)

I provide a new account of what it is for the laws of nature to govern the evolution of events. I locate the source of governance in the content of law propositions. As such, I do not appeal to primitive notions of ground, essence, or production to characterize governance. After introducing the account, I use it to outline previously unrecognized varieties of governance. I also specify that laws must govern to have two theoretical virtues: explanatory power as well as a (...) theoretical virtue I call expansiveness. A theory is expansive, roughly, when it can do more with less. (shrink)

A common feature of all standard theories of the laws of nature is that they are "absolutist": They take laws to be either all metaphysically necessary or all contingent. Science, however, gives us reason to think that there are laws of both kinds, suggesting that standard theories should make way for "non-absolutist" alternatives: theories which accommodate laws of both modal statuses. In this paper, we set out three explanatory challenges for any candidate non-absolutist theory and discuss the prospects of the (...) two extant candidates in light of these challenges. We then develop our own non-absolutist theory, the essentialist DTA account, which combines the nomic-necessitation or DTA account with an essentialist approach to metaphysical modality in order to meet the three explanatory challenges. Finally, we argue that the distinction between kinematical and dynamical laws found in physical theories supports both non-absolutism in general and our proposed essentialist DTA view in particular. (shrink)

In a recent article forthcoming in *Mind*, Leech (2020) presents a challenge for essentialist accounts of metaphysical modality: why should it be that essences imply corresponding necessities? Leech’s main focus is to argue that one cannot overcome the challenge by utilizing an account of essence in terms of generalized identity due to Correia and Skiles (2019), on pain of circularity. In this reply, we will show how to use identity-based essentialism to bridge ‘epistemic’ and ‘explanatory’ understandings of this alleged essence-to-necessity (...) gap without circularity, Leech’s arguments notwithstanding. We do so by first presenting a novel proof that generalized identities imply corresponding necessities. We then propose several substantive identity-based explanations of how it is, exactly, that essences imply necessities. -/- . (shrink)

In this essay, I consider some logical treatises and commentaries from the first decades of the 12th century (many of which are still unedited) which contain a discussion on modalities and modal logic. After presenting a short catalogue of these sources and a description of their common features, I shall focus on some definitions of the modal term “necessarium” which are provided in them. As we will see, Abelard and logicians of his time advanced three different characterizations of this term: (...) necessity was either defined in terms of unavoidability (ineuitabilitas), or in terms of immutability and omnitemporality (impermutabilitas, sempiternitas), or again in terms of absolute necessity as opposed to conditioned one (necessitas absoluta vs. determinata). I argue that the temporal understanding of necessity in terms of omnitemporality, inherited from ancient sources and extensively used by Abelard and others in the first years of the twelfth-century, started to disappear in texts datable from around the 1120, perhaps due to several difficulties that were related to this definition when applied in logical contexts. I also discuss how the notion of necessitas determinata was used by Abelard’s contemporaries to qualify the modal status of present and past events, which were generally believed to be necessary only in a “weak” and harmless sense that did not prevent them from being contingent. -/- . (shrink)

Do essence-based accounts of necessity and Vetter’s potentiality-based account of possibility in fact lead to the same result, viz., a single derived notion of necessity that is interdefinable with possibility or vice versa? And does each approach independently have the ability to reach its desired goal without having to rely on the primitive notion utilized by the other? In this essay, I investigate these questions and Vetter’s responses to them. Contrary to the “separatist” position defended by Vetter, I argue that (...) there are reasons to favor “Combination”, according to which an essence-based account of necessity should be combined with a potentiality-based account of possibility, or vice versa. According to this alternative approach, essentialism and potentialism should be regarded as allies, rather than as competitors, in a theory of derived modality, since both notions are needed in order to give a full account of necessity and possibility. Keywords: possibility, necessity, potentiality, essence, interdefinability, actuality, dependence, artifact-functions. (shrink)

One implication of Vetter's theory of modality is that necessity and possibility are regarded as unitary natural kinds. In this paper, I argue that from the perspective of the philosophy of causation, there are good reasons to distinguish between different kinds of necessity: causal necessity, which is nomologically necessary, and non-causal necessity, which is metaphysically necessary. One challenge for Vetter's approach is to explain this distinction.

Aim of this paper is to analyse and assess two divergent understandings of metaphysical modality. On one hand, according to the absolutist conception, metaphysical modality is the extreme variety of objective modality and can be characterised in terms of all the varieties of objective modality: for example, p is metaphysically necessary if and only if p is necessary for every variety of objective necessity. The absolutist conception can also be framed in terms of counterfactual inevitability. On the other hand, according (...) to the essentialist conception of metaphysical modality, p is metaphysically necessary if and only if the truth of p is grounded by the essences of some entities. Based on the analysis of these two conceptions, I show that possible worlds are not helpful in characterising metaphysical modality. I finally suggest that in the light of a general principle about philosophical terminology, the essentialist conception has an edge over the absolutist one. (shrink)

This paper is on Descartes’ account of modality and, in particular, his account of the necessity of the laws of nature. He famously argues that the necessity of the “eternal truths” of logic and mathematics depends on God’s will. Here I suggest he has the same view about the necessity of the laws of nature. Further, I argue, this is a plausible theory of laws. For philosophers often talk about something being nomologically or physically necessary because of the laws of (...) nature, but this necessity is thought to be metaphysically contingent. However, they struggle to explain how the laws could be genuinely necessary while being metaphysically contingent. The chief advantage of Descartes view, I argue, is that God’s will can plausibly explain both the necessity of the laws and the contingency of the laws. So, Descartes’ theistic account of laws provides a plausible explanation, perhaps the best explanation, of the contingent-necessity of laws of nature. (shrink)

Many things can be other than they are. Many other things cannot. But what are statements like these about? One answer to this question is that we are speaking of possible worlds: if something can be other than it is, then it actually is that way in some possible world. If something cannot be otherwise, it is not otherwise in any world. This answer is presently dominant in analytical philosophy of language and logic. What are these worlds? David Lewis famously (...) claimed that every world exists, just like ours does: there is no difference between the other worlds and ours. In contrast, the medieval thinker John Buridan understands modal logic in terms of objects and causal powers in this world: if something can be other than it is, then there is a causal power that can make it that way. If it cannot, then no causal power—not even God—can alter it, at least without destroying its nature. As we’ll see, the Lewisian plurality is not possible on Buridan’s account; accordingly, a basic tenet of classical theism is untenable on Lewis’s metaphysics. In short, either the Lewisian plurality is incoherent, or a core monotheistic tenet is impossible. (shrink)