Empiricist modal epistemologies can be attractive, but are often limited in the range of modal knowledge they manage to secure. In this paper, I argue that one such account – similarity-based modal empiricism – can be extended to also cover justification of many scientifically interesting possibility claims. Drawing on recent work on modelling in the philosophy of science, I suggest that scientific modelling is usefully seen as the creation and investigation of relevantly similar epistemic counterparts of real target systems. On (...) the basis of experiential knowledge of what is actually the case with the models, one can draw justified conclusions about what is de re possible for the target systems. (shrink)

Recently, Kit Fine's (1994) view that modal truths aretrue in virtue of,grounded in, orexplained byessentialist truths has been under attack. In what follows we offer two responses to the wave of criticism against his view. While the first response is pretty straightforward, the second is based on the distinction between, what we call,Reductive Finean EssentialismandNon-Reductive Finean Essentialism. Engaging the work of Bob Hale onNon-Reductive Finean Essentialism, we aim to show that the arguments against Fine's view are unconvincing, while we acknowledge (...) the presence of a deep standoff between the two views. (shrink)

I discuss several problems for Williamson’s counterfactual-theory of modal knowledge and argue that they have a common source, in that the theory neglects to elucidate the proper constraints on modal reasoning. Williamson puts forward an empirical hypothesis that rests on the role of counterfactual reasoning for modal knowledge. But he overlooks central questions of normative modal epistemology. In order for counterfactual reasoning to yield correct beliefs about modality, it needs to be suitably constrained. I argue that what is needed is, (...) specifically, information concerning the nature or essence of things. By integrating this information, essentialist deduction arguably provides a better account of our knowledge of modality. Furthermore, I argue that essences have distinctive causal and explanatory powers—indeed, essences are superexplanatory for how things are. Compared to Williamson’s counterfactual-theory, superexplanatory essentialism clarifies what the proper constraints on modal reasoning are, and why they have such a special status. (shrink)

Uniformism about the epistemology of modality is the view that there is only one basic route to modal knowledge; non-uniformism is the view that there are several. Non-uniformism is becoming an increasingly popular stance, but how can it be defended? I prise apart two ways of understanding the uniformism/non-uniformism conflict that are mixed up in the literature. I argue that once separated, it is evident that they lead up to two different non-uniformist theses that need to be argued for in (...) very different ways. In particular, one construal allows only for a weak thesis about the actual lay of the current theoretical land in modal epistemology, while the other allows for a strong thesis that can be defended without reliance on claims about the alleged goodness or badness of individual accounts of modal justification. I argue that philosophers inclined towards non-uniformism ought to go for the strong, rather than the weak, thesis. (shrink)

How should modal reasoning proceed? Here we compare abduction-based and conceiving-based modal epistemologies, and argue that an abduction-based approach is preferable, and by a wide margin.

The dissertation is in the format of a collection of several academic texts, composed of a two-part presentation and three papers on the topic of conceivability and the epistemology of modality. The presentation is composed of, first, a general introduction to conceivability theses and objections and, second, a discussion of two cases. Following the presentation, Asger provides three papers. The first paper, Pretense and Conceivability: A reply to Roca-Royes, presents a problem and a dilemma for Roca-Royes’ Non-Standard Dilemma for conceivability-based (...) epistemologies of de re modality in which she concludes that conceivability cannot be the whole story of our de re modal knowledge. The second paper, Conceivability Externalized, proposes an externalist conceivability-based epistemology of possibility inspired by Stalnaker. The third paper, Inconceivability as a Guide to Impossibility, considers inconceivability as an epistemic guide to impossibility, aiming to explore and add support to the underexplored thesis that one can justify beliefs about the impossibility of P on the basis of the inconceivability of P. (shrink)

Many philosophers since Hume have accepted that imagining/conceiving a scenario is our prime guide to knowing its possibility. Stephen Yablo provided a more systematic criterion: one is justified in judging that p is possible if one can imagine a world which one takes to verify p. I defend a version of Yablo’s criterion against van Inwagen’s moderate modal scepticism. Van Inwagen’s key argument is that we cannot satisfy Yablo’s criterion because we are not in a position to spell out far-fetched (...) possible scenarios in relevant detail. Van Inwagen’s argument can be applied to the use of conceivability for everyday possibility claims, leaving us with the spectre of pervasive modal scepticism. In order to answer the sceptical threat, I combine van Inwagen’s main example with general considerations about the nature of metaphysical modality to motivate a version of Yablo’s criterion and show that it does not lead to scepticism. One structural condition of p being metaphysically possible is that it coheres with a complete reality. This condition gives rise to Yablo’s criterion. However, for the criterion to be of any avail, we have to disregard details we are not in a position to specify. To account for our practice of doing so, I use Yablo’s distinction between imagining a world as determinate and imagining it determinately. I present a condition when we may simply disregard details as determinate. The condition results from integrating analogical reasoning into the conceivability test. (shrink)

There are three theories in the epistemology of modality that have received sustained attention over the past 20 years: conceivability-theory, counterfactual-theory, and deduction-theory. In this paper we argue that all three face what we call the problem of modal epistemic friction. One consequence of the problem is that for any of the three accounts to yield modal knowledge, the account must provide an epistemology of essence. We discuss an attempt to fend off the problem within the context of the internalism (...) versus externalism debate about epistemic justification. We then investigate the effects that the PMEF has on reductive and non-reductive theories of the relation between essence and modality. (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)

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)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (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} is 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher 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 two-dimensional 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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents 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 in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. 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)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (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} is 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher 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 two-dimensional 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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents 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 in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. 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)

Modal primitivists hold that some modal truths are primitively true. They thus seem to face a special epistemological problem: how can primitive modal truths be known? The epistemological objection has not been adequately developed in the literature. I undertake to develop the objection, and then to argue that the best formulation of the epistemological objection targets all realists about modality, rather than the primitivist alone. Furthermore, the moves available to reductionists in response to the objection are also available to primitivists. (...) I conclude by suggesting that extant theories of the epistemology of modality are not sensitive to the question of primitivism versus reductionism. (shrink)

This paper discusses a puzzle raised by Sharon Berry, published in Analysis. The question in the background of this puzzle is how we should deal with seemingly plausible possibility judgements that commit us to counterfactual truths that find no basis in reality. Three answers to this question and their corresponding solutions to the puzzle will be discussed. The last answer provides a way to make sense of the claim that it is in some cases indeterminate whether a proposition is possible (...) and offers an account of indeterminate modal status. (shrink)

Those who aim to give an account of modal knowledge face two challenges: the integration challenge of reconciling an account of what is involved in knowing modal truths with a plausible story about how we can come to know them, and the reliability challenge of giving a plausible account of how we could have evolved a reliable capacity to acquire modal knowledge. I argue that recent counterfactual and dispositional accounts of modal knowledge cannot solve these problems regarding specifically metaphysical modal (...) truths—leaving us with the threat of skepticism about large portions of metaphysics, and certain other areas of philosophy. I argue, however, that both of these problems look insuperable only if we assume that metaphysical modal discourse serves a describing or tracking function. If we adopt instead a normativist approach to metaphysical modal discourse, which sees the basic function of modal discourse as giving us perspicuous ways of conveying, reasoning with, and renegotiating semantic rules, the problems show up very differently. The modal normativist can give a plausible response to both of the classic problems of how we can come to know metaphysical modal truths. (shrink)

In this paper we argue that there are no categories of being⎯at least not in the robust metaphysical sense of something fundamental. Central arguments that metaphysicians provide in support of fundamental categories, such as indispensability and theoretical utility arguments, are not adequate to guarantee their existence. We illustrate this point by examining Jonathan Lowe’s [2006] four-category ontology, and indicating its shortcomings. In contrast, we offer an alternative, no-category ontology, which dispenses with any fundamental categories of being, and provides a deflationary (...) understanding of any categorization in terms of concepts. Concepts, we insist, as opposed to fundamental ontological categories, can always be revised, refined, and recast. A distinctive deflationary, no-category ontology then emerges. (shrink)

We describe the main issue debated at the IV Blasco Disputatio: whether our knowledge of metaphysical possibility and necessity rests on knowledge of essence. But before getting to this specific issue, we offer a broader introduction to the more general problems in the epistemology of modality. In this way, we establish a background against which the contributions to this SI can be better appreciated.

In this paper we examine theoretical utility arguments in metaphysics. While philosophers claim a procedural continuity with science when using such arguments, we argue that examining famous instances from the history of science expose their fundamental flaws. We find that arguments from theoretical utility invoke considerations that are not truth conducive and that justifications for claims that a theory possesses theoretical virtues often assume the truth of the theory such virtues are supposed to support. We conclude that theoretical utility arguments (...) provide no epistemic grounds for metaphysical inquiry. (shrink)

Mathematical concepts play at least three roles in the application of mathematics: an inferential role, a representational role, and an expressive role. In this paper, I argue that, despite what has often been alleged, platonists do not fully accommodate these features of the application of mathematics. At best, platonism provides partial ways of handling the issues. I then sketch an alternative, anti-realist account of the application of mathematics, and argue that this account manages to accommodate these features of the application (...) process. In this way, a better account of mathematical applications is, in principle, available. (shrink)

This paper scrutinises the limits of a posteriori induction in acquiring modal knowledge. I focus on my similarity-based account (Roca-Royes [2017]); an inductive, non-rationalist epistemology of modality about concrete entities. Despite the explanatory merits of the account in relation to a vast range of modal claims, this inductive epistemology has been found incapable of yielding knowledge of a certain, other range of modal claims. Here, two notions of knowability are distinguished which reveal some of these limitations to be not only (...) accidental to the method but also virtuous. Additionally, the scrutiny suggests a recipe for increasingly pushing back, as modal enquirers, some of these limits. Limits will irremediably remain. But, as modal epistemologists, it is to explain what lies beyond these irremediable limits (not within) that we should look somewhere else. (shrink)

Despite the alleged roles played by structures, substances, and facts in mathematical and metaphysical theorizing, in this paper I provide a strategy to dispense with them. It is argued that one need not be committed to the existence of these posits nor with the metaphysically inflationary interpretations that support them. An alternative, deflationary approach is then sketched.

This essay proposes an alternative reading of David Lewis’s On the Plurality of Worlds (OpW) by drawing parallels between this book and a performance by Andy Kaufman, Andy Wrestles the Ladies (AwL). The proposed reading is ultimately grounded by a joke: that it is more credible to believe that similarly to Kaufman in AwL, Lewis impersonated a character in OpW by performing a reductio ad absurdum than to believe that he seriously defended modal realism. After all, to support this thesis (...) is to face countless objections while showing varied lacks of awareness and justifying the attribution to oneself of Ostrichist. The latter abbreviates the predicate, “to act like an ostrich,” attributable to that which lacks varied kinds of awareness in acting in a way comparable to that of a bizarre ostrich that buries its head in the sand for no good reason. (shrink)

Modal agnosticism is the view that we must be agnostic about whether things could have turned out differently. I argue that claims about unrealised possibilities are not justified by our modal intuitions, nor are they justified by any of the means proposed by philosophers. It follows that we do not have merely metaphysical modal knowledge, and that we must adopt modal agnosticism.

I compare two prominent approaches to knowledge of metaphysical modality, the more traditional approach via conceiving viz. imagining a scenario and a more recent approach via counterfactual reasoning. In particular, Timothy Williamson has claimed that the proper context for a modal exercise of imagination is a counterfactual supposition. I critically assess this claim, arguing that a purely conceivability/imaginability-based approach has a key advantage compared to a counterfactual-based one. It can take on board Williamson’s insights about the structure of modal imagination (...) while avoiding aspects of counterfactual reasoning which are orthogonal to figuring out metaphysical modality. In assessing whether A is possible, we creatively devise test scenarios, psychologically and metaphysically apt A-scenarios, which manifest the relevant metaphysical requirements and test them for their compatibility with A. In this exercise, imagination is subject to implicit constraints as Williamson has it, but it is not bound to drawing consequences from minimally altering actuality such as to make room for A. (shrink)