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. 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. 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. 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. 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. 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)

We often ascribe possibility to the scenes that are displayed by mental or nonmental sensory images. The paper presents a novel argument for thinking that we are prima facie justified in ascribing metaphysical possibility to what is displayed by suitable visual images, and it argues that many of our imagery‐based ascriptions of metaphysical possibility are therefore prima facie justified. Some potential objections to the arguments are discussed, and some potential extensions of them, to cover nonvisual forms of imagery and nonmetaphysical (...) forms of possibility, are endorsed. (shrink)

Several philosophers of science claim that scientific toy models afford knowledge of possibility, but answers to the question of why toy models can be expected to competently play this role are scarce. The main line of reply is that toy models support possibility claims insofar as they are credible. I raise a challenge for this credibility-thesis, drawing on a familiar problem for imagination-based modal epistemologies, and argue that it remains unanswered in the current literature. The credibility-thesis has a long way (...) to go if it is to account for the epistemic merits of toy models. (shrink)

The paper argues against Peacocke's moderate rationalism in modality. In the first part, I show, by identifying an argumentative gap in its epistemology, that Peacocke's account has not met the Integration Challenge. I then argue that we should modify the account's metaphysics of modal concepts in order to avoid implausible consequences with regards to their possession conditions. This modification generates no extra explanatory gap. Yet, once the minimal modification that avoids those implausible consequences is made, the resulting account cannot support (...) Peacocke's moderate rationalism. (shrink)

Abstract Timothy Williamson has recently proposed to undermine modal skepticism by appealing to the reducibility of modal to counterfactual logic ( Reducibility ). Central to Williamson’s strategy is the claim that use of the same non-deductive mode of inference ( counterfactual development , or CD ) whereby we typically arrive at knowledge of counterfactuals suffices for arriving at knowledge of metaphysical necessity via Reducibility. Granting Reducibility, I ask whether the use of CD plays any essential role in a Reducibility-based reply (...) to two kinds of modal skepticism. I argue that its use is entirely dispensable, and that Reducibility makes available replies to modal skeptics which show certain propositions to be metaphysically necessary by deductive arguments from premises the modal skeptic accepts can be known. Content Type Journal Article Pages 1-19 DOI 10.1007/s11098-011-9784-4 Authors Juhani Yli-Vakkuri, Wolfson College, Oxford University, Oxford, OX2 6UD UK Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential properties obtaining (...) and their metaphysical possibility or verification. I then generalize the approach to haecceitistic properties, and examine the Julius Caesar problem as a test case. (shrink)

Many metaphysical controversies can be understood as debates over whether some alleged entities are metaphysically possible. No doubt, with regard to these matters, we may have opinions or theories, commonsensical or sophisticated. But do we have knowledge of them? Can we really know that something is metaphysically possible, and if so, how? Several different answers have been offered in the literature, intending to illustrate how we may have knowledge of metaphysical modality. In this paper, I concentrate on a proposal by (...) Timothy Williamson. On this account, our alleged knowledge of metaphysical modality is justified by and grounded in our capacity to handle ordinary mundane counterfactual conditionals. However, I argue that Williamson’s account fails, mainly because the modality involved in ordinary mundane counterfactuals is causal, and thus our capacity to handle them still falls short of giving us any knowledge of metaphysical modality. In the end of the paper, I also provide my own answer to the question. My answer is a sceptical one: we do not really have knowledge of metaphysical modality. But such ignorance is harmless, or so I argue. (shrink)

According to modalism, modality is primitive. In this paper, we examine the implications of this view for modal epistemology, and articulate a modalist account of modal knowledge. First, we discuss a theoretical utility argument used by David Lewis in support of his claim that there is a plurality of concrete worlds. We reject this argument, and show how to dispense with possible worlds altogether. We proceed to account for modal knowledge in modalist terms.

I present a formal theory of the logic and aboutness of imagination. Aboutness is understood as the relation between meaningful items and what they concern, as per Yablo and Fine’s works on the notion. Imagination is understood as per Chalmers’ positive conceivability: the intentional state of a subject who conceives that p by imagining a situation—a configuration of objects and properties—verifying p. So far aboutness theory has been developed mainly for linguistic representation, but it is natural to extend it to (...) intentional states. The proposed framework combines a modal semantics with a mereology of contents: imagination operators are understood as variably strict quantifiers over worlds with a content-preservation constraint. (shrink)

My topic is moderate modal skepticism in the spirit of Peter van Inwagen. Here understood, this is a conservative version of modal empiricism that severely limits the extent to which an ordinary agent can reasonably believe “exotic” possibility claims. I offer a novel argument in support of this brand of skepticism: modal skepticism grounds an attractive (and novel) reply to Humean skepticism. Thus, I propose that modal skepticism be accepted on the basis of its theoretical utility as a tool for (...) dissolving philosophical paradox. (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)

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)

The idea that justified modal belief can be accounted for in terms of empirically justified, non-modal belief is enjoying increasing popularity in the epistemology of modality. One alleged reason to prefer modal empiricism over more traditional, rationalist modal epistemologies is that empiricism avoids the problem with the integration challenge that arise for rationalism, assuming that we want to be realists about modal metaphysics. In this paper, I argue that given two very reasonable constraints on what it means to meet the (...) integration challenge for modality, empiricism is currently at best on a par with, but potentially worse off than, rationalist alternatives, with respect to the integration challenge. (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)

What is our epistemic access to metaphysical modality? Timothy Williamson suggests that the epistemology of counterfactuals will provide the answer. This paper challenges Williamson's account and argues that certain elements of the epistemology of counterfactuals that he discusses, namely so called background knowledge and constitutive facts, are already saturated with modal content which his account fails to explain. Williamson's account will first be outlined and the role of background knowledge and constitutive facts analysed. Their key role is to restrict our (...) imagination to rule out irrelevant counterfactual suppositions. However, background knowledge turns out to be problematic in cases where we are dealing with metaphysically possible counterfactual suppositions that violate the actual laws of physics. As we will see, unless Williamson assumes that background knowledge corresponds with the actual, true laws of physics and that these laws are metaphysically necessary, it will be difficult to address this problem. Furthermore, Williamson's account fails to accommodate the distinction between conceivable yet metaphysically impossible scenarios, and conceivable and metaphysically possible scenarios. This is because background knowledge and constitutive facts are based strictly on our knowledge of the actual world. Williamson does attempt to address this concern with regard to metaphysical necessities – as they hold across all possible worlds – but we will see that even in this case the explanation is questionable. These problems, it will be suggested, cannot be addressed in a counterfactual account of the epistemology of modality. The paper finishes with an analysis of Williamson's possible rejoinders and some discussion about the prospects of an alternative account of modal epistemology. (shrink)

Philosophers often make exotic-sounding modal claims, such as: “A timeless world is impossible”, “The laws of physics could have been different from what they are”, “There could have been an additional phenomenal colour”. Otherwise popular empiricist modal epistemologies in the contemporary literature cannot account for whatever epistemic justification we might have for making such modal claims. Those who do not, as a result of this, endorse scepticism with respect to their epistemic status typically suggest that they can be justified but (...) have yet to develop some distinct, workable theory of how. That is, they endorse a form of non-uniformism about the epistemology of modality, according to which claims about philosophically interesting modal matters need to be justified differently from e.g. everyday or scientific modal claims, but they fail to provide any more detail. This article aims to fill this gap by outlining how such a non-uniformist view could be spelled out and what story about philosophically interesting modal justification it could contain. (shrink)

The idea that justified modal belief can be accounted for in terms of empirically justified, non-modal belief is enjoying increasing popularity in the epistemology of modality. One alleged reason to prefer modal empiricism over more traditional, rationalist modal epistemologies is that empiricism avoids the problem with the integration challenge that arise for rationalism, assuming that we want to be realists about modal metaphysics. In this paper, I argue that given two very reasonable constraints on what it means to meet the (...) integration challenge for modality, empiricism is currently at best on a par with, but potentially worse off than, rationalist alternatives, with respect to the integration challenge. (shrink)

In recent years, more and more people have become attracted by the idea that the imagination should play a central role in explaining our knowledge of what is possible and necessary and what would be the case if things were different from how they actually are. The biggest challenge for this account is to explain how the imagination can be restricted in such a way that it can play this epistemic role, for there are certainly also unrestricted uses of the (...) imagination in which it fails to yield the requisite knowledge. In this paper, I inquire how Kant’s account of the imagination could inspire the contemporary debate at this point. I first give an overview about Kant’s account of the imagination and its different roles for our cognition of the real world. I then show that some recent attempts to separate the epistemically valuable uses of the imagination from the epistemically worthless ones bear some striking similarities to Kant’s ideas about how the imagination helps us to get insight into metaphysical possibility. By discussing what Kant says about the method of a priori imaginative construction in the case of concepts such as that of matter and that of disembodied minds, I also point to those aspects of his view which make his views really distinct from all contemporary accounts, but which he himself thought bear the greatest potential of making the imagination a source of modal knowledge. (shrink)

Resumen: El presente escrito argumenta cómo el denominado abuso de lo necesario a posteriori, propuesto en Beebee y Sabbarton-Leary, asume erróneamente que: a) los enunciados necesarios a posteriori requieren un compromiso metafísico con un esencialismo no trivial; y b) que el experimento mental de la tierra gemela cumple un rol evidencial en la determinación de lo necesario a posteriori. Contra a), se sostiene que lo necesario a posteriori no requiere un compromiso esencialista no trivial; a lo sumo, el esencialismo no (...) trivial es consecuencia de la propuesta de lo necesario a posteriori. Contra b), se afirma cómo el experimento mental de la tierra gemela cumple un rol subsidiario, explicativo y no evidencial. Esto evita un compromiso ontológico con el nexo concebible - posible. Luego, se discute cómo la noción de co- referencialidad rígida es una vía de solución a la exigencia de esencialismo no trivial. Finalmente, se considera de qué modo el esencialismo científico de Brian Ellis, al enunciar condiciones a priori de satisfacción, no afecta la justificación de lo necesario a posteriori. Del mismo modo, se defiende un nexo término rígido de jure/clase sustancial - término rígido de facto/clase propiedad.: This paper discusses how the so-called "abuse of the necessary a posteriori", proposed by Beebee and Sabbarton-Leary, erroneously assumes that: a) necessary a posteriori statements require a metaphysical commitment to a non-trivial essentialism, and b) the thought experiment of the twin earth fulfills an evidential role in determining the necessary a posteriori. Against a), it is argued that the necessary a posteriori does not require a non-trivial essentialist commitment; at most, nontrivial essentialism is a consequence of the necessary a posteriori. Contra b), it is stated how the thought experiment of the twin earth fulfills a subsidiary, explanatory, and non-evidential role. This prevents an ontological commitment to the conceivable-possible connection. It is then discussed how the notion of rigid coreferentiality is a way of solving the non-trivial essentialism requirement. Finally, we consider how Brian Ellis' scientific essentialism, in stating a priori conditions of satisfaction, does not affect the necessary a posteriori justification. (shrink)

In his ‘anti-zombie argument’, Keith Frankish turns the tables on ‘zombists’, forcing them to find an independent argument against the conceivability of anti-zombies. I argue that zombists can shoulder the burden, for there is an important asymmetry between the conceivability of zombies and the conceivability of anti-zombies, which is reflected in the embedding of a totality-clause under the conceivability operator. This makes the anti-zombie argument susceptible to what I call the ‘Modified Incompleteness’, according to which we cannot conceive of scenarios. (...) In this paper I also argue that conceiving of the zombie-situation is a good starting point for rendering the zombie argument plausible. (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 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)

Appealing to imagination for modal justification is very common. But not everyone thinks that all imaginings provide modal justification. Recently, Gregory and Kung :620–663, 2010) have independently argued that, whereas imaginings with sensory imageries can justify modal beliefs, those without sensory imageries don’t because of such imaginings’ extreme liberty. In this essay, I defend the general modal epistemological relevance of imagining. I argue, first, that when the objections that target the liberal nature of non-sensory imaginings are adequately developed, those objections (...) also threaten the sensory imaginings. So, if we think that non-sensory imaginings are too liberal for modal justification, we should say the same about sensory imaginings. I’ll finish my defense by showing that, when it comes to deciding between saying that all imaginings are prima facie justificatory and saying that no imaginings are justificatory, there is an independent reason for accepting the former. (shrink)

According to what Hume termed an ‘establish’d maxim’, nothing absolutely impossible is imaginable. It has recently been claimed against this that given the ubiquity of stipulative imagination, where one imagines a proposition simply by adding it as a stipulation about the imagined situation, it seems that we can imagine any impossibility whatsoever, even plain contradictions: all we need to do is add them as stipulations. The aim of this article is both to defend Hume’s maxim against this objection and – (...) hopefully interestingly – to do so while granting the assumption that adding something as a stipulation is a valid way of imagining something. To this end, appeal is made to a particular development of a second Humeanism, according to which necessary truths are analytic in the sense that their truth follows from their meaning. Their analyticity, it is then argued, secures that they are true in all imagined situations. Therefore, even if it is right that a valid way of imagining something is to add it as a stipulation, attempting to stipulate that, say, some imaginary bachelor is also married is bound to fail: you can’t stipulate it to be the case because it really isn’t the case. (shrink)

There are many modal epistemologies available to us. Which should we endorse? According to Bob Hale, we can start to answer this question by examining the architecture of modal knowledge. That is, we can try to decide between the following claims: knowing that p is possible is essentially a matter of having a well-founded belief that there are no conflicting necessities—a necessity-based approach—and knowing that p is necessary is essentially a matter of having a well-founded belief that there are no (...) conflicting possibilities—a possibility-based approach. Hale argues for the first of these claims, but I contend that his arguments fail. However, it doesn't follow that we should endorse a possibility-based approach. I repurpose Hale's arguments to show those who would endorse possibility-based approaches need to say more about our modal knowledge concerning logic and mathematics; if they can't, then they ought to endorse a hybrid modal epistemology that doesn't give priority to one modality across the board. Additionally, those who endorse possibility-based views may be committed to Peter van Inwagen's modal skepticism. (shrink)

RÉSUMÉDans l’esprit du scepticisme modal, Peter Hawke propose une épistémologie modale, la théorie de l’explication sûre, qui adopte la forme de l’empirisme modal. Avec la SET, il essaie de défendre l’induction énumérative : on croit raisonnablement que tout X est F sur la base d’un échantillon suffisamment grand dans lequel tout X est F. Dans cet article, je soutiens que l’argmentation de Hawke échoue. De plus, je signale un problème avec la SET, lequel cause cet échec : la SET est (...) trop stricte pour expliquer certaines affirmations possibles que nous avons le droit de croire. (shrink)

RÉSUMÉDans l’esprit du scepticisme modal, Peter Hawke propose une épistémologie modale, la théorie de l’explication sûre, qui adopte la forme de l’empirisme modal. Avec la SET, il essaie de défendre l’induction énumérative : on croit raisonnablement que tout X est F sur la base d’un échantillon suffisamment grand dans lequel tout X est F. Dans cet article, je soutiens que l’argmentation de Hawke échoue. De plus, je signale un problème avec la SET, lequel cause cet échec : la SET est (...) trop stricte pour expliquer certaines affirmations possibles que nous avons le droit de croire. (shrink)

Howell Pacific Philosophical Quarterly, 89, 348–358 and Mizrahi and Morrow Ratio, 28, 1–13 offer a group of reductio arguments to rebut the CP thesis, i.e., the hypothesis that ideal conceivability entails possibility. Each of them has a conceivability premise: it is ideally conceivable that CP is false. According to the same CP, one can infer that CP’s being false is possible, from which it follows that CP is false. In other words, CP is shown to be self-defeating and therefore false (...) if any of these reductio arguments is proved sound. In this paper, I aim to disprove these arguments. I first show that neither Howell nor Mizrahi & Morrow provide adequate justification for their conceivability premises. I go on to argue that these reductio arguments face a dilemma: either their conceivability premises cannot be adequately justified, or they are redundant. Finally, I argue that, although this dilemma resists the reductio arguments against CP, on the other hand, it also reveals that CP lacks epistemic fruitfulness: it is of no practical use in the realm of apriority as well as necessity. (shrink)

The method of thought experiments or possible cases is widespread in philosophy and elsewhere. Thought experiments come with variegated theoretical commitments. These commitments are risky. They may turn out to be false or at least controversial. Other things being equal, it seems preferable to do with minimal commitments. I explore exemplary ways of minimising commitments, focusing on modal ones. There is a near-consensus to treat the scenarios considered in thought experiments as metaphysical possibilities. I challenge this consensus. Paradigmatic thought experiments (...) do not have to come with a commitment to metaphysical possibilities. In the first section, I point out difficulties with the prevailing focus on metaphysical possibilities. In the second section, I present alternative formalisations of a paradigmatic thought experiment, the Gettier experiment. Gettier’s words leave open the kind of possibilities under consideration. The standard way of spelling out Gettier’s argument uses metaphysical possibilities. One alternative proposal uses nomological possibilities. A second one uses epistemic possibilities. My modest conclusion: as long as it is not established that a thought experiment requires a commitment to metaphysical modality, one should avoid such a commitment. My preferred way of doing so is to replace the commitment to one particular formalisation by a commitment to a disjunction of alternative formalisations. (shrink)

Since our capacities and methods of cognizing reality merely seem to tell us how things are but only within close limits how they could or must be, our claims to knowledge of mere possibilities and necessities raise the suspicion of exceptionalism: the capacities and methods used in developing these claims seem special compared to those involved in cognizing reality. One may be sceptical especially with regard to them, and there are doubts that they can be naturalistically explained. To avoid exceptionalism, (...) Timothy Williamson has proposed to reduce the epistemology of modality to the epistemology of everyday counterfactuals. There are doubts that the proposal succeeds. One objection is that the counterfactual-based epistemology fails to account for metaphysical necessities like the necessity of origin. For the account to cover such necessities, constitutive facts like the origin of a living being would have to form implicit constraints built into the capacity for everyday counterfactual reasoning. But is counterfactual reasoning indeed so constrained? I answer this question in the affirmative, presenting an epistemology of counterfactuals for modal epistemology to build on. The constraints gradually emerge by a broadly abductive process, starting from within everyday counterfactual reasoning. The process does not presuppose any independent knowledge of the constitutive status of certain facts. (shrink)

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)

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)

This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I argue that the interaction between the multi-dimensional intensional framework and intensional plural quantification enables epistemic possibilities to target the haecceitistic properties of individuals. I outline the elements of plural logic, and I specify, then, a multi-dimensional intensional formula encoding the relation between the epistemic possibility of haecceity comprehension and its metaphysical possibility. I conclude by addressing objections from the indeterminacy (...) of ontological principles relative to the space of epistemic possibilities, and from the consistency of epistemic modal space. (shrink)

Ordinary Language Philosophy has largely fallen out of favour, and with it the belief in the primary importance of analyses of ordinary language for philosophical purposes. Still, in their various endeavours, philosophers not only from analytic but also from other backgrounds refer to the use and meaning of terms of interest in ordinary parlance. In doing so, they most commonly appeal to their own linguistic intuitions. Often, the appeal to individual intuitions is supplemented by reference to dictionaries. In recent times, (...) Internet search engine queries for expressions of interest have become quite popular. Apparently, philosophers attempt to surpass the limits of their own linguistic intuitions by appealing to experts or to factual uses of language. I argue that this attempt is commendable but that its execution is wanting. Instead of appealing to dictionaries or Internet queries, philosophers should employ computer-based linguistic corpora in order to confirm or falsify hypotheses about the factual use of language. This approach also has some advantages over methods employed by experimental philosophers. If the importance of ordinary language is stressed, the use of linguistic corpora is hardly avoidable. (shrink)

The starting point of this paper is an argument to the conclusion that the definition of metaphysical possibility in terms of correct conceivability, conceivability informed by knowledge of relevant essences, found in Rosen (2006) is equivalent to a version of the essentialist definition of metaphysical necessity. This argument appears to show that correct conceivability is a notion of conceivability by name only and is therefore of no interest to epistemologists of modality. In this paper, I present the equivalence argument, explain (...) the idealizing assumptions involved in it and sketch a version of the conceivability approach which weakens these assumptions in order to show that the notion of correct conceivability can still play a specific limited role in the epistemology of modality. (shrink)