Relativized Metaphysical Modality (RMM: Murray and Wilson, 'Relativized metaphysical modality', Oxford Studies in Metaphysics, 2012; Murray, Perspectives on Modal Metaphysics, 2017) exploits 'two-dimensionalist' resources to metaphysical, rather than epistemological, ends: the second dimension offers perspective-dependence without contingency, diverting attacks on 'Classical' analyses of modals (in effect, analyses validating S5 and the Barcan Formulae). Here, we extend the RMM program in two directions. First, we harvest resources for RMM from Lewis's 1980 'Context--Index' (CI) framework: (...) (a) the ban in CI on binding into context-arguments (akin to Kaplan's 'monstrosity' ban) projects a bright line between perspective-dependence and contingency; and (b) CI-postulated connections among meaning, content, truth, argument-structure, context, and modality collectively generate a 'Generalized Humphrey Problem' for any non-Classical analysis (examples covered include appeals to accessibility, contingent domains, and counterpart relations). Second, we sharpen the tools of RMM-based metaphysical analysis, and extend their domain of coverage across familiar anomalies for Classical modals: we revisit earlier RMM-based bulwarks for S5 (against 'Chisholm's Paradox' for moderate flexibility of essence, and nomological necessitarianism); and we now similarly shore up the Barcan Formulae (against the apparent contingency of existence and nonexistence). (shrink)

It is commonly supposed that metaphysical modal claims are to be evaluated with respect to a single domain of possible worlds: a claim is metaphysically necessary just in case it is true in every possible world, and metaphysically possible just in case it is true in some possible world. We argue that the standard understanding is incorrect; rather, whether a given claim is metaphysically necessary or possible is relative to which world is indicatively actual. We motivate our view by (...) attention to discussions in Salmon 1989 and Fine 2005, in which various data are taken to support rejecting the transitivity of accessibility and modal monism ; we argue that relativized metaphysical modality can accommodate these data compatible with both standard modal logic and modal monism. Noting an analogy with two-dimensional semantics, we argue that metaphysical modality has a complex structure, reflecting what is counterfactually possible, relative to each indicatively actual world. In arguing for the need for relativization, we are broadly on the same side as Crossley and Humberstone and Davies and Humberstone ; our contribution here is, first, to offer distinctively metaphysical reasons for relativization, and second, to show that relativization can be incorporated in ways minimally departing from standard modal logic. (shrink)

This paper is organised as follows: first, I present Salmon’s theory of modality and compare it with the standard interpretation of modality: ‘the nonrelativized S5-friendly interpretation of metaphysical modality’. Second, I explain Murray and Wilson’s ‘two-dimensional S5-friendly interpretation of relativized metaphysical modality’. In the third and last part, I put forward a few arguments against Murray and Wilson’s attempt to provide an essentialist S5-friendly theory for modality. In general, this paper argues that (...) if one wants to hold an essentialist theory for relativized modality, then his best option in the market right now is to stick with Salmon’s proposal, which better represents a genuine essentialist interpretation of relativized metaphysical modality. (shrink)

On what I call absolutist essentialism about modality (AE), the metaphysical necessities are the propositions that are true in virtue of the essence (i.e. Aristotelian, absolute essence) of some entities. Other kinds of necessity can then be defined by restriction – e.g. the conceptual necessities are the propositions that are true in virtue of the essence of conceptual entities specifically. As an account of metaphysical modality and some other kinds (e.g. logical, conceptual), AE may have important (...) virtues. However, when it comes to accounting for further important kinds, like natural or normative necessity, it faces a challenge. Three main options have been defended: treat those kinds as further restricted forms of metaphysical necessity; define them as conditional forms of metaphysical necessity; treat them as primitive kinds. -/- In this paper, I propose a new option, which combines the main idea of AE (reducing necessities to essences) with an idea which has been developed largely independently: that of relative essence. On the proposed view, those kinds (e.g. natural necessity) that cannot be grounded in the essences (i.e. absolute essences) of the relevant entities (e.g. natural entities) may be grounded in their relative essences instead. Thus, I propose a generalized, or extended, version of AE, which I call relativized essentialism about modality (RE). In particular, RE offers prospects for a general framework for kinds of modality which is flexible enough to cover a large range of kinds (both absolute and relative ones) while remaining parsimonious and unified. (shrink)

In recent years, some people have held that a radical relativist position is defensible in some philosophically interesting cases, including future contingents, predicates of personal taste, evaluative predicates in general, epistemic modals, and knowledge attributions. The position is frequently characterized as denying that utterance-truth is absolute. I argue that this characterization is inappropriate, as it requires a metaphysical substantive contention with which moderate views as such need not be committed. Before this, I also offer a more basic, admittedly less (...) exciting alternative characterization of the position, in terms of departing from the Kaplan–Lewis–Stalnaker two-dimensional framework. (shrink)

In recent years, some people have held that a radical relativist position is defensible in some philosophically interesting cases, including future contingents, predicates of personal taste, evaluative predicates in general, epistemic modals, and knowledge attributions. The position is frequently characterized as denying that utterance-truth is absolute. I argue that this characterization is inappropriate, as it requires a metaphysical substantive contention with which moderate views as such need not be committed. Before this, I also offer a more basic, admittedly less (...) exciting alternative characterization of the position, in terms of departing from the Kaplan–Lewis–Stalnaker two-dimensional framework. (shrink)

Modal dimensionalism is realism about spaces, times and worlds—metaphysical indices that make objects spatial, temporal and modal, respectively, and that play the role of alethic relativizers, i.e. items to which matters of truth are relativized. This paper examines several arguments against MD and shows that MD offers a feasible way to understand modal discourse.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Medieval Heritage in Early Modern Metaphysics and Modal Theory, 1400–1700Jean-Pascal AnfrayRussell L. Friedman and Lauge O. Nielsen, editors. The Medieval Heritage in Early Modern Metaphysics and Modal Theory, 1400–1700. Dordrecht: Kluwer, 2003. Pp. vi + 346. Cloth, $149.00.This volume contains contributions that aim to show the continuity between late medieval thought and early modern philosophy, or, as the editors say, to investigate "the way that medieval thought (...) served as a fertile basis for developments in the early modern period" (3). As the title indicates, most papers treat topics more or less connected to modalities, either from a logical or from an ontological point of view. The nature of modalities is indeed at the core of metaphysics and philosophical theology. Ludger Honnefelder, Joël Biard, and Fabrizio Mondori all show the influence of Duns Scotus on the setting of modern metaphysics. The importance of theological matters in the development of philosophical thought has been acknowledged for a long time. Thus Chris Schabel ("Divine Foreknowledge and Human Freedom: Auriol, Pomponazzi, and Luther on 'Scholastic Subtleties'") sketches the story of the controversy over God's foreknowledge and future contingents from its setting in the early fourteenth century to Lutheran Reformation. He stresses the underestimated influence of Peter Auriol in this continuing debate. Still, revealed theology too exercised influence on the philosophy of logic. Trinity constitutes an until now little studied case, which is the subject matter of Simo Knuuttila's contribution ("The Question of the Validity of Logic in Late Medieval Thought"). He partly rehearses some of his well-known theses about the source of logical truths and modalities and analyses the constructivist aspects of Descartes's position, in so far as the laws of logic are said to depend on God's will. But the most original part of the study bears on the effects of Trinitarian constraints within the field of logic, especially in syllogistics. Medieval thinkers had to cope with syllogisms like: "The divine essence is the father; the divine essence is the Son; therefore the Son is the Father." In order to avoid the absurdity of the conclusion, many answers were elaborated: Robert Holcot removed the Trinity from the domain of validity of syllogistics, thereby relativizing it. Luther's claim that the principles of theology contradict those of logic looks like a radical version of this position. Adam Wodeham maintained contrariwise the universality of syllogistics: he held that the premisses are not syllogistic if they are interpreted as true (130). His account is based on the identity theory of predication and on the distinction between intensional and extensional identity, which both date back to Abelard.In the period covered by the volume, early modern scholastic, chiefly the Jesuit scholastic, holds a central place. Two articles insist on its originality and intrinsic value. Jeffrey Coombs ("The Ontological Source of Logical Possibility in Catholic Second Scholasticism") [End Page 208] analyzes the various metaphysics of modalities. He claims that three theories of the source of logical modalities were entertained during the early seventeenth century, which he labels respectively "transcendentalism," "modal voluntarism," and "divine conceptualism." All of these positions can be traced back to medieval theories; however, they received an extensive treatment in late scholastic thought. Coombs is especially illuminating when he emphasizes the importance of the grounding metaphysical structure: essences and their systematic relations through "Porphyrian trees." This generated two different accounts of the ontological status of essences: according to essentialist theories, complete Porphyrian trees are the basis of necessity and possibility, while according to a "string theories," only the logical connections between the components of the essential structure are available eternally (196).Yet the most striking novelty of the time lies in the systematization of a statistical interpretation of modalities through the "moral modalities," originating in post-Tridentine Catholic theology. In contrast to Hacking's thesis (see The Taming of Chance [Cambridge, 1990]), Sven Knebel ("The Renaissance of Statistical Modalities in Early Modern Scholasticism") contends that the concept of aleatory probability was first developed within this context. That an event-type Q is morally necessary means that Q is always the case, and that not-Q actually is never the case (236... (shrink)

How does metaphysical necessity relate to the modal force often associated with natural laws? Fine argues that natural necessity can neither be obtained from metaphysical necessity via forms of restriction nor of relativization — and therefore pleads for modal pluralism concerning natural and metaphysical necessity. Wolff, 898–906, 2013) aims at providing illustrative examples in support of applying Fine’s view to the laws of nature with specific recourse to the laws of physics: On the one hand, Wolff takes (...) it that equations of motion can count as examples of physical laws that are only naturally but not metaphysically necessary. On the other hand, Wolff argues that a certain conservation law obtainable via Noether’s second theorem is an instance of a metaphysically necessary physical law. I show how Wolff’s example for a putatively metaphysically necessary conservation law fails but argue that so-called topological currents can nevertheless count as metaphysically necessary conservation laws carrying physical content. I conclude with a remark on employing physics to answer questions in metaphysics. (shrink)

The simplest quantified modal logic combines classical quantification theory with the propositional modal logic K. The models of simple QML relativize predication to possible worlds and treat the quantifier as ranging over a single fixed domain of objects. But this simple QML has features that are objectionable to actualists. By contrast, Kripke-models, with their varying domains and restricted quantifiers, seem to eliminate these features. But in fact, Kripke-models also have features to which actualists object. Though these philosophers have introduced variations (...) on Kripke-models to eliminate their objectionable features, the most well-known variations all have difficulties of their own. The present authors reexamine simple QML and discover that, in addition to having a possibilist interpretation, it has an actualist interpretation as well. By introducing a new sort of existing abstract entity, the contingently nonconcrete, they show that the seeming drawbacks of the simplest QML are not drawbacks at all. Thus, simple QML is independent of certain metaphysical questions. (shrink)

I develop a psychological account for how it is that we use imagination to metaphysically modalize, i.e., to reach conclusions about metaphysical modality. Specifically, I argue that Nichols and Stich’s (2003) cognitive theory of imagination can be extended to metaphysical modalizing. I then use the extension to explicate philosophical disagreements about whether a scenario is metaphysically possible. Thereafter, I address Nichols’ (2006) objection that psychologizing imagination makes it clear that imagination is unreliable when used to metaphysically modalize. (...) The end result is a naturalistic account for how imagination enables us to metaphysically modalize. (shrink)

Essentialists claim that we can distinguish between an object's essential and its accidental properties. Following important developments in modal logic during the 1960s and 70s, the orthodox view was that the essential properties of an object are its necessary properties. In his influential 1994 paper "Essence and Modality", Kit Fine argues that the orthodox view is wrong. His two main claims are that first, essentiality cannot be defined in terms of necessity and second, that necessity should instead be defined (...) in terms of essentiality. In my dissertation, I aim to undermine both of his claims in order to defend a variation of the orthodox view. To do this, I first develop Fine's proposal for an essentialist definition of necessity into a more general essentialist theory of modality. I then raise a series of problems for the resulting theory. Finally, I introduce and defend a novel definition of essentiality in terms of metaphysical necessity and a notion of metaphysical dependence. (shrink)

This chapter argues that the ordinary cognitive capacity to handle counterfactual conditionals carries with it the cognitive capacity to handle metaphysical modality. It aims to illustrate with examples our cognitive use of counterfactual conditionals, and sketches an epistemology for such conditionals. The chapter explains how they subsume metaphysical modality, and assesses the consequences for the distinction between a priori and a posteriori knowledge. It discusses the relation between metaphysical possibility and the restricted kinds of possibility (...) that seem more relevant to ordinary life. Philosophers’ ascriptions of metaphysical modality are far more deeply rooted in our ordinary cognitive practices than most skeptics about it realize. Many philosophers are more confident in their judgments about more or less realistic thought experiments in epistemology and moral philosophy than about more radically strange ones in metaphysics. Philosophical controversy will naturally make the unclear cases salient. (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)

Many contemporary philosophers accept Hume's Dictum, according to which there are no metaphysically necessary connections between distinct, intrinsically typed entities. Tacit in Lewis 's work is a potential motivation for HD, according to which one should accept HD as presupposed by the best account of the range of metaphysical possibilities---namely, a combinatorial account, applied to spatiotemporal fundamentalia. Here I elucidate and assess this Ludovician motivation for HD. After refining HD and surveying its key, recurrent role in Lewis ’s work, (...) I present Lewis ’s appeal to HD as providing a broadly axiomatic generating basis for the space of metaphysical modality, and canvas the prima facie advantages of the resulting combinatorial principle---HD ---as being principled, extensionally adequate and modally reductive. Most criticisms of Lewis 's combinatorialism have targeted seeming ways in which the theory overgenerates the desired space; I rather argue that HD seriously undergenerates the desired space in three different ways. For each way I argue that available means of overcoming the undergeneration either fail to close the gap, undermine the claim that HD is a principled generator of metaphysical modal space, undermine the reductive status of Lewis 's combinatorialism, or call into question the truth of HD. (shrink)

In this paper, I argue that not only is metaphysical modal normativism an attractive view but that, as a matter of fact, many of us have, all along, been metaphysical modal normativists of a particular stripe. Namely, we have been the kinds of modal normativists, in the form of counterpart theorists, who are robust realists about possibility simpliciter. Having introduced modal normativism as Thomasson does in Norms and Necessity, I go on to recast it in somewhat different terms. (...) With this re-casting in place we can see that while the view offers a pleasingly deflationary account of metaphysical necessity and possibility it does so only against the backdrop of robust realism about possibility simpliciter. If that is right, then Lewis’ counterpart theory turns out to be a potent version of metaphysical modal normativism. So many of us have, all along, been metaphysical modal normativists, and so much the better for it. (shrink)

Many contemporary philosophers accept a strong generalization of Hume's denial of necessary causal connections, in the form of Hume's dictum (HD), according to which there are no metaphysically necessary connections between distinct, intrinsically typed entities. Hume's version of his dictum occurs during his investigation into the source of the idea of causal connection. The most powerful role that HD plays in Lewis's system concerns its providing a basis for, as Lewis puts it, a "principle of plentitude" that will guarantee "that (...) the worlds are abundant, and logical space is somehow complete". Lewis's combinatorialism promises to provide a principled, extensionally adequate, and reductive generator of metaphysical modal space. Beyond combinatorialism, there are many other accounts of metaphysical modality that need to be considered, not just with an eye to extensional adequacy but also to the clear desideratum to provide an account of the space of metaphysical modality that is principled. (shrink)

The paper explores the project of an ambitious modal epistemology that attempts to combine the a priori methods of Chalmers’ 2D semantics with Kripke’s modal metaphysics. I argue that such a project is not viable. The ambitious modal epistemology involves an inconsistent triad composed of (1) Modal Monism, (2) Two-Dimensionalism, and what I call (3) “Metaphysical Kripkeanism”. I present the three theses and show how only two of those can be true at a time. There is a fundamental incompatibility (...) between Chalmers’ Modal Rationalism and Kripke’s modal metaphysics. Specifically, Chalmers’ conceivability entails possibilities that a Kripkean rejects as genuinely metaphysical. However, three positive stances in modal epistemology emerge from the combinations that the triad allows. One of those offers a promising way forward for 2D modal epistemologies. But it comes with a cost, as it requires abandoning modal monism and reshaping the scope of what a priori conceivability can give us access to. (shrink)

A striking feature of the traditional armchair method of philosophy is the use of imaginary examples: for instance, of Gettier cases as counterexamples to the justified true belief analysis of knowledge. The use of such examples is often thought to involve some sort of a priori rational intuition, which crude rationalists regard as a virtue and crude empiricists as a vice. It is argued here that, on the contrary, what is involved is simply an application of our general cognitive capacity (...) to handle counterfactual conditionals, which is not exclusively a priori and is not usefully conceived as a form of rational intuition. It is explained how questions of metaphysical possibility and necessity are equivalent to questions about counterfactuals, and the epistemology of the former (in particular, the role of conceiving or imagining) is a special case of the epistemology of the latter. A non-imaginary Gettier case is presented in order to show how little difference it makes. (shrink)

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)

How can we acquire knowledge of metaphysical modality? How can someone come to know that he could have been elsewhere right now, or an accountant rather than a philosophy teacher, but could not have been a turnip? Jago proposes an account of a route to knowledge of the way things could have been and must be. He argues that we can move to knowledge of metaphysical modality from knowledge about essence. Curtis rejects Jago’s explanation. It cannot, (...) he argues, explain our knowledge of de re necessity. We agree. But there is more to be said. To give an account of our knowledge of metaphysical necessity is part of the task Jago set himself. But another part is to give an account of the knowledge of the possibilities accorded to particular objects. And prior to both what is needed, and something Jago attempts to supply, is an account of how ordinary knowers can come to have knowledge of an individual’s essential properties. We argue that Jago’s accounts of both these additional matters are also unsatisfactory. This is important because the thought that our knowledge of metaphysical modality has its source in our knowledge of essence is currently an attractive one and Jago has set out very clearly what must be done to justify the thought. The flaws in his proposal thus indicate the work needed if the attractive thought is to be accepted. (shrink)

I first examine and reject a prominent rationalist approach to knowledge of metaphysical modality, advocated by philosophers such as Yablo and Chalmers, who rely on the notion of conceivability to explain how we can achieve such knowledge. The focus of my criticism concerns a particular requirement of these accounts, namely that the content of modally reliable conceivability intuitions, which is in the first instance a simple imaginary situation, can be extended to completeness and thus considered to be verifiable (...) by a range of possible worlds. I thus argue that the notions these philosophers employ cannot provide the criteria by which we could understand how such an operation could be understood in a purely epistemic way. This is because they rely on substantial metaphysical assumptions, for instance the assumption that all aspects of reality can in principle be represented and grasped by the human mind as a unified whole. These assumptions render their notion of conceivability inadequate to be used as an epistemic guide to possibility. Finally, I outline the broad epistemological principles that pertain to a specific Kripkean understanding of metaphysical necessity that I favor, which construes it as a kind of natural necessity. (shrink)

I outline Hume’s views about conceivability evidence. Then I critically scrutinize two threats to conceivability-based modal epistemology. Both arise from Hume’s criticism of claims to knowing necessary causal relationships: Firstly, a sceptical stance towards causal necessity may carry over to necessity claims in general. Secondly, since – according to a sceptical realist reading – Hume grants the eventuality of causal powers grounded in essential features of objects, conceivability-based claims to comprehensive metaphysical possibilities seem endangered. I argue that although normal (...) conceivability-based claims are defeasible, they are prima facie vindicated. (shrink)

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

I outline Hume’s views about conceivability evidence. Then I critically scrutinise two threats to conceivability-based modal epistemology. Both arise from Hume’s criticism of claims to knowing necessary causal relationships: Firstly, a sceptical stance towards causal necessity may carry over to necessity claims in general. Secondly, since – according to a sceptical realist reading – Hume grants the eventuality of causal powers grounded in essential features of objects, conceivability-based claims to comprehensive metaphysical possibilities seem endangered. I argue that although normal (...) conceivability-based claims are defeasible, they are prima facie vindicated. Humes Ansichten über Vorstellbarkeit als Indikator für Möglichkeit werden zusammengefasst. Dann werden zwei Schwierigkeiten für eine auf Vorstellbarkeit basierende modale Erkenntnistheorie aufgeworfen. Beide entstehen aus Humes Kritik an Ansprüchen aufWissen notwendiger kausaler Beziehungen. Erstens könnte sich eine skeptische Haltung gegenüber kausaler Notwendigkeit auf Ansprüche, notwendige Zusammenhänge zu kennen, im allgemeinen auswirken. Zweitens gesteht Hume gemäß einem skeptischen Realismus die Eventualität kausaler Kräfte zu, die in wesentlichen Eigenschaften der Dinge gründen. Dies scheint unvereinbar mit der auf Vorstellbarkeit gestützten Behauptung umfassender metaphysischer Möglichkeiten. Dagegen soll gezeigt werden, dass auf Vorstellbarkeit gestützte modale Wissensansprüche zwar widerlegbar, aber prima facie gerechtfertigt sind. (shrink)

Those who aim to give an account of modal knowledge face two challenges: the integration challenge of reconciling an account of what is involved in knowing modal truths with a plausible story about how we can come to know them, and the reliability challenge of giving a plausible account of how we could have evolved a reliable capacity to acquire modal knowledge. I argue that recent counterfactual and dispositional accounts of modal knowledge cannot solve these problems regarding specifically metaphysical (...) modal truths—leaving us with the threat of skepticism about large portions of metaphysics, and certain other areas of philosophy. I argue, however, that both of these problems look insuperable only if we assume that metaphysical modal discourse serves a describing or tracking function. If we adopt instead a normativist approach to metaphysical modal discourse, which sees the basic function of modal discourse as giving us perspicuous ways of conveying, reasoning with, and renegotiating semantic rules, the problems show up very differently. The modal normativist can give a plausible response to both of the classic problems of how we can come to know metaphysical modal truths. (shrink)

This paper defendsintensional essentialism: a property (intensional entity) is not essential relative to an individual (extensional entity), but relative to other properties (or intensional entities). Consequently, an individual can have a property only accidentally, but in virtue of having that property the individual has of necessity other properties. Intensional essentialism is opposed to various aspects of the Kripkean notion of metaphysical modality, eg, varying domains, existence as a property of individuals, and its category of properties which are both (...) empirical and essential with respect to particular individuals and natural kinds. The key notion of intensional essentialism isrequisite. A requisite is explicated as a relation-in-extension between two intensions (functions from possible worlds and moments of time)X, Y such that wherever and wheneverX is instantiatedY is also instantiated. We predict three readings of the sentence. Every wooden table is necessarily wooden , one involving modalityde re and the other two modalityde dicto. The first reading claims that no individual which is a wooden table is necessarily wooden. The claim is backed up by bare particular anti-essentialism. The two other interpretations claim that it is necessary that whatever is a wooden table is wooden. However, as we try to show, one is logically far more perspicuous thanks to the concept of requisite and thus preferable to more standardde dicto formalizations. (shrink)

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

A striking feature of the traditional armchair method of philosophy is the use of imaginary examples: for instance, of Gettier cases as counterexamples to the justified true belief analysis of knowledge. The use of such examples is often thought to involve some sort of a priori rational intuition, which crude rationalists regard as a virtue and crude empiricists as a vice. It is argued here that, on the contrary, what is involved is simply an application of our general cognitive capacity (...) to handle counterfactual conditionals, which is not exclusively a priori and is not usefully conceived as a form of rational intuition. It is explained how questions of metaphysical possibility and necessity are equivalent to questions about counterfactuals, and the epistemology of the former (in particular, the role of conceiving or imagining) is a special case of the epistemology of the latter. A non-imaginary Gettier case is presented in order to show how little difference it makes. (shrink)

Beall and Restall 2000; 2001; 2006 advocate a comprehensive pluralist approach to logic, which they call Logical Pluralism, according to which there is not one true logic but many equally acceptable logical systems. They maintain that Logical Pluralism is compatible with monism about metaphysical modality, according to which there is just one correct logic of metaphysical modality. Wyatt 2004 contends that Logical Pluralism is incompatible with monism about metaphysical modality. We first suggest that if (...) Wyatt were right, Logical Pluralism would be strongly implausible because it would get upside down a dependence relation that holds between metaphysics and logic of modality. We then argue that Logical Pluralism is prima facie compatible with monism about metaphysical modality. (shrink)

According to Timothy Williamson, philosophy is not a mere conceptual investigation and does not involve a specific cognitive ability, different in nature from those involved in acquiring scientific or ordinary knowledge of the world. The author holds that Williamson does not succeed in explaining how it is possible for us to acquire, through thought experiments, the type of knowledge that, according to him, philosophy predominantly aims to acquire—namely, knowledge of metaphysical modality. More specifically, the author considers in detail (...) Russell’s stopped clock and Locke’s prince and the cobbler thought experiments, and argues that Williamson has not shown how the kind of thought experiment of which they are instances, and which is typically encountered in philosophy, can be the instrument of knowledge of metaphysical modality that he takes this kind of thought experiment to be. More positively, the author advances that the modal conclusions of such thought experiments are drawn through conceptual investigation. (shrink)

This volume contains eighteen papers, three with new postscripts, that were written over the past 35 years. Five of the papers have not been previously published. Together they provide a comprehensive account of modal reality—the realm of possible worlds—from a Humean perspective, with excursions into neighboring topics in metaphysics. Part 1 sketches an account of reality as a whole, both the mathematical and the modal, defending a form of plenitudinous realism: every consistent proposition is true of some portion of reality. (...) Part 2 presents and defends a realist theory of concrete possible worlds with an absolute ontological distinction between the actual and the merely possible. Part 3 presents and defends a Humean account of modal plenitude, formulating and endorsing principles of recombination, of plenitude of possible structures, and of plenitude of alien contents. Part 4 applies the Humean account to truthmaking, mereology, spacetime, and quantities. I argue that holding fast to Humean strictures leads to views that differ in radical ways from those put forth by contemporary metaphysicians. (shrink)

Analytic philosophy has recently demonstrated a revived interest in metaphysical problems about possibility and necessity. Graeme Forbes here provides a careful description of the logical background of recent work in this area for those who may be unfamiliar with it, moving on to d discuss the distinction between modality de re and modality de dicto and the ontological commitments of possible worlds semantics. In addition, Forbes offers a unified theory of the essential properties of sets, organisms, artefacts, (...) substances, and events, based on the doctrine that identity facts must be intrinsically grounded, and analyzes and rejects apparent counterexamples to this doctrine. (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)

Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.

Metaphysics and language: Quine, W. V. O. On the individuation of attributes. Körner, S. On some relations between logic and metaphysics. Marcus, R. B. Does the principle of substitutivity rest on a mistake? Van Fraassen, B. C. Platonism's pyrrhic victory. Martin, R. M. On some prepositional relations. Kearns, J. T. Sentences and propositions.--Basic and combinatorial logic: Orgass, R. J. Extended basic logic and ordinal numbers. Curry, H. B. Representation of Markov algorithms by combinators.--Implication and consistency: Anderson, A. R. Fitch on (...) consistency. Belnap, N. D., Jr. Grammatical propaedeutic. Thomason, R. H. Decidability in the logic of conditionals. Myhill, J. Levels of implication.--Deontic, epistemic, and erotetic logic: Bacon, J. Belief as relative knowledge. Wu, K. J. Believing and disbelieving. Kordig, C. R. Relativized deontic modalities. Harrah, D. A system for erotetic sentences. (shrink)

Necessitists hold that, necessarily, everything is such that, necessarily, something is identical to it. Timothy Williamson has posed a number of challenges to contingentism, the negation of necessitism. One such challenge is an argument that necessitists can more wholeheartedly embrace possible worlds semantics than can contingentists. If this charge is correct, then necessitists, but not contingentists, can unproblematically exploit the technical successes of possible worlds semantics. I will argue, however, that the charge is incorrect: contingentists can embrace possible worlds semantics (...) as wholeheartedly as necessitists. Williamson offers a criterion for a class of models of quantified modal logic to be intended, and argues on its basis that contingentists must deny that there is an intended class of models. I argue that Williamson’s criterion is objectionable, supply an alternative that does not support Williamson’s argument, and adapt Williamson’s construction of an intended model structure to the needs of contingentist metaphysics. (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)

I expand modal normativism, a theory of metaphysical modality, to give a normativist account of metaphysical explanation. According to modal normativism, basic modal claims do not have a descriptive function, but instead have the normative function of enabling language users to express semantic rules that govern the use of ordinary non-modal vocabulary. However, a worry for modal normativism is that it doesn’t keep up with all of the important and interesting metaphysics we can do by giving and (...) evaluating metaphysical explanations. So, I advance modal normativism by arguing that metaphysical explanations also have a normative rather than descriptive function. In particular, non-causal explanatory claims have formal and semantic properties that make them expressively stricter than basic modal claims and so are better suited to express fine-grained aspects of semantic rules. A major payoff of my normativist account of metaphysical explanations is that it yields a plausible story about how we come to evaluate and know metaphysical explanations—we do this primarily by conceptual analysis. I also respond to a number of objections, including the objection that the epistemic payoffs of my view are not worth the metaphysical costs. (shrink)

Some philosophers of science have suggested that contemporary science should be the source of inspiration to the new analytic metaphysics (A. Chakra vartty, C. Callender, S. French, J. Ladyman, T. Maudlin, etc.). This paper explores the prospect of a string metaphysics: a research program in analytic metaphysics based on string theory. Different forms of fundamentalism and pluralism are discussed in this context. The paper focus on string metaphysics with S-dualities (a relation between models of string theory at different coupling regimes) (...) and argues that fundamentality and compositionality have to be reconceptualized. String metaphysics with dualities is better couched in terms of metaphysical pluralism. Grounding, as well as a sketch of a string modality, are briefly discussed. The paper concludes with a suggestion for future work: the metaphysician may find a productive ground for research in discussing other dualities (especially the T-dualities, or the AdS/CFT duality), the emergence of spacetime, the concept of time in string theory, the multiverse etc. (shrink)

The philosophy of modality investigates necessity and possibility, and related notions--are they objective features of mind-independent reality? If so, are they irreducible, or can modal facts be explained in other terms? This volume presents new work on modality by established leaders in the field and by up-and-coming philosophers. Between them, the papers address fundamental questions concerning realism and anti-realism about modality, the nature and basis of facts about what is possible and what is necessary, the nature of (...) modal knowledge, modal logic and its relations to necessary existence and to counterfactual reasoning. The general introduction locates the individual contributions in the wider context of the contemporary discussion of the metaphysics and epistemology of modality. (shrink)