This paper aims to build a bridge between two areas of philosophical research, the structure of kinds and metaphysical modality. Our central thesis is that kinds typically involve super-explanatory properties, and that these properties are therefore metaphysically essential to natural kinds. Philosophers of science who work on kinds tend to emphasize their complexity, and are generally resistant to any suggestion that they have “essences”. The complexities are real enough, but they should not be allowed to obscure the way (...) that kinds are typically unified by certain core properties. We shall show how this unifying role offers a natural account of why certain properties are metaphysically essential to kinds. (shrink)

According to the thesis of modal supervenience it is impossible that two objects be alike in their actual properties but differ in their modal properties. Some have argued that the concept of supervenience is inapplicable to the modal-actual case. Some have argued that the thesis of modal supervenience is trivially true. These arguments are refuted; a thesis of the supervenience of the modal on the actual is meaningful and nontrivial. The significance of the (...) thesis is nevertheless limited by the problem of finding a nonmodal specification for the purported subvenient properties. (shrink)

It is widely held that metaphysical modality is the broadest non-epistemic, alethic modality, and that /a posteriori/ modal essentialist truths, like that gold has atomic number 79, enjoy the necessity of the broadest alethic modality. One prominent argument for these conclusions--given by Cian Dorr, John Hawthorne, and Juhani Yli-Vakkuri--rests upon an extremely dubious premise: that certain pairs of properties—e.g., being gold and being made of atoms containing 79 protons—are one and the very same property. The two properties (...) are seen to be distinct on independent philosophical grounds. Metaphysical modality is in fact a restricted alethic modality. In particular, mathematical modality is broader than metaphysical modality. Arguably, the broadest alethic modality is logical modality, which is distinct from metaphysical modality. Even if it is metaphysically necessary that gold have atomic number 79, there is no logical/analytical inconsistency in the supposition that it does not. (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)

Some arguments against David Lewis’s modal realism seek to exploit apparent inconsistencies between it and anthropic reasoning. A recent argument, in particular, seeks to exploit an inconsistency between modal realism and typicality anthropic premises, premises common in the literature on physical multiverses, to the effect that observers who are like human observers in certain respects must be typical in the relevant multiverse. Here I argue that typicality premises are not applicable to the description of Lewis’s metaphysical multiverse, where (...) the proportions of metaphysically possible observers possessing the pertinent properties can be independently established by metaphysical reasoning. However, other kinds of reasonable anthropic premises can be seen to be consistent with and usable within modal realism. (shrink)

Kant's speculative theistic proof rests on a distinction between “logical” and “real” modality that he developed very early in the pre-critical period. The only way to explain facts about real possibility, according to Kant, is to appeal to the properties of a unique, necessary, and “most real” being. Here I reconstruct the proof in its historical context, focusing on the role played by the theory of modality both in motivating the argument (in the pre-critical period) and, ultimately, in undoing (...) it as a source of knowledge of God's existence (in the critical period). Along the way I examine Kant's version of the now-popular “actualist” thesis that facts about what is possible must be explained by facts about what is actual. I conclude by discussing why the critical Kant claims both that there are rational grounds for accepting the conclusion of his theistic proof, and that such acceptance can not count as knowledge. This is important, I argue, because the same considerations ultimately motivate his prohibition on knowledge of things-in-themselves generally. -/- . (shrink)

According to the simple modal account of essence, an object has a property essentially just in case it has it in every world in which it exists. As many have observed, the simple modal account is implausible for a number of reasons. This has led to various proposals for strengthening the account, for example, by adding a restriction to the intrinsic or sparse properties. I argue, however, that these amendments to the simple modal account themselves fail. (...) Drawing on lessons from these failures, I propose a new version of a modal account, inspired by Ruth Barcan Marcus's defense of the coherence of quantified modal logic, according to which an object has a property essentially just in case (i) it has it in every world in which it exists, (ii) the property is discriminating (or non-trivial), and (iii) the property is qualitative. The resulting account of essence does not face any of the standard objections other accounts face, and I defend it from other potential objections. (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 function of a trait token is usually defined in terms of some properties of other (past, present, future) tokens of the same trait type. I argue that this strategy is problematic, as trait types are (at least partly) individuated by their functional properties, which would lead to circularity. In order to avoid this problem, I suggest a way to define the function of a trait token in terms of the properties of the very same trait token. (...) To able to allow for the possibility of malfunctioning, some of these properties need to be modal ones: a function of a trait is to do F just in case its doing F would contribute to the inclusive fitness of the organism whose trait it is. Function attributions have modal force. Finally, I explore whether and how this theory of biological function could be modified to cover artifact function. (shrink)

I propose that we approach the epistemology of modality by putting modal metaphysics first and, specifically, by investigating the metaphysics of essence. Following a prominent Neo-Aristotelian view, I hold that metaphysical necessity depends on the nature of things, namely their essences. I further clarify that essences are core properties having distinctive superexplanatory powers. In the case of natural kinds, which is my focus in the paper, superexplanatoriness is due to the fact that the essence of a kind is (...) what causes all the many properties and behaviors that are typically shared by all the instances of the kind. Accordingly, we know what is necessarily true of kinds by knowing what is essential to them in the sense of actually playing such causal-explanatory roles. Modal reasoning aimed at discovering metaphysical necessity thus proceeds via essentialist deduction: we move from essentialist truths to reach necessary truths. (shrink)

We introduce and study a variety of modal logics of parallelism, orthogonality, and affine geometries, for which we establish several completeness, decidability and complexity results and state a number of related open, and apparently difficult problems. We also demonstrate that lack of the finite model property of modal logics for sufficiently rich affine or projective geometries (incl. the real affine and projective planes) is a rather common phenomenon.

We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x (...) ⊧ ⍯φ iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (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)

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the way.

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)

A fundamental entity is an entity that is ‘ontologically independent’; it does not depend on anything else for its existence or essence. It seems to follow that a fundamental entity is ‘modally free’ in some sense. This assumption, that fundamentality entails modal freedom (or ‘FEMF’ as I shall label the thesis), is used in the service of other arguments in metaphysics. But as I will argue, the road from fundamentality to modal freedom is not so straightforward. The defender (...) of FEMF should provide positive reasons for believing it, especially in light of recent views that are incompatible with it. I examine both direct and indirect routes to FEMF. (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)

It has been argued that the attribution of intentional actions is sensitive to our moral judgment. I suggest an alternative, where the attribution of intentional actions depends on modal (and not moral) considerations. We judge a foreseen side-effect of an agent’s intentionally performed action to be intentional if the following modal claim is true: if she had not ignored considerations about the foreseen side-effect, her action might have been different (other things being equal). I go through the most (...) important examples of the asymmetry in the attribution of intentionality and point out that the modal account can cover all the problematic cases, whereas the moral account can’t. (shrink)

This chapter examines modality in the history of analytic philosophy. There were, in this history, two principal types of reductionism or eliminativism about modality, and two corresponding phases in the rejection of anti-modal stances. First, the founders of analytic philosophy, Frege, Moore, and Russell, took necessity and possibility to be reducible to more fundamental logical notions, where logic for these thinkers consists of truths about a mind- and language-independent reality extending beyond the empirical world. Against this reductionism, C. I. (...) Lewis and Wittgenstein argued that logic itself requires modal notions. Second, Carnap advanced a pragmatically motivated account of modal terms as expressing pseudo-object properties, which appear to be properties of objects but can be construed as properties of their designations. Quine criticized this account and proposed a thoroughgoing elimination of modality. Quine’s well-known claim that quantifying into modal contexts is unintelligible without resorting to essentialism cannot be fully understood independently of Carnap’s notion of pseudo-object property. Against Quine, Ruth Marcus and Saul Kripke argued for the coherence of modal concepts and their entrenchment in ordinary language and thought, leading to the now dominant view that modal properties are mind- and language-independent features of the world. (shrink)

In ordinary language, in the medical sciences, and in the overlap between them, we frequently make claims which imply that we might have had different gametic origins from the ones we actually have. Such statements seem intuitively true and coherent. But they counterfactually ascribe different DNA to their referents and therefore contradict material-origin essentialism, which Kripke and his followers argue is intuitively obvious. In this paper I argue, using examples from ordinary language and from philosophy of medicine and bioethics, that (...) statements which attribute alternative material origins to their referents are useful, common in political and medical reasoning, and in many cases best interpreted literally. So we must replace the doctrine of material-origin essentialism with one that can make sense of ordinary discourse and the language of the medical sciences. I propose an anti-essentialist account of such counterfactuals according to which individuals’ modal properties are relative to a given inquiry. (shrink)

During the last quarter of a century, a number of philosophers have become attracted to the idea that necessity can be analyzed in terms of a hyperintensional notion of essence. One challenge for proponents of this view is to give a plausible explanation of our modal knowledge. The goal of this paper is to develop a strategy for meeting this challenge. My approach rests on an account of modality that I developed in previous work, and which analyzes modal (...) properties in terms of the notion of a metaphysical law. I discuss what information about the metaphysical laws is required for modal knowledge. Moreover, I describe two ways in which we might be able to acquire this information. The first way employs inference to the best explanation. The metaphysical laws, including the essential truths, play a crucial role in causal and grounding explanations and we can gain knowledge of these laws by abductive inferences from facts of which we have perceptual or a priori knowledge. The second way of gaining information about the metaphysical laws rests on knowledge that is partly constitutive of competence with the concepts that are needed to express the relevant information. Finally, I consider how knowledge of the metaphysical laws can be used to establish modal claims, paying special attention to the much-discussed connection between conceiving and possibility. (shrink)

Philosophers distinguish between having a property essentially and having it accidentally. The way the distinction has been drawn suggests that it is modal in character, and so that it can be captured in terms of necessity, or cognate notions. The present chapter takes the suggestion at face value by considering a number of modal characterizations of the essential/accidental distinction that have been articulated and discussed since the early 20th century, as well as some of the challenges that they (...) face. (shrink)

Kit Fine famously objected against the idea that essence can be successfully analyzed in terms of de re necessity. In response, I want to explore a novel, interesting, but controversial modal account of essence in terms of intrinsicality and grounding. In the first section, I will single out two theoretical requirements that any essentialist theory should meet—the essentialist desideratum and the essentialist challenge—in order to clarify Fine’s objections. In the second section, I will assess Denby’s improved modal account, (...) which appeals to the notion of intrinsicality, and argue that it is untenable. In the third section, I will explain how, when combined with a modal-existential criterion, a hyperintensional account of intrinsicality—in the same vein as Bader (J Philos 110(10): 525–563, 2013) and Rosen (in: Hale and Hoffman (eds) Modality: Metaphysics, logic, and epistemology, Oxford, OUP, 2010)—can help successfully address Fine’s counterexamples. In the fourth section, I will evaluate how this novel analysis of essence stands with respect to sortal, origin, and natural kinds essentialism and discuss potential objections and difficulties. (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)

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)

The paper argues against a commitment to metaphysical necessity, semantic modalities are enough. The best approaches to elucidate the semantic modalities are (still) versions of lingustic ersatzism and fictionalism, even if only developed in parts. Within these necessary properties and the difference between natural and semantic laws can be accounted for. The proper background theory for this is an updated version of Logical Empiricism, which is congenial to recent trends in Structural Realism. The anti-metaphysical attitude of Logical Empiricism deserves (...) revitalization. Another target besides metaphysical necessity are substantial forms of iterated modalities, as used, for instance, in the philosophy of religion. (shrink)

An intuitive objection to modal realism is that merely possible worlds and their inhabitants seem to be irrelevant to an analysis of modality. Kripke originally phrased the objection in terms of being concerned about one’s modal properties without being concerned about the properties one’s other-worldly counterparts have. The author assesses this objection in a variety of forms, and then provides his own formulation that does not beg the question against the modal realist. Finally, the author (...) considers two potential answers to the objection so understood and concludes that only one of them has a chance of succeeding. (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)

Philosophy is experiencing a resurgence of property (PD) and generic substance dualism (SD). One important argument for SD that has played a role in this resurgence is some version of a modal argument. Until recently, premise (3) of the argument (Possibly, I exist, and no wholly physical objects exist.) has garnered most of the attention by critics. However, more recently, the focus has also been on (2) (Wholly physical objects are essentially, wholly, and intrinsically physical and wholly spiritual substances (...) are essentially, wholly, and intrinsically immaterial.). Andrew Bailey has provided one of the best criticisms of (2) on offer. In what follows, I present and clarify one form of the argument and defend premise (2) by responding to important defeaters proffered by Andrew Bailey and his contingent physicalism. (shrink)

It is argued that, because of scientific essentialism, two currently popular arguments against the mind-body identity thesis -- the multiple-realizability argument and the Nagel-Jackson knowledge argument -- are unsatisfactory as they stand and that their problems are incurable. It is then argued that a refutation of the identity thesis in its full generality can be achieved by weaving together two traditional Cartesian arguments -- the modal argument and the certainty argument. This argument establishes, not just the falsity of the (...) identity thesis, but also the metaphysical possibility of disembodiment. (shrink)

I argue that it is metaphysically necessary that: (i) every fundamental entity is conscious, and (ii) every fundamental property is a phenomenal property.

This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent is verified in the actual world. (...) `Ought p' can be accepted without needing to settle that the relevant considerations (norms, expectations, etc.) that actually apply verify the necessity of p. I call the basic account a modal-past approach to the weak/strong necessity modal distinction (for reasons that become evident). Several ways of implementing the approach in the formal semantics/pragmatics are critically examined. The account systematizes a wide range of linguistic phenomena: it generalizes across flavors of modality; it elucidates a special role that weak necessity modals play in discourse and planning; it captures contrasting logical, expressive, and illocutionary properties of weak and strong necessity modals; and it sheds light on how a notion of `ought' is often expressed in other languages. These phenomena have resisted systematic explanation. In closing I briefly consider how linguistic inquiry into differences among necessity modals may improve theorizing on broader philosophical issues. (shrink)

Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truth-functional, and that every consistent normal modal logic can be extended to at least one of them. Lloyd Humberstone has recently shown that a natural analog of this result in congruential modal logics fails, by showing that not every congruential modal logic can be extended to one in which the (...) modal operator is truth-functional. As Humberstone notes, the issue of Post completeness in congruential modal logics is not well understood. The present article shows that in contrast to normal modal logics, the extent of the property of Post completeness among congruential modal logics depends on the background set of logics. Some basic results on the corresponding properties of Post completeness are established, in particular that although a congruential modal logic is Post complete among all modal logics if and only if its modality is truth-functional, there are continuum many modal logics Post complete among congruential modal logics. (shrink)

Here I offer a critical evaluation of modalism about essential properties. To that effect, I begin by rehearsing Fine’s now infamous counterexamples to pure modalism. I then consider two recent defenses of it, offered by Livingstone-Banks and Cowling, respectively. I argue that both defenses fail. Next I consider the most plausible variety of impure modalism – sparse modalism – which has recently been defended by Wildman and de Melo. Skiles has argued that sparse modalism fails too. I argue that (...) Skiles’s counterexamples misfire; nonetheless, his conclusion that, like pure modalism, sparse modalism is too broad, is on the right track. And so, I offer an original objection – the sparse modal propria counterexample – to show that this is so. I conclude by considering ways the modalist might once again modify her account to circumvent this new objection and improve the account’s extensional adequacy. (shrink)

This paper provides an analysis of the intrinsic/extrinsic distinction, as applied both to properties and to relations. In contrast to other accounts, the approach taken here locates the source of a property’s intrinsicality or extrinsicality in the manner in which that property is ‘logically constituted’, and thus – plausibly – in its nature or essence, rather than in e.g. its modal profile. Another respect in which the present proposal differs from many extant analyses lies in the fact that (...) it does not seek to analyse the ‘global’ distinction between intrinsic and extrinsic properties on the basis of the ‘local’ distinction between having a property intrinsically and having it extrinsically. Instead, the latter distinction is explicated on the basis of the former. (shrink)

In this paper I introduce the idea of a higher-order modal logic—not a modal logic for higher-order predicate logic, but rather a logic of higher-order modalities. “What is a higher-order modality?”, you might be wondering. Well, if a first-order modality is a way that some entity could have been—whether it is a mereological atom, or a mereological complex, or the universe as a whole—a higher-order modality is a way that a first-order modality could have been. First-order modality is (...) modeled in terms of a space of possible worlds—a set of worlds structured by an accessibility relation, i.e., a relation of relative possibility—each world representing a way that the entire universe could have been. A second-order modality would be modeled in terms of a space of spaces of (first-order) possible worlds, each space representing a way that (first-order) possible worlds could have been. And just as there is a unique actual world which represents the way that things actually are, there is a unique actual space which represents the way that first-order modality actually is. -/- One might wonder what the accessibility relation itself is like. Presumably, if it is logical or metaphysical modality that is being dealt with, it is reflexive; but is it also symmetric, or transitive? Especially in the case of metaphysical modality, the answer is not clear. And whichever of these properties it may or may not have, could that itself have been different? Could at least some rival modal logics represent different ways that first-order modality could have been? -/- To be clear, the idea behind my proposal is not just that some things which are possible or necessary might not have been so at the first order, as determined by the actual accessibility relation, but also that the actual accessibility relation, and hence the nature or structure of actual modality, could have been different at some higher order of modality. Even if the accessibility relation is actually both symmetric and transitive, perhaps it could (second-order) have been otherwise: There is a (second-order) possible space of worlds in which it is different, where it fails to be symmetric, or transitive. We must, therefore, introduce the notion of a higher-order accessibility relation, one that in this case relates spaces of first-order worlds. The question then arises as to whether that relation is symmetric, or transitive. We can then consider third-order modalities, spaces of spaces of spaces of possible worlds, where the second-order accessibility relation differs from how it actually is. I can see no reason why there should be a limit to this hierarchy of higher-order modalities, any more than I can see a reason why there should be a limit to the hierarchy of higher-order properties. There will thus be an infinity of orders, one for each positive integer, and each order will have an accessibility relation of its own. To keep things as clear as possible, a space of first-order points (i.e., of possible worlds) shall be called a galaxy, a space of second-order points, a universe, and a space of any higher order, a cosmos. However, to keep things as simple as possible, in what follows I will deal with but a single cosmos, and hence will not deal with modalities higher than the third order. -/- The accessibility relation is not the only thing that might be thought to vary between spaces of worlds: Perhaps the contents of the spaces can vary as well. While I presume that the contents of the worlds themselves remain constant—it makes doubtful sense to suppose that in one space some entity e exists in a world w and in another space e doesn’t exist in that same world w—we may suppose that different spaces differ as to which worlds they contain, just as different worlds may differ as to which objects they contain. Thus we might have a higher-order analogue of a variable-domain modal logic. There seem, then, to be three ways in which spaces can differ: First, as to the properties of the accessibility relation; second, as to which worlds the relation relates; and third, as to which worlds or spaces are parts of their domains. -/- The paper will be structured as follows. In Section 2 I provide some reasons why one might want to pursue this kind of project in the first place. In Section 3 I outline the syntax and semantics of my proposed logic. Section 4 covers semantic tableaux for this system; and after giving the rules for their construction, I construct a few of them myself to establish some logical consequences of the system and give the reader a feel for how it works. In Sections 5, 6 and 7 I explore some of its potential philosophical implications for areas besides logic, namely the philosophy of language; metaphysics, including the metaphysics of modality and the philosophy of time, and finally the philosophy of religion, before concluding the paper in Section 8. (shrink)

In a series of papers, Bence Nanay has recently put forward and defended a new theory of function, which he calls the ‘Modal Theory of Function’. In this article, I critically address this theory and argue that it fails to fulfill some key desiderata that a satisfactory theory of function must comply with. As a result, I conclude that, whatever property Nanay’s notion of function refers to, it is not the property having the function that is standardly attributed in (...) science. (shrink)

There is a common assumption in the semantics of modal auxiliaries in natural language; in utterances of MOD φ , where MOD is a modal and φ is the prejacent, context determines the particular flavor of modality expressed by the modal. Such is the standard contextualist semantics of Kratzer and related proposals. This winds up being a problem, because there is a significant class of modals which have constraints on the admissible modal flavor that are not (...) traceable to context. For example, in MUST φ , subsentential properties of φ, like the aspectual class of the predicate in the prejacent, can affect the flavor of MUST. By encoding the above assumption into the semantics, such contextualist accounts fail to be able to explain, much less to predict, this pattern. Worse yet, attempts to exploit the resources of the theory in service of an explanation run afoul of important commitments of the view, like the hypothesis that modals have a uniform semantics. Given these circumstances, these data might seem like a justification for dispensing with the uniformity hypothesis. The present paper lays out the above problem in detail. Against the pessimistic view, I argue that the the contextualist account can in fact explain and predict these patterns while preserving the uniformity hypothesis. This requires adopting an amendment to the semantics of modals based on the work of Valentine Hacquard. Aside from maintaining the contextualist paradigm and preserving uniformity, the proposal also clarifies the role of context in the interpretation of modals. As it will turn out, the role of context ought to be circumscribed in its flavor-determining role for modals. (shrink)

Many metaphysicians maintain that there is a close connection between essence and modality; if an object a necessarily bears property F , then it is metaphysically necessary that Fa (or, perhaps, it is metaphysically necessary that Fa if a exists). Recently, Leech (Forthcoming) has argued that this connection lacks an adequate explanation. In particular, she argues that identity doesn't explain the link between essence and modality. In contrast, I argue that identity provides the resources to undermine Leech’s explanatory demand.

My aim in this paper is to sketch, with a broad brush and in bare outlines, an approach to modal epistemology that is characterized by three distinctive features. First, the approach is agency-based: it locates the roots of our modal thought and knowledge in our experience of our own agency. Second, the approach is ambitious in that it takes the experience of certain modal properties in agency to be the sole distinctive feature of specifically modal (...) thought and knowledge; everything that we know about modality beyond the experience of agency is a matter of applying standard methods of inquiry such as deduction, induction and abductive methods for choosing between theories. Third, the account holds that modal thought and knowledge is, first and foremost, about modal properties that are sufficiently like those encountered in agency. (shrink)

This essay defends two theses regarding the explanation, or ground, of modality in the early modern period. First, for philosophers in the period, essences ground a range of important modal facts. Second, as the period progresses, we witness increased skepticism about certain modal facts, due to a growing skepticism about the scope or existence of essences. These theses are supported by examination of three case studies: Descartes’ treatment of substance and mode (which forms the core of his ontology); (...) Malebranche’s treatment of causation (which bears on his defense of occasionalism); and Locke’s treatment of necessary connections among properties (which is related to his accounts of individuals and kinds). It is shown that in each case, claims about necessity and possibility take center stage, and that in each case, the status of these claims hinges on the status of claims about essences. (shrink)

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes it canonically serves (...) to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

Shelly Kagan has recently defended the view that it is morally worse for a human being to suffer some harm than it is for a lower animal (such as a dog or a cow) to suffer a harm that is equally severe (ceteris paribus). In this paper, I argue that this view receives rather less support from our intuitions than one might at first suppose. According to Kagan, moreover, an individual’s moral status depends partly upon her ‘modal capacities.’ In (...) this paper, I argue that the most natural strategy for justifying Kagan’s theory faces some important challenges. More generally, I argue that philosophers who wish to defend the view that human beings have a higher moral status than that of the lower animals face a dilemma. Either their theory of moral status will imply (unacceptably) that some severely cognitively impaired human beings have a significantly lower moral status than that of typical human beings, or these philosophers will be forced to ground moral status in a set of properties so far removed from a subject’s actual capacities that it will become difficult to see why these kinds of properties should have such moral importance. (shrink)

Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite (...) model property. The method of axiomatization hinges upon the fact that a "difference" operator is definable in hyperboolean algebras, and makes use of additional non-Hilbert-style rules. Finally, we discuss a number of open questions and directions for further research. (shrink)

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

I call anti-resemblism the thesis that independently of any contextual specification there is no determinate fact of the matter about the comparative overall similarity of things. Anti-resemblism plays crucial roles in the philosophy of David Lewis. For instance, Lewis has argued that his counterpart theory is anti-essentialist on the grounds that counterpart relations are relations of comparative overall similarity and that anti-resemblism is true. After Lewis committed himself to a form of realism about natural properties he maintained that anti-resemblism (...) is true about the relations of overall similarity that enter his counterpart theory and his analysis of counterfactuals. However, in this article I argue that Lewis’s account of degrees of naturalness for properties combined with his modal realism entails that anti-resemblism is false. The Lewisian must amend Lewis’s system if she aims to benefit from the alleged virtues of anti-resemblism. I consider two ways of amending it, neither of which is a free lunch. (shrink)

This study asserts that W.V.O. Quine’s eliminative philosophical gaze into mereological composition affects inevitably his interpretations of composition theories of ontology. To investigate Quine’s property monism from the account of modal eliminativism, I applied to his solution for the paradoxes of de re modalities’ . Because of its vital role to figure out how dispositions are encountered by Quine, it was significantly noted that the realm of de re modalities doesn’t include contingent and impossible inferences about things. Therefore, for (...) him, all the intrinsic forces and elements of entities such as powers and causal or teleological dispositions for ontology demand to be seen necessarily as bound variables from a monist perspective. Although his denial of analyticity and the elimination of dispositional field of ontology, S. Mumford criticizes the monist perspective of Quine’s paradoxical approach to superveniences. Because superveniences create problems while determining type-type identities from a monist mereological perspective. It is observed that Quine faces with a reduction again in terms of his dispositional monism despite his critiques to repulse vagueness from the ontology in his well-known article Two Dogmas of Empiricism. -/- . (shrink)

The interpretation of Lewis‘s doctrine of natural properties is difficult and controversial, especially when it comes to the bearers of natural properties. According to the prevailing reading – the minimalist view – perfectly natural properties pertain to the micro-physical realm and are instantiated by entities without proper parts or point-like. This paper argues that there are reasons internal to a broadly Lewisian kind of metaphysics to think that the minimalist view is fundamentally flawed and that a liberal (...) view, according to which natural properties are instantiated at several or even at all levels of reality, should be preferred. Our argument proceeds by reviewing those core principles of Lewis‘s metaphysics that are most likely to constrain the size of the bearers of natural properties: the principle of Humean supervenience, the principle of recombination in modal realism, the hypothesis of gunk, and the thesis of composition as identity. (shrink)

This paper develops an update semantics for weak necessity modals like ‘ought’ and ‘should’. I start with the basic approach to the weak/strong necessity modal distinction developed in Silk 2018: Strong necessity modals are given their familiar semantics of necessity, predicating the necessity of the prejacent of the actual world (evaluation world). The apparent “weakness” of weak necessity modals derives from their bracketing the assumption that the relevant worlds in which the prejacent is necessary (deontically, epistemically, etc.) need be (...) candidates for actuality. ‘Should φ’ can be accepted without needing to settle that the relevant considerations (norms, preferences, expectations, etc.) that actually apply, given the facts, verify the necessity of φ. I formalize these ideas within an Update with Centering framework. The meaning of ‘Should φ’ is explained, fundamentally, in terms of how its use updates attention toward possibilities in which φ is necessary. The semantics is also extended to deontic conditionals. The proposed analyses capture various contrasting logical properties and discourse properties of ‘should’ and ‘must’ — e.g., in sensitivities to standing contextual assumptions, entailingness, and force — and provide an improved treatment of largely neglected data concerning information-sensitivity. (shrink)