Some have argued for a division of epistemic labor in which mathematicians supply truths and philosophers supply their necessity. We argue that this is wrong: mathematics is committed to its own necessity. Counterfactuals play a starring role.

Some have argued for a division of epistemic labor in which mathematicians supply truths and philosophers supply their necessity. We argue that this is wrong: mathematics is committed to its own necessity. Counterfactuals play a starring role.

We care not just how things are but how they could have been otherwise – about possibility and necessity as well as actuality. Many philosophers regard such talk as beyond the reach of respectable science, since observation tells us how things are but not how they could have been otherwise. I argue that, on the contrary, such criticisms are ill-founded: possibility and necessity are studied in natural science, for example through phase spaces, abstract mathematical representations of the possible states of (...) a physical system. The possibility is objective, not merely epistemic, though it may be more restricted than pure metaphysical possibility. The elements of a phase space are very similar to Kripke's possible worlds, despite being time slices rather than total histories. The absence of explicit modal operators in the mathematical models used by scientists does not show science to be non-modal; rather, it manifests reliance on a mathematical framework for theorizing about objective possibility similar to the mathematical framework of possible worlds model theory. (shrink)

Metaphilosophy, Volume 53, Issue 2-3, Page 162-175, April 2022.

Section 1 introduces the category of objective modality, closely related to linguists’ category of circumstantial or dynamic modals, and explains metaphysical modality as its maximal element. Section 2 discusses various kinds of skepticism about modality, as in Hume and recent authors, and argues that it is illmotivated to apply such skepticism to metaphysical modality but not to more restricted objective modalities, including nomic modality. Section 3 suggests that the role of counterfactual conditionals in applications of scientific theories involves an objective (...) modal dimension. Section 4 briefly discusses the role of objective probabilities in scientific theories as exemplifying the scientific study of objective modality. Section 5 summarizes a case study of dynamical systems theory, widely used in natural science, as a mathematical theory whose intended applications are objectively modal, as perspicuously articulated in a language with modal and temporal operators and propositional quantification. State spaces in natural science characterize objective possibilities. Section 6 argues that, although those possibilities are usually more restricted than metaphysical possibility, their scientific study is a partial study of metaphysical possibility too. (shrink)

Conspicuously missing some planks, a latter-day Ship of Theseus catches the eye when one picks up this Book of Three Authors. Teasingly, differentiated preposit.

Many advocates of non-classical logic for reasons external to mathematics claim that their proposed revisions are consistent with the use of classical logic within pure mathematics. Doubts are raised about such claims, concerning the applicability of pure mathematics to natural and social science. -/- .

Williamsonian modal epistemology is characterized by two commitments: realism about modality, and anti-exceptionalism about our modal knowledge. Williamson’s own counterfactual-based modal epistemology is the best known implementation of WME, but not the only option that is available. I sketch and defend an alternative implementation which takes our knowledge of metaphysical modality to arise, not from knowledge of counterfactuals, but from our knowledge of ordinary possibility statements of the form ‘x can F’. I defend this view against a criticism indicated in (...) Williamson’s own work, and argue that it is better connected to the semantics of modal language. (shrink)

The truth conditions of sentences with indexicals like ‘I’ and ‘here’ cannot be given directly, but only relative to a context of utterance. Something similar applies to questions: depending on the semantic framework, they are given truth conditions relative to an actual world, or support conditions instead of truth conditions. Two-dimensional semantics can capture the meaning of indexicals and shed light on notions like apriority, necessity and context-sensitivity. However, its scope is limited to statements, while indexicals also occur in questions. (...) Moreover, notions like apriority, necessity and context-sensitivity can also apply to questions. To capture these facts, the frameworks that have been proposed to account for questions need refinement. Two-dimensionality can be incorporated in question semantics in several ways. This paper argues that the correct way is to introduce support conditions at the level of characters, and develops a two-dimensional variant of both proposition-set approaches and relational approaches to question semantics. (shrink)

The grounding relation is routinely characterized by means of logical postulates. The aim of this paper is twofold. First, I show that a subset of those postulates is incompatible with a minimal characterization of metaphysical modality. Then I consider a number of ways for reconciling ground with modality. The simplest and most elegant solution consists in adopting serious actualism, which is best captured within a first-order modal language with predicate abstraction governed by negative free logic. I also explore a number (...) of alternative strategies by revising the ground-theoretic postulates, while keeping the modal ones fixed. As I argue, each of those strategies is either unviable, highly contentious, or insufficiently motivated. (shrink)

The hole argument purports to show that all spacetime theories of a certain form are indeterministic, including the General Theory of Relativity. The argument has given rise to an industry of searching for a metaphysics of spacetime that delivers the right modal implications to rescue determinism. In this paper, I first argue that certain prominent extant replies to the hole argument—namely, those that appeal to an essentialist doctrine about spacetime—fail to deliver the requisite modal implications. As part of my argument, (...) I show that threats to determinism of the sort brought out by the hole argument are more general than has heretofore been recognized. I then use these results to propose a novel essentialist doctrine about spacetime that successfully rescues determinism, what I call sufficiency metric essentialism. However, I go on to argue that once we realize what an essentialist doctrine about spacetime must look like in order to address the hole argument, we should reject all such doctrines, because they can't fulfill their ambition of improving on standard modal replies to the argument. I close by suggesting some lessons for future work on spacetime and the metaphysics of physics more broadly, and also drawing some general morals for contemporary metaphysics, in particular about (i) whether essence can be used to articulate a precise structuralist doctrine, and (ii) the relationship between essence and modality. (shrink)

The combinatorial theory of modality has long been dogged by the supposed problem that it entails that S5 is not the correct logic for metaphysical modality. In this paper, I suggest a modification to combinatorialism, to eliminate this tension with S5. I argue that the resulting view is more in the spirit of combinatorialism than the original position.

Sometimes, scientific models are either intended to or plausibly interpreted as representing nonactual but possible targets. Call this “hypothetical modeling”. This paper raises two epistemological challenges concerning hypothetical modeling. To begin with, I observe that given common philosophical assumptions about the scope of objective possibility, hypothetical models are fallible with respect to what is objectively possible. There is thus a need to distinguish between accurate and inaccurate hypothetical modeling. The first epistemological challenge is that no account of the epistemology of (...) hypothetical models seems to cohere with the most characteristic function of scientific modeling in general, i.e., surrogative representation. The second epistemological challenge is a version of “reliability challenges” familiar from other areas. There is a challenge to explain how hypothetical models could be a reliable guide to what is possible, given that they are not and cannot be compared against their nonactual targets and updated accordingly. I close with some brief remarks on possible solutions to these challenges. (shrink)

This article surveys recent developments in the epistemology of modality.

It is widely assumed that sense perception cannot deliver knowledge of nonactual (metaphysical) possibilities. We are not supposed to be able to know that a proposition p is necessary or that p is possible (if p is false) by sense perception. This paper aims to establish that the role of sense perception is not so limited. It argues that we can know lots of modal facts by perception. While the most straightforward examples concern possibility and contingency, others concern necessity and (...) impossibility. The possibility of a perceptual route to some modal knowledge is not as radical as it may at first sound. On the contrary, acknowledging it has benefits. (shrink)

The epistemology of modality has focused on metaphysical modality and, more recently, counterfactual conditionals. Knowledge of kinds of modality that are not metaphysical has so far gone largely unexplored. Yet other theoretically interesting kinds of modality, such as nomic, practical, and ‘easy’ possibility, are no less puzzling epistemologically. Could Clinton easily have won the 2016 presidential election—was it an easy possibility? Given that she didn’t in fact win the election, how, if at all, can we know whether she easily could (...) have? This paper investigates the epistemology of the broad category of ‘objective’ modality, of which metaphysical modality is a special, limiting case. It argues that the same cognitive mechanisms that are capable of producing knowledge of metaphysical modality are also capable of producing knowledge of all other objective modalities. This conclusion can be used to explain the roles of counterfactual reasoning and the imagination in the epistemology of objective modality. (shrink)

This paper develops a view on which: (a) all fundamental facts are absolute, (b) some facts do not supervene on the fundamental facts, and (c) only relative facts fail to supervene on the fundamental facts.

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 \textbf{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 two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-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 $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-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 \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{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 \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{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 \textbf{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 $\Omega$-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 \textbf{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 \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{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 \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{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)

Modern particle physics suggests an intriguing vision of physical reality: we are to imagine the symmetries of the world as fundamental, whereas the material constituents of the world are ontologically derivative of them. This paper develops a novel ontology for non-relativistic quantum mechanics which gives precise metaphysical content to this vision.

Physicists have suggested what I call symmetry fundamentalism: the view that symmetries are fundamental aspects of physical reality and that these aspects are more fundamental than what one might ordinarily think of as the fundamental building blocks of the world, such as elementary particles. The goal of this paper is to develop an ontology for classical particle mechanics that provides a precise instance of symmetry fundamentalism.

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 \textbf{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 two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-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 $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-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 \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{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 \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{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 \textbf{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 $\Omega$-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 \textbf{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 \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{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 \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{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)

There are various well-known paradoxes of modal recombination. This paper offers a solution to a variety of such paradoxes in the form of a new conception of metaphysical modality. On the proposed conception, metaphysical modality exhibits a type of indefinite extensibility. Indeed, for any objective modality there will always be some further, broader objective modality; in other terms, modal space will always be open to expansion.

I present a novel argument against the non-contingency of identity. I first argue that the necessity of distinctness is intimately connected with numerous paradoxes of recombination. In particular, I argue that those who reject the necessity of distinctness have natural solutions to various paradoxes of recombination which have plagued the metaphysics of modality. Moreover, I argue that adding the necessity of distinctness to modest, paradox-free assumptions is sufficient to reinstate the paradoxes. Given that identity is non-contingent only if distinctness is (...) necessary, I suggest this constitutes new evidence against the non-contingency of identity. (shrink)

Let Nomological Bound be the thesis that there is nothing objectively possible beyond what is physically possible. Nomological Bound has struck many as a live hypothesis. Nevertheless, in this article I provide a novel argument against it. Yet even though I claim that Nomological Bound is false, I argue that the boundaries of objective possibility can still be characterized intimately in terms of physical necessity. This is philosophically significant, for on a natural understanding it constitutes the powerful anti-sceptical result that (...) those who believe in physical necessity should not harbour any scepticism towards merely metaphysical possibilities. (shrink)

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

In this article, I show that (i) from what I call a “Kripkean” account of the relations between conceivability and metaphysical necessities, (ii) an apparently plausible principle relating conceivability and epistemic modality, and (iii) the duality of epistemic modalities, one can show the utterly anti-Kripkean result that every metaphysical necessity is an epistemic necessity. My aim is to present and diagnose the problem and evaluate the costs of some possible Kripkean reactions. In particular, I will evaluate the consequences and theoretical (...) costs of rejecting the main ingredients of the argument, namely that we cannot genuinely conceive the negations of metaphysical necessities, that there is no postulated relation between conceivability and epistemic possibility (actually, between unconceivability and epistemic impossibility), and that epistemic possibility and necessity are not dualities. (shrink)

I argue that beliefs about what appears possible are justified in much the same way as beliefs about what appears actual. I do so by chisholming, and then modalizing, the epistemic principle associated with phenomenal conservatism. The principle is tested against a number of examples, and it gives the intuitively correct results. I conclude by considering how it can be used to defend two controversial modal arguments, a Cartesian argument for dualism and an ontological argument for the existence of God.

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)

The paper explores the project of an ambitious modal epistemology that attempts to combine the a priori methods of Chalmers’ 2D semantics with Kripke’s modal metaphysics. I argue that such a project is not viable. The ambitious modal epistemology involves an inconsistent triad composed of (1) Modal Monism, (2) Two-Dimensionalism, and what I call (3) “Metaphysical Kripkeanism”. I present the three theses and show how only two of those can be true at a time. There is a fundamental incompatibility between (...) Chalmers’ Modal Rationalism and Kripke’s modal metaphysics. Specifically, Chalmers’ conceivability entails possibilities that a Kripkean rejects as genuinely metaphysical. However, three positive stances in modal epistemology emerge from the combinations that the triad allows. One of those offers a promising way forward for 2D modal epistemologies. But it comes with a cost, as it requires abandoning modal monism and reshaping the scope of what a priori conceivability can give us access to. (shrink)

I propose that we approach the epistemology of modality by putting modal metaphysics first and, specifically, by investigating the metaphysics of essence. Following a prominent Neo-Aristotelian view, I hold that metaphysical necessity depends on the nature of things, namely their essences. I further clarify that essences are core properties having distinctive superexplanatory powers. In the case of natural kinds, which is my focus in the paper, superexplanatoriness is due to the fact that the essence of a kind is what causes (...) all the many properties and behaviors that are typically shared by all the instances of the kind. Accordingly, we know what is necessarily true of kinds by knowing what is essential to them in the sense of actually playing such causal-explanatory roles. Modal reasoning aimed at discovering metaphysical necessity thus proceeds via essentialist deduction: we move from essentialist truths to reach necessary truths. (shrink)

The fourteen papers in this collection offer a variety of original contributions to the epistemology of modality. In seeking to explain how we might account for our knowledge of possibility and necessity, they raise some novel questions, develop some unfamiliar theoretical perspectives, and make some intriguing proposals. Collectively, they advance our understanding of the field. In Part I of this Introduction, I give some general background about the contemporary literature in the area, by sketching a timeline of the main tendencies (...) of the past twenty-five years or so, up to the present debates. Next, I focus on four features that largely characterize the latest literature, and the papers in the present collection in particular: (i) an endorsement of the importance of essentialism; (ii) a shift to a “metaphysics-first” approach to modal epistemology; (iii) a focus on metaphysical modality as opposed to other kinds of modality; and (iv) a preference for non-uniform modal epistemology. In Part II, I present the individual papers in the volume. These are organized around the following four chapters, based on their topic: (A) Skepticism & Deflationism; (B) Essentialism; (C) Non-Essentialist Accounts; (D) Applications. -/- LIST OF CONTRIBUTORS: Francesco Berto; Stephen Biggs & Jessica Wilson; Justin Clark-Doane; Philip Goff; Bob Hale; Frank Jackson; Mark Jago; Boris Kment; Antonella Mallozzi; Graham Priest; Gabriel Rabin; Amie Thomasson; Anand Vaidya & Michael Wallner; Jennifer Wang. -/- The volume is dedicated to the memory of Bob Hale. -/- . (shrink)

In this paper non-Hausdorff manifolds as potential basic objects of General Relativity are investigated. One can distinguish four stages of identifying an appropriate mathematical structure to describe physical systems: kinematic, dynamical, physical reasonability, and empirical. The thesis of this paper is that in the context of General Relativity, non-Hausdorff manifolds pass the first two stages, as they enable one to define the basic notions of differential geometry needed to pose the problem of the evolution-distribution of matter and are not in (...) conflict with the Einstein equations. With regard to the third stage, various potential conflicts with physical reasonability conditions are considered with a tentative conclusion that non-Hausdorff manifolds are more likely to pass this stage than is typically assumed. When dealing with some of these problems, the modal interpretation of non-Hausdorff manifolds is invoked, according to which they represent bundles of alternative possible spacetimes rather than single spacetimes. (shrink)

Byerly recently developed a new solution to the gap problem for cosmological arguments. His idea is that the best explanation for why the necessary being is found to have necessary existence is that it is a perfect being. I raise an objection to Byerly’s solution on the ground that there is some rival naturalistic explanation that is as good as Byerly s theistic explanation.

Consider the following argument, where ‘\’ abbreviates ‘the proposition that p’: It is possible that Socrates does not exist.Necessarily, if Socrates does not exist, then \ is true.Necessarily, if \ is true, then \ exists.Necessarily, if \ exists, then Socrates exists.Therefore, it is possible that Socrates exists and does not exist. How can one respond to this argument? Fine thinks that the argument involves an equivocation concerning the notion of truth for propositions: if we stand inside a possible world to (...) evaluate the truth, in this ‘inner’ sense holds but fails; but if we stand outside, in this ‘outer’ sense holds but fails. In this paper we argue that such an equivocation response is obscure, ad hoc, and unmotivated. (shrink)

This paper responds to Friend’s (2023) critique of the Powers-BSA, a view according to which laws of nature are efficient descriptions of how modally laden properties (powers) are possibly distributed in spacetime. In the course of this response, the paper discusses the nature of scientific and metaphysical explanation, the aim of science and the structure of modal space.

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

The most common first- and second-order modal logics either have as theorems every instance of the Barcan and Converse Barcan formulae and of their second-order analogues, or else fail to capture the actual truth of every theorem of classical first- and second-order logic. In this paper we characterise and motivate sound and complete first- and second-order modal logics that successfully capture the actual truth of every theorem of classical first- and second-order logic and yet do not possess controversial instances of (...) the Barcan and Converse Barcan formulae as theorems, nor of their second-order analogues. What makes possible these results is an understanding of the individual constants and predicates of the target languages as strongly Millian expressions, where a strongly Millian expression is one that has an actually existing entity as its semantic value. For this reason these logics are called ‘strongly Millian’. It is shown that the strength of the strongly Millian second-order modal logics here characterised afford the means to resist an argument by Timothy Williamson for the truth of the claim that necessarily, every property necessarily exists. (shrink)

Recent epistemology of modality has seen a growing trend towards metaphysics-first approaches. Contrastingly, this paper offers a more philosophically modest account of justifying modal claims, focusing on the practices of scientific modal inferences. Two ways of making such inferences are identified and analyzed: actualist-manipulationist modality and relative modality. In AM, what is observed to be or not to be the case in actuality or under manipulations, allows us to make modal inferences. AM-based inferences are fallible, but the same holds for (...) practically all empirical inquiry. In RM, modal inferences are evaluated relative to what is kept fixed in a system, like a theory or a model. RM-based inferences are more certain but framework-dependent. While elements from both AM and RM can be found in some existing accounts of modality, it is worth highlighting them in their own right and isolating their features for closer scrutiny. This helps to establish their relevant epistemologies that are free from some strong philosophical assumptions often attached to them in the literature. We close by showing how combining these two routes amounts to a view that accounts for a rich variety of modal inferences in science. (shrink)

Both Lowe and Tsai have presented their own versions of the theory that both indicative and subjunctive conditionals are strict conditionals. We critically discuss both versions and we find each version wanting.

In an influential passage of Naming and Necessity Kripke argues, with the help of a fictional dialogue, that de re metaphysical modal distinctions have intuitive content. In this note I clarify the workings of the argument, and what it does and does not support. I conclude that Kripke’s argument does not, despite possible appearances, support the view that metaphysical modal distinctions are made in common sense discourse. The argument does however support the view that if metaphysical modal distinctions make sense (...) at the level of statements or states of affairs, then they also make sense de re. (shrink)

The aim of this paper is to relate the debate about the status of S4 and S5 as modal logics for metaphysical modality to the debate about the identity of propositions. The necessary truth of the characteristic axioms of S4 and S5 (when interpreted in terms of metaphysical modality) is derived from a view about the identity of propositions, the view that necessarily equivalent propositions are identical.

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