We argue that there is an interesting modal analogue of temporal persistence, namely modal persistence, and an interesting modal analogue of time travel, namely modal travel. We explicate each of these notions and then argue that there are plausible conditions under which some ordinary objects modally persist. We go on to consider whether it is plausible that any modally persistent objects also modally travel.

This paper explores the physical and metaphysical implications of time travel, focusing on the possibility of changing the past, through a comparative analysis of David Lewis' modal realism and Everett's many-worlds interpretation of quantum mechanics. The existence of closed timelike curves (CTCs) in certain solutions to Einstein's field equations provides a theoretical basis for the possibility of backwards time travel, but this leads to a range of paradoxes, most notably the grandfather paradox. David Lewis argues that time (...) travel must maintain consistency and that the past cannot be changed, even if time travel were possible. His view is supported by his modal realism, which posits the existence of a plurality of possible worlds. In contrast, Everett's many-worlds interpretation, which holds that quantum mechanics describes a multiverse of branching realities, might seem to allow for the possibility of multiple, inconsistent histories. By examining these two ontological frameworks, this paper aims to shed light on the paradoxes of time travel and to explore whether the many-worlds interpretation provides a more satisfactory resolution to these paradoxes than Lewis' modal realism. It is argued that while Lewis' view provides a coherent model for maintaining consistency in time travel, Everett's interpretation may offer a more physically grounded and philosophically compelling account of the metaphysics of time travel. The paper concludes by suggesting that the many-worlds interpretation, by locating the branching of timelines within the structure of quantum mechanics itself, may provide a more promising framework for understanding the possibility and implications of time travel than Lewis' modal realism. However, significant questions remain about the nature of personal identity and free will in a branching multiverse. This comparative analysis aims to contribute to the ongoing debate about the metaphysical possibility of time travel and to highlight the value of engaging with interpretations of quantum mechanics in this context. Keywords: time travel, closed timelike curves, modal realism, many-worlds interpretation, grandfather paradox, metaphysics of time. (shrink)

There is a tension between Dispositionalism––the view that all metaphysical modality is grounded in actual irreducible dispositional properties––and the possibility of time travel. This is due to the fact that Dispositionalism makes it much harder to solve a potentiality-based version of the grandfather paradox. We first present a potentiality-based version of the grandfather paradox, stating that the following theses are inconsistent: 1) time travel is possible, 2) powers fully ground modality, 3) self-defeating actions are impossible, 4) time-travellers retain (...) their intrinsic powers upon time-travelling, and 5) time-travellers are ordinary agents with basic intrinsic potentialities. We then consider a number of potential solutions, and find them wanting. We argue that the metaphysical impossibility of performing a self-defeating action acts as a necessary perfect mask––while time-travel lets us “slip” the potentiality under the mask, thus generating the contradiction. We conclude considering what are the options for the dispositionalist. (shrink)

Harold Hodes in [1] introduces an extension of first-order modal logic featuring a backtracking operator, and provides a possible worlds semantics, according to which the operator is a kind of device for ‘world travel’; he does not provide a proof theory. In this paper, I provide a natural deduction system for modal logic featuring this operator, and argue that the system can be motivated in terms of a reading of the backtracking operator whereby it serves to indicate (...) modal scope. I prove soundness and completeness theorems with respect to Hodes’ semantics, as well as semantics with fewer restrictions on the accessibility relation. (shrink)

Causal finitism, the view that the causal history of any event must be finite, has garnered much philosophical interest recently—especially because of its applicability to the Kalām cosmological argument. The most prominent argument for causal finitism is the Grim Reaper argument, which attempts to show that, if infinite causal histories are possible, then other paradoxical states of affairs must also be possible. However, this style of argument has been criticized on the grounds of (i) relying on controversial modal principles, (...) and (ii) providing a false diagnosis of the paradoxes involved. In this paper, I develop a new kind of Grim Reaper argument immune to these criticisms. I show that, by using insights from the literature on time travel, causal finitists should instead argue that infinite causal histories are problematically inexplicable, as they entail the possibility of unexplained foiling mechanisms. The fruits of this paper are that (i) a novel supporting argument for the Kalām is developed, and (ii) along the way of building this argument, it is shown that the literatures on time travel and causal finitism are deeply and intimately connected. (shrink)

Two lines of evidence indicate that there exists a reciprocal inhibitory relationship between opposed brain networks. First, most attention-demanding cognitive tasks activate a stereotypical set of brain areas, known as the task-positive network and simultaneously deactivate a different set of brain regions, commonly referred to as the task negative or defaultmode network. Second, functional connectivity analyses show that these same opposed networks are anti-correlated in the resting state. Wehypothesize that these reciprocally inhibitory effects reflect two incompatible cognitive modes, each of (...) which may be directed towards understanding the external world. Thus, engaging onemode activates one set of regions and suppresses activity in the other.Wetest this hypothesis by identifying two types of problem-solving task which, on the basis of prior work, have been consistently associated with the task positive and task negative regions: tasks requiring social cognition, i.e., reasoning about the mental states of other persons, and tasks requiring physical cognition, i.e., reasoning about the causal/mechanical properties of inanimate objects. Social and mechanical reasoning tasks were presented to neurologically normal participants during fMRI. Each task type was presented using both text and video clips. Regardless of presentation modality, we observed clear evidence of reciprocal suppression: social tasks deactivated regions associated with mechanical reasoning and mechanical tasks deactivated regions associated with social reasoning. These findings are not explained by self-referential processes, task engagement, mental simulation,mental time travel or external vs. internal attention, all factors previously hypothesized to explain default mode network activity. Analyses of resting state data revealed a close match between the regions our tasks identified as reciprocally inhibitory and regions of maximal anti-correlation in the resting state. These results indicate the reciprocal inhibition is not attributable to constraints inherent in the tasks, but is neural in origin. Hence, there is a physiological constraint on our ability to simultaneously engage two distinct cognitive modes. Furtherwork is needed tomore precisely characterize these opposing cognitive domains. (shrink)

This book argues that moral philosophy should be based on seven scientific principles of theory selection. It then argues that a new moral theory—Rightness as Fairness—satisfies those principles more successfully than existing theories. Chapter 1 explicates the seven principles of theory-selection, arguing that moral philosophy must conform to them to be truth-apt. Chapter 2 argues those principles jointly support founding moral philosophy in known facts of empirical moral psychology: specifically, our capacities for mental time-travel and modal imagination. Chapter (...) 2 then shows that these capacities present human decisionmakers with a problem of diachronic rationality that includes but generalizes beyond, L.A. Paul’s problem of transformative experience: a problem that I call “the problem of possible future selves.” Chapter 3 then argues that a new principle of rationality—the Categorical-Instrumental Imperative—is the only rational solution to this problem, as it requires our present and future selves to forge and uphold a recursive, bi-directional contract with each another given mutual recognition of the problem. Chapter 4 then shows that the Categorical-Instrumental Imperative has three identical formulations analogous but superior to Immanuel Kant’s various formulations of his ‘categorical imperative.’ Chapter 5 shows that these unified formulas jointly entail a particular test of moral principles: a Moral Original Position similar to John Rawls’ famous ‘original position’, but which avoids a variety of problems with Rawls' model. Chapter 6 then shows that the Moral Original Position generates Four Principles of Fairness, which can then be combined into a single principle of moral rightness: Rightness as Fairness. This new conception of rightness is shown to reconcile four dominant moral frameworks (deontology, consequentialism, virtue ethics, and contractualism), as well as entail a new method of moral decisionmaking for applied ethics: a method of “principled fair negotiation” according to which applied ethical issues cannot be wholly resolved through principled debate, but must instead be resolved by actual negotiation and compromise. This method is then argued to generate novel, nuanced analyses of a variety of applied moral issues, including trolley cases, torture, and the ethical treatment of nonhuman animals. Chapter 7 then shows that Rightness as Fairness reconciles three leading political frameworks—libertarianism, egalitarianism, and communitarianism—showing how all three embody legitimate moral ideals that can, and should, be fairly negotiated against each other to settle the scope, and nature, of domestic, international, and global justice on an ongoing, iterated basis. Finally, Chapter 8 argues that Rightness as Fairness satisfies all seven of the principles of theory-selected defended in Chapter 1 more successfully than rival theories. (shrink)

Hume establishes a link between our capacity to conceive or form “clear and distinct ideas” and metaphysical possibility. Hume’s so-called Conceivability Principle is usually assumed to be epistemic: conceivability is supposed to inform us of independent metaphysical facts. In this chapter, however, I argue that Hume is not engaged in modal epistemology. For Hume, there is no epistemic relation between conceivability and an independent metaphysical world of possibilities. On my reading, conceivability is more like the “mètre étalon” in Paris—the (...) standard unit of measurement of length—than a window or telescope into some metaphysical world. Conceivability is the standard of metaphysical possibility. And just as the meter is defined as a certain distance of light traveled, for Hume, conceivability is defined in terms of the liberty of the imagination. I discuss how Hume deploys conceivability along with knowledge—the standard of metaphysical necessity—as tools for measuring or assessing the alleged metaphysical necessity of a cause to every beginning of existence and the alleged rational foundation of causal inferences. (shrink)

Recent discoveries of semantic compositionality in Japanese tits have enlivened the discussions on the presence of this phenomenon in wild animal communication. Data on semantic compositionality in wild apes are lacking, even though language experiments with captive apes have demonstrated they are capable of semantic compositionality. In this paper, I revisit the study by Boesch (Hum. Evol. 6:81–89, 1991) who investigated drumming sequences by an alpha male in a chimpanzee (_Pan troglodytes_) community in the Taï National Park, Côte d’Ivoire. A (...) reanalysis of the data reveals that the alpha male produced semantically compositional combined messages of travel direction change and resting period initiation. Unlike the Japanese tits, the elements of the compositional expression were not simply juxtaposed but displayed structural reduction, while one of the two elements in the expression coded the meanings of both elements. These processes show relative resemblance to blending and fusion in human languages. Also unlike the tits, the elements of the compositional expression did not have a fixed order, although there was a fixed distribution of drumming events across the trees used for drumming. Because the elements of the expression appear to carry verb-like meanings, the compositional expression also resembles simple verb-verb constructions and short paratactic combinations of two clauses found across languages. In conclusion, the reanalysis suggests that semantic compositionality and phenomena resembling paratactic combinations of two clauses might have been present in the communication of the last common ancestor of chimpanzees and humans, not necessarily in the vocal modality. (shrink)

The Multiverse Response to the problem of evil has it that God made our universe because God makes every universe meeting a certain standard. The main problem for that response is that there’s no explanation for why God didn’t just keeping making duplicates of perfect universes. This paper introduces the ‘Multiactualities Response’, which says that God actualises every possible world that meets a certain standard of value. It avoids the corresponding problem about duplication because different propositions must always be true (...) at distinct worlds. The Multiactualities Response nevertheless has its own problem, namely that it requires the possibility of multiple actual worlds. This paper argues that if we consider spacetimes with wormholes, we have good cause to think there can be multiple metaphysically privileged present moments; given a suitable analogy between time and modality, it follows that there can be multiple metaphysically privileged (i.e. actual) worlds. This paper includes an in–depth examination of the metaphysics of both the temporal and modal cases. (shrink)

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)

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. (shrink)

This paper is an enquiry into the logical, metaphysical, and physical possibility of time travel understood in the sense of the existence of closed worldlines that can be traced out by physical objects. We argue that none of the purported paradoxes rule out time travel either on grounds of logic or metaphysics. More relevantly, modern spacetime theories such as general relativity seem to permit models that feature closed worldlines. We discuss, in the context of Gödel's infamous argument for (...) the ideality of time based on his eponymous spacetime, what this apparent physical possibility of time travel means. Furthermore, we review the recent literature on so-called time machines, i.e., of devices that produce closed worldlines where none would have existed otherwise. Finally, we investigate what the implications of the quantum behaviour of matter for the possibility of time travel might be and explicate in what sense time travel might be possible according to leading contenders for full quantum theories of gravity such as string theory and loop quantum gravity. (shrink)

In this paper, I argue that the thesis that time travel is logically possible, is inconsistent with the necessary truth of any of the usual ‘open futureobjective present’ models of the universe. It has been relatively uncontroversial until recently to hold that presentism is inconsistent with the possibility of time travel. I argue that recent arguments to the contrary do not show that presentism is consistent with time travel. Moreover, the necessary truth of other open future-objective present (...) models which we might, prima facie, have supposed to be more amenable to the possibility of time travel, turn out also to be inconsistent with this possibility. (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.

In "Changing the Past" (2010), Peter van Inwagen argues that a time traveler can change the past without paradox in a growing block universe. After erasing the portion of past existence that generates paradox, a new, non-paradox-generating block can be "grown" after the temporal relocation of the time traveler. -/- I articulate and explore the underlying mechanism of Van Inwagen's model: the time traveler's control over the location of the objective present. Van Inwagen's model is aimed at preventing paradox by (...) changing the past, but it achieves something broader than paradox avoidance: it gives tools for a new model of time travel. I use van Inwagen's tools to develop a new kind of time travel in which in which the location of the objective present is shifted by the time traveler. I call this type of time travel Movable Objective Present, or MOP. After defining MOP, I argue that it is compatible with any theory of time that accepts hypertime, including presentism and moving spotlight theory. (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 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)

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

Thinking about time travel is an entertaining way to explore how to understand time and its location in the broad conceptual landscape that includes causation, fate, action, possibility, experience, and reality. It is uncontroversial that time travel towards the future exists, and time travel to the past is generally recognized as permitted by Einstein’s general theory of relativity, though no one knows yet whether nature truly allows it. Coherent time travel stories have added flair to traditional (...) debates over the metaphysical status of the past, the reality of temporal passage, and the existence of free will. Moreover, plausible models of time travel and time machines can be used to investigate the subtle relation between space-time structure and causality. -/- It surveys some philosophical issues concerning time travel and should serves as a quick introduction. It includes a new and improved way to define a time machine. (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)

The goal of this paper is to defend the general tenet that time travelers cannot change the past within B-theoretical models of time, independently of how many temporal dimensions there are. Baron Pacific Philosophical Quarterly, 98, 129–147 offered a strong argument intended to reach this general conclusion. However, his argument does not cover a peculiar case, i.e. a B-theoretical one-dimensional model of time that allows for the presence of internal times. Loss Pacific Philosophical Quarterly, 96, 1–11 used the latter model (...) to argue that time travelers can change the past within such model. We show a way to debunk Loss’s argument, so that the general tenet about the impossibility of changing the past within B-theoretical models is maintained. (shrink)

There has been much discussion of powers or real dispositions in the past decade, but there remains an issue that has been inadequately treated. This concerns the precise modal value that comes with dispositionality. We contend in this paper that dispositionality involves a non-alethic, sui generis, irreducible modality. Dispositions only tend towards their manifestations; they do not necessitate them. Tendency is, of course, a dispositional term itself, so this last statement offers little by way of illumination. But given our (...) thesis on the irreducible nature of dispositionality, we maintain that it cannot be explicated correctly in non-dispositional terms. Nevertheless, we all have experience of dispositionality at work, through the exercise or our own powers and the action of other powers upon us. The notion of dispositionality that we acquire is one that involves a modality stronger than pure contingency but weaker than necessity. The recognition of this distinct modal value for dispositionality is one of the biggest oversights in the growing literature in the area. Yet it is there for all to see in even the most mundane example. (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)

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)

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

The paper argues against Peacocke's moderate rationalism in modality. In the first part, I show, by identifying an argumentative gap in its epistemology, that Peacocke's account has not met the Integration Challenge. I then argue that we should modify the account's metaphysics of modal concepts in order to avoid implausible consequences with regards to their possession conditions. This modification generates no extra explanatory gap. Yet, once the minimal modification that avoids those implausible consequences is made, the resulting account cannot (...) support Peacocke's moderate rationalism. (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 article I provide and defend a solution to the problem of moral luck. The problem of moral luck is that there is a set of three theses about luck and moral blameworthiness each of which is at least prima facie plausible, but that, it seems, cannot all be true. The theses are that (1) one cannot be blamed for what happens beyond one’s control, (2) that which is due to luck is beyond one’s control, and (3) we rightly (...) blame each other for events that are due to luck. I suggest that the response which distinguishes between degree and scope of blameworthiness is promising. The main objection that one might level against this approach is that it seems to lead to the absurd conclusion that we, in the actual world, are as blameworthy as the person we could have been and who performs all sorts of heinous acts in a far away possible world. For, we in the actual world and our counterpart in a far away possible world are both such that we would perform certain heinous acts in particular circumstances. I argue that this objection can be met, namely by paying attention to the nature of luck. By using the insights into the nature of luck that have been gained by epistemologists, we can solve the problem of luck as it has been formulated by ethicists. For, epistemologists have argued that some event is due to luck only if it fails to occur in a substantial number of nearby possible worlds. I defend this account of luck and argue that the problem of moral luck can be solved if we pay attention to the nature of luck. I, therefore, call my solution to the problem of moral luck a modal solution. (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)

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)

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)

It has sometimes been suggested that backwards time travel always incurs causal loops. I show that this is mistaken, by describing worlds where backwards time travel occurs and yet no causal loops occur. Arguments that backwards time travel can occur without causal loops have been given before in the literature, but I show that those arguments are unconvincing.

The first section of this article focuses on the treatment of “time travel” in science-fiction literature and film as presented in the secondary literature in that field. The first anthology I will consider has a metaphysical focus, including (a) relating the time travel of science fiction to the banal time travel of all living beings, as we move inexorably toward the future; and (b) arguing for the filmstrip as the ultimate metaphor for time. The second anthology I (...) will consider has a more political focus, arguing that the “special effects” form of science-fiction films, rather than the visual or narrative content of science-fiction-films, is truly imaginative and futural. The second section of this article ties together a variety of concepts and insights between time-travel cinema and Deleuze’s Cinema 1, suggesting (among other things) that (c) time-traveling characters in cinema function as a redoubled phenomenon of the “mobile sections” of Bergsonian duration (in reference to Henri Bergson), and (d) time-travel cinema vividly illustrates the imagistic nature of the entire world. (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. (shrink)

It is possible to wholly exist at multiple spatial locations at the same time. At least, if time travel is possible and objects endure, then such must be the case. To accommodate this possibility requires the introduction of a spatial analog of either relativising properties to times—relativising properties to spatial locations—or of relativising the manner of instantiation to times—relativising the manner of instantiation to spatial locations. It has been suggested, however, that introducing irreducibly spatially relativised or spatially adverbialised properties (...) presents some difficulties for the endurantist. I will consider an objection according to which embracing such spatially relativised properties could lead us to reject mereology altogether in favour of a metaphysics according to which objects are wholly present at every space-time point at which they exist. I argue that although such a view is coherent, there are some good reasons to reject it. Moreover, I argue that the endurantist can introduce spatially relativised or adverbialised properties without conceding that objects lack spatial parts. Such a strategy has the additional advantage that it allows the endurantist not only to explain time travel, but also to reconcile our competing intuitions about cases of fission. (shrink)

The Principle of Alternative Possibilities is the intuitive idea that someone is morally responsible for an action only if she could have done otherwise. Harry Frankfurt has famously presented putative counterexamples to this intuitive principle. In this paper, I formulate a simple version of the Principle of Alternative Possibilities that invokes a course-grained notion of actions. After warming up with a Frankfurt-Style Counterexample to this principle, I introduce a new kind of counterexample based on the possibility of time travel. (...) At the end of the paper, I formulate a more sophisticated version of the Principle of Alternative Possibilities that invokes a certain fine grained notion of actions. I then explain how this new kind of counterexample can be augmented to show that even the more sophisticated principle is false. (shrink)

The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and (...) in some of its extensions, e.g., £(R,-R,R-1 ,_R-1), £(R,-R,=I=) etc., is described, and numerous examples of conditions definable there, as well as undefinable ones, are adduced. (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)

This article focuses on the role of servants in María Lugones’ “Playfulness, ‘World’-Travelling, and Loving Perception.” I show that Lugones uses and erases the work of servants in developing her understanding of world-traveling. This theoretical marginalization and instrumentalization challenges her claim to capture concrete, lived experience. This article argues that Lugones’ theory is “pseudo-concrete”: it capitulates into the very abstractions it seeks to overcome. Focusing on the role of servants reveals the class character of world-traveling and, in turn, its inability (...) to grasp class relations. This article, thus, invites decolonial feminists to reconsider the advantages of class analysis for understanding not only capitalist domination but also perception, identification, and love. -/- . (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)

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)

Williamsonian modal epistemology is characterized by two commitments: realism about modality, and anti-exceptionalism about our modal knowledge. Williamson’s own counterfactual-based modal epistemology is the best known implementation of WME, but not the only option that is available. I sketch and defend an alternative implementation which takes our knowledge of metaphysical modality to arise, not from knowledge of counterfactuals, but from our knowledge of ordinary possibility statements of the form ‘x can F’. I defend this view against a (...) criticism indicated in Williamson’s own work, and argue that it is better connected to the semantics of modal language. (shrink)

I clarify some of the details of the modal theory of function I outlined in Nanay (2010): (a) I explicate what it means that the function of a token biological trait is fixed by modal facts; (b) I address an objection to my trait type individuation argument against etiological function and (c) I examine the consequences of replacing the etiological theory of function with a modal theory for the prospects of using the concept of biological function to (...) explain mental content. (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.

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)

Abstract Timothy Williamson has recently proposed to undermine modal skepticism by appealing to the reducibility of modal to counterfactual logic ( Reducibility ). Central to Williamson’s strategy is the claim that use of the same non-deductive mode of inference ( counterfactual development , or CD ) whereby we typically arrive at knowledge of counterfactuals suffices for arriving at knowledge of metaphysical necessity via Reducibility. Granting Reducibility, I ask whether the use of CD plays any essential role in a (...) Reducibility-based reply to two kinds of modal skepticism. I argue that its use is entirely dispensable, and that Reducibility makes available replies to modal skeptics which show certain propositions to be metaphysically necessary by deductive arguments from premises the modal skeptic accepts can be known. Content Type Journal Article Pages 1-19 DOI 10.1007/s11098-011-9784-4 Authors Juhani Yli-Vakkuri, Wolfson College, Oxford University, Oxford, OX2 6UD UK Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

Time travel is a recognized concept in philosophy and science, but whose scope is highly disputed, giving rise to numerous paradoxes in both philosophy and science. Time travel is considered by some accepted both in general relativity and quantum mechanics, but there is a unanimous consensus that it is not feasible with current technology. (Hawkins 2010) The raised issues are different for the time travel in the past compared to the time travel in the future.