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)

Due to the influence of Nathan Salmon’s views, endorsement of the “flexibility of origins” thesis is often thought to carry a commitment to the denial of S4. This paper rejects the existence of this commitment and examines how Peacocke’s theory of the modal may accommodate flexibility of origins without denying S4. One of the essential features of Peacocke’s account is the identification of the Principles of Possibility, which include the Modal Extension Principle (MEP), and a set of (...) Constitutive Principles. Regarding their modal status, Peacocke argues for the necessity of MEP, but leaves open the possibility that some of the Constitutive Principles be only contingently true. Here, I show that the contingency of the Constitutive Principles is inconsistent with the recursivity of MEP, and this makes the account validate S4. It is also shown that, compatibly with the necessity of the Constitutive Principles, the account can still accommodate intuitions about flexibility of origins. However, the account we end up with once those intuitions are consistently accommodated may not be satisfactory, and this opens up the debate about whether or not artefacts allow for some variation in their origins. (shrink)

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. (...) Those assumptions arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

Despite pervasive variation in the content of laws, legal theorists and anthropologists have argued that laws share certain abstract features and even speculated that law may be a human universal. In the present report, we evaluate this thesis through an experiment administered in 11 different countries. Are there cross‐cultural principles of law? In a between‐subjects design, participants (N = 3,054) were asked whether there could be laws that violate certain procedural principles (e.g., laws applied retrospectively or unintelligible laws), and also (...) whether there are any such laws. Confirming our preregistered prediction, people reported that such laws cannot exist, but also (paradoxically) that there are such laws. These results document cross‐culturally and –linguistically robust beliefs about the concept of law which defy people's grasp of how legal systems function in practice. (shrink)

We study the modal logic M L r of the countable random frame, which is contained in and `approximates' the modal logic of almost sure frame validity, i.e. the logic of those modal principles which are valid with asymptotic probability 1 in a randomly chosen finite frame. We give a sound and complete axiomatization of M L r and show that it is not finitely axiomatizable. Then we describe the finite frames of that logic and show that (...) it has the finite frame property and its satisfiability problem is in EXPTIME. All these results easily extend to temporal and other multi-modal logics. Finally, we show that there are modal formulas which are almost surely valid in the finite, yet fail in the countable random frame, and hence do not follow from the extension axioms. Therefore the analog of Fagin's transfer theorem for almost sure validity in first-order logic fails for modal logic. (shrink)

Triviality results threaten plausible principles governing our credence in epistemic modal claims. This paper develops a new account of modal credence which avoids triviality. On the resulting theory, probabilities are assigned not to sets of worlds, but rather to sets of information state-world pairs. The theory avoids triviality by giving up the principle that rational credence is closed under conditionalization. A rational agent can become irrational by conditionalizing on new evidence. In place of conditionalization, the paper develops (...) a new account of updating: conditionalization with normalization. (shrink)

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 chapter, it is suggested that our epistemic access to metaphysical modality generally involves rationalist, a priori elements. However, these a priori elements are much more subtle than ‘traditional’ modal rationalism assumes. In fact, some might even question the ‘apriority’ of these elements, but I should stress that I consider a priori and a posteriori elements especially in our modal inquiry to be so deeply intertwined that it is not easy to tell them apart. Supposed metaphysically necessary (...) identity statements involving natural kind terms are a good example: the fact that empirical input is crucial in establishing their necessity has clouded the role and content of the a priori input, as I have previously argued. For instance, the supposed metaphysically necessary identity statement involving water and its microstructure can only be established with the help of a controversial a priori principle concerning the determination of chemical properties by microstructure. The Kripke-Putnam framework of modal epistemology fails precisely because it is unclear whether the required a priori element is present. My positive proposal builds on E. J. Lowe’s work. Lowe holds that our knowledge of metaphysical modality is based on our knowledge of essence. Lowe’s account strives to offer a uniform picture of modal epistemology: essence is the basis of all our modal knowledge. This is the basis of Lowe’s modal rationalism. I believe that Lowe’s proposal is on the right lines in the case of abstract objects, but I doubt that it can be successfully applied to the case of natural kinds. Accordingly, the case of natural kinds will be my main focus and I will suggest that modal rationalism, at least as it is traditionally understood, falls short of explaining modal knowledge concerning natural kinds. Yet, I think that Lowe has identified something of crucial importance for modal epistemology, namely the essentialist, a priori elements present in our modal inquiry. The upshot is that rather than moving all the way from modal rationalism to modal empiricism, a type of hybrid approach, ‘empirically-informed modal rationalism ’, can be developed. (shrink)

The subject of my article is the principle of characterization – the most controversial principle of Meinong’s Theory of Objects. The aim of this text is twofold. First of all, I would like to show that Russell’s well-known objection to Meinong’s Theory of Objects can be reformulated against a new modal interpretation of Meinongianism that is presented mostly by Graham Priest. Secondly, I would like to propose a strategy which gives uncontroversial restriction to the principle of (...) characterization and which allows to avoid Russell’s argument. The strategy is based on the distinction between object- and metalanguage, and it applies to modal Meinongianism as well as to other so-called Meinongian theories. (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 subject of the first section is Carnapian modal logic. One of the things I will do there is to prove that certain description principles, viz. the ''self-predication principles'', i.e. the principles according to which a descriptive term satisfies its own descriptive condition, are theorems and that others are not. The second section will be devoted to Carnapian modal arithmetic. I will prove that, if the arithmetical theory contains the standard weak principle of induction, modal truth (...) collapses to truth. Then I will propose a different formulation of Carnapian modal arithmetic and establish that it is free of collapse. Noteworthy is that one can retain the standard strong principle of induction. I will occupy myself in the third section with Carnapian epistemic logic and arithmetic. Here too it is claimed that the standard weak principle of induction is invalid and that the alternative principle is valid. In the fourth and last section I will get back to the self-predication principles and I will point to some of the consequences if one adds them to Carnapian Epistemic arithmetic. The interaction of self-predication principles and the strong principle of induction results in a collapse of de re knowability. (shrink)

It used to be thought that rational coherence and metaphysical possibility went hand in hand. Kripke and Putnam put a spanner in the works by proposing examples of propositions which seem to violate this principle. I will propose a nuanced form of modal rationalism consistent with the Kripke/putnam cases. The rough idea is that rational coherence entails possibility when you grasp the essential nature of what you’re conceiving of.

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)

The objection from the insolvability of principle-based modal disagreements appears to support the claim that there are no objective modal facts, or at the very least modal facts cannot be accounted for by modal rationalist theories. An idea that resurfaced fairly recently in the literature is that the use of ordinary empirical statements presupposes some prior grasp of modal notions. If this is correct, then the idea that we may have a total agreement concerning (...) empirical facts and disagree on modal facts, which is the starting point of the objection from the insolvability of modal disagreement, is undercut. This paper examines the no-separation thesis and shows that some of the arguments against the classical (empiricist) distinction between empirical and modal statements fail to be conclusive if they are taken to defend a strong notion of metaphysical possibility. The no-separation thesis appears to work only in theoretical frameworks where metaphysical modalities are considered (broadly) conceptual. For these reasons, the no-separation thesis cannot save modal rationalism from the insolvability of modal disagreement. (shrink)

Data involving epistemic modals suggest that some classically valid argument forms, such as _reductio_, are invalid in natural language reasoning as they lead to modal collapses. We adduce further data showing that the classical argument forms governing the existential quantifier are similarly defective, as they lead to a _de re–de dicto_ collapse. We observe a similar problem for disjunction. But if the classical argument forms for negation, disjunction and existential quantification are invalid, what are the correct forms that govern (...) the use of these items? Our diagnosis is that epistemic modals interfere with hypothetical reasoning. We present a modal first-order logic and model theory that characterizes hypothetical reasoning with epistemic modals in a principled manner. One upshot is a sound and complete natural deduction system for reasoning with epistemic modals in first-order logic. (shrink)

Some central epistemological notions are expressed by sentential operators O that entail the possibility of knowledge in the sense that 'Op' entails 'It is possible to know that p'. We call these modal-epistemological notions. Using apriority and being in a position to know as case studies, we argue that the logics of modal epistemological notions are extremely weak. In particular, their logics are not normal and do not include any closure principles.

Sellars was an inferentialist about meaning. He thus effectively accorded modality a categorial function, maintaining that any meaningful assertion involves implicit commitment to rules of material inference, which modal propositions explicitly endorse. But Sellars was also a modal anti-realist, construing modality as “entirely immanent to thought” (LRB §40), not present in the world an sich. These two commitments, Klemick argues, render it impossible in principle for us to describe the world an sich adequately, undermining Sellars’ scientific realism, (...) on which, at the “ideal outcome of scientific inquiry,” “the gulf between appearances and things-in-themselves [... can] be bridged” (SM II §51). Sellars’ attempt to ground his modal anti-realism in an ideal “pure description of the world” (CDCM §79) cannot succeed, given modality’s categorial function. Further, his subsequent deployment of picturing as a naturalistic criterion of ontological commitment founders on an analogue of the Kantian problem of noumenal affection: the descriptions of picturing relations that render this proposal intelligible are emptied of content by the denial that the in-itself is modally characterized. Sellars’ worthy aim of preserving the world’s independence of our conceptual activity, Klemick concludes, doesn’t require denying that it exhibits modal relations isomorphic to the semantic relations within our conceptual scheme. (shrink)

Peter Van Inwagen argues that The Principle of Sufficient Reason (PSR) either leads to contradiction or it leads to necessitarianism. Although I agree with Van Inwagen that the relationship between the PSR and necessitarianism is close, I argue that the PSR is compatible with innocent versions of necessitarianism. In this project my main argument is that modal realism can account for the PSR and integrate it within an innocent version of necessitarianism. My main claim will be that each (...) fact in each possible world is grounded in the principle of plenitude. Also, while each fact is grounded in plenitude, it avoids rigid necessitarianism because (i) actuality is not captured by the PSR, (ii) things could be otherwise because there are other worlds, and due to the principle of recombination (iii) cardinality of possible worlds is maximized and (iv) there are no necessary connections between distinct individuals. As a result, the relationship between modal realism and the PSR is symbiotic. Through modal realism, the PSR also results as: having its scope extended to the realm of all possibilia rather than being confined to mere actuality; it solves indeterminacy problems like Leibniz’s problem of space or the hard problem of consciousness; it accounts for facts in lawless worlds etc. On the other hand, through the PSR, modal realism gets one more benefit in its inventory because it accounts for the PSR. Thus, modal realism still continues on Lewis’ paradoxical path of proving to be highly pragmatic but counterintuitive at the same time. Ultimately, even if we reject modal realism, we can use it as a model for future defenses of the PSR against rigid necessitarianism. (shrink)

This essay aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory, in order to specify an abstraction principle for epistemic (hyper-)intensions. The homotopic abstraction principle for epistemic (hyper-)intensions provides an epistemic conduit for our knowledge of (hyper-)intensions as abstract objects. Higher observational type theory might be one way to make first-order abstraction principles defined via inference rules, although (...) not higher-order abstraction principles, computable. The truth of my first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable i.e. Turing computable and the Turing machine being physically implementable. Epistemic modality and hyperintensionality can thus be shown to be both a compelling and a materially adequate candidate for the fundamental structure of mental representational states, comprising a fragment of the language of thought. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, (...) undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Kriegel described the problem of intentional inexistence as one of the ‘perennial problems of philosophy’, 307–340, 2007: 307). In the same paper, Kriegel alluded to a modal realist solution to the problem of intentional inexistence. However, Kriegel does not state by name who defends the kind of modal realist solution he has in mind. Kriegel also points out that even what he believes to be the strongest version of modal realism does not pass the ‘principle of (...) representation’ and thus modal realism is not an adequate solution to the problem of intentional inexistence. In this paper, I respond to Kriegel by defending a modal realist solution that he did not consider in 2007, called ‘extended modal realism’. EMR is a version of modal realism where possible worlds are not completely isolated as they are under the Lewisian model. Rather, under EMR worlds are, in a way, spatiotemporally related. The fact EMR worlds are related allows EMR to sufficiently pass the principle of representation and thus can be deemed a legitimate solution to the problem of intentional inexistence. I conclude that either EMR can pass the principle of representation in some cases or, and I think the more sensible option, we give up on the principle of representation altogether. (shrink)

According to principles of modal security, evidence undermines a belief only when it calls into question certain purportedly important modal connections between one’s beliefs and the truth (e.g., safety or sensitivity). Justin Clarke-Doane and Dan Baras have advanced such principles with the aim of blocking evolutionary moral debunking arguments. We examine a variety of different principles of modal security, showing that some of these are too strong, failing to accommodate clear cases of undermining, while others are too (...) weak, failing to do their advertised work of blocking evolutionary moral debunking arguments. If there is a security principle that slips between the horns of this dilemma—one that is both viable and debunker-blocking—it remains to be formulated. (shrink)

In this paper we reply to arguments of Kroon (“Characterization and Existence in Modal Meinongianism”. Grazer Philosophische Studien 86, 23–34) to the effect that Modal Meinongianism cannot do justice to Meinongian claims such as that the golden mountain is golden, and that it does not exist.

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of (...) Fine's logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

This paper develops an information-sensitive theory of the semantics and probability of conditionals and statements involving epistemic modals. The theory validates a number of principles linking probability and modality, including the principle that the probability of a conditional If A, then C equals the probability of C, updated with A. The theory avoids so-called triviality results, which are standardly taken to show that principles of this sort cannot be validated. To achieve this, we deny that rational agents update their (...) credences via conditionalization. We offer a new rule of update, Hyperconditionalization, which agrees with Conditionalization whenever nonmodal statements are at stake but differs for modal and conditional sentences. (shrink)

In this paper, I discuss the main characteristics of the epistemology of modal rationalism by proceeding from the critical investigation of Peacocke’s theory of modality. I build on arguments by Crispin Wright and Sonia Roca-Royes, which are generalised and supplemented by further analysis, in order to show that principle-based accounts have little prospects of succeeding in their task of providing an integrated account of the metaphysics and the epistemology of modality. I argue that it is unlikely that we (...) will able to develop an exhaustive and accurate principle-based account that discriminates objectively between correct and deviant modal knowledge. Even if such an account can be formulated, a non-circular way of justifying its necessity also seems to be out of our reach. (shrink)

What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can (...) be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss. (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)

I examine issues in the philosophy of religion at the intersection of what possibilities there are and what a God, as classically conceived in the theistic philosophical tradition, would be able to do. The discussion is centered around arguing for an incompatibility between theism and two principles about possibility and ability, and exploring what theists should say about these incompatibilities. -/- I argue that theism entails that certain kinds and amounts of evil are impossible. This puts theism in conflict with (...) popular principles of modal recombination. However, theists have plausible explanations for the violations of recombination that they posit, and can suitably amend these principles without giving up their usefulness in accounting for what possibilities there are. -/- I also argue that despite the impossibility of these evils, God is able to bring these evils about. This puts theism in conflict with the principle that no one is able to do the impossible. However, theists can give a plausible account of why God is unique in being able to do the impossible, and have distinctive resources to address the arguments in favor of the idea that no one is able to do the impossible. And by denying this principle, theists are able to resolve several otherwise difficult puzzles, including reconciling conflicts between the divine attributes. (shrink)

Despite the importance of the variational principles of physics, there have been relatively few attempts to consider them for a realistic framework. In addition to the old teleological question, this paper continues the recent discussion regarding the modal involvement of the principle of least action and its relations with the Humean view of the laws of nature. The reality of possible paths in the principle of least action is examined from the perspectives of the contemporary metaphysics of (...) modality and Leibniz's concept of essences or possibles striving for existence. I elaborate a modal interpretation of the principle of least action that replaces a classical representation of a system's motion along a single history in the actual modality by simultaneous motions along an infinite set of all possible histories in the possible modality. This model is based on an intuition that deep ontological connections exist between the possible paths in the principle of least action and possible quantum histories in the Feynman path integral. I interpret the action as a physical measure of the essence of every possible history. Therefore only one actual history has the highest degree of the essence and minimal action. To address the issue of necessity, I assume that the principle of least action has a general physical necessity and lies between the laws of motion with a limited physical necessity and certain laws with a metaphysical necessity. (shrink)

According to Amie Thomasson's Modal Normativism (MN), knowledge of metaphysical modality is to be explained in terms of a speaker’s mastery of semantic rules, as opposed to one’s epistemic grasp of independent modal facts. In this chapter, I outline (MN)'s account of modal knowledge (§1) and argue that more than semantic mastery is needed for knowledge of metaphysical modality. Specifically (§2), in reasoning aimed at gaining such knowledge, a competent speaker needs to further deploy essentialist principles and (...) information. In response, normativists might contend that a competent speaker will only need to appeal to specific independence counterfactuals, on analogy with quasi-realism about morality. These conditionals fix the meaning of our terms at the actual world, independently of the particular context in which a statement is evaluated. However, I show that this strategy causes several problems for the account (§3). While those problems might perhaps be avoided by endorsing a certain picture of modal metaphysics (Modal Monism), such a picture involves notorious issues that normativists will have to address (§4). It is thus doubtful that (MN) can explain knowledge of metaphysical modality. Still, it may explain some modal knowledge without committing to Modal Monism. As I show (§5), semantic mastery may suffice for gaining knowledge of logical-conceptual modality or analyticity. (shrink)

Critical examination of Alchourrón and Bulygin’s set-theoretic definition of normative system shows that deductive closure is not an inevitable property. Following von Wright’s conjecture that axioms of standard deontic logic describe perfection-properties of a norm-set, a translation algorithm from the modal to the set-theoretic language is introduced. The translations reveal that the plausibility of metanormative principles rests on different grounds. Using a methodological approach that distinguishes the actor roles in a norm governed interaction, it has been shown that metanormative (...) principles are directed second-order obligations and, in particular, that the requirement related to deductive closure is directed to the norm-applier role rather than to the norm-giver role. The approach has been applied to the case of pure derogation yielding a new result, namely, that an independence property is a perfection-property of a norm-set in view of possible derogation. This paper in a polemical way touches upon several points raised by Kristan in his recent paper. (shrink)

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)

The present work explores various ways in which contingent evidence can impact metaphysics, while advocating that, just as a scientific realist allows for ampliative inferences to the unobservable, ampliative inferences from possible evidence can warrant possibility claims that lie beyond the reach of sensorial imagination. In slogan form: possible evidence is a guide to possibility. Drawing on Shoemaker’s (1969) argument for the possibility of time without change, I advocate the following principle: If there is a possible world at which (...) the observable facts make it objectively reasonable to conclude that p, then we should conclude that p is possibly true. This provides a route to contingentism in metaphysics, for, if one considers that there are worlds in which the observable facts make it objectively reasonable to conclude that p, and worlds in which the observable facts make it objectively reasonable to conclude that not-p, then my principle tells us that we should conclude that possibly-p and possibly not-p, i.e. that p is contingent. This contingency in what is reasonable to conclude, I suggest, occurs most saliently in debates where evidence of phenomenal experience and empirical science are marshalled to support one theory over another. I also explore some consequences of taking possible evidence to be a guide to possibility in this way, among them being an interesting modal analogue of the lottery paradox. (shrink)

This essay considers Kant’s theory of modality in light of a debate in contemporary modal metaphysics and modal logic concerning the Barcan formulas. The comparison provides a new and fruitful perspective on Kant’s complex and sometimes confusing claims about possibility and necessity. Two central Kantian principles provide the starting point for the comparison: that the possible must be grounded in the actual and that existence is not a real predicate. Both are shown to be intimately connected to the (...) Barcan formulas, and Kant’s views on what he distinguishes as three different kinds of modality are then considered in light of this connection. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that (...) class='Hi'>modal metaphysics --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

This paper challenges the Kripkean interpretation of a posteriori necessities. It will be demonstrated, by an analysis of classic examples, that the modal content of supposed a posteriori necessities is more complicated than the Kripkean line suggests. We will see that further research is needed concerning the a priori principles underlying all a posteriori necessities. In the course of this analysis it will emerge that the modal content of a posteriori necessities can be best described in terms of (...) a Finean conception of modality – by giving essences priority over modality. The upshot of this is that we might be able to establish the necessity of certain supposed a posteriori necessities by a priori means. (shrink)

Modal idealism is a Theory of Everything, based on metaphysical abstractions of the physical principles of hidden symmetries, entanglement, and quantum field theory, considered in the context of the Many Worlds Interpretation of quantum mechanics. These abstractions are used to extend the scope of existing philosophical positions on idealism, consciousness and possible world semantics, to rationally explain the fundamental mysteries of our existence. While it conceptually aligns with the Many Minds Interpretation of quantum mechanics, modal idealism posits a (...) more comprehensive characterization of the mind, and thereby addresses many of the objections to MMI and MWI. Consequently, it can provide unequivocal, logical answers to our most enduring existential questions. To demonstrate the explanatory power of modal idealism, this article will present seven of our most meaningful physical and metaphysical questions, enumerate the principles of this framework, and use them to rationally answer these questions. (shrink)

ABSTRACT We critically review two extant paradigms for understanding the systematic interaction between modality and tense, as well as their respective modifications designed to do justice to the contingency of time’s structure and composition. We show that on either type of theory, as well as their respective modifications, some principles prove logically valid whose truth might sensibly be questioned on metaphysical grounds. These considerations lead us to devise a more general logical framework that allows accommodation of those metaphysical views that (...) its predecessors rule out by fiat. (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)

In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the existence of the infinite plurality of concrete and abstract possible worlds, posited by David K. Lewis and Alvin Plantinga. This assessment will be carried out within the (modified) explanatory framework of Richard Swinburne, which will lead to the conclusion that the existence of God provides a true fundamental explanation for these specific entities. And (...) thus, given the truth of this type of explanation, we have another good abductive argument for God’s existence and grounds for affirming a weaker form of the principle of methodological naturalism in our metaphysical theorising. (shrink)

Psillos, Kitcher, and Leplin have defended convergent scientific realism against the pessimistic meta-induction by arguing for the divide et impera strategy. I argue that DEI faces a problem more serious than the pessimistic meta-induction: the problem of accretion. When empirically successful theories and principles are combined, they may no longer make successful predictions or allow for accurate calculations, or the combination otherwise may be an empirical failure. The shift from classical mechanics to the new quantum theory does not reflect the (...) discarding of “idle wheels.” Instead, scientists had to contend with new principles that made classical calculations difficult or impossible, and new results that were inconsistent with classical theorems, and that suggested a new way of conceiving of atomic dynamics. In this shift, reference to atoms and to electrons was preserved, but the underlying causal explanations and descriptions of atoms and electrons changed. I propose that the emphasis on accurate description of causal agents as a virtue of background theory be replaced with Ruetsche’s advocacy of pragmatic, modal resourcefulness. (shrink)

Aim of this paper is to analyse and assess two divergent understandings of metaphysical modality. On one hand, according to the absolutist conception, metaphysical modality is the extreme variety of objective modality and can be characterised in terms of all the varieties of objective modality: for example, p is metaphysically necessary if and only if p is necessary for every variety of objective necessity. The absolutist conception can also be framed in terms of counterfactual inevitability. On the other hand, according (...) to the essentialist conception of metaphysical modality, p is metaphysically necessary if and only if the truth of p is grounded by the essences of some entities. Based on the analysis of these two conceptions, I show that possible worlds are not helpful in characterising metaphysical modality. I finally suggest that in the light of a general principle about philosophical terminology, the essentialist conception has an edge over the absolutist one. (shrink)

Rumfitt has given two arguments that in unilateralist verificationist theories of meaning, truth collapses into correct assertibility. In the present paper I give similar arguments that show that in unilateral falsificationist theories of meaning, falsehood collapses into correct deniability. According to bilateralism, meanings are determined by assertion and denial conditions, so the question arises whether it succumbs to similar arguments. I show that this is not the case. The final section considers the question whether a principle central to Rumfitt's (...) first argument, ‘It is assertible that if and only if it is assertible that it is assertible that ’, is one that bilateralists can reject, and concludes that they cannot. It follows that the logic of assertibility and deniability, according to a result by Williamson, is the little known modal logic K4 studied by Sobociński. The paper ends with a plaidoyer for bilateralists to adopt this logic. (shrink)

Sven Rosenkranz’s Justification as Ignorance shows how a strongly internalist conception of justification can be derived from a strongly externalist conception of knowledge, given an identification of justification with second-order ignorance and a set of structural principles concerning knowing and being in a position to know. Among these principles is an epistemic analogue of the Geach modal schema which states that one is always in a position to know that one doesn’t know p or in a position to know (...) that one doesn’t know not-p. Even suitably refined, the principle faces a range of counterexamples in which it misleadingly and persistently seems to one that one knows whether p without it seeming to one that one knows p nor that one knows not-p. These cases also threaten the book’s case for the luminosity of second-order ignorance, which is in turn central to its derivation of strongly internalist principles of justification. (shrink)

The principle of sufficient reason threatens modal collapse. Some have suggested that by appealing to the indefinite extensibility of contingent truth, the threat is neutralized. This paper argues that this is not so. If the indefinite extensibility of contingent truth is developed in an analogous fashion to the most promising models of the indefinite extensibility of the concept set, plausible principles permit the derivation of modal collapse.

One common objection against the Principle of Sufficient Reason is that it leads to a highly counterintuitive position, namely, necessitarianism. In this paper, drawing on Avicenna’s modal theory, I differentiate between two versions of necessitarianism: strong necessitarianism and weak necessitarianism. I argue that the modal intuition driving this objection pertains to strong necessitarianism, while the Principle of Sufficient Reason, at most, leads to weak necessitarianism.

Hsueh M. Qu has recently argued that Hume’s famed ‘Separability Principle’ from the Treatise entangles him in a contradiction. Qu offers a modified principle as a solution but also argues that the mature Hume would not have needed to avail himself of it, given that Hume’s arguments in the first Enquiry do not depend on this principle in any form. To the contrary, I show that arguments in the first Enquiry depend on this principle, but I (...) agree with Qu that Qu’s solution to Hume’s quandary frees him of the contradiction. Next, I compare Qu’s solution to Hume’s original position. By analysing the divergent forms of 'Hume’s Dictum’ that follow from them, I show that Qu’s solution and Hume’s original position have significantly different consequences in a range of domains, including Hume’s modality. Generally, Qu’s solution fits better with Hume’s other commitments—even though Hume often fails to recognize it—thereby increasing its plausibility. (shrink)

Readers of fictions sometimes resist taking certain kinds of claims to be true according to those fictions, even when they appear explicitly or follow from applying ordinary principles of interpretation. This "imaginative resistance" is often taken to be significant for a range of philosophical projects outside aesthetics, including giving us evidence about what is possible and what is impossible, as well as the limits of conceivability, or readers' normative commitments. I will argue that this phenomenon cannot do the theoretical work (...) that has been asked of it. Resistance to taking things to be fictional is often best explained by unfamiliarity with kinds of fictions than any representational, normative, or cognitive limits. With training and experience, any understandable proposition can be made fictional and be taken to be fictional by readers. This requires a new understanding both of imaginative resistance, and what it might be able to tell us about topics like conceivability or the bounds of possibility. (shrink)

The topic of this paper may be introduced by fast zooming in and out of the philosophy of information. In recent years, philosophical interest in the nature of information has been increasing steadily. This has led to a focus on semantic information, and then on the logic of being informed, which has attracted analyses concentrating both on the statal sense in which S holds the information that p (this is what I mean by logic of being informed in the rest (...) of this article) and on the actional sense in which S becomes informed that p. One of the consequences of the logic debate has been a renewed epistemological interest in the principle of information closure (henceforth PIC), which finally has motivated a revival of a skeptical objection against its tenability first made popular by Dretske. This is the topic of the paper, in which I seek to defend PIC against the skeptical objection. If I am successful, this means – and we are now zooming out – that the plausibility of PIC is not undermined by the skeptical objection, and therefore that a major epistemological argument against the formalization of the logic of being informed based on the axiom of distribution in modal logic is removed. But since the axiom of distribution discriminates between normal and non-normal modal logics, this means that a potentially good reason to look for a formalization of the logic of being informed among the non-normal modal logics, which reject the axiom, is also removed. And this in turn means that a formalization of the logic of being informed in terms of the normal modal logic B (also known as KTB) is still very plausible, at least insofar as this specific obstacle is concerned. In short, I shall argue that the skeptical objection against PIC fails, so it is not a good reason to abandon the normal modal logic B as a good formalization of the logic of being informed. (shrink)