The paper defends causal explanationism concerning our modal intuitions and judgments, and, in particular, the following claims. If a causally explainable mirroring or “pre-established harmony” between our mind and modal reality obtains, we are justified in believing it does. We do not hold our modal beliefs compulsively and blindly but with full subjective and objective justification. Therefore, causal explanation of our modal beliefs does not undermine rational trust in them. Explanation and trust support each other. (...) In contrast, anti-explanationists, claim that causal explanation of intuitions and judgments undermines rational trust in them. They especially target causal explanation in terms of pre-established harmony between our mind, shaped by causal processes, and the underlying modal structure of reality. The paper argues against them. The argument builds upon the claim that the appeal to modal facts is indispensable for systematization and explanation of non-modal ones. Therefore, we should assume that modal facts exist and are not disjoint and isolated from actual facts. The modal structure of the universe intervenes in the non-modal reality. Causal processes indirectly carry information about deep modal structure. Any causal explanation of our intuitional modal beliefs should start from this indirect contact with and information about modal facts. Therefore, if our intuitional modal beliefs are true and causally explainable, they are true in virtue of the deep underlying modal structure. They are sensitive to modal reality and track it. We can come to know this fact, and thus strengthen our spontaneous trust in our modal intuitions. (shrink)

In Naming and Necessity, Kripke argues that intuitions about what is possible play a limited, but important, role in challenging philosophical theses, counting as evidence against them only if they cannot be reconstrued as intuitions about something else, compatible with the thesis in question. But he doesn't provide clear guidelines for determining when such intuitions have been successfully reconstrued, leading some to question their status as evidence for modal claims. In this paper I focus on some (...) worries, articulated by Michael Della Rocca, about whether modal intuitions can be evidence for claims about essential properties, and argue that there is a way of viewing the role of modal intuition in philosophical argument that can preserve their evidential force. (shrink)

Claims concerning what is or is not possible abound in contemporary philosophy. The epistemology of such claims, however, remains largely unexplored. Anything imaginable is possible, we are told, with the proviso that imagination be governed by logic. Many who defend this methodology argue that logic frees us from recourse to some mysterious a priori faculty of intuition. Anything is possible so long as it does not contain a contradiction—and we don’t need intuition to tell us what is contradictory, just logic. (...) Logic is thus supposed to provide us with a non-mysterious, intuition-free, modal epistemology. The purpose of this paper is to argue that logic does not deliver on this promise. The argument proceeds along two fronts. First, I argue that logic is not sufficient for the task. Not only are there consistent but impossible propositions, there are even inconsistent propositions that are possible. Second, and more fundamentally, I question the epistemic independence of appeals to logical consistency. I will argue that in judging a proposition to be consistent we rely upon our intuitions concerning what is possible. In other words, our modal beliefs undergird our judgments about consistency and not vice-versa. (shrink)

In Naming and Necessity, Kripke argues that clearly conceived (or imagined) scenarios that seem to be counterexamples to a posteriori identity theses can indeed count as evidence against them—but only if, after reflection on our understanding of their constituent terms and the relevant empirical facts, we find that they cannot be acceptably reconstrued as intuitions about something else. This makes trouble for phenomenalphysical identity statements such as ‘pain is C-fiber stimulation’, since most agree that such statements cannot be so (...) reconstrued—and thus some materialists reject Kripke’s account of the link between conceivability and possibility entirely. In my view, however, this is a mistake, since it impoverishes our resources for evaluating a posteriori modal claims;the better strategy for materialists is to show that phenomenal-physical identity statements comprise a special class of statements to which Kripke’s general strategy does not apply. In this paper I contribute to this project by examining, and challenging, Stephen Yablo’s (2005) general objections to Kripke’s strategy, and sketch a principled way to draw a distinction between phenomenal-physical identity statements and other a posteriori modal claims. (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)

Modal intuitions are not only the primary source of modal knowledge but also the primary source of modal error. An explanation of how modal error arises — and, in particular, how erroneous modal intuitions arise — is an essential part of a comprehensive theory of knowledge and evidence. This chapter begins with a summary of certain preliminaries: the phenomenology of intuitions, their fallibility, the nature of concept-understanding and its relationship to the reliability (...) of intuitions, and so forth. It then identifies two sources of modal error: the first has to do with the failure to distinguish between metaphysical possibility and various kinds of epistemic possibility; the second, with the local misunderstanding of one's concepts. The first source of error is widely misunderstood; the second source has not been discussed in philosophical literature. This source of modal error, and the potential to overcome it, has wide-ranging implications for philosophical method. The failure to understand these sources of modal error has recently led to sceptical accounts of intuition and modal error, which are, ultimately self-defeating. (shrink)

Many philosophers believe that there is a causal condition on perception, and that this condition is a conceptual truth about perception. A highly influential argument for this claim is based on intuitive responses to Gricean-style thought experiments. Do the folk share the intuitions of philosophers? Roberts et al. (2016) presented participants with two kinds of cases: Blocker cases (similar to Grice’s case involving a mirror and a pillar) and Non-Blocker cases (similar to Grice’s case involving a clock and brain (...) stimulation). They found that a substantial minority agreed that seeing occurs in the Non-Blocker cases, and that in the Blocker cases significantly less agreed that seeing occurs. They thus hypothesized that folk intuitions better align with a no blocker condition than with a causal condition. This paper continues this line of enquiry with two new experiments. The paper investigates the generality and robustness of Roberts et al.’s findings by expanding the sense modalities tested from only vision to audition and olfaction as well. The paper also uses Gricean-style thought experiments as a case study for investigating the “reflection defense” against the negative project in experimental philosophy. Our results replicate and extend Roberts et al.’s study and support their hypothesis that folk intuitions better align with a no blocker condition. They also provide an empirical reason to doubt the reflection defense. (shrink)

One striking contrast that Kant draws between the kind of cognitive capacities that humans have and alternative kinds of intellect concerns modal concepts. Whilst , the very distinction between possibility and actuality would not arise for an intuitive understanding. The aim of this paper is to explore in more detail how the functioning of these cognitive capacities relates to modal concepts, and to provide a model of the intuitive understanding, in order to draw some general lessons for our (...) ability to make modal judgements, and the function of such judgements. (shrink)

Pierre Saint-Germier | : Nous discutons la thèse, acceptée par de nombreux théoriciens des intuitions rationnelles, selon laquelle ces dernières s’accompagnent d’une apparence de nécessité. L’existence d’intuitions rationnelles ayant pour objet des propositions contingentes jette un doute sur l’adéquation de cette thèse. Le problème peut trouver une solution dans le cadre d’une théorie faillibiliste des intuitions rationnelles, pourvu que l’on admette des illusions modales inéliminables. En nous appuyant sur une explication bidimensionnelle de l’a priori contingent, nous défendons (...) une solution différente consistant à reconsidérer le contenu des apparences associées aux intuitions rationnelles : ce que l’on pourrait prendre pour des apparences de nécessité n’est autre qu’une manifestation de leur caractère a priori. | : We discuss the view, accepted by many rational intuition theorists, that rational intuitions involve appearances of necessity. The fact that we can have rational intuitions of contingent propositions casts a doubt on the adequacy of this view. This fact can be accommodated by a fallibilist theory of rational intuitions, provided one accepts that these intuitions generate ineliminable modal illusions. Drawing on two-dimensional explanations of the contingent a priori, we defend an alternative view according to which the appearances involved in rational intuitions are not appearances of necessity but rather an expression of their a priori status. (shrink)

Many philosophers believe that there is a causal condition on perception, and that this condition is a conceptual truth about perception. A highly influential argument for this claim is based on intuitive responses to Gricean style thought experiments. Do the folk share the intuitions of philosophers? Roberts et al. (2016) presented participants with two kinds of cases: Blocker cases (similar to Grice’s case involving a mirror and a pillar) and Non-Blocker cases (similar to Grice’s case involving a clock and (...) brain stimulation). They found that a substantial minority agreed that seeing occurs in the Non-Blocker cases, and that in the Blocker cases significantly less agreed that seeing occurs. They thus hypothesized that folk intuitions better align with a no blocker condition than with a causal condition. This paper continues this line of enquiry with two new experiments. The paper investigates the generality and robustness of Roberts et al.’s findings by expanding the sense modalities tested from only vision to audition and olfaction as well. The paper also uses Gricean style thought experiments as a case study for investigating the “reflection defense” against the negative project in experimental philosophy. Our results replicate and extend Roberts et al.’s study and support their hypothesis that folk intuitions better align with a no blocker condition. They also provide an empirical reason to doubt the reflection defense. (shrink)

In §76 of the 3rd Critique, Kant claims that an intuitive understanding would represent no distinction between possible and actual things. Prior interpretations of §76 take Kant to claim that an intuitive understanding would produce things merely in virtue of thinking about them and, thus, could not think of merely possible things. In contrast, I argue that §76’s modal claims hinge on Kant’s suggestion that God represents things in their thoroughgoing determination, including in their connection to God’s actual will. (...) I conclude by using my interpretation to argue that §76’s modal claims do not entail Spinozism. (shrink)

Barbara Vetter has argued that the notion of a metaphysical possibility functions like a natural-kind concept that picks out whatever kind is instantiated by the large majority of paradigmatic examples. Vetter holds that proponents of such a view can reject appeals to intuition and a priori reasoning as ways of supporting claims about the extension of metaphysical possibility, and that the attractiveness of a natural-kind account is consequently undiminished by intuitive counterexamples. This paper argues that that is far from obvious. (...) It may be true on a natural kind view that the claim that it is metaphysically possible that p can be established only on the basis of empirical evidence about which kind is instantiated by most paradigm examples and what the members of this kind are. However, that leaves open the possibility that intuition and a priori reasoning can be used to evaluate conditional claims of the following form: If the kind instantiated by most paradigm examples includes (fails to include) X, then it is possible (not possible) that p. If intuition and a priori considerations can be used in this manner, then they are relevant to the assessment of the natural-kind view. Keywords: modality, natural kinds, the a priori, intuition, potentiality. (shrink)

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the (...) modal operators regimenting the notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (shrink)

Modal intuitions are the primary source of modal knowledge but also of modal error. According to the theory of modal error in this paper, modal intuitions retain their evidential force in spite of their fallibility, and erroneous modal intuitions are in principle identifiable and eliminable by subjecting our intuitions to a priori dialectic. After an inventory of standard sources of modal error, two further sources are examined in detail. The (...) first source - namely, the failure to distinguish between metaphysical possibility and various kinds of epistemic possibility - turns out to be comparatively easy to untangle and poses little threat to intuition-driven philosophical investigation. The second source is the local misunderstanding of one's concepts . This pathology may be understood on analogy with a patient who is given a clean bill of health at his annual check-up, despite his having a cold at the time of the check-up: although the patient's health is locally disrupted, his overall health is sufficiently good to enable him to overcome the cold without external intervention. Even when our understanding of certain pivotal concepts has lapsed locally, our larger body of intuitions is sufficiently reliable to allow us, without intervention, to ferret out the modal errors resulting from this lapse of understanding by means of dialectic and/or a process of a priori reflection. This source of modal error, and our capacity to overcome it, has wide-ranging implications for philosophical method - including, in particular, its promise for disarming skepticism about the classical method of intuition-driven investigation itself. Indeed, it is shown that skeptical accounts of modal error are ultimately self-defeating. (shrink)

We discuss the semantic significance of a puzzle concerning ‘ought’ and conditionals recently discussed by Kolodny and MacFarlane. We argue that the puzzle is problematic for the standard Kratzer-style analysis of modality. In Kratzer’s semantics, modals are evaluated relative to a pair of conversational backgrounds. We show that there is no sensible way of assigning values to these conversational backgrounds so as to derive all of the intuitions in Kolodny and MacFarlane’s case. We show that the appropriate verdicts can (...) be derived by extending Kratzer’s framework to feature a third conversational background and claiming that the relevant reading of ‘ought’ is sensitive to this parameter. (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 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 epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 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 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 Ω-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 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 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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 13 examines modal responses to the alethic paradoxes. Chapter 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)

The paper begins with a clarification of the notions of intuition (and, in particular, modal intuition), modal error, conceivability, metaphysical possibility, and epistemic possibility. It is argued that two-dimensionalism is the wrong framework for modal epistemology and that a certain nonreductionist approach to the theory of concepts and propositions is required instead. Finally, there is an examination of moderate rationalism’s impact on modal arguments in the philosophy of mind -- for example, Yablo’s disembodiment argument and Chalmers’s (...) zombie argument. A less vulnerable style of modal argument is defended, which nevertheless wins the same anti-materialist conclusions sought by these other arguments. (shrink)

Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy provides a reasonably gentle introduction to this new logic, thoroughly motivated by intuitive explanations of the need for all of its component parts, and illustrated through innovative applications of the calculus.

Modal dependence logic was introduced recently by Väänänen. It enhances the basic modal language by an operator = (). For propositional variables p 1, . . . , p n , = (p 1, . . . , p n-1, p n ) intuitively states that the value of p n is determined by those of p 1, . . . , p n-1. Sevenster (J. Logic and Computation, 2009) showed that satisfiability for modal dependence logic is (...) complete for nondeterministic exponential time.In this paper we consider fragments of modal dependence logic obtained by restricting the set of allowed propositional connectives. We show that satisfiability for poor man’s dependence logic, the language consisting of formulas built from literals and dependence atoms using ${\wedge, \square, \lozenge}$ (i. e., disallowing disjunction), remains NEXPTIME-complete. If we only allow monotone formulas (without negation, but with disjunction), the complexity drops to PSPACE-completeness.We also extend Väänänen’s language by allowing classical disjunction besides dependence disjunction and show that the satisfiability problem remains NEXPTIME-complete. If we then disallow both negation and dependence disjunction, satisfiability is complete for the second level of the polynomial hierarchy. Additionally we consider the restriction of modal dependence logic where the length of each single dependence atom is bounded by a number that is fixed for the whole logic. We show that the satisfiability problem for this bounded arity dependence logic is PSPACE-complete and that the complexity drops to the third level of the polynomial hierarchy if we then disallow disjunction.In this way we completely classify the computational complexity of the satisfiability problem for all restrictions of propositional and dependence operators considered by Väänänen and Sevenster. (shrink)

The paper investigates the link between the theory of modal occurrents (where individuals are allowed to stretch across possible worlds) and Lewis’s counterpart theory (where all individuals are world-bound but have counterparts in other worlds). First I show how to interpret modal talk extensionally within the theory of modal occurrents. Then I show that the assumption that worlds be pairwise discrete is all that is needed to reconstruct the bulk of counterpart theory (i.e., to define the concept (...) of a counterpart and to derive the standard postulates governing that concept) in terms of the theory of modal occurrents. Finally, I argue that this reconstruction allows us to view the indeterminacy of our modal intuitions as being part and parcel with the indeterminacy of our criteria for individuating modal occurrents, and that this indeterminacy is naturally explained in terms of linguistic (as opposed to ontic) vagueness. (shrink)

This book shows that the semantic analysis of modal notions of possibility and necessity can be used to enhance our understanding of the interpretation of reports of belief or emotional state. It introduces intuitive notation and terminology to express ideas in modern theories of modal interpretation that are normally represented in complex logical formulas, effectively updates the 1960s-era link between possible worlds and the semantics of propositional attitude ascriptions, and reconciles two disparate views of the role of events (...) in semantic interpretation, that of Donald Davidson and that of David Lewis. It reduces a host of variable behaviors of propositional attitude ascription to an intuitive and precise distinction between ascriptions that merely express a commitment to propositional content versus ones that attribute a mental state to the holder of the propositional attitude. This leads to an explanation of the nature and effects of the language disorder of fluent aphasia. (shrink)

The philosophy of necessity and possibility has flourished in the last half-century, but much less attention has been paid to the question of how we know what can be the case and what must be the case. Many friends of modal metaphysics and many enemies of modal metaphysics have agreed that while empirical discoveries can tell us what is the case, they cannot shed much light on what must be the case or on what non-actual possibilities there are. (...) In this paper, in contrast, I discuss and defend naturalistic approaches to discovering the facts about necessity and possibility. After some remarks about what methodological naturalism in philosophy might amount to, I argue that naturalistic method in modal investigations may not need to be particularly revisionary of much of what is currently being done in modal investigation. I then discuss a number of respects in which a naturalistic orientation in modal investigation may improve on our current epistemic situation. (shrink)

Many powerful logics exist today for reasoning about multi-agent systems, but in most of these it is hard to reason about an infinite or indeterminate number of agents. Also the naming schemes used in the logics often lack expressiveness to name agents in an intuitive way.To obtain a more expressive language for multi-agent reasoning and a better naming scheme for agents, we introduce a family of logics called term-modal logics. A main feature of our logics is the use of (...) modal operators indexed by the terms of the logics. Thus, one can quantify over variables occurring in modal operators. In term-modal logics agents can be represented by terms, and knowledge of agents is expressed with formulas within the scope of modal operators. (shrink)

Saul Kripke’s thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs (b) Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in (...) general hold for definite descriptions. If we, like Kripke, account for this difference by means of the intensions of names and descriptions, we have to conclude that names do not in general have the same intension as any normal, identifying description. However, the difference in scope behavior between names and description can be accounted for alternatively by appeal to the semantics of the modal expressions. On the account we suggest, dubbed ‘relational modality’, simple singular terms, like proper names, contribute to modal contexts simply by their actual world reference, not by their (standard) intension. The relational modality account turns out to be fully equivalent with the rigidity account when it comes to truth of modal and non-modal sentences (with respect to the actual world), and hence supports the same basic intuitions. Given an alternative definition of consequence for relational modality, and a restriction to models with reflexive accessibility relations and non-empty world-bound domains, relational modality also turns out to be model theoretically equivalent with rigidity semantics with respect to logical consequence. Here we introduce the semantics, give the truth definition for relational modality models, and prove the equivalence results. (shrink)

Graph-based frames have been introduced as a logical framework which internalises an inherent boundary to knowability (referred to as ‘informational entropy’), due, e.g. to perceptual, evidential or linguistic limits. They also support the interpretation of lattice-based (modal) logics as hyper-constructive logics of evidential reasoning. Conceptually, the present paper proposes graph-based frames as a formal framework suitable for generalising Pawlak's rough set theory to a setting in which inherent limits to knowability exist and need to be considered. Technically, the present (...) paper establishes systematic connections between the first-order correspondents of Sahlqvist modal reduction principles on Kripke frames, and on the more general relational environments of graph-based and polarity-based frames. This work is part of a research line aiming at: (a) comparing and inter-relating the various (first-order) conditions corresponding to a given (modal) axiom in different relational semantics; (b) recognising when first-order sentences in the frame-correspondence languages of different relational structures encode the same ‘modal content’; (c) meaningfully transferring relational properties across different semantic contexts. The present paper develops these results for the graph-based semantics, polarity-based semantics, and all Sahlqvist modal reduction principles. As an application, we study well known modal axioms in rough set theory (such as those corresponding to seriality, reflexivity, and transitivity) on graph-based frames and show that, although these axioms correspond to different first-order conditions on graph-based frames, their intuitive meaning is retained. This allows us to introduce the notion of hyperconstructivist approximation spaces as the subclass of graph-based frames defined by the first-order conditions corresponding to the same modal axioms defining classical generalised approximation spaces, and to transfer the properties and the intuitive understanding of different approximation spaces to the more general framework of graph-based frames. The approach presented in this paper provides a base for systematically comparing and connecting various formal frameworks in rough set theory, and for the transfer of insights across different frameworks. (shrink)

Quantified modal inferences interest logicians, linguists, and computer scientists, but no previous psychological study of them appears to be in the literature. Here is an example of one: All those artists are businessmen. Paulo is possibly one of the artists. What follows?People tend to conclude: Paulo is possibly a businessman (Experiment 1). It seems plausible, and it follows from an intuitive mental model in which Paulo is one of a set of artists who are businessmen. Further deliberation can yield (...) a model of an alternative possibility in which Paulo is not one of the artists, which confirms that the conclusion is only a possibility. The snag is that standard modal logics, which deal with possibilities, cannot yield a particular conclusion to any premises: Infinitely many follow validly (from any premises) but they do not include the present conclusion. Yet, further experiments corroborated a new mental model theory's predictions for various inferences (Experiment 2), for the occurrence of factual conclusions drawn from premises about possibilities (Experiment 3) and for inferences from premises of modal syllogisms (Experiment 4). The theory is therefore plausible, but we explore the feasibility of a cognitive theory based on modifications to modal logic. (shrink)

The paper considers the role of modality in the rational reconstruction of standpoints and arguments. The paper examines in what conditions modal markers can act as argumentative indicators and what kind of cues they provide for the reconstruction of argument. The paper critically re-examines Toulmin’s hypothesis that the meaning of the modals can be analyzed in terms of a field-invariant argumentative force and field-dependent criteria in the light of the Theory of Relative Modality developed within linguistic semantics, showing how (...) this theory can provide a more adequate model for exploiting the modals as indicators. The resulting picture confirms Toulmin’s intuition only in part: on the one hand the modals are always relational in nature and dependent on a contextual conversational background of propositions; on the other hand only epistemic-doxastic modals directly express a speech-act level inferential relation between a set of premises and a standpoint. Other modalities express relations (e.g. causal or final relations) better seen as part of the content of the argument whose argumentative relevance depends on the argumentation scheme employed. Thus non-epistemic modals function as argumentative indicators only indirectly. (shrink)

Davies argues that the ontology of artworks as performances offers a principled way of explaining work-relativity of modality. Object oriented contextualist ontologies of art (Levinson) cannot adequately address the problem of work-relativity of modal properties because they understand looseness in what counts as the same context as a view that slight differences in the work-constitutive features of provenance are work-relative. I argue that it is more in the spirit of contextualism to understand looseness as context-dependent. This points to the (...) general problem—the context of appreciation is not robust enough to ground modal intuitions about objective entities. In general, when epistemology dictates ontology there is always a threat of anti-realism, scepticism and relativism. Davies also appeals to the modality principle—an entity’s essential properties are all and only its constitutive properties. Davies understands essentiality in a traditional way: a property P is an essential property of an object o iff o could not exist and lack P. Kit Fine has recently made a convincing case for the view that the notion of essence is not to be understood in modal terms. I explore some of the implications of this view for Davies’ modal argument for the performance theory. (shrink)

Much of the current imaging literature either denies the existence of wakeful non-mental imagers, views non-imagers motivationally as 'repressors' or 'neurotic', or acknowledges them but does not fully incorporate them into their models. Neurobiologists testing for imaging loss seem to assume that visual recognition, describing objects, and free-hand drawing require the forming of conscious images. The intuition that 'the psyche never thinks without an image.... the reasoning mind thinks its ideas in the form of images' (Aristotle) has a long tradition (...) in philosophical psychology, from Aristotle through the British empiricists to the British-empiricist-inspired introspection paradigm of Titchener. The massive shift in early experimental psychology to the introspective-antagonistic paradigm of Watson's behaviourism, may have sprung from the contrary intuition that no one thinks in mental images. In both cases, people seemed to assume that what is in one's own mind is in everybody's mind. A third, mediating, intuition - that some people do not think with conscious mental imagery -- seems to be confirmed by empirical studies on many levels. From the early imagery interviews of Francis Galton through many modern surveys, including my own, a consistent diversity of self-reports on ones own mental imagery abilities suggests that some 2-5% of people are very poor- or non-visual- imagers who, yet, maintain normal visual recognition abilities. Comparable estimates have been made in auditory and other imagery modalities. (shrink)

A naturalistic theory of modal intuitions and modal reasoning inspired by Hintikka's theorizing should start from the principle that advanced modal reasoning has its roots in commonsense intuitions. It is proposed that the naturalist can rely on the assumption of uniformity: the same set of basic principles is used in reasoning about actual and counterfactual dependencies - modal cognition is conservative. In the most primitive cases the difference between a model of an actual situation (...) and of a merely possible one lies in its functional and indicational roles, not in its internal make-up. This conjecture enables one to derive important aspects of modal reasoning from the non-modal one. In the final section of the paper a simplified account of such derivation is proposed, drawn partly from connection- ist literature. (shrink)

General frames are often used in classical modal logic. Since they are duals of modal algebras, completeness follows automatically as with algebras but the intuitiveness of Kripke frames is also retained. This paper develops basics of general frames for relevant modal logics by showing that they share many important properties with general frames for classical modal logic.

We review existing strategies for bringing modal intuitions to bear against materialist theories of consciousness, and then propose a new strategy. Unlike existing strategies, which assume that imagination (suitably constrained) is a good guide to modal truth, the strategy proposed here makes no assumptions about the probative value of imagination. However, unlike traditional modal arguments, the argument developed here delivers only the conclusion that we should not believe that materialism is true, not that we should believe (...) that it is false. (shrink)

Two things are done in this paper. First, a modal logic in which one can quantify over both objects and concepts is presented; a semantics and a tableau system are given. It is a natural modal logic, extending standard versions, and capable of addressing several well-known philosophical difficulties successfully. Second, this modal logic is used to introduce a rather different way of looking at relational databases. The idea is to treat records as possible worlds, record entries as (...) objects, and attributes as concepts, in the modal sense. This makes possible an intuitively satisfactory relational database theory. It can be extended, by the introduction of higher types, to deal with multiple-valued attributes and more complex things, though this is further than we take it here. (shrink)

Accounts of modality in terms of fictional possible worlds face an objection based on the idea that when modal claims are analysed in terms of fictions, the connection between analysans and analysandum seems artificial. Strong modal fictionalism, the theory according to which modal claims are analysed in terms of a fiction, has been defended by, among others, Seahwa Kim, who has recently claimed that the philosophical objection that the connection between modality and fictions is artificial can be (...) met. I propose a new way of spelling out the intuition of artificiality and show that strong modal fictionalism should be rejected. (shrink)

The thought experiment is a seemingly indispensable tool in the armchair philosopher’s toolbox. One wonders, for example, how philosophers could come to think that justified true belief isn’t knowledge, that reference isn’t determined by an expression’s associated description, or that moral responsibility doesn’t require the ability to do otherwise, without the use of thought experiments. But even if thought experiments play an integral role in philosophical methodology, their legitimacy is at least initially puzzling: one would think that significant knowledge of (...) the world requires extensive empirical investigation. But since thought experiments are done from the armchair, how can they tell us about the world? -/- A standard account of the nature and utility of thought experiments provides an answer to this question, and in a way that fits naturally with a standard picture of the nature of the facts philosophers investigate: Philosophers are about the business of investigating the essences of things and kinds. But a thing’s essential and accidental properties are modal properties. Thus, one can discern a thing’s essence by discovering its modal profile. But if so, then thought experiments are naturally suited as tools for the armchair philosopher. For thought experiments shed light on modal facts. Therefore, since philosophers investigate essences, facts about essence are modal facts, and the thought experiment is one of the few tools they have for discerning such facts, thought experiments play a legitimate and indispensable role in philosophical methodology. In my dissertation, I argue that the standard account of the nature and utility of thought experiments is inadequate, and sketch a more promising account. -/- First, I argue that our knowledge of possibility is restricted to the relatively humdrum. And if so, then since the standard account ties the utility of thought experiments to our knowledge of possibility, too many thought experiments will be ruled out as useless, which raises serious concerns about the significance, and perhaps even the legitimacy, of armchair philosophy. Thus, there is pressure for armchair philosophers to reject the standard account. -/- Second, I sketch an alternative picture of the nature of facts philosophers investigate – one that’s more fine-grained than the standard modal-profile picture. Relatedly, I sketch a correspondingly fine-grained semantics for claims about such facts. This alternative picture underwrites the legitimacy of a hitherto underappreciated sort of thought experiment, which I call the non-modal thought experiment. Such thought experiments shed light on facts about the world that are more fine-grained than what can be discerned by merely examining their modal profiles. I argue that non-modal thought experiments often succeed at just the points where the more familiar modal thought experiments fail, and thus that the two are naturally suited to complement one another in the philosopher’s practice. -/- Finally, I exploit the points mentioned above to sketch an account of the variety and utility of thought experiments that’s much more nuanced than that of the standard account. I then illustrate some of its virtues by indicating its ability to account for a wide range of epistemically forceful thought experiments – both humdrum and exotic –, and by demonstrating how it can be used to make progress in debates that have reached a stalemate due to conflicting modal intuitions. -/- . (shrink)

We argue that genuine modal realism can be extended, rather than modified, so as to allow for the possibility of nothing concrete, a possibility we term ‘metaphysical nihilism’. The issue should be important to the genuine modal realist because, not only is metaphysical nihilism itself intuitively plausible, but also it is supported by an argument with pre-theoretically credible premises, namely, the subtraction argument. Given the soundness of the subtraction argument, we show that there are two ways that the (...) genuine modal realist can accommodate metaphysical nihilism: (i) by allowing for worlds containing only spatiotemporal points and (ii) by allowing for a world containing nothing but the null individual. On methodological grounds, we argue that the genuine modal realist should reject the former way but embrace the latter way. (shrink)

Explaining intuitions in terms of "facts of our natural history" is compatible with rationally trusting them. This compatibilist view is defended in the present paper, focusing upon nomic and essentialist modal intuitions. The opposite, incompatibilist view alleges the following: If basic modal intuitions are due to our cognitive make-up or "imaginative habits" then the epistemologists are left with a mere non-rational feeling of compulsion on the side of the thinker. Intuitions then cannot inform us (...) about modal reality. In contrast, the paper argues that there are several independent sources of justification which make the feeling of compulsion rational: the prima-facie and a priori ones come from the obviousness of our basic modal intuitions and our not being able to imagine things otherwise, others, a posteriori, from the epistemic success of these intuitions. Further, the general scheme of evolutionary learning is reliable, reliability is preserved in the resulting individual's cognitive make-up, and we can come to know this a posteriori. The a posteriori appeal to evolution thus plays a subsidiary role in justification, filling the remaining gap and removing the residual doubt. Explaining modal intuitions is compatible with moderate realism about modality itself. (shrink)

The lesson is familiar. Kripke’s arguments in favor of a posteriori necessary truths annul the idea that conceivability is a guide to metaphysical possibility because determining that which is a priori is a separate issue from determining that which is necessary. Modal rationalists do not completely agree with this conclusion. Following recent work on two-dimensional semantics, David Chalmers suggests that two distinct semantic values can be assigned to a statement, depending on whether we consider possible worlds as counterfactual or (...) counteractual. The idea is that counterfactual possibilities yield familiar Kripkean intuitions, but that counteractuals fulfill the desired link between a priori conceivability and metaphysical possibility. In this paper, I discuss a problem for modalrationalism that arises through the use of material conditionals, or conditionals in the indicative mood. I then turn to Chalmers’ response, and suggest reasons why it is inadequate. I turn to another response from Chalmers, and suggest that, whilst it solves the fi rst issue, it is incapable of grounding modal rationalism. In conclusion I will suggest a way in which a tempered version of modal rationalism can be salvaged. (shrink)

Many theories assimilate the idioms of modality to those of quantification; they hold that so-and-so is possible iff there is a "world" at which it is true that so-and-so. "Modal realism" identifies worlds with certain concrete particulars, and truth at a world with what is true of it. Rival "ersatz" theories identify worlds with certain abstract entities and identify what is true at them with what they represent. ;David Lewis argues that pre-theoretic modal intuitions are best explained (...) by modal realism. I try to make a case for ersatzism. ;First, I argue that modal realism is flawed on the grounds that it entails the impossibility of certain intuitively possible spatiotemporal structures; it fails to explain fully even those intuitions with which it is compatible; and it renders the origin of modal knowledge mysterious. ;Next, I argue that objections to ersatzism are not conclusive. ;Lewis objects that even a generic version of ersatzism requires an unnameable and maybe unintelligible primitive relation. I suggest that the problems with naming are perfectly general; they have nothing to do with metaphysical theories of modality in particular. And I suggest a solution taken from Lewis himself. I also argue that any purported unintelligibility is due to illegitimately assimilating the relation to spatiotemporal relations. ;Finally, I consider some difficulties with a version of ersatzism that aims to reduce modality to impure set-theory. One concerns the accommodation of intuitions about properties that are not, but might have been, instantiated. Another concerns accommodation of intuitions about relations of exclusion and entailment among properties. I suggest that these difficulties are due to faulty assumptions about the nature of properties rather than any fundamental flaws in this ersatz approach. So I propose an account of properties that when incorporated into ersatzism circumvents these difficulties and allows it to claim the advantages of modal realism without its drawbacks. Unlike traditional accounts, this takes the essence of a property to consist in its role in imposing a certain classificational structure on the particulars that instantiate it, rather than in any unique and irreducible "quiddity". (shrink)

PROBABILISTIC APPROACH TO EPISTEMIC MODALS IN THE FRAMEWORK OF DYNAMIC SEMANTICS In dynamic semantics meaning of a statement is not equated with its truth conditions but with its context change potential. It has also been claimed that dynamic framework can automatically account for certain paradoxes that involve epistemic modals, such as the following one: it seems odd and incoherent to claim: (1) “It is raining and it might not rain”, whereas claiming (2) “It might not rain and it is raining” (...) does not seem equally odd (Yalcin, 2007). Nevertheless, it seems that it cannot capture the fact that statement (2) seems odd as well, even though not as odd as the statement (1) (Gauker, 2007). I will argue that certain probabilistic extensions to the dynamic model can account for this subtlety of our linguistic intuitions and represent if not an improved than at least an alternative framework for capturing the way contexts are updated and beliefs revised with uncertain information. (shrink)

Assertions about metaphysical modality play central roles in philosophical theorizing. For example, when philosophers propose hypothetical counterexamples, they often are making a claim to the effect that some state of affairs is possible. Getting the epistemology of modality right is thus important. Debates have been preoccupied with assessing whether imaginability—or conceivability, insofar as it’s different—is a guide to possibility, or whether it is rather intuitions of possibility—and modal intuitions more generally—that are evidence for possibility claims. The dissertation (...) argues that the imagination plays a subtler role than the first view recognizes, and a more central one than the second view does. In particular, it defends an epistemology of metaphysical modality on which someone can acquire modal knowledge in virtue of having performed certain complex imaginative exercises. (shrink)

Modal epistemologies that rely on a fallibilism about modal claims have been gaining traction over the years. This paper critically discusses the accounts of Kung (2009, 2010, 2016) and Dohrn (2018, 2019, 2020b) and argues that they are invariably susceptible to being read as entailing claims of epistemic possibility. Both Kung and Dohrn seek to ground modal intuitions on non‐modal ones, and primarily appeal to the modalizing capacity of imagination to aid in the discovery of (...) modal truths. However, insofar as inference from non‐modal imagination to modal truths remains fallible, then no non‐ad hocdistinction can be made between substantiation of fallible metaphysically modal claims and infallible epistemically modal ones. This is because, barring an agent's infallible knowledge of modal truths, how these truths are argued for must attend the agent's imperfect epistemic access thereof, therefore entailing claims of modality consistent with her epistemic state—that is, claims of epistemic possibility. If modal epistemologies in general non‐modally ground their modal assertions in this fallible fashion, then they seem inevitably interpretable in terms of epistemic possibility as opposed to some non‐epistemic reading of metaphysical possibility. (shrink)

This book concerns the foundations of epistemic modality. 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 relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal profile of rational (...) intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Chapter 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. Chapter 3 provides an abstraction principle for epistemic intensions. Chapter 4 advances a two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states, by contrast to availing of modal axiom 4. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's "criterial" identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 epistemic two-dimensional truthmaker semantics developed in chapter 4 is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapter 8 examines the modal commitments of abstractionism, in particular necessitism, and epistemic modality and the epistemology of abstraction. Chapter 9 examines the modal profile of $\Omega$-logic in set theory. Chapter 10 examines the interaction between epistemic two-dimensional semantics and absolute decidability. Chapter 11 avails of modal coalgebraic automata to interpret the defining properties of indefinite extensibility, and avails of epistemic two-dimensional semantics in order to account for the interaction of the interpretational and objective modalities thereof. The hyperintensional, epistemic two-dimensional truthmaker semantics developed in chapter 4 is applied in chapters 8, 10, and 11. Chapter 12 provides a modal logic for rational intuition. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

A philosophical discussion of the intuitive meaning of the formalism of modal propositional logics.

We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make (...) this explicit via two methodological principles, called the Minimal Revision and the Acceptability Constraint. In Sect. 2, we introduce the standard distinction between internal and external fictional discourse. In Sects. 3–5, we discuss the approaches of (traditional) Meinongianism, Fictionalism, and Realism—and their main troubles. In Sect. 6 we propose our MMM approach. This is based upon (1) a modal semantics including impossible worlds (Subsect. 6.1); (2) a qualified Comprehension Principle for objects (Subsect. 6.2); (3) a notion of existence-entailment for properties (Subsect. 6.3). In Sect. 7 we present a formal semantics for MMM based upon a representation operator. And in Sect. 8 we have a look at how MMM solves the problems of the three aforementioned theories. (shrink)

In this paper, I will argue that there is a version of possibilism—inspired by the modal analogue of Kit Fine’s fragmentalism—that can be combined with a weakening of actualism. The reasons for analysing this view, which I call Modal Fragmentalism, are twofold. Firstly, it can enrich our understanding of the actualism/possibilism divide, by showing that, at least in principle, the adoption of possibilia does not correspond to an outright rejection of the actualist intuitions. Secondly, and more specifically, (...) it can enrich our understanding of concretism, by proving that, at least in principle, the idea that objects have properties in an absolute manner is compatible with transworld identity. (shrink)

This paper investigates the truth values of modal sentences within fictional discourse. I investigate the consequences of (im)possible worlds–based theories of truth in fiction for the truth, in fiction, of (explicit) modal sentences. I elaborate on the consequences of explicit reliable (modal) sentences within the truth-in-fiction operators if we embed the normal modal logics. I prove that the current main possible worlds theories of truth-in-fiction make explicit reliable sentences within fiction truth-value equivalent to their possibility. This (...) has non-intuitive consequences if we employ normal modal logics. These consequences are shown to be contradictory. The main argument of the paper thus concerns the inconsistency of embedding the systems of normal modal logics within the truth-in-fiction operators provided in the discussion. (shrink)

Many philosophers claim that intuitions are evidential. Yet it is hard to see how introspecting one's mental states could provide evidence for such synthetic truths as those concerning, for example, the abstract and the counterfactual. Such considerations have sometimes been taken to lead to mentalism---the view that philosophy must concern itself only with matters of concept application or other mind-dependent topics suited to a contemplative approach---but this provides us with a poor account of what it is that philosophers take (...) themselves to be doing, for many of them are concerned with the extra-mental facts about the universe. Evidentialism therefore gestates a disaster for philosophy, for it ultimately demands an epistemology for the investigation into such matter as the abstract and the modal that simply will not be forthcoming. We make a different suggestion: That intuitions are inclinations to believe. Hence, according to us, a philosophical argument does well, as a socio-rhetorical matter of fact, when it is founded on premises philosophers are generally inclined to believe, whether or not those inclinations to believe connect appropriately to the extra-mental facts. Accordingly, the role of intuitions (inclinations to believe) in philosophical methodology is non-evidential, and the question of how they could be used as evidence falls away. (shrink)