Modal Epistemology, Misc

In his Meditations, Rene Descartes asks, "what am I?" His initial answer is "a man." But he soon discards it: "But what is a man? Shall I say 'a rational animal'? No: for then I should inquire what an animal is, what rationality is, and in this way one question would lead down the slope to harder ones." Instead of understanding what a man is, Descartes shifts to two new questions: "What is Mind?" and "What is Body?" These questions develop (...) into Descartes's main philosophical preoccupation: the Mind-Body distinction. How can Mind and Body be independent entities, yet joined--essentially so--within a single human being? If Mind and Body are really distinct, are human beings merely a "construction"? On the other hand, if we respect the integrity of humans, are Mind and Body merely aspects of a human being and not subjects in and of themselves? For centuries, philosophers have considered this classic philosophical puzzle. Now, in this compact, engaging, and long-awaited work UCLA philosopher Joseph Almog closely decodes the French philosopher's argument for distinguishing between the human mind and body while maintaining simultaneously their essential integration in a human being. He argues that Descartes constructed a solution whereby the trio of Human Mind, Body, and Being are essentially interdependent yet remain each a genuine individual subject. Almog's reading not only steers away from the most popular interpretations of Descartes, but also represents a scholar coming to grips directly with Descartes himself. In doing so, Almog creates a work that Cartesian scholars will value, and that will also prove indispensable to philosophers of language, ontology, and the metaphysics of mind. (shrink)

One of the liveliest debates about cognition concerns whether our cognition sometimes extends beyond our brains and bodies. One party says Yes, another No. This paper shows that debate between these parties has been epistemologically confused and requires reorienting. Both parties frequently appeal to empirical considerations and to extra-empirical theoretical virtues to support claims about where cognition is. These things should constrain their claims, but cannot do all the work hoped. This is because of the overlooked fact, uncovered in this (...) paper, that we could never distinguish the rival views empirically or by typical theoretical virtues. I show this by drawing on recent work on testing, predictive accuracy, and theoretical virtues. The recommendation to emerge is that we step back from debate about where cognition is, to the epistemology of what cognition is. (shrink)

In his _Being Known_ Peacocke sets himself the task of answering how we come to know about metaphysical necessities. He proposes a semantic principle-based conception consisting of, first, his Principles of Possibility which provide necessary and sufficient conditions for a new concept ‘admissibility’, and second, characterizations of possibility and of necessity in terms of that new concept. I focus on one structural feature; viz. the recursive application involved in the specification of ‘admissibility’. After sketching Peacocke’s proposal, I introduce a fictional (...) protagonist, Cautious Peacocke, whose coherence I claim shows that Peacocke’s proposal cannot be made good. I conclude with the conjecture that similar failure will attend any such semantic-based attempts to ground the epistemology of metaphysical necessity. (shrink)

Frank Knight (1921) famously distinguished the epistemic modes of certainty, risk, and uncertainty in order to characterize situations where deterministic, probabilistic or possibilistic foreknowledge is available. Because our probabilistic knowledge is limited, i.e. because many systems, e.g. the global climate, cannot be described and predicted probabilistically in a reliable way, Knight's third category, possibilistic foreknowledge, is not simply swept by the probabilistic mode. This raises the question how to justify possibilistic predictionsincluding the identication of the worst case. The development of (...) such a modal methodology is particularly vital with respect to predictions of climate change. I show that a methodological dilemma emerges when possibilistic predictions are framed in traditional terms and argue that a more nuanced conceptual framework, distinguishing dierent types of possibility, should be used in order to convey our uncertain knowledge about the future. The new conceptual scheme, however, questions the applicability of standard rules of rational decision-making, thus generating new challenges. (shrink)

This paper introduces a modal epistemology that centers on inference to the best explanation (i.e. abduction). In introducing this abduction-centered modal epistemology, the paper has two main goals. First, it seeks to provide reasons for pursuing an abduction-centered modal epistemology by showing that this epistemology aids a popular stance on the mind-body problem and allows an appealing approach to modality. Second, the paper seeks to show that an abduction-centered modal epistemology can work by showing that abduction can establish claims about (...) necessity/possibility (i.e. modal claims)—where ‘necessity’ and ‘possibility’ denote metaphysical necessity and possibility, ways things may or may not have been given how they actually are. (shrink)

In Meaning and Necessity (1947/1950), Carnap advances an intensional semantic framework on which modal claims are true in virtue of semantical rules alone, and so are a priori. In 'Empiricism, Semantics, and Ontology' (1950), Carnap advances an epistemic-ontological framework on which metaphysical claims are either trivial or meaningless, since lacking any means of substantive confirmation. Carnap carried out these projects two decades before Kripke influentially argued, in Naming and Necessity (1972/1980), that some modal claims are true a posteriori. How should (...) a neo-Carnapian respond to Kripke's results? Some (notably, Chalmers and Jackson, in their 2001) have suggested that an extension of intensional semantics along lines of "epistemic two-dimensionalism" can accommodate Kripke's results while largely preserving commitment to the semantics-based a priority of modal claims. Here we consider how best to implement this suggestion, and how the resulting semantics fits with Carnap's second project. We find that the most promising (and most Carnapian!) post-Kripke version of Carnap’s semantics---abductive two-dimensionalism---presupposes an epistemology which undermines Carnap's metaphysical anti-realism. (shrink)

Modal inquiry is plagued by methodological problems. The best-developed views on modal semantics and modal ontology take modalstatements to be true in virtue of relations between possible worlds. Unfortunately, such views turn modal epistemology into a mystery, and this paper is about ways to avoid that problem. It looks at different remedies suggested by Quine, Blackburn and Peacocke and finds them all wanting. But although Peacocke’s version of the popular conceptualist approach fails to give a normative account of correct modal (...) judgments, it goes a long way in suggesting how we come to make particular judgments of absolute necessity. Building on that suggestion, the paper explains how conceptualism can be transformed into a radically naturalist account of correct modal judgment that fits into a more general approach to naturalized semantics, represented by the writings of Richard Boyd and Ruth Millikan, and suggests some lessons for modal epistemology. (shrink)

Which mathematical structures are possible, that is, instantiated by the concrete inhabitants of some possible world? Are there worlds with four-dimensional space? With infinite-dimensional space? Whence comes our knowledge of the possibility of structures? In this paper, I develop and defend a principle of plenitude according to which any mathematically natural generalization of possible structure is itself possible. I motivate the principle pragmatically by way of the role that logical possibility plays in our inquiry into the world.

This paper considers two competing pictures of knowledge of what one ought to do—one which assimilates this to other propositional knowledge conceived as partial ‘locational’ knowledge of where one is in a space of possibilities, the other which distinguishes this from other propositional knowledge by construing it as partial ‘directional’ knowledge of what to do in particular circumstances. I argue that the apparent tension can be lessened by better understanding the contextualized modal-cum-prescriptive nature of ‘ought’ and enriching our conception of (...) the kinds of possibilities within which we can locate ourselves. (shrink)

Our knowledge of the most basic alternative possibilities can be thought of as generated recursively from what we know about the actual world. But what are the generating principles? According to one view, they are recombinational: roughly, alternative possibilities are generated by “patching together” parts of distinct worlds or “blotting out” parts of worlds to yield new worlds. I argue that this view is inadequate. It is difficult to state in a way that is true and non-trivial, and anyway fails (...) to account for our knowledge that there might have been other things, properties, relations, and combinations of these than there actually are. I sketch and defend an alternative view based on the distinction between determinable and determinate properties: roughly, alternative possibilities are generated by “intra-determinable” variation, variation from one determinate to another of the same determinable. (shrink)

We outline a theory of the cognitive role of belief in absolute necessity that is normative and intended to be metaphysically neutral. We take this theory to be unique in scope since it addresses simultaneously the questions of how such belief is (properly) acquired and of how it is (properly) manifest. The acquisition and manifestation conditions for belief in absolute necessity are given univocally, in terms of complex higher-order attitudes involving two distinct kinds of supposition (A-supposing and C-supposing). It is (...) subsequently argued that the proposed acquisition and manifestation conditions are rationally interdependent, and that such harmony affords explanations of connections between different facets of belief in necessity that otherwise remain mysterious. (shrink)

Against modal rationalism, Manolo Martínez argues that elementary bodily mechanisms allow cognizers to know possibility. He presents an exemplary behavioral mechanism adapted to maximizing expected outcome in a random game. The bodily mechanism purportedly tracks probabilities and related possibilities. However, it is doubtful that cognizers like us can know metaphysical modalities purely by virtue of bodily mechanisms without using rational capacities. Firstly, Martínez’s mechanism is limited. But knowledge of probabilities arguably has to cover a variety of probabilistic outcomes. One may (...) need an ability to calculate probabilities. Bodily mechanisms can realize such an ability, but this will presumably amount to instantiating rational capacities. Secondly, the purported connection between the items tracked by the bodily mechanism and genuine metaphysical possibilities is tenuous. There are points at which it may fail. Further, we would need to know by rational metaphysical considerations that the connection holds in order to bodily know possibilities. (shrink)

I survey a number of views about how we can obtain knowledge of modal propositions, propositions about necessity and possibility. One major approach is that whether a proposition or state of affairs is conceivable tells us something about whether it is possible. I examine two quite different positions that fall under this rubric, those of Yablo and Chalmers. One problem for this approach is the existence of necessary a posteriori truths and I deal with some of the ways in which (...) these authors respond to the problem, including the use of two-dimensional modal semantics. Conventionalism about modality offers a complementary approach to modal epistemology, prompting us to identify our knowledge of modal truths with our mastery of linguistic or conceptual conventions. Finally, I discuss an approach to modal epistemology deriving from David Lewis's work that seeks to identify structural features of the modal space over which necessity and possibility are defined. (shrink)

Accounts of modal knowledge are many and varied. How should we choose between them? I propose that we employ inference to the best explanation, and I suggest that there are three desiderata that we should use to rank hypotheses: conservatism, simplicity, and the ability to handle disagreement. After examining these desiderata, I contend that they can’t be used to justify belief in the modal epistemology that fares best, but that they can justify our accepting it in an epistemically significant sense. (...) Finally, I outline a modal epistemology that seems to do well by the standards I’ve recommended. (shrink)

The negative zombie argument concludes that physicalism is false from the premises that p ∧¬q is ideally negatively conceivable and that what is ideally negatively conceivable is possible, where p is the conjunction of the fundamental physical truths and laws and q is a phenomenal truth (Chalmers 2002; 2010). A sentence φ is ideally negatively conceivable iff φ is not ruled out a priori on ideal rational reflection. In this paper, I argue that the negative zombie argument is neither a (...) priori nor conclusive. First, I argue that the premises of the argument are true only if there exists an adequate finite ideal reasoner R that believes ◊(p ∧ ¬q) on the basis of not believing p→q on a priori basis. Roughly, a finite reasoner is a reasoner with cognitive limitations (e.g. finite memory). I argue that R is finite only if R reasons nonmonotonically and only approach ideal reflection at the limit of a reasoning sequence. This would render the argument nonconclusive. Finally, I argue that, for some q, R does not believe ◊(p ∧ ¬q) on the basis of not believing p→q on a priori basis (e.g. for q =‘something is conscious’). This would render the choice of an adequate q dependent on empirical information (and the argument a posteriori). I conclude that the negative zombie argument (and, maybe, all zombie arguments) is neither a priori nor conclusive. (shrink)

This article argues for two related theses. First, it defends a general thesis: any kind of necessity, including metaphysical necessity, can only be known a priori. Second, however, it also argues that the sort of a priori involved in modal metaphysical knowledge is not related to imagination or any sort of so-called epistemic possibility. Imagination is neither a proof of possibility nor a limit to necessity. Rather, modal metaphysical knowledge is built on intuition of philosophical categories and the structures they (...) form. (shrink)

The capacity to represent things to ourselves as possible plays a crucial role both in everyday thinking and in philosophical reasoning; this volume offers much-needed philosophical illumination of conceivability, possibility, and the relations between them.

The problem of imaginative resistance holds interest for aestheticians, literary theorists, ethicists, philosophers of mind, and epistemologists. We present a somewhat opinionated overview of the philosophical discussion to date. We begin by introducing the phenomenon of imaginative resistance. We then review existing responses to the problem, giving special attention to recent research directions. Finally, we consider the philosophical significance that imaginative resistance has—or, at least, is alleged to have—for issues in moral psychology, theories of cognitive architecture, and modal epistemology.

Modal rationalists uphold a strong constitutive relationship between a priori cognition and modal cognition. Since both a priori cognition and modal cognition have been taken to be characteristic of philosophical insights, I will critically assess an ambitious modal rationalism and an associated ambitious methodological rationalism. I begin by examining Kripkean cases of the necessary a posteriori in order to characterize the ambitious modal rationalism that will be the focus of my criticism. I then argue that there is a principled association (...) between this view in the epistemology of modality and an ambitious methodological rationalist picture of the nature of philosophical insights. On the basis of this discussion, I criticize ambitious modal rationalism and argue that the critique indicates some principled limits of generating philosophical insights by a priori modal cognition. Hence, my central diagnosis is that ambitious methodological rationalists are overly ambitious in the role that they assign a priori modal cognition in philosophical methodology. -/-. (shrink)

This paper examines the legitimacy of two common methodologies within philosophy: thought experiments and conceptual analysis. In particular, I examine the uses to which these two methodologies have been put within modal epistemology. I argue that, although both methods can be used to reveal conditional essentialist claims , neither can be used to reveal the de re essentialists claims they’re often taken to reveal.

Agustín Rayo’s The Construction of Logical Space offers an exciting and ambitious defense of a broadly Carnapian approach to metaphysics. This essay will focus on one of the main differences between Rayo’s and Carnap’s approaches. Carnap distinguished between analytic, a priori “meaning postulates”, and empirical claims, which were both synthetic and knowable only a posteriori. Like meaning postulates, they determine the boundaries of logical space. But Rayo is skeptical that the a priori/a posteriori or analytic/synthetic distinctions can do the work (...) Carnap wanted them to, so unlike meaning postulates, ‘just is’-statements aren’t assumed to be analytic or knowable a priori. This essay will concern the epistemology of ‘just is’-statements in Rayo’s picture. If not by a priori reflection, how can we determine which ones to accept? I’ll distinguish two competing strands in Rayo’s work. The less radical, Lewisian strand holds that the question of whether to accept a ‘just is’-statement can be addressed in a neutral, non-question-begging way, by a kind of cost-benefit analysis. The more radical, Kuhnian strand holds that there can be no ‘just is’-statement-independent, rational choice of which ‘just is’-statements to accept. I argue that Rayo faces strong internal pressure to adopt the Kuhnian picture. While it is possible for Rayo to resist these Kuhnian pressures, natural strategies for doing so leave his view more similar to Carnap’s than the above gloss suggested. (shrink)

Williamson has argued against scepticism concerning our metaphysically modal knowledge, by arguing that standard patterns of suppositional reasoning to counterfactual conclusions provide reliable sources of correct ascriptions of possibility and necessity. The paper argues that, while Williamson’s claims relating to necessity may well be right, he has not provided adequate reasons for thinking that the familiar modes of counterfactual reasoning to which he points generalise to provide a decent route to ascriptions of possibility. The paper also explores another path to (...) ascriptions of possibility that may be extracted from Williamson’s ideas, before briefly considering the general status of counterfactual reasoning in relation to our knowledge of possibilities. (shrink)

Recent work on the philosophy of modality has tended to pass over questions about iterated modalities in favour of constructing ambitious metaphysical theories of possibility and necessity, despite the central importance of iterated modalities to modal logic. Yet there are numerous unresolved but fundamental issues involving iterated modalities: Chandler and Salmon have provided forceful arguments against the widespread assumption that all necessary truths are necessarily necessary, for example. The current paper examines a range of ways in which one might seek (...) to identify limited regions within which some of the most well-known principles featuring iterated modalities may safely be assumed. (shrink)

I investigate two asymmetrical approaches to knowledge of absolute possibility and of necessity--one which treats knowledge of possibility as more fundamental, the other according epistemological priority to necessity. Two necessary conditions for the success of an asymmetrical approach are proposed. I argue that a possibility-based approach seems unable to meet my second condition, but that on certain assumptions--including, pivotally, the assumption that logical and conceptual necessities, while absolute, do not exhaust the class of absolute necessities--a necessity-based approach may be able (...) to do so. (shrink)

The multiverse view in set theory, introduced and argued for in this article, is the view that there are many distinct concepts of set, each instantiated in a corresponding set-theoretic universe. The universe view, in contrast, asserts that there is an absolute background set concept, with a corresponding absolute set-theoretic universe in which every set-theoretic question has a definite answer. The multiverse position, I argue, explains our experience with the enormous range of set-theoretic possibilities, a phenomenon that challenges the universe (...) view. In particular, I argue that the continuum hypothesis is settled on the multiverse view by our extensive knowledge about how it behaves in the multiverse, and as a result it can no longer be settled in the manner formerly hoped for. (shrink)

From a different perspective, “essential actuality” is related to logical actuality. It means plain existence in the ideal sphere of being. One is familiar with this, for example, in “mathematical existence.” This does not merge with validity, but implies ...

In recent work, E. J. Lowe presents an essence-based account of our knowledge of metaphysical modality that he claims to be superior to its main competitors. I argue that knowledge of essences alone, without knowledge of a suitable bridge principle, is insufficient for knowing that something is metaphysically necessary or metaphysically possible. Yet given Lowe's other theoretical commitments, he cannot account for our knowledge of the needed bridge principle, and so his essence-based modal epistemology remains incomplete. In addition to that, (...) Lowe's account implies a psychologically unrealistic reconstruction of how we ordinarily acquire knowledge of metaphysical modalities. The discussion of Lowe's suggestive essence-based account is also intended as a case study that illustrates a more general problem in the epistemology of modality: the great difficulty of explaining our modal knowledge in terms of a single overtly nonmodal kind of knowledge. The failure of Lowe's account suggests that such a sweeping reductive explanation of our modal knowledge might simply not be available. This should be good news for those philosophers who champion less reductive or more pluralistic accounts of our modal knowledge. (shrink)

Kant famously argued that, from experience, we can only learn how something actually is, but not that it must be so. In this paper, I defend an improved version of Kant's argument for the existence of a priori knowledge, the Modal Argument , against recent objections by Casullo and Kitcher. For the sake of the argument, I concede Casullo's claim that we may know certain counterfactuals in an empirical way and thereby gain epistemic access to some nearby, nomologically possible worlds. (...) But I maintain that our beliefs about metaphysical necessities still cannot be justified empirically. Furthermore, I reject Casullo's deflationary thesis about the significance of such justification. Kitcher's most troublesome objection is that we can gain any modal justification whatsoever through testimony , i.e. in an experiential way. This can be countered by distinguishing between productive sources of justification, like perception, and merely reproductive sources, like testimony. Thus, some productive a priori source will always be needed somewhere. (shrink)

So far, T×W frames have been employed to provide a semantics for a language of tense logic that includes a modal operator that expresses historical necessity. The operator is defined in terms of quantification over possible courses of events that satisfy a certain constraint, namely, that of being alike up to a given point. However, a modal operator can as well be defined without placing that constraint. This paper outlines a T×W logic where an operator of the latter kind is (...) used to express the epistemic property of definiteness. Section 1 provides the theoretical background. Sections 2 and 3 set out the semantics. Sections 4 and 5 show, drawing on established results, that there is a sound and complete axiomatization of the logic outlined. (shrink)

I know that I could have been where you are right now and that you could have been where I am right now, but that neither of us could have been turnips or natural numbers. This knowledge of metaphysical modality stands in need of explanation. I will offer an account based on our knowledge of the natures, or essencess, of things. I will argue that essences need not be viewed as metaphysically bizarre entities; that we can conceptualise and refer to (...) essences; and that we can gain knowledge of them. We can know about which properties are, and which properties are not, essential to a given entity. This knowledge of essence offers a route to knowledge of the ways those entities must be or could be. (shrink)

I present a case for a rapprochement between aspects of rationalism and scientific realism, by way of a general framework employing modal epistemology and elements of 2-dimensional semantics (2DS). My overall argument strategy is meta-inductive: The bulk of this paper establishes a “base case,” i.e., a concretely constructive example by which I demonstrate this linkage. The base case or constructive example acts as the exemplar for generating, in a constructively ‘bottom-up’ fashion, a more generally rigorous case for rationalism-realism qua modal (...) epistemology. The exemple I choose in D. Chalmers’ (2002) modal rationalism and R. Giere’s (1985, 1988) constructive realism. I show by way of a thorough analysis how Giere’s claims concerning modal scope are characterized as instances of Chalmers’ modal rationalism, both weak and strong. In essence, as I demonstrate via Chalmers’ notions, ceteris paribus the constructive realist ultimately opts for a comparatively wider gate, characterized by modal reasoning, to lead from the rooms of conceivability qua thought experiments and models, to the pastures of metaphysical possibility. Chalmers likewise tries to erect such a wider gate, in his general conceivability-possibility theses. Anti-realists, on the other hand, see a narrower passage and my contention herein is that they suffer from modal myopia, which hopefully the ‘corrective vision’ of Chalmers’ modal rationalism can restore. In the introduction and concluding sections I sketch out suggestions of constructing ‘inductive steps’ from my base case, to generate more extensively general claims regarding realism qua rationalism. -/- . (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)

According to no-futurism, past and present entities are real, but future ones are not. This view faces a skeptical challenge (Bourne 2002, 2006, Braddon-Mitchell, 2004): if no-futurism is true, how do you know you are present? I shall propose a new skeptical argument based on the physical possibility of Gödelian worlds (1949). This argument shows that a no-futurist has to endorse a metaphysical contingentist reading of no-futurism, the view that no-futurism is contingently true. But then, the no-futurist has to face (...) a new skeptical challenge: how do you know that you are in a no-futurist world? (shrink)

Defends an account of mathematical knowledge in which mathematical knowledge is a kind of modal knowledge. Leng argues that nominalists should take mathematical knowledge to consist in knowledge of the consistency of mathematical axiomatic systems, and knowledge of what necessarily follows from those axioms. She defends this view against objections that modal knowledge requires knowledge of abstract objects, and argues that we should understand possibility and necessity in a primative way.