Varieties of Modality, Misc

This paper is a study of a distinctively chemical notion of possibility. This is the notion of possibility that occurs in chemical discourses when chemists speak of the possibility or impossibility of achieving a given result through chemical means. This notion pertains to the possibility of processes, not of compounds, so it differs from the kind of chemical possibility mentioned in Wittgenstein's Philosophical Investigations or the kinds discussed in the literature on Putnam's Twin Earth argument. I argue that this process-oriented (...) notion of possibility cannot be reduced in a simple way to physical possibility, and that standard possible worlds semantics does not allow a natural analysis of this notion. I suggest an extension of possible worlds semantics that may overcome this limitation. I finish by pointing out some open questions about chemical possibility. (shrink)

There has been a recent surge of work on deontic modality within philosophy of language. This work has put the deontic logic tradition in contact with natural language semantics, resulting in significant increase in sophistication on both ends. This chapter surveys the main motivations, achievements, and prospects of this work.

In this article, we discuss a simple argument that modal metaphysics is misconceived, and responses to it. Unlike Quine’s, this argument begins with the banal observation that there are different candidate interpretations of the predicate ‘could have been the case’. This is analogous to the observation that there are different candidate interpretations of the predicate ‘is a member of’. The argument then infers that the search for metaphysical necessities is misguided in much the way the ‘set-theoretic pluralist’ (Clarke-Doane & Hamkins (...) [2017]) claims that the search for the true axioms of set theory is. We show that the obvious responses to this argument fail. However, a new response has emerged that purports to prove, from higher order logical principles, that metaphysical possibility is the broadest kind of possibility applying to propositions, and is to that extent special. We distill two lines of reasoning from the literature, and argue that their import depends on premises that a ‘modal pluralist’ should deny. Both presuppose that there is a unique typed hierarchy, which is what the modal pluralist, in the context of higher-order logic, should disavow. In other words, both presupposes that there is a unique candidate for what higher-order claims could mean. We consider the worry that, in a higher-order setting, modal pluralism faces an insuperable problem of articulation, collapses into modal monism, is vulnerable to the Russell-Myhill paradox, or even contravenes the truism that there is a unique actual world, and argue that these worries are misplaced. We also sketch the bearing of the resulting ‘Higher Order Pluralism’ on the theory of content. One upshot is that, if Higher Order Pluralism is true, then there is no fixed metatheory from which to characterize higher order reality. (shrink)

There are currently two legally established criteria for death: the irreversible cessation of circulation and respiration and the irreversible cessation of neurologic function. Recently there have been technological developments that could undermine the irreversibility requirement. In this paper, I focus both on whether death should be identified as an irreversible state and on the proper scope of irreversibility in the biological definition of death. In section two of this paper, I tackle the distinction between the commonsense definition of death and (...) the biological definition of death to show that even the commonsense concept of death is specified by biological facts. Resting on this argument, in section three of the paper, I argue that any definition of death is a posteriori. Thus, irreversibility is part of any definition of death because the actual phenomenon of death is irreversible. In addition, I show that the proper domain of irreversibility in a definition of death is circumscribed by physical possibilities and that irreversibility in the definition of death refers to current possibilities for the reversal of relevant biological processes. I conclude that despite recent technological advancements, death is still irreversible. (shrink)

According to the New Dispositionalist’s response to the Frankfurt Cases, Jones can do otherwise because Black merely masks (or finks), but does not deprive Jones of the relevant ability. This reasoning stands in the tradition of a line of thought according to which an informed view of the truth conditions of ability attributions allows for a compatibilist stance. The promise is that once we understand how abilities work, it turns out that the ability to do otherwise is compatible with determinism, (...) or with Black standing ready to intervene, or indeed both, as the New Dispositionalists hold. In this paper, I argue that this is mistaken. Understanding how abilities work gives us no reason to think that the ability to do otherwise relevant for free will is compatible with either Black’s presence or determinism. (shrink)

It is widely accepted that when ‘might’ expresses certain kinds of relative modality, the sentence ‘p and it might not be the case that p’ is in some sense inconsistent. It has proven difficult to define a formal semantics that explicates this inconsistency while meeting certain other desiderata, in particular, that p does not imply ‘Must p’. This paper presents such a semantics. The key idea is that background contexts have to have multiple levels, including an inner set consisting of (...) worlds that represent what might be true and an outer set of worlds such that a sentence must be true only if it is true in all of them. This is an open access publication. (shrink)

The idea of fragmentalism has been proposed by Kit Fine as a non-standard view of tense realism. This paper examines a modal version of the view, called modal fragmentalism, which combines genuine realism and realism of modality. Modal fragmentalism has been recently discussed by Iaquinto. But unlike Iaquinto, who primarily focused on possibilities de re, in this paper, we focus on expressions of possibilities de dicto. We argue that the chief idea of modal realism should be that different worlds are (...) distinguished not just in terms of how things are differently with respect to each world, but also in terms of how things could have been differently with respect to each world. This demands a realism-oriented semantics for suppositional contents, and more specifically, for conditionals. By deploying a multidimensional semantics for conditionals, we show that there are good reasons to consider modal fragmentalism as a serious approach in metaphysics, which shares many similarities with the fragmentalism of tense. (shrink)

Humeanism about laws of nature — the view that the laws reduce to the Humean mosaic — is a popular view, but currently existing versions face powerful objections. The non-supervenience objection, the non-fundamentality objection and the explanatory circularity objection have all been thought to cause problems for the Humean. However, these objections share a guiding thought — they are all based on the idea that there is a certain kind of divergence between the practice of science and the metaphysical picture (...) suggested by Humeanism. -/- I suggest that the Humean can respond to these objections not by rejecting this divergence, but by arguing that is appropriate. In particular the Humean can, in the spirit of Loewer (2012), distinguish between scientific and metaphysical explanation — this is motivated by differing aims of explanation in science and metaphysics. And they can further leverage this into distinctions between scientific and metaphysical fundamentality and scientific and metaphysical possibility. We can use these distinctions to respond to the objections that the Humean faces. (shrink)

Time travel, it has been argued, leads to paradoxes, and in particular to a problem known as the grandfather paradox. Lewis has famously argued for the now standard view that the grandfather paradox is merely apparent. But underlying Lewis's solution is a faulty account of ability statements – one, according to which ability statements express possibility statements. I argue, contrary to Vihvelin and others, that an ameliorated view of ability statements allows for the same treatment of the seeming paradox. Hence, (...) Lewis's take on the grandfather paradox stands despite the failure of the particular view of ability statements it is built upon. (shrink)

Mereological universalists, according to whom every plurality of entities has a fusion, usually claim that most quantifications are restricted to ordinary entities. However, there is no evidence that our usual quantifications over ordinary objects are restricted. In this article I explore an alternative way of reconciling Mereological Universalism with our usual quantifications. I resort to a modest form of ontological expansionism and to the so-called interpretational modalities. Quantifications over ordinary objects are the initial stages of the expansion. From these initial (...) stages, expansions can proceed upwards (fusions of entities in the domain of quantification are added), downwards (parts of entities in the domain are added), and sidewards (entities which are mereologically disjoint from the entities in the domain are added). These expansions are driven by a variety of epistemic and pragmatic reasons and raise different kinds of problems. At each stage, a modalized version of Mereological Universalism is true. By contrast, only at some especially rich stages, standard, non-modalized Mereological Universalism is true as well. Among these especially rich stages, there is a final, metaphysically pre-eminent stage of mereological plenitude. In the last part of the article I discuss some problems and limitations of expansionism. (shrink)

Boethius represents one of the most important milestones in Christian reflection about fate and providence, especially considering that he takes into account Proclus’ contributions to these questions. For this reason, The Consolation of philosophy is considered a crucial work for the development of this topic. However, Boethius also exposes his ideas in his commentary on the book that constitutes one of the oldest and most relevant texts on the problem of future contingents, namely Aristotle’s De interpretatione. Although St. Thomas refers (...) to Boethius many times in his systematic works and even devotes two commentaries to two of his theological opuscules, it is of special interest that both authors composed a commentary on the abovementioned work by Aristotle. The commentary of Saint Thomas does not interpret the whole book, but it does study the pages about future contingents in dialogue with Boethius. We will study such texts in our presentation. They constitute one of the greatest contributions of Aquinas to the problem of necessity and contingency and therefore to the vexata quaestio of divine intervention in the world and particularly in human free will. Not only Augustin but also Aristotle (read by Boethius) and Nemesius of Emesa will be decisive in Aquinas’ perception of this matter. (shrink)

Kit Fine has proposed a new solution to what he calls ‘a familiar puzzle’ concerning modality and existence. The puzzle concerns the argument from the alleged truths ‘It is necessary that Socrates is a man’ and ‘It is possible that Socrates does not exist’ to the apparent falsehood ‘It is possible that Socrates is a man and does not exist’. We discuss in detail Fine’s setting up of the ‘puzzle’ and his rejection, with which we concur, of two mooted solutions (...) to it. (One of these uses standard, Kripkean, notions, and the other rests on work done by Arthur Prior.) We set out, and reject, the philosophy of modality underlying Fine’s new solution, and we defend an alternative response to the alleged puzzle. Our solution follows the work of David Wiggins in distinguishing between the sentential operator ‘It is necessary that’ and the predicate modifier ‘necessarily’. We briefly provide this distinction with a possible- world semantics on which it is neither a necessary truth, in some sense, that Socrates exists nor true, in some sense, that Socrates necessarily exists. (shrink)

It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press, Oxford, 2003, pp 201–215; Williamson in Can J Philos 46:453–492, 2016). Kripke calls metaphysical necessity “necessity in the highest degree”. Van Inwagen claims that if P is metaphysically possible, then it is possible “tout court. Possible simpliciter. Possible period…. possib without qualification.” And Stalnaker writes, “we can agree (...) with Frank Jackson, David Chalmers, Saul Kripke, David Lewis, and most others who allow themselves to talk about possible worlds at all, that metaphysical necessity is necessity in the widest sense.” What exactly does the thesis that metaphysical possibility is absolute amount to? Is it true? In this article, I argue that, assuming that the thesis is not merely terminological, and lacking in any metaphysical interest, it is an article of faith. I conclude with the suggestion that metaphysical possibility may lack the metaphysical significance that is widely attributed to it. (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)

We show that five important elements of the ‘nomological package’— laws, counterfactuals, chances, dispositions, and counterfactuals—needn’t be a problem for the Growing-Block view. We begin with the framework given in Briggs and Forbes (in The real truth about the unreal future. Oxford studies in metaphysics. Oxford University Press, Oxford, 2012 ), and, taking laws as primitive, we show that the Growing-Block view has the resources to provide an account of possibility, and a natural semantics for non-backtracking causal counterfactuals. We show (...) how objective chances might ground a more fine-grained concept of feasibility, and furnished a places in the structure where causation and dispositions might fit. The Growing-Block view, thus understood, provides the resources to explain the close link between modality and tense, so that it predicts modal change as time passes. This account lets us capture not only what the future might hold for us, and also what might have been. (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)

Routledge Encyclopedia entry on Intensionality and Hyperintensionality.

Causal overdetermination occupies an uncomfortable place within all the major theories of causation. A natural solution to the problems it gives rise to would be to resolve overdetermination into preemption or joint causation. However, such a solution would seem to lead to individuate events in a fragile manner. The issue of such modal fragility is addressed and it is argued that events designated as effects are always fragile in a natural way and the putative problems of adopting modal fragility can (...) be resolved. It is also studied whether causal overdetermination could work in a setting where the overdetermining causes occur in different levels of reality. Typically postulated higher-level causes are shown to contradict the definitional features of overdetermination. There is thus no reasonable role for causal overdetermination and the notion should be abandoned. (shrink)

Philosophers have observed that metaphysical necessity appears to be a true or real or genuine form of necessity while epistemic necessity does not. Similarly, natural necessity appears genuine while deontic necessity does not. But what is it for a form of necessity to be genuine? I defend an account of genuine necessity in explanatory terms. The genuine forms of necessity, I argue, are those that provide what I call necessitarianexplanation. I discuss the relationship of necessitarian explanation to ground.

This paper discusses some serious difficulties for what we shall call the standard account of various kinds of relative necessity, according to which any given kind of relative necessity may be defined by a strict conditional - necessarily, if C then p - where C is a suitable constant proposition, such as a conjunction of physical laws. We argue, with the help of Humberstone, that the standard account has several unpalatable consequences. We argue that Humberstone’s alternative account has certain disadvantages, (...) and offer another - considerably simpler - solution. (shrink)

This paper attempts to resolve the apparent conflict between Descartes’ commitments to the creation doctrine and the necessity of eternal truths by elaborating different conceptions of necessity in Descartes’ framework. More specifically, I argue that the fact that Descartes concedes the necessity of eternal truths does not compel him to assert the impossibility of their negation. Necessity, for Descartes, rather means immutability. Descartes distinguishes two kinds of immutable truths. While truths about God’s essence are absolutely immutable, truths about the essences (...) of God’s creation are conditionally immutable, i.e., they can change if God’s will changes. Since there are different kinds of eternal truths, they express different kinds of necessity as well, namely conditional and absolute necessity. After I clarify these two kinds of necessity, I explain how Descartes coherently maintains both that eternal truths are necessary and that God could have created eternal truths otherwise without undermining their necessity. (shrink)

This brief note critically assesses the central arguments in Morato’s recent contribution to the growing literature on Blackburn’s dilemma about necessity. In particular, I demonstrate that neither of Morato’s two novel reconstructions of the dilemma’s contingency horn succeed, since both turn on false premises; and, Morato fails to adequately motivate his own response to these reconstructions. The upshot is that Morato has set himself a pair of flawed problems, then offered a flawed solution.

Section 1 introduces the category of objective modality, closely related to linguists’ category of circumstantial or dynamic modals, and explains metaphysical modality as its maximal element. Section 2 discusses various kinds of skepticism about modality, as in Hume and recent authors, and argues that it is illmotivated to apply such skepticism to metaphysical modality but not to more restricted objective modalities, including nomic modality. Section 3 suggests that the role of counterfactual conditionals in applications of scientific theories involves an objective (...) modal dimension. Section 4 briefly discusses the role of objective probabilities in scientific theories as exemplifying the scientific study of objective modality. Section 5 summarizes a case study of dynamical systems theory, widely used in natural science, as a mathematical theory whose intended applications are objectively modal, as perspicuously articulated in a language with modal and temporal operators and propositional quantification. State spaces in natural science characterize objective possibilities. Section 6 argues that, although those possibilities are usually more restricted than metaphysical possibility, their scientific study is a partial study of metaphysical possibility too. (shrink)

The main intent of this thesis is to defend that the laws of nature are better thought as transcendent universals, such as platonic governism suggests, and that they are metaphysically necessary in a strong way, such as the heterodox version of such platonism defends. With this intention, we sustain that physical symmetries are essential consequences of the laws of nature – what solves the challenge of symmetries – thus being metaphysically necessary, without being governist's necessitation laws. First, we will show (...) what laws of nature are and the reasons to reject other metaphysical theories and to accept platonic governism. Soon after, we will present the challenge of symmetries and the reasons to prefer the platonic governist answer over dispositionalist, regularist, aristotelic (governism), counterfatualist and primitivist ones. At last, we will define what is the metaphysical necessity, argue for the strong metaphysical necessity of laws and their consequences, and show why the reasons for the contingency or weak necessity of laws are bad theoretical paths. (shrink)

In ‘The Varieties of Necessity’ Fine presents purported counterexamples to the view that a proposition is a naturally necessary truth if and only if it is logically necessary relative to or conditional upon the basic truths about the status and distribution of natural kinds, properties and relations. The aim of this article is to defend the view that natural necessity is relative necessity, and the general idea that we can define other kinds of necessity as relative, against Fine's criticisms.

There is an ongoing debate in the metaphysics of dispositions regarding which type of modality governs their manifestation. This paper assumes as its default position the view that dispositions manifest by conditional necessity; that is, when in appropriate circumstances dispositions manifest necessarily. From this standpoint, the paper engages critically with an existing alternative in the literature, put forward most prominently by Mumford and Anjum, and known as dispositional modality. According to this latter view, even when in appropriate manifestation conditions, dispositions (...) only merely tend towards their manifestation. By raising difficulties for this alternative, the paper offers indirect support for the conditional necessity view. (shrink)

There is an ongoing debate in the metaphysics of dispositions regarding which type of modality governs their manifestation. This paper assumes as its default position the view that dispositions manifest by conditional necessity; that is, when in appropriate circumstances dispositions manifest necessarily. From this standpoint, the paper engages critically with an existing alternative in the literature, put forward most prominently by Mumford and Anjum, and known as dispositional modality. According to this latter view, even when in appropriate manifestation conditions, dispositions (...) only merely tend towards their manifestation. By raising difficulties for this alternative, the paper offers indirect support for the conditional necessity view. (shrink)

Proceedings of the 2016 "one word" colloquium of the The Philosophical Society of Finland. The word was "Possibility".

A principle endorsed by many theories of objective chance, and practically forced on us by the standard interpretation of the Kolmogorov semantics for chance, is the principle that when a proposition P has a chance, any proposition Q that is necessarily equivalent to P will have the same chance as P. Call this principle SUB (for the substitution of necessary equivalents into chance ascriptions). I will present some problems for a theory of chance, and will argue that the best way (...) to resolve these problems is to reject SUB, and similar principles e.g. for the chances of outcomes or the chances of events. Objective chance, it turns out, carves things more finely than necessary equivalence does. (shrink)

In this article, I am interested in four versions of what is often referred to as "the Humphrey objection". This objection was initially raised by Kripke against Lewis's modal counterpart theory, so this is where I will start the discussion. As we will see, there is a perfectly good answer to the objection. I will then examine other places where a similar objection can be raised: it can arise in the case of temporal counterpart theory (in fact, it can arise (...) in the case of all kinds of counterpart theories, independently on modal realism), and a very similar worry can also arise against modal realism itself or against an ersatzist theory of possible worlds itself. For similar reasons, in similar situations, a similar objection will arise. What is interesting is that it is not the case that a similar response can be given in all of these similar cases. So, in the end, we will see what dissimilarities there are and how and why they are relevant. In particular, we will see the differences there are between alethic modalities and temporal modalities. In the case of alethic modalities (metaphysical necessity and possibility), the objection can be answered by appealing to the notion of representation, while this does not work very well in the case of temporal modalities. (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)

The book_ Fate, Time, and Language: An Essay on Free Will_, published in 2010 by Columbia University Press, presented David Foster Wallace's challenge to Richard Taylor's argument for fatalism. In this anthology, notable philosophers engage directly with that work and assess Wallace's reply to Taylor as well as other aspects of Wallace's thought. With an introduction by Steven M. Cahn and Maureen Eckert, this collection includes essays by William Hasker, Gila Sher, Marcello Oreste Fiocco, Daniel R. Kelly, Nathan Ballantyne, Justin (...) Tosi, and Maureen Eckert. These thinkers explore Wallace's philosophical and literary work, illustrating remarkable ways in which his philosophical views influenced and were influenced by themes developed in his other writings, both fictional and nonfictional. Together with _Fate, Time, and Language_, this critical set unlocks key components of Wallace's work and its traces in modern literature and thought. (shrink)

Free will is a problem of modality, hampered by a commitment to modal dualism: the view that there is only necessity and pure contingency. If we have necessity, then things couldn't have been otherwise, against the Principle of Alternate Possibilities (AP). If there is complete contingency, then the agent seems to have no control over her actions, against the principle of Ultimate Authorship (UA). There is a third modality in natural causal processes, however. AP and UA can be reconciled if (...) we allow both causation and agency to involve the dispositional modality. (shrink)

This is a book review of Barbara Vetter's Potentiality. -/- Philosophy is most intriguing when it teaches us seeing differently. Barbara Vetter’s book Po- tentiality & Possibility (OUP 2014) offers us precisely that: a new orthodoxy when it comes to our view of dispositions, possibility, and, most of all, potentiality. And it does so commendably well with the clarity of expression and the precision we often miss in the literature on causal powers and the like. -/- Vetter writes on page (...) 228: “This book is meant to be the beginning of a debate, not its end.” It is a pleasure and honour to be part of that beginning. Let us start. -/- A first big part of her book aims to show that the standard semantic and/or metaphysical inter- pretation of dispositional predicates and/or dispositions fails and that it ought to be replaced by her potentiality metaphysics. The first half of this commentary, 1., concerns consequences this view has. -/- A second huge part of Vetter’s project is to analyse possibility in terms of potentiality. This will be the focus of the second part, 2., of this review. (shrink)

[EN]Most theories of causation assume that it must involve some kind of necessity, or that the cause must be entirely sufficient for the effect. Others have already suggested that it should be possible to get a theory of causation from a theory of powers or dispositions. Such a project is far from complete but even here we find that the key point in a dispositional theory of causation has been lacking. This paper attempts to establish some of the most important (...) principles of such a theory and in so doing turn the existing discussion in a new direction. [ES]La mayoría de las teorías de causación asumen que debe envolverse algún tipo de necesidad, o que la causa debe ser enteramente suficiente para el efecto. Otros ya han sugerido que debería de ser posible obtener una teoría de causación a partir de una teoría de poderes o disposiciones. Un proyecto tal está muy lejos de estar completo, pero incluso aquí encontramos que ha faltado el punto clave en una teoría dispositiva de causación. Este escrito intenta establecer algunos de los principios más importantes de una teoría tal, y al hacerlo inclina la discusión existente en una nueva dirección. (shrink)

According to no-futurism, past and present entities are real, but future ones are not. This view faces a skeptical challenge (Bourne 2002, 2006, Braddon-Mitchell, 2004): if no-futurism is true, how do you know you are present? I shall propose a new skeptical argument based on the physical possibility of Gödelian worlds (1949). This argument shows that a no-futurist has to endorse a metaphysical contingentist reading of no-futurism, the view that no-futurism is contingently true. But then, the no-futurist has to face (...) a new skeptical challenge: how do you know that you are in a no-futurist world? (shrink)

Over the past few years, the tree model of time has been widely employed to deal with issues concerning the semantics of tensed discourse. The thought that has motivated its adoption is that the most plausible way to make sense of indeterminism is to conceive of future possibilities as branches that depart from a common trunk, constituted by the past and the present. However, the thought still needs to be further articulated and defended, and several important questions remain open, such (...) as the question of how actuality can be understood and formally represented in a branching framework. The present volume is intended to be a 360 degree reflection on the tree model. The contributions is gathers concern the model and its alternatives, both from a semantic and from a metaphysical point of view. ​. (shrink)

From a different perspective, “essential actuality” is related to logical actuality. It means plain existence in the ideal sphere of being. One is familiar with this, for example, in “mathematical existence.” This does not merge with validity, but implies ...

Physicalism holds that the laws of physics are inviolable and ubiquitous and thereby account for all of reality. Laws leave no “wiggle room” or “gaps” for action by numinous agents. They cannot be invoked, however, without boundary stipulations that perforce are contingent and which “drive” the laws. Driving contingencies are not limited to instances of “blind chance,” but rather span a continuum of amalgamations with regularities, up to and including nearly determinate propensities. Most examples manifest directionality, and their very definition (...) encompasses intentionality. Contingencies, via their interactions with laws, can reinforce and maintain one another, thereby giving rise to enduring, ordered configurations of constraints. All of ordered nature thus results from ongoing transactions between mutualistic contingencies that constrain possibilities and entropic chance events that degrade order but diversify opportunities. Laws do not of themselves determine reality; interactions among contingencies do. For believers, the robust abundance of indeterminacies provides ample latitude for divine intervention, free will, and prayer. The priority of contingency also affords some insight into the meaning of suffering and evil. (shrink)

McFetridge (in Logical necessity and other essays . London: Blackwell, 1990 ) suggests that to treat a proposition as logically necessary—to believe a proposition logically necessary, and to manifest that belief—is a matter of preparedness to deploy that proposition as a premise in reasoning from any supposition. We consider whether a suggestion in that spirit can be generalized to cover all cases of absolute necessity, both logical and non-logical, and we conclude that it can. In Sect. 2, we explain the (...) significance that such an account of manifestation of belief in absolute necessity has for the prospects of a non-realist theory of modality. In Sect. 3, we offer a sympathetic articulation of the detail that underlies the McFetridge conception of belief in logical necessity. In Sects. 4 and 5, we show that the conception so articulated will not generalize to encompass all cases of belief in absolute necessity and proceed to offer a remedy. Our proposal is based upon a distinction between two kinds of suppositional act: A-supposing and C-supposing (Sect. 6). In Sect. 7, we then explain and defend our central thesis: (roughly) that (manifestation of) belief in absolute necessity is a matter of preparedness to deploy as a premise in reasoning under any C-supposition. Finally, we indicate that there is some promise in the parallel thesis that manifestation of the treatment of a proposition as a priori is a matter of preparedness to deploy as a premise in reasoning under any A-supposition (Sect. 8). (shrink)

On pourrait définir la nécessité absolue comme la vérité dans absolument tous les mondes possibles sans restriction. Mais nous devrions être capables de l’expliquer sans invoquer les mondes possibles. J’envisage trois definitions alternatives de : « Il est absolument nécessaire que p » et défends une définition contrefactuelle généralisée : ∀q.Je montre que la nécessité absolue satisfait le principe S5 et soutiens que la nécessité logique est absolue. Je discute ensuite des relations entre la nécessité logique et la nécessité métaphysique, (...) en expliquant comment il peut y avoir des nécessités absolues non logiques. J’esquisse également une théorie essentialiste selon laquelle la nécessité a son fondement dans la nature des choses. Je discute certaines de ses conséquences, y compris concernant l’existence nécessaire de certaines propriétés et celle de certains objets.Absolute necessity might be defined as truth at absolutely all possible worlds without restriction. But we should be able to explain it without invoking possible worlds. I consider three alternative definitions of ’it is absolutely necessary that p’ and argue for a generalized counterfactual definition: ∀q. I show that absolute necessity satisfies the S5 principle, and argue that logical necessity is absolute. I discuss the relations between logical and metaphysical necessity, explaining how there can be non-logical absolute necessities, and sketch an essentialist theory according to which necessity is grounded in the natures of things, and discuss some of its consequences, including the necessary existence of certain properties and objects. (shrink)

So far, T×W frames have been employed to provide a semantics for a language of tense logic that includes a modal operator that expresses historical necessity. The operator is defined in terms of quantification over possible courses of events that satisfy a certain constraint, namely, that of being alike up to a given point. However, a modal operator can as well be defined without placing that constraint. This paper outlines a T×W logic where an operator of the latter kind is (...) used to express the epistemic property of definiteness. Section 1 provides the theoretical background. Sections 2 and 3 set out the semantics. Sections 4 and 5 show, drawing on established results, that there is a sound and complete axiomatization of the logic outlined. (shrink)

Modalities enter into practically every area of contemporary philosophy. Great progress has been made in understanding the variety of differences between what is possible, what is actual, and what is necessary. But things were not always so clear. We owe a great debt in this area, as in so many others, to Aristotle, who had a lot to say on the topic, part of which comprises his discussion and use of the actuality/potentiality distinction. One important task in understanding his discussion (...) of actuality and potentiality is locating the distinction within the wider area of modality in general. One very general area in which modalities are significant is the assessment of arguments. Aristotle provides us with the basics of a modal logic, and in Metaphysics V 12, treats the family of modal notions expressed by the Greek noun dunamis and its cognates. This article explores his account of energeia and dunamis, matter and substance, capacities, natures, and dispositions. (shrink)

The metaphor of a branching tree of future possibilities has a number of important philosophical and logical uses. In this paper we trace this metaphor through some of its uses and argue that the metaphor works the same way in physics as in philosophy. We then give an overview of formal systems for branching possibilities, viz., branching time and (briefly) branching space-times. In a next step we describe a number of different notions of possibility, thereby sketching a landscape of possibilities. (...) In the final section of the paper we look at the place of branching-based possibilities in that larger landscape of possibilities. Our main message is that far from being an outlandish metaphysical extravagancy, branching-based possibilities are epistemically as well as metaphysically basic. (shrink)

Robert Alexy has built his original theory of law upon pervasive claims for “necessary” features of law. In this article, I show that Alexy's claims suffer from two difficulties. First, Alexy is never clear about what he means by “necessity.” Second, Alexy writes as if there have been no challenges to claims of conceptual necessity. There have been such challenges and Alexy needs to answer them if his project is to succeed.

I formulate and defend two sceptical theses on specific parts of our modal knowledge (unqualified and absolute modalities). My main point is that unqualified modal sentences are defective in that they fail to belong unambiguously to specific modal kinds and thus cannot be evaluated; hence, we must be sceptical of beliefs involving them.

Like many realists about causation and causal powers, Aristotle uses the language of necessity when discussing causation, and he appears to think that by invoking necessity, he is clarifying the manner in which causes bring about or determine their effects. In so doing, he would appear to run afoul of Humean criticisms of the notion of a necessary connection between cause and effect. The claim that causes necessitate their effects may be understood—or attacked—in several ways, however, and so whether the (...) view or its criticism is tenable depends on how we understand the necessitation claim. In fact, Aristotelian efficient causation may be said to involve two distinct necessary connections: one is a relation between causes considered as potential, while the other relates them considered as active. That is, the claims that (1) what has the power to heat necessarily heats what has the power to be heated, and that (2) a particular flame which is actually under a pot necessarily heats it, both of which appear to be true for Aristotle, involve distinct notions of necessity. The latter kind of necessity is based on the facts, as Aristotle sees them, about change, whereas the former is based in the nature of properties. Though different, both kinds of necessity are instances of what contemporary philosophers would call metaphysical necessity, and together they also amount to a theory of causal determination. (shrink)