Varieties of Modality, Misc

It is widely alleged that metaphysical possibility is “absolute” possibility (Kripke [1980], Lewis [1986], Rosen [2006, 16], Stalnaker [2005, 203], Williamson [2016, 460]). Indeed, this is arguably its metaphysical significance. Kripke calls metaphysical necessity “necessity in the highest degree” ([1980, 99]). Williamson calls metaphysical possibility the “maximal objective modality” [2016, 459]. Rosen says that “metaphysical possibility is the [most inclusive] sort of real possibility” ([2006, 16]). 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 [2003, 203].” 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)

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)

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)

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 necessitarian explanation. I discuss the relationship of necessitarian explanation to ground.

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)

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)

This chapter focuses on the dispute between necessitarians and contingentists, mainly addressing the issue as to whether laws of nature are metaphysically necessary or metaphysically contingent with a weaker kind of necessity, commonly referred to as natural, nomological, or nomic necessity. It is assumed here that all fundamental properties are dispositional or role properties, making the dispute a strictly verbal one. The existence of categorical intrinsic properties as well as dispositional properties is also assumed and the relationship between them examined. (...) Finally, the chapter concludes by returning to the debate between necessitarians and contingentists under the assumption that both dispositional and categorical fundamental properties exist. It is argued here that necessitarian positions can be recast as contingentist, but that there are unequivocally contingentist positions preferred because they are less mysterious despite being ontologically more complex. (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)

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)

Even the most cursory reader of Husserl’s writings must be struck by the frequent references to essences (“Wesen”, “Essenzen”), Ideas (“Idee”), kinds, natures, types and species and to necessities, possibilities, impossi- bilities, necessary possibilities, essential necessities and essential laws. What does Husserl have in mind in talking of essences and modalities? What did he take the relation between essentiality and modality to be? In the absence of answers to these questions it is not clear that a reader of Husserl can (...) be said to understand him. (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)

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 article addresses the relationship of contingency to necessity as developed by Quentin Meillassoux and G.W.F. Hegel. Meillassoux criticizes the restriction of possibility by modern philosophy to the conditions of the transcendental subject, which he calls ‘correlationism’, and opposes to this correlationism, mathematics as an absolute form of thought. The arch-figure of a metaphysical version of correlationism for Meillassoux is Hegel. This article argues that, while Meillassoux is right to criticize a version of correlationism for restricting the range of contingency, (...) he overlooks Hegel’s unique contribution to this issue. Hegel provides us a version of necessity modeled on the mathematical proof which answers Meillassoux’s concerns about correlationist versions of necessity but does not altogether jettison the concept of the subject. Instead, the subject in Hegel is a contingent interruption which emerges from the breaks in the kinds of necessity we posit about the world. Hegel offers us a way of tying these two concepts together in what I call ‘contingent 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)

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

I defend a version of Kripke's claim that the metaphysically necessary and the knowable a priori are independent. On my version, there are two independent families of modal notions, metaphysical and epistemic, neither stronger than the other. Metaphysical possibility is constrained by the laws of nature. Logical validity, I suggest, is best understood in terms of epistemic necessity.

I defend a version of Kripke's claim that the metaphysically necessary and the knowable a priori are independent. On my version, there are two independent families of modal notions, metaphysical and epistemic, neither stronger than the other. Metaphysical possibility is constrained by the laws of nature. Logical validity, I suggest, is best understood in terms of epistemic necessity.

SummaryPhilosophically speaking, invention is the mother of necessity. This means that Hume's analysis of the idea of necessity utilizing the notion of power, when properly qualified, is essentially sound and not at all a discouraging prospect. The task of the paper, then, is to specify in what respect it is possible to claim, for the various important senses of ‘necessary’, that such a notion is applicable whenever successful control has been exercised.RésuméDu point de vue philosophique, I'invention est la mère de (...) la nécessité. En effet, l'analyse qu'a faite Hume de l'idée de nécessité en recourant à la notion de pouvoir est, lorsqu'elle est con‐venablement nuancée, essentiellement correcte et ne constitue pas du tout une perspective décourageante. Le but de cet article est done de montrer que la notion de »ntcessaire«, prise dans les divers sens importants du mot, est applicable partout ou un contrôle efficace a été obtenu.ZusammenfassungPhilosophisch betrachtet ist die Erfindung der Ursprung der Notwendigkeit. Das bedeutet, dass Humes Analyse der Vorstellung der Notwendigkeit auf Grund des Begriffes der Kraft im Wesentlichen richtig und vielversprechend ist, sofern sie korrekt formuliert wird. In der vorliegenden Arbeit wird gezeigt, in welcher Beziehung es für die verschiedenen wichtigen Bedeutungen von »notwendig« möglich ist, die Anwendung eines derartigen Begriffes tiberall dort zu garantieren, wo eine erfolgreiche Kontrolle durchgeführt worden ist. (shrink)

The problem of necessity remains one of the central issues in modern philosophy. The authors of this volume, originally published in 1985, developed a new approach to the problem, which focusses on the logical grammar of necessary propositions. This volume gathers their seminal essays on the problem of necessity, together with new material at the original time publication.

The problem of the source of necessity is the problem of explaining what makes necessary truths necessarily true. Simon Blackburn has presented a dilemma intended to show that any reductive, realist account of the source of necessity is bound to fail. Although Blackburn's dilemma faces serious problems, reflection on the form of explanations of necessities reveals that a revised dilemma succeeds in defeating any reductive account of the source of necessity. The lesson is that necessity is metaphysically primitive and irreducible.

'There is much food for thought in McGinn's discussions and each chapter is rich with a series of considerations for thinking that the currently received views on the various topics have some serious difficulties that need confronting... For those interested in metaphysics and the philosophy of logic, this book will stimulate much further thought' -Mind 'The sweep of the book is broad and the pace is brisk... There is much material here to provide the basis for many a deep philosophical (...) discussion' -Mind 'Lucid and provocative little book... clear, direct and well argued' -Times Higher Education SupplementIdentity, existence, predication, necessity, and truth are fundamental philosophical concerns. Colin McGinn treats them both philosophically and logically, aiming for maximum clarity and minimum pointless formalism. He contends that there are real logical properties that challenge naturalistic metaphysical outlooks. These concepts are not definable, though we can say a good deal about how they work. The aim of Logical Properties is to bring philosophy back to philosophical logic. (shrink)

To reconcile true claims of de re necessity with the supposedly contingent existence of the concrete objects those claims are typically about, Kripkean essentialists invoke weak necessity. The claim that a is necessarily F is held to be equivalent to the claim that necessarily, if a exists then a is F. This strategy faces a barrage of serious objections a proper subset of which shows that the strategy fails to achieve its intended purpose. Relief can be provided via recourse to (...) a markedly non-Kripkean version of essentialism.1. (shrink)

The real distinction between mind and body -- Is conceivability a guide to possibility? -- Textbook kripkeanism and the open texture of concepts -- Coulda, woulda, shoulda -- No fool's cold : notes on illusions of possibility -- Beyond rigidification : the importance of being really actual -- How in the world? -- Mental causation -- Singling out properties -- Wide causation -- Causal relevance : mental, moral, and epistemic.

The thesis of existentialism holds that if a proposition p exists and predicates something of an object a, then in any world where a does not exist, p does not exist either. If “possibly, p” entails “in some possible world, the proposition that p exists and is true,” then existentialism is prima facie incompatible with the truth of claims like “possibly, the Eiffel Tower does not exist.” In order to avoid this claim, a distinction between two kinds of world-indexed truth (...) –and two associated kinds of modality –is needed. This paper embodies an attempt to develop a full account of just such a distinction. (shrink)

This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and the existence (...) of unactual objects in other possible worlds. He also applies his logical theories to the elucidation of two problems in the philosophy of religion: the problem of evil and the ontological argument. (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)