The purpose of this study is to propose new similarity measures namely rough variational coefficient similarity measure under the rough neutrosophic environment. The weighted rough variational coefficient similarity measure has been also defined. The weighted rough variational coefficient similarity measures between the rough ideal alternative and each alternative are xxxxx calculated to find the best alternative. The ranking order of all the alternatives can be determined by using the numerical values of similarity measures. Finally, an illustrative example has been provided (...) to show the effectiveness and validity of the proposed approach. Comparisons of decision results of existing rough similarity measures have been provided. (shrink)

This paper is devoted to present Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) method for multi-attribute group decision making under rough neutrosophic environment. The concept of rough neutrosophic set is a powerful mathematical tool to deal with uncertainty, indeterminacy and inconsistency. In this paper, a new approach for multi-attribute group decision making problems is proposed by extending the TOPSIS method under rough neutrosophic environment. Rough neutrosophic set is characterized by the upper and lower approximation operators and the (...) pair of neutrosophic sets that are characterized by truth-membership degree, indeterminacy membership degree, and falsity membership degree. In the decision situation, ratings of alternatives with respect to each attribute are characterized by rough neutrosophic sets that reflect the decision makers’ opinion. Rough neutrosophic weighted averaging operator has been used to aggregate the individual decision maker’s opinion into group opinion for rating the importance of attributes and alternatives. Finally, a numerical example has been provided to demonstrate the applicability and effectiveness of the proposed approach. (shrink)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

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

What does 'might' mean? One hypothesis is that 'It might be raining' is essentially an avowal of ignorance like 'For all I know, it's raining'. But it turns out these two constructions embed in different ways, in particular as parts of larger constructions like Wittgenstein's 'It might be raining and it's not' and Moore's 'It's raining and I don't know it', respectively. A variety of approaches have been developed to account for those differences. All approaches agree that both Moore sentences (...) and Wittgenstein sentences are classically consistent. In this paper I argue against this consensus. I adduce a variety of new data which I argue can best be accounted for if we treat Wittgenstein sentences as being classically inconsistent. This creates a puzzle, since there is decisive reason to think that 'Might p' is classically consistent with 'Not p'. How can it also be that 'Might p and not p' and 'Not p and might p' are classically inconsistent? To make sense of this situation, I propose a new theory of epistemic modals and their interaction with embedding operators. This account makes sense of the subtle embedding behavior of epistemic modals, shedding new light on their meaning and, more broadly, the dynamics of information in natural language. -/- . (shrink)

Boris Kment takes a new approach to the study of modality that emphasises the origin of modal notions in everyday thought. He argues that the concepts of necessity and possibility originate in counterfactual reasoning, which allows us to investigate explanatory connections. Contrary to accepted views, explanation is more fundamental than modality.

This paper proposes a new model of graded modal judgment. It begins by problematizing the phenomenon: given plausible constraints on the logic of epistemic modality, it is impossible to model graded attitudes toward modal claims as judgments of probability targeting epistemically modal propositions. This paper considers two alternative models, on which modal operators are non-proposition-forming: (1) Moss (2015), in which graded attitudes toward modal claims are represented as judgments of probability targeting a “proxy” proposition, belief in which would underwrite (...) belief in the modal claim. (2) A model on which graded attitudes toward modal claims are represented as judgments of credence taking as their objects (non-propositional) modal representations (rather than proxy propositions). The second model, like Moss’ model, is shown to be semantically and mathematically tractable. The second model, however, can be straightforwardly integrated into a plausible model of the role of graded attitudes toward modal claims in cognition and normative epistemology. (shrink)

This essay proposes a new theory of agentive modals: ability modals and their duals, compulsion modals. After criticizing existing approaches—the existential quantificational analysis, the universal quantificational analysis, and the conditional analysis—it presents a new account that builds on both the existential and conditional analyses. On this account, the act conditional analysis, a sentence like ‘John can swim across the river’ says that there is some practically available action that is such that if John tries to do it, he swims across (...) the river. The essay argues that the act conditional analysis avoids the problems faced by existing accounts of agentive modality and shows how the act conditional analysis can be extended to an account of generic agentive modal claims. The upshot is a new vantage point on the role of agentive modal ascriptions in practical discourse: ability ascriptions serve as a kind of hypothetical guarantee, and compulsion ascriptions as a kind of nonhypothetical guarantee. (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)

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)

Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context are explored.

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)

It is often assumed that when one party felicitously rejects an assertion made by an- other party, the first party thinks that the proposition asserted by the second is false. This assumption underlies various disagreement arguments used to challenge contex- tualism about some class of expressions. As such, many contextualists have resisted these arguments on the grounds that the disagreements in question may not be over the proposition literally asserted. The result appears to be a dialectical stalemate, with no independent (...) method of determining whether any particular instance of disagreement is over the proposition literally asserted. In this paper, I propose an independent method for assessing whether a disagreement is about what’s literally asserted. Focusing on epistemic modals throughout, I argue that this method provides evidence that some epistemic modal disagreements are in fact not over the proposition literally asserted by the utterance of the epistemic modal sentence. This method provides a way to break the stalemate, and reveals a new data point for theories of epistemic modals to predict—that is, how there can be such modal disagreements. In the rest of the paper, I motivate a general theory of how to predict these kinds of disagreements, and then offer some brief remarks about how contextualist, relativist, and expressivist theories of epistemic modals might accommodate this new data point. (shrink)

According to Amie Thomasson’s modal normativism, the function of modal discourse is to convey semantic rules. But what is a "semantic rule"? I raise three worries according to which there is no conception of a semantic rule that can serve the needs of a modal normativist. The first worry focuses on de re and a posteriori necessities. The second worry concerns Thomasson's inferential specification of the meaning of modal terms. The third worry asks about the normative status of semantic rules.

Provisional draft, pre-production copy of my book “The Modal Future” (forthcoming with Cambridge University Press).

The paper compares the suitability of two different epistemologies of counterfactuals—(EC) and (W)—to elucidate modal knowledge. I argue that, while both of them explain the data on our knowledge of counterfactuals, only (W)—Williamson’s epistemology—is compatible with all counterpossibles being true. This is something on which Williamson’s counterfactual-based account of modal knowledge relies. A first problem is, therefore, that, in the absence of further, disambiguating data, Williamson’s choice of (W) is objectionably biased. A second, deeper problem is that (W) cannot satisfactorily (...) elucidate modal knowledge. Third, from a naturalistic perspective, the nature of this second problem favours (EC) against (W). (shrink)

A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as Conditional Proof). A consequence relation is weakly classical if it has all the theorems and entailments of classical logic but lacks the usual meta-rules. The most familiar example of a weakly classical consequence relation comes from a simple supervaluational approach to modelling vague language. This approach is formally equivalent to an account of logical consequence according (...) to which α1, ..., αn entails β just in case □α1, ..., □αn entails □β in the modal logic S5. This raises a natural question: If we start with a different underlying modal logic, can we generate a strongly classical logic? This paper explores this question. In particular, it discusses four related technical issues: (1) Which base modal logics generate strongly classical logics and which generate weakly classical logics? (2) Which base logics generate themselves? (3) How can we directly characterize the logic generated from a given base logic? (4) Given a logic that can be generated, which base logics generate it? The answers to these questions have philosophical interest. They can help us to determine whether there is a plausible supervaluational approach to modelling vague language that yields the usual meta-rules. They can also help us to determine the feasibility of other philosophical projects that rely on an analogous formalism, such as the project of defining logical consequence in terms of the preservation of an epistemic status. (shrink)

In this paper, we consider recent attempts to metaphysically explain agentive modality in terms of conditionals. We suggest that the best recent accounts face counterexamples, and more worryingly, they take some agentive modality for granted. In particular, the ability to perform basic actions features as a primitive in these theories. While it is perfectly acceptable for a semantics of agentive modal claims to take some modality for granted in getting the extension of action claims correct, a metaphysical (...) explanation of agentive modality cannot, at least not in the way that conditional approaches to agentive modality do. We argue that this problem was present even in the classical conditional analysis. By a pessimistic induction, we suggest that, probably, no conditional approach to agentive modality will succeed. (shrink)

We reply to various arguments by Otavio Bueno and Edward Zalta (‘Object Theory and Modal Meinongianism’) against Modal Meinongianism, including that it presupposes, but cannot maintain, a unique denotation for names of fictional characters, and that it is not generalizable to higher-order objects. We individuate the crucial difference between Modal Meinongianism and Object Theory in the former’s resorting to an apparatus of worlds, possible and impossible, for the representational purposes for which the latter resorts to a distinction between two kinds (...) of predication, exemplification and encoding. We show that encoding has fewer forerunners in the history of philosophy than Bueno and Zalta want, and that there’s a reason why the notion has been found baffling by some. (shrink)

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

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

The 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)

Recent epistemology of modality has seen a growing trend towards metaphysics-first approaches. Contrastingly, this paper offers a more philosophically modest account of justifying modal claims, focusing on the practices of scientific modal inferences. Two ways of making such inferences are identified and analyzed: actualist-manipulationist modality and relative modality. In AM, what is observed to be or not to be the case in actuality or under manipulations, allows us to make modal inferences. AM-based inferences are fallible, but the (...) same holds for practically all empirical inquiry. In RM, modal inferences are evaluated relative to what is kept fixed in a system, like a theory or a model. RM-based inferences are more certain but framework-dependent. While elements from both AM and RM can be found in some existing accounts of modality, it is worth highlighting them in their own right and isolating their features for closer scrutiny. This helps to establish their relevant epistemologies that are free from some strong philosophical assumptions often attached to them in the literature. We close by showing how combining these two routes amounts to a view that accounts for a rich variety of modal inferences in science. (shrink)

Since Benacerraf’s ‘What Numbers Could Not Be, ’ there has been a growing interest in mathematical structuralism. An influential form of mathematical structuralism, modal structuralism, uses logical possibility and second order logic to provide paraphrases of mathematical statements which don’t quantify over mathematical objects. These modal structuralist paraphrases are a useful tool for nominalists and realists alike. But their use of second order logic and quantification into the logical possibility operator raises concerns. In this paper, I show that the work (...) of both these elements can be done by a single natural generalization of the logical possibility operator. (shrink)

Discrimination is a central epistemic capacity but typically, theories of discrimination only use discrimination as a vehicle for analyzing knowledge. This paper aims at developing a self-contained theory of discrimination. Internalist theories of discrimination fail since there is no compelling correlation between discriminatory capacities and experiences. Moreover, statistical reliabilist theories are also flawed. Only a modal theory of discrimination is promising. Versions of sensitivity and adherence that take particular alternatives into account provide necessary and sufficient conditions on discrimination. Safety in (...) contrast is not sufficient for discrimination as there are cases of safety that are clearly instances of discrimination failure. The developed account of discrimination between objects will be extended to discrimination between kinds and between types. (shrink)

I distinguish (§1) two projects in modal epistemology—one about how we come to know modal truths, and one about why we have the ability so to come to know. The latter, I suggest, (§§2–3) is amenable to an evolutionary treatment in terms of general capacities developed to evaluate quotidian modal claims. I compare (§4) this approach to a recent suggestion in a similar spirit by Christopher Hill and Timothy Williamson, emphasizing counterfactual conditionals instead of quotidian modals; I argue that while (...) there are some reasons to prefer the quotidian modals approach, there are none favoring the Hill/Williamson counterfactual approach. I conclude (§5) with a suggestion that the remaining questions both approaches leave unanswered ought not to be too troubling. (shrink)

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

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

According to the canonical formulation of the modal account of luck [e.g. Pritchard (2005)], an event is lucky just when that event occurs in the actual world but not in a wide class of the nearest possible worlds where the relevant conditions for that event are the same as in the actual world. This paper argues, with reference to a novel variety of counterexample, that it is a mistake to focus, when assessing a given event for luckiness, on events distributed (...) over just the nearest possible worlds. More specifically, our objection to the canonical formulation of the modal account of luck reveals that whether an event is lucky depends crucially on events distributed over all possible worlds–viz., across the modal universe. It is shown that an amended modal account of luck which respects this point has the additional virtue of avoiding a notable kind of counterexample to modal accounts of luck proposed by Lackey (2008). (shrink)

The practice of scientific modelling often resorts to hypothetical, false, idealised, targetless, partial, generalised, and other types of modelling that appear to have at least partially non-actual targets. In this paper, I will argue that we can avoid a commitment to non-actual targets by sketching a framework where models are understood as having networks of possibilities as their targets. This raises a further question: what are the truthmakers for the modal claims that we can derive from models? I propose that (...) we can find truthmakers for the modal claims derived from models in actuality, even in the case of supposedly non-actual targets. I then put this framework to use by examining a case study concerning the modelling of superheavy elements. (shrink)

The modal argument against materialism, in its most standard form, relies on a compatibility thesis to the effect that the physical truths are compatible with the absence of consciousness. I propose an alternative modal argument that relies on an incompatibility thesis: The existence of consciousness is incompatible with the proposition that the physical truths provide a complete description of reality. I show that everyone who accepts the premises of the standard modal argument must accept the premises of the revised modal (...) argument, but not vice versa. (shrink)

In a recent article forthcoming in *Mind*, Leech (2020) presents a challenge for essentialist accounts of metaphysical modality: why should it be that essences imply corresponding necessities? Leech’s main focus is to argue that one cannot overcome the challenge by utilizing an account of essence in terms of generalized identity due to Correia and Skiles (2019), on pain of circularity. In this reply, we will show how to use identity-based essentialism to bridge ‘epistemic’ and ‘explanatory’ understandings of this alleged (...) essence-to-necessity gap without circularity, Leech’s arguments notwithstanding. We do so by first presenting a novel proof that generalized identities imply corresponding necessities. We then propose several substantive identity-based explanations of how it is, exactly, that essences imply necessities. -/- . (shrink)

In the middle of the last century, it was common to explain the notion of necessity in linguistic terms. A necessary truth, it was said, is a sentence whose truth is guaranteed by linguistic rules. Quine famously argued that, on this view, de re modal claims do not make sense. “Porcupettes are porcupines” is necessarily true, but it would be a mistake to say of a particular porcupette that it is necessarily a porcupine, or that it is possibly purple. Linguistic (...) theories of necessity fell out of favour with the publication of Kripke’s Naming and Necessity, and Quine’s arguments were put aside. In her recent book, Norms and Necessity, Amie Thomasson presents her modal normativism, which is an updated version of the mid-century theories just described. Quine’s arguments are thus relevant once again. We recapitulate Quine’s central argument, in the context of modal normativism. We then criticise Amie Thomasson’s discussion of de re modality. We finish by briefly presenting an alternative account of de re modal statements, which is compatible with modal normativism. (shrink)

This paper examines "moderate modal skepticism", a form of skepticism about metaphysical modality defended by Peter van Inwagen in order to blunt the force of certain modal arguments in the philosophy of religion. Van Inwagen’s argument for moderate modal skepticism assumes Yablo's (1993) influential world-based epistemology of possibility. We raise two problems for this epistemology of possibility, which undermine van Inwagen's argument. We then consider how one might motivate moderate modal skepticism by relying on a different epistemology of possibility, (...) which does not face these problems: Williamson’s (2007: ch. 5) counterfactual-based epistemology. Two ways of motivating moderate modal skepticism within that framework are found unpromising. Nevertheless, we also find a way of vindicating an epistemological thesis that, while weaker than moderate modal skepticism, is strong enough to support the methodological moral van Inwagen wishes to draw. (shrink)

The paper defends the view that that a significant part of metaphysics should be understood as conceptual engineering, and explores its epistemological advantages and metaphysical implications. It discusses the challenge raised by moderate modal skepticism, which points out the lack of reliable methods for verifying modal statements through thought experiments. As I argue, a normative stance on metaphysical methodology, understanding it as engaging in conceptual engineering project, justifies the use of this method. By adopting an approach where the method of (...) cases offers reasons for adopting specific normative constraints on concept usage, the method becomes justifiable. Consequently, it can be employed to justify the revision of conceptual schemes and, in turn, validate certain modal claims about entities falling under the scrutinized concepts. The paper explores how this approach can methodologically enrich conceptual engineering-focused perspectives in metaphysics and examines its metaphysical consequences. In particular, it demonstrates that despite the mind-dependency of the method of cases results, it still leaves room for a metaphysically realistic viewpoint. (shrink)

Recent work on the imagination has stressed the epistemic significance of imaginative experiences, notably in justifying modal beliefs. An immediate problem with this is that modal beliefs appear to admit of justification through the mere exercise of rational capacities. For instance, mastery of the concepts of square, circle, and possibility should suffice to form the justified belief that a square circle is not possible, and mastery of the concepts of pig, flying, and possibility should suffice to form a justified belief (...) that a flying pig is possible. It is thus unnecessary to try to imagine a square circle or a flying pig to justify these beliefs. In this paper, I consider three ways to defend the epistemic role of imagination in modal epistemology against this challenge. One claims that modal beliefs simply admit of justification by two separate sources: rational capacities and imaginative experience. Another holds that while beliefs about logical or conceptual modality can be justified entirely by rational capacities, beliefs about metaphysical modality require imaginative experiences. The third, which I defend, is the idea that imagination is relevant in the first instance not to modal knowledge but to modal understanding: even where imaginative experience is unnecessary for the justification of modal beliefs, it is indispensable for directly grasping certain modal propositions. (shrink)

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

This essay defends a novel form of virtue epistemology: Modal Virtue Epistemology. It borrows from traditional virtue epistemology the idea that knowledge is a type of skillful performance. But it goes on to understand skillfulness in purely modal terms — that is, in terms of success across a range of counterfactual scenarios. We argue that this approach offers a promising way of synthesizing virtue epistemology with a modal account of knowledge, according to which knowledge is safe belief. In particular, we (...) argue that the modal elements of the view offer important advantages over traditional virtue epistemology, which assigns a central explanatory role to aptness. At the same time, the virtue epistemological elements of the theory reveal new avenues for overcoming obstacles to traditional modal accounts of knowledge. Finally, we highlight the advantages of Modal Virtue Epistemology over alternative syntheses, such as Pritchard's (2012) hybrid approach. (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.

I critically examine the claim that modal collapse arguments against the traditional doctrine of divine simplicity (DDS) are in general fallacious. In a recent paper, Christopher Tomaszewski alleges that modal collapse arguments against DDS are invalid, owing to illicit substitutions of nonrigid singular terms into intensional contexts. I show that this is not, in general, the case. I show, further, that where existing modal collapse arguments are vulnerable to this charge the arguments can be repaired without any apparent dialectical impropriety. (...) I conclude that the genuine debate over modal collapse and divine simplicity and modal collapse is substantially a controversy over the metaphysics of divine action, and that this constitutes a fruitful direction in which to take future discussions of the subject. (shrink)

This paper motivates and develops a novel semantic framework for deontic modals. The framework is designed to shed light on two things: the relationship between deontic modals and substantive theories of practical rationality and the interaction of deontic modals with conditionals, epistemic modals and probability operators. I argue that, in order to model inferential connections between deontic modals and probability operators, we need more structure than is provided by classical intensional theories. In particular, we need probabilistic structure that interacts directly (...) with the compositional semantics of deontic modals. However, I reject theories that provide this probabilistic structure by claiming that the semantics of deontic modals is linked to the Bayesian notion of expectation. I offer a probabilistic premise semantics that explains all the data that create trouble for the rival theories. (shrink)

How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will (...) show how epistemicists, supervaluationists, and theorists of metaphysical vagueness like Barnes and Williams (2010) can interpret the framework.  We will also present a complete axiomatization of the logic we recommend to both epistemicists and local supervaluationists. . (shrink)

This note identifies and corrects some problems in developments of the thesis that predictive expressions, such as English "will", are modals. I contribute a new argument supporting Cariani and Santorio's recent claim that predictive expressions are non-quantificational modals. At the same time, I improve on their selectional semantics by fixing an important bug. Finally, I show that there are benefits to be reaped by integrating the selection semantics framework with standard ideas about the future orientation of modals.

The Brock-Rosen problem has been one of the most thoroughly discussed objections to the modal fictionalism bruited in Gideon Rosen’s ‘Modal Fictionalism’. But there is a more fundamental problem with modal fictionalism, at least as it is normally explained: the position does not resolve the tension that motivated it. I argue that if we pay attention to a neglected aspect of modal fictionalism, we will see how to resolve this tension—and we will also find a persuasive reply to the Brock-Rosen (...) objection. Finally, I discuss an alternative reading of Rosen, and argue that this position is also able to fend off the Brock-Rosen objection. (shrink)

I present an internal problem for David Lewis’s genuine modal realism. My aim is to show that his analysis of modality is inconsistent with his metaphysics. I consider several ways of modifying the Lewisian analysis of modality, but argue that none are successful. I argue that the problem also affects theories related to genuine modal realism, including the stage theory of persistence and modal fictionalism.

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the `width' of the set theoretic universe, such as Cantor's continuum hypothesis. Within a higher-order framework I show that contingency about (...) the width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the "Leibniz biconditionals" stating that what is possible, in the broadest sense of possible, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. (shrink)

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...) results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

This collection highlights the new trend away from rationalism and toward empiricism in the epistemology of modality. Accordingly, the book represents a wide range of positions on the empirical sources of modal knowledge. Readers will find an introduction that surveys the field and provides a brief overview of the work, which progresses from empirically-sensitive rationalist accounts to fully empiricist accounts of modal knowledge. Early chapters focus on challenges to rationalist theories, essence-based approaches to modal knowledge, and the prospects for (...) naturalizing modal epistemology. The middle chapters present positive accounts that reject rationalism, but which stop short of advocating exclusive appeal to empirical sources of modal knowledge. The final chapters mark a transition toward exclusive reliance on empirical sources of modal knowledge. They explore ways of making similarity-based, analogical, inductive, and abductive arguments for modal claims based on empirical information. Modal epistemology is coming into its own as a field, and this book has the potential to anchor a new research agenda. (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)

My topic is moderate modal skepticism in the spirit of Peter van Inwagen. Here understood, this is a conservative version of modal empiricism that severely limits the extent to which an ordinary agent can reasonably believe “exotic” possibility claims. I offer a novel argument in support of this brand of skepticism: modal skepticism grounds an attractive (and novel) reply to Humean skepticism. Thus, I propose that modal skepticism be accepted on the basis of its theoretical utility as a tool for (...) dissolving philosophical paradox. (shrink)