Varieties of Modality, Misc

In one of his precritical works, Kant defends, as “the only possible” way of demonstrating the existence of God, an argument from the nature of possibility. Whereas Leibniz had argued that possibilities must be thought by God in order to obtain the ontological standing that they need, Kant argued that at least the most fundamental possibilities must be exemplified in God. Here Kant’s argument is critically examined in comparison with its Leibnizian predecessor, and it is suggested that an argument combining (...) the strengths of both of them has much to be said for it. (shrink)

This paper examines Descartes' controversial theory of the creation of eternal truths and the views of modality attributed to Descartes in recent interpretations of it. It shows why attempts to make Descartes' view intelligible by distinctions of different kinds of modality fail to do justice to his theory, which is radical indeed without being incoherent or involving universal possibilism or irrationalism. Descartes' opposition to traditional rationalist views of modality, it suggests, can be seen instead as foreshadowing contemporary views prefixed, logical (...) structure of reality or of the divine intellect. (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)

Gordon Belot investigates the distinctive notion of geometric possibility that relationalists rely upon. He examines the prospects for adapting to the geometric case the standard philosophical accounts of the related notion of physical possibility, with particular emphasis on Humean, primitivist, and necessitarian accounts of physical and geometric possibility. This contribution to the debate concerning the nature of space will be of interest not only to philosophers and metaphysicians concerned with space and time, but also to those interested in laws of (...) nature, modal notions, or more general issues in ontology. (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)

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)

In this paper I examine and question Marc Lange’s account of laws, and his claim that the law delineating the range of natural kinds of fundamental particle has a lesser grade of necessity that the laws connecting the fundamental properties of those kinds with their derived properties.

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)

According to the free-will defence, the exercise of free will by creatures is of such value that God is willing to allow the existence of evil which comes from the misuse of free will. A well-known objection holds that the exercise of free will is compatible with determinism and thus, if God exists, God could have predetermined exactly how the will would be exercised; God could even have predetermined that free will would be exercised sinlessly. Thus, it is held, the (...) free-will defence cannot be used as a partial account of why God should have allowed evil to exist. I investigate this objection using Kripke's apparatus for treating modalities and natural kinds to explore the nature of the incompatibilism required by the free-will defence. I show why the objection fails even if the standard arguments for compatibilism are acceptable. This is because the modality involved in the incompatibilism needed by the free-will defence differs from the modality involved in the compatibilism that is supported by standard compatibilist arguments. Finally, an argument is sketched for a variety of incompatibilism of the kind needed by the free-will defence. (shrink)

(1a) If Prince Albert Victor killed those people, he is Jack the Ripper (and Jack the Ripper killed those people). (1b) If Prince Albert Victor had killed those people, Jack the Ripper wouldn't have (and Prince Albert wouldn't have been Jack the Ripper).

Almost everyone believes in modality de dicto. Necessarily, puppies are young dogs. The necessity here derives from the meaning of “puppy.” The term means young dog. Essentialism is belief in a more exotic sort of modality, one that does not derive from meaning in this direct and simple way. In the first two sections of this paper, I consider indexical and nonindexical kind terms and the sort of modality applicable to each. In the last section, I consider individuals and proper (...) names. (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)

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)

Kripke argues that the existence of a priori contingent truths shows the falsity of the traditional idea that the notions of necessity and a priority are coextensional. In this paper, I maintain that the traditional coexistensionality thesis is defendable. I contend that the propositions that are alleged to be a priori contingent truths by Kripke are propositions that express contingent facts and, at the same time, are necessarily true. That they are necessarily true is not because of their metaphysical aspects (...) but in virtue of their epistemological properties. In regard to a priority, following Donnellan, I argue that Kripke’s fault can be explained by an appeal to the distinction between knowing that a certain sentence expresses a truth and knowing the truth of what is expressed by the sentence. (shrink)

I begin by briefly mentioning two different logical fatalistic argument types: one from temporal necessity, and one from antecedent truth value. It is commonly thought that the latter of these involves a simple modal fallacy and is easily refuted, and that the former poses the real threat to an open future. I question the conventional wisdom regarding these argument types, and present an analysis of temporal necessity that suggests the anti-fatalist might be better off shifting her argumentative strategy. Specifically, two (...) points of interest emerge from my analysis: first, temporal necessity turns out to be an inappropriate and ineffective tool for the fatalist to make use of; and, second, the dismissal of the argument from antecedent truth value turns out to be an over-hasty one. (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)

In this paper, I draw a distinction between two kinds of impossibility and maintain that one is entitled to suppose that they do not obtain, in the absence of a reason to think that they do. I claim that there is no reason to think that the first kind obtains with respect to God and that, though there are nonnegligible arguments that the second kind does, my argument for the possibility of God, which appeared in an earlier volume of this (...) journal, adequately rebuts those arguments. (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)

This is his eagerly-awaited first book in the area.

It is argued that there are three main forms of necessity --the metaphysical, the natural and the normative--and that none of them is reducible to the others or to any other form of necessity. In arguing for a distinctive form of natural necessity, it is necessary to refute a version of the doctrine of scientific essentialism; and in arguing for a distinctive form of normative necessity, it is necessary to refute certain traditional and contemporary versions of ethical naturalism.

The view that analytic propositions are those which are true in virtue of rules of use is basically correct. But there are many kinds of rules of use, and rules of some of these kinds do not generate truth. There is nothing like a grammatical analytic, though grammatical rules are rules of use. So, this rules-of-use view falls short of being an explanatory account. My problem is to find what it is that is special about those rules of use which (...) do generate truth. I shall argue that they are distinguished from others by their purpose rather than their content. Given their special purpose, one can explain how they generate truth. It will follow that linguistic regularities, considered apart from the purposes of those who use language, fail to provide a basis for understanding analyticity. On my account of it, analyticity turns out to be a less important characteristic of propositions than necessity. This is be- cause necessity, unlike analyticity, has its roots, not just in a contemporary system of usage, but in a wide family of systems of belief and usage. My efforts to deflate the philosophical value of the analytic will be summed up in the conclusion that analytic propositions can be contingent. I think this conclusion is behind the feeling that the propositions of logic and arithmetic are not merely analytic. For, if they were merely analytic, that is, true only in virtue of transitory conventions, then they would be contingent. Justice can be done to this feeling by the view that they are both analytic and necessary. (shrink)

Einstein, like most philosophers, thought that there cannot be mathematical truths which are both necessary and about reality. The article argues against this, starting with prima facie examples such as "It is impossible to tile my bathroom floor with regular pentagonal tiles." Replies are given to objections based on the supposedly purely logical or hypothetical nature of mathematics.

This paper attempts to construct a systematic and plausible account of the necessity of the past. The account proposed is meant to explicate the central ockhamistic thesis of the primacy of the pure present and to vindicate Ockham's own non-Aristotelian response to the challenge of logical determinism.

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.

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)

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)

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.

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