The paper argues against a commitment to metaphysical necessity, semantic modalities are enough. The best approaches to elucidate the semantic modalities are (still) versions of lingustic ersatzism and fictionalism, even if only developed in parts. Within these necessary properties and the difference between natural and semantic laws can be accounted for. The proper background theory for this is an updated version of Logical Empiricism, which is congenial to recent trends in Structural Realism. The anti-metaphysical attitude of Logical (...) Empiricism deserves revitalization. Another target besides metaphysical necessity are substantial forms of iterated modalities, as used, for instance, in the philosophy of religion. (shrink)

A popular response to the Exclusion Argument for physicalism maintains that mental events depend on their physical bases in such a way that the causation of a physical effect by a mental event and its physical base needn’t generate any problematic form of causal overdetermination, even if mental events are numerically distinct from and irreducible to their physical bases. This paper presents and defends a form of dualism that implements this response by using a dispositional essentialist view of properties to (...) argue that the psychophysical laws linking mental events to their physical bases are metaphysically necessary. I show the advantages of such a position over an alternative form of dualism that merely places more “modal weight” on psychophysical laws than on physical laws. The position is then defended against the objection that it is inconsistent with dualism. Lastly, some suggestions are made as to how dualists might clarify the contribution that mental causes make to their physical effects. (shrink)

A lot of philosophers engage in debates about what claims are “metaphysically necessary”, and a lot more assume with little argument that some classes of claims have the status of “metaphysical necessity”. I think we can usefully replace questions about metaphysical necessity with five other questions which each capture some of what people may have had in mind when talking about metaphysical necessity. This paper explains these five other questions, and then discusses the question (...) “how much of metaphysics is metaphysically necessary?”, and each of its five replacements. (shrink)

Any property has two sorts of causal features: “forward‐looking” ones, having to do with what its instantiation can contribute to causing, and ldquo;backward‐looking” ones, having to do with how its instantiation can be caused. Such features of a property are essential to it, and properties sharing all of their causal features are identical. Causal necessity is thus a special case of metaphysical necessity. Appeals to imaginability have no more force against this view than they do against the (...) Kripkean view that statements like “Gold is an element” are metaphysically necessary. (shrink)

In this paper, I intend to argue against Alexander Bird‟s thesis (2001) that the law salt dissolves in water is metaphysically necessary. I briefly indicate Bird‟s argument for the necessity of such law, and then I provide a counter-argument to his thesis. In a general way, Bird wants to show that the existence of certain substances depends on the truth of certain laws, and that because of this the existence of such substances implies the existence of such laws. That (...) would make the laws existing at least while the substance it rules exists; what, for Bird, makes such laws metaphysically necessary. My counter-argument to Bird is that such conception apprehends just what we call “weak necessity”, and not the strong necessity we would like a metaphysically necessary law to have. (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. (shrink)

In his _Being Known_ Peacocke sets himself the task of answering how we come to know about metaphysical necessities. He proposes a semantic principle-based conception consisting of, first, his Principles of Possibility which pro­vide necessary and sufficient conditions for a new concept 'admissibility', and second, characterizations of possibility and of necessity in terms of that new con­cept. I focus on one structural feature; viz. the recursive application involved in the specification of 'admissibility'. After sketching Peacocke’s proposal, I intro­duce (...) a fictional protagonist, Cautious Peacocke, whose coherence I claim shows that Peacocke s proposal cannot be made good. I conclude with the conjecture that similar failure will attend any such semantic-based attempts to ground the epistemology of metaphysical necessity. -/- Dans son livre intitulé Being Known, C. Peacocke se propose de repondre à la question de savoir comment nous en venons a connaitre des nécessités métaphysiques. Il développe une conception sémantique reposant sur des principes comprenant, d’une part, ses Principes de Possibilité — qui fournissent les conditions nécessaires et suffisantes pour un nouveau concept, « l’admissibilité » — et d’autre part des caractérisations de la possibilité et de la nécessité a l’aide de ce nouveau concept. Je me concentre sur une caractéristique structurelle, a savoir l’application récursive a l’œuvre dans la spécification de «l’admissibilité ». Apres avoir esquisse la proposition de Peacocke, j’introduis un personnage fictif, Peacocke-prudent. Je soutiens que la cohérence de ce personnage montre que la proposition de Peacocke ne peut pas être satisfaite. Je conclus en conjecturant qu’un échec similaire se présentera pour toutes les tentatives de fonder l’épistemologie de la nécessité métaphysique sur de telles bases semantiques. (shrink)

I discuss a short string of five sentences in Metaphysics V.5, 1015b6-9 relating demonstration to necessity. My proposal is that Aristotle focuses his attention on the demonstration as a demonstration. Other interpretations reduce the necessity in question to the modality of the component sentences of the demonstrations (the conclusion and the premises). My view does not deny that the modality of the component sentences is important, but takes seriously the idea that a demonstration itself should be understood as (...) necessary—as not capable of being otherwise. A demonstration cannot be different from what it is in the sense that [i] its components cannot be different from what they are, [ii] its components must be related to each other exactly in the way they are related. Demonstrations aim at the fully appropriate explanation of a given explanandum—and each demonstration is individuated by the explanandum it takes. Thus, the basic idea is that, for the target explanandum that individuates a given demonstration, the premises delivering the fully appropriate explanation cannot be replaces with different ones. I show how this proposal, which explains Aristotle’s language in 1015b6-9 accurately, does not make demonstrations ‘melt down into conditional necessity’, first, because the modality of the component sentences is still importantly involved, second, because the explanatory relation expressed in a demonstration is a necessary fact in the real world, so that the demonstration itself is also necessary (in the way I have explained) inasmuch as it captures that fact. (shrink)

Finean essentialists take metaphysical necessity to be metaphysically explained by essence. But whence the explanatory power of essence? A recent wave of criticism against the Finean account has put pressure on essentialists to answer this question. Wallner and Vaidya (2020) have responded by offering an axiomatic account of the explanatory power of essence. This paper discusses their account in light of some recent criticism by Bovey (2022). Building on work by Glazier (2017), Bovey succeeds in showing that Wallner (...) and Vaidya’s account is in need of modification and clarification. In this paper, I take up Bovey’s challenge and argue that Wallner and Vaidya have the resources available to incorporate the necessary modifications. I discuss the details of this modification, specifically, the question of what kind of metaphysical explanation is at work in the explanation of the necessity of essence itself. To get clear on this, I will introduce the distinction between generative and non-generative metaphysical explanation. In this way the paper contributes to both, the debate about whether essences can explain necessity and to the ongoing debate about metaphysical explanation. (shrink)

The purpose of this thesis is to demonstrate that metaphysics is a necessary discipline -- necessary in the sense that all areas of philosophy, all areas of science, and in fact any type of rational activity at all would be impossible without a metaphysical background or metaphysical presuppositions. Because of the extremely strong nature of this claim, it is not possible to put forward a very simple argument, although I will attempt to construct one. A crucial issue here (...) is what metaphysics in fact is -- the nature of metaphysics. The conception of metaphysics which I support could be called Aristotelian, as opposed to Kantian: metaphysics is the first philosophy and the basis of all other philosophical and scientific inquiry. I will argue that this is indeed the most plausible conception of metaphysics. (shrink)

Consider the following three claims. (i) There are no truths of the form ‘p and ~p’. (ii) No one holds a belief of the form ‘p and ~p’. (iii) No one holds any pairs of beliefs of the form {p, ~p}. Irad Kimhi has recently argued, in effect, that each of these claims holds and holds with metaphysical necessity. Furthermore, he maintains that they are ultimately not distinct claims at all, but the same claim formulated in different ways. (...) I find his argument suggestive, if not entirely transparent. I do think there is at least an important kernel of truth even in (iii), and that (i) ultimately explains what’s right about the other two. Consciousness of an impossibility makes belief in the obtaining of the corresponding state of affairs an impossibility. Interestingly, an appreciation of this fact brings into view a novel conception of inference, according to which it consists in the consciousness of necessity. This essay outlines and defends this position. A central element of the defense is that it reveals how reasoners satisfy what Paul Boghossian calls the Taking Condition and do so without engendering regress. (shrink)

This paper aims to show that—and how—Plato’s notion of the receptacle in the Timaeus provides the conditions for developing a mathematical as well as a physical space without itself being space. In response to the debate whether Plato’s receptacle is a conception of space or of matter, I suggest employing criteria from topology and the theory of metric spaces as the most basic ones available. I show that the receptacle fulfils its main task–allowing the elements qua images of the Forms (...) to exist as sensible things by being that in which the elements appear, change and move–in virtue of being pure continuity. All further qualifications required for a full notion of space are derived solely from the content of the receptacle. (shrink)

In `Essence and Modality', Kit Fine proposes that for a proposition to be metaphysically necessary is for it to be true in virtue of the nature of all objects whatsoever. Call this view Fine's Thesis. This paper is a study of Fine's Thesis in the context of Fine's logic of essence (LE). Fine himself has offered his most elaborate defense of the thesis in the context of LE. His defense rests on the widely shared assumption that metaphysical necessity (...) obeys the laws of the modal logic S5. In order to get S5 for metaphysical necessity, he assumes a controversial principle about the nature of all objects. I will show that the addition of this principle to his original system E5 leads to inconsistency with an independently plausible principle about essence. In response, I develop a theory that avoids this inconsistency while allowing us to maintain S5 for meta- physical necessity. However, I conclude that our investigation of Fine's Thesis in the context of LE motivates the revisionary conclusion that metaphysical necessity obeys the principles of the modal logic S4, but not those of S5. I argue that this constitutes a distinctively essentialist challenge to the received view that the logic of metaphysical necessity is S5. (shrink)

The striking difference between the orthodox nomological necessitation view of laws and the claims made recently by Scientific Essentialism is that on the latter interpretation laws are metaphysically necessary while they are contingent on the basis of the former. This shift is usually perceived as an upgrading: essentialism makes the laws as robust as possible. The aim of my paper—in which I contrast Brian Ellis’s Scientific Essentialism and David Armstrong’s theory of nomological necessity—is threefold. (1) I first underline the (...) familiar fact that metaphysical necessity (of Kripkean “water is necessarily H2O” kind) is not a stronger kind of necessity than nomological necessity but an entirely different kind of thing: nomological, but not metaphysical necessity, is an intra-world necessitation which Armstrong (almost) identifies with causation; metaphysical, but not nomological necessitation, has a canonical link to possible world considerations and counterfactual reasoning. Hence, the change from one necessity to the other is not an upgrading but a substantial shift. (2) I will explain how the essentialists, who promote this shift, are nonetheless able to retain the features of nomological necessity. (3) I also explore, for both the essentialist and the Armstrongian, whether they could extract a modal force from intra-world nomological necessity which it does not have per se. I argue that such a modal force is, indeed, obtainable for them. I will close the paper with some remarks and questions about the relation between Kripkean metaphysical necessity and the modal version of nomological necessity as defined in (3). (shrink)

What is the relation between metaphysical necessity and essence? This paper defends the view that the relation is one of identity: metaphysical necessity is a special case of essence. My argument consists in showing that the best joint theory of essence and metaphysical necessity is one in which metaphysical necessity is just a special case of essence. The argument is made against the backdrop of a novel, higher-order logic of essence, whose core (...) features are introduced in the first part of the paper. The second part investigates the relation between metaphysical necessity and essence in the context of HLE. Reductive hypotheses are among the most natural hypotheses to be explored in the context of HLE. But they also have to be weighed against their non-reductive rivals. I investigate three different reductive hypotheses and argue that two of them fare better than their non-reductive rivals: they are simpler, more natural, and more systematic. Specifically, I argue that one candidate reduction, according to which metaphysical necessity is truth in virtue of the nature of all propositions, is superior to the others, including one proposed by Kit Fine, according to which metaphysical necessity is truth in virtue of the nature of all objects. The paper concludes by offering some reasons to think that the best joint theory of essence and metaphysical necessity is one in which the logic of metaphysical necessity includes S4, but not S5. (shrink)

This paper concerns anti-Humean intuitions about connections in nature. It argues for the existence of a de re link that is not necessity.Some anti-Humeans tacitly assume that metaphysical necessity can be used for all sorts of anti-Humean desires. Metaphysical necessity is thought to stick together whatever would be loose and separate in a Hume world, as if it were a kind of universal superglue.I argue that this is not feasible. Metaphysical necessity might connect (...) synchronically co-existent properties—kinds and their essential features, for example—but it is difficult to see how it could also serve as the binding force for successions of events. That is, metaphysical necessity seems not to be fit for diachronic, causal affairs in which causal laws, causation, or dispositions are involved. A different anti-Humean connection in nature has to do that job.My arguments focus mainly on a debate which has been the battleground for Humean vs. anti-Humean intuitions for many decades—namely, the analysis of dispositional predicates—yet I believe (but do not argue here) that the arguments generalise to causation and causal laws straightforwardly. (shrink)

Some have argued for a division of epistemic labor in which mathematicians supply truths and philosophers supply their necessity. We argue that this is wrong: mathematics is committed to its own necessity. Counterfactuals play a starring role.

At the heart of the Stoic theory of modality is a strict commitment to bivalence, even for future contingents. A commitment to both future truth and contingency has often been thought paradoxical. This paper argues that the Stoic retreat from necessity is successful. it maintains that the Stoics recognized three distinct senses of necessity and possibility: logical, metaphysical and providential. Logical necessity consists of truths that are knowable a priori. Metaphysical necessity consists of truths (...) that are knowable a posteriori, a world order according to certain metaphysical principles and natures that god crafts within the constraints of matter. Finally, what is providentially necessary is what occurs according to the chain of fate, but only once it is in process or past. -/- The method of the paper is a close reading of Diogenes Laertius 7.75, adducing broad textual evidence along the way, to show that the Stoic theory of modality embraces Philonian possibility, both that which is capable of being true as a matter of logical consistency, and that which is possible according to the bare fitness of the entity. What differentiates the Stoics from Philo is their additional commitment to possibility as opportunity, resisting the collapse of determinism into necessity. (shrink)

We intend at this article to show some reasons to think the laws of nature as metaphysically necessary: to distinguish the metaphysical modality from the epistemical modality, and to have an absolute modality to face the relative physical and logical modalities. Lately, we indicate what does it mean to talk about metaphysically necessary laws, distinguishing two kinds of metaphysical modalities, and we account for the question about if the laws of nature are metaphysically necessary. The conclusion we get (...) is that the laws, whichever they are, are metaphysically necessary. (shrink)

The aim of this chapter is to explore to some extent the relationship between identity and necessity in logic and metaphysics. First, I provide a historically-based summary of proofs of the necessity of identity, highlighting the importance of the role that self-identity plays. Second, I introduce two examples of metaphysical topics where the necessity of identity has played a pivotal role: the necessary a posteriori, and the coincidence of material objects. I argue that important aspects of (...) these debates rest on how we represent identity. Third, I consider some recent work on generalized identity. This opens up new prospects for explaining why identity is necessary. (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 common to think of essence along modal lines: the essential truths, on this approach, are a subset of the necessary truths. But Aristotle conceives of the necessary truths as being distinct and derivative from the essential truths. Such a non-modal conception of essence also constitutes a central component of the neo-Aristotelian approach to metaphysics defended over the last several decades by Kit Fine. Both Aristotle and Fine rely on a distinction between what belongs to the essence proper of (...) an object and what merely follows from the essence proper of an object. In order for this type of approach to essence and modality to be successful, we must be able to identify an appropriate consequence relation which in fact generates the result that the necessary truths about objects follow from the essential truths. I discuss some proposals put forward by Fine and then turn to Aristotle’s account: Aristotle’s central idea, to trace the explanatory power of definitions to the causal power of essences has the potential to open the door to a philosophically satisfying response to the question of why certain things are relevant, while others are irrelevant, to the nature or essence of entities. If at all possible, it would be desirable for example to have something further to say by way of explanation to such questions as ‘Why is the number 2 completely irrelevant to the nature of camels?’. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it (...) is not possible to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

Many philosophers have suggested that claims of need play a special normative role in ethical thought and talk. But what do such claims mean? What does this special role amount to? Progress on these questions can be made by attending to a puzzle concerning some linguistic differences between two types of 'need' sentence: one where 'need' occurs as a verb, and where it occurs as a noun. I argue that the resources developed to solve the puzzle advance our understanding of (...) the metaphysics of need, the meaning of 'need' sentences, and the function of claims of need in ethical discourse. (shrink)

This paper investigates the metaphysics in higher-order counterfactual logic. I establish the necessity of identity and distinctness and show that the logic is committed to vacuism, which entails that all counteridenticals are true. I prove the Barcan, Converse Barcan, Being Constraint and Necessitism. I then show how to derive the Identity of Indiscernibles in counterfactual logic. I study a form of maximalist ontology which has been claimed to be so expansive as to be inconsistent. I show that it is (...) equivalent to the collapse of the counterfactual into the material conditional---which is itself equivalent to the modal logic TRIV. TRIV is consistent, from which it follows that maximalism is, surprisingly, consistent. I close by arguing that stating the limit assumption requires a higher-order logic. (shrink)

My main purpose in this article is to present an argument for the idea that necessity qua truth in all possible worlds, without other qualifications, leads us to contradiction. If we do not want to accept the contradiction, we will face a dilemma: or accepting that everything we take as contingent is in fact necessary, or accepting that we cannot translate some sentences – at least the indexed to worlds sentences – to the possible worlds vocabulary. We have an (...) intuition – and we develop an argument for it – that if “P”, evaluated in w*, is a contingent truth, so it cannot be the case that “P in w*” is a necessary truth. Generally, the argument tries to show that “P”, evaluated in w*, and “P in w*” are made true by the same contingent fact. If we suppose that “P in w*” is necessary, we would have to suppose that the fact that makes it true is also necessary, which would be contradictory with the fact that makes “P” true in w*, if we accept that what makes “P” in w* and “P in w*” true is the same fact. I attain such an aim by presenting an argument that is divided in two parts, one to imply the contradiction and the other to show that there is no relevant difference between the indicated sentences, by showing how the dilemma arises, and by answering some possible objections. This is an important objective because the possible worlds vocabulary is the default vocabulary to treat the modalities of necessity and possibility. And if it is flawed, it is important that we identify the flaw and fix it – which is exactly what we intend to do at the end of this article, by suggesting some qualification at the necessity notion, that the necessity is the native truth in all possible worlds. And this would save the possible worlds vocabulary from the presented objection. (shrink)

Prior to Kripke's seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano-Tarski notion of logical truth. According to this interpretation, `it is necessary that A' is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views (...) in modal metaphysics. In particular, we present an hitherto unpublished solution to problems 41 and 42 from Friedman's 102 problems, which uses a different method of proof from the solution presented in the paper of Tadeusz Prucnal. (shrink)

I propose that we approach the epistemology of modality by putting modal metaphysics first and, specifically, by investigating the metaphysics of essence. Following a prominent Neo-Aristotelian view, I hold that metaphysical necessity depends on the nature of things, namely their essences. I further clarify that essences are core properties having distinctive superexplanatory powers. In the case of natural kinds, which is my focus in the paper, superexplanatoriness is due to the fact that the essence of a kind is (...) what causes all the many properties and behaviors that are typically shared by all the instances of the kind. Accordingly, we know what is necessarily true of kinds by knowing what is essential to them in the sense of actually playing such causal-explanatory roles. Modal reasoning aimed at discovering metaphysical necessity thus proceeds via essentialist deduction: we move from essentialist truths to reach necessary truths. (shrink)

Hume appeals to different kinds of certainties and necessities in the Treatise. He contrasts the certainty that arises from intuition and demonstrative reasoning with the certainty that arises from causal reasoning. He denies that the causal maxim is absolutely or metaphysically necessary, but he nonetheless takes the causal maxim and ‘proofs’ to be necessary. The focus of this paper is the certainty and necessity involved in Hume’s concept of knowledge. I defend the view that intuitive certainty, in particular, is (...) certainty of the invariability or necessity of relations between ideas. Against David Owen and Helen Beebee, I argue that the certainty involved in intuition depends on the activity of the mind. I argue, further, that understanding this activity helps us understand more clearly one of Hume’s most important theses, namely that experience is the source of a distinct kind of certainty and of necessity. (shrink)

The necessity of origin suggests that a person’s identity is determined by the particular pair of gametes from which the person originated. An implication is that speculative scenarios concerning how we might otherwise have been had our gametic origins been different are dismissed as being metaphysically impossible. Given, however, that many of these speculations are intelligible and commonplace in the discourses of competent speakers, it is overhasty to dismiss them as mistakes. This paper offers a way of understanding these (...) speculations that does not commit them to incoherence but aims to make the best sense of what they are expressing. Using the philosophical framework of two‐dimensional semantics, it proposes that the speculative scenarios are best analysed as epistemic possibilities, rather than as metaphysical possibilities. It then explores some implications of this analysis for the ethical challenges associated with the non‐identity problem. (shrink)

Despite the importance of the variational principles of physics, there have been relatively few attempts to consider them for a realistic framework. In addition to the old teleological question, this paper continues the recent discussion regarding the modal involvement of the principle of least action and its relations with the Humean view of the laws of nature. The reality of possible paths in the principle of least action is examined from the perspectives of the contemporary metaphysics of modality and Leibniz's (...) concept of essences or possibles striving for existence. I elaborate a modal interpretation of the principle of least action that replaces a classical representation of a system's motion along a single history in the actual modality by simultaneous motions along an infinite set of all possible histories in the possible modality. This model is based on an intuition that deep ontological connections exist between the possible paths in the principle of least action and possible quantum histories in the Feynman path integral. I interpret the action as a physical measure of the essence of every possible history. Therefore only one actual history has the highest degree of the essence and minimal action. To address the issue of necessity, I assume that the principle of least action has a general physical necessity and lies between the laws of motion with a limited physical necessity and certain laws with a metaphysical necessity. (shrink)

This paper argues that the problem of how to act in the face of radical contingency is of central importance in Musil’s novel and intimately connected to what Musil calls the sense of possibility. There is a variety of different strategies by which individuals, and the state of Kakania as a whole, deal with contingency, and they all involve a claim to a kind of grounding or necessity; for example, the Parallel Campaign is one big attempt to ground Kakania (...) in what can be perceived as a form of metaphysical necessity. With the figure of Ulrich, Musil radicalizes the problem by showing the consequences of viewing even the relationship one has to one’s own self as contingent – the ultimate outcome of which is self-alienation. (shrink)

The minimal God exemplifies essential omnipotence, omniscience, and moral perfection, but none of the other properties of the traditional God. I examine the consequences of the minimal God in augmented S5, S4, and Kρσ. The metaphysical consequences for the minimal God in S5 include the impossibility that God—or any other object—might acquire, lose, or exchange an essential property. It is impossible that an essentially divine being might become essentially human, for instance. The epistemological consequences include the impossibility of agnosticism—it (...) is impossible that P(◻︎FG |E) = P(~◻︎FG| E). Indeed, every weaker forms of agnosticism are also impossible—it is impossible that P(◻︎FG |E) = n, n(0 < n < 1). The metaphysical and epistemological consequences for the minimal God in S4 are equally untenable. I show that we can avoid all of these unwelcome epistemological consequences for the minimal God in Kρσ. But Kρσ has some extraordinary metaphysical consequences for the minimal God. All of the problems for the minimal God generalize to the maximal God. (shrink)

My topic in this paper is the relationships of metaphysical priority which might hold between the different alethic modal statuses—necessity, contingency, possibility and impossibility. In particular, I am interested in exploring the view that the necessity of necessities is ungrounded while the contingency of contingencies is grounded—a scenario I call ‘necessity first’. I will explicate and scrutinize the contrast between necessity first and its ‘contingency first’ contrary, and then compare both views with ‘multimodal’ and ‘amodal’ (...) alternatives, drawing on David Lewis’s modal realism and Barbara Vetter’s potentialism as example cases. I will then defend the necessity-first point of view from a reversed version of Blackburn’s classic dilemma against theories of the source of necessity. (shrink)

I want to make sense of the view that singular causation involves a metaphysical necessary connection. By this I understand, where A and B are particulars, that ifA causes B then in every possible world in which A (or an A-indiscernible) or B (or a B-indiscernible) occurs, A (or an Aindiscernible) and B (or a B-indiscernible) occur. In the singularist approach that I will favour causal facts do not supervene on laws, causal relata are best understood as tropes, causation (...) is founded on the nature of its terms, and the necessity thus involved does not entail essentialism, determinism, and other usual problems. (shrink)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and (...) questions about their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

Engaging with Kant’s transcendental logic seems to be a question of mere scholarly historical interest today. It is most commonly regarded a mixture between logic and psychology or epistemology, and by that, not a serious form of logic. Transcendental logic seems to be of no systematical impact on the concept of logic. My paper aims to disclose a different account on the endeavour of Kant’s transcendental logic in particular and of the “Critique of Pure Reason” (CPR) in general. Kant’s fundamental (...) question is in a revolutionary way aiming to ground the character of necessity of knowledge, which means to justify the claim that thinking in accordance with the forms and principles of formal logic does not lead to sheer tautologies or an unsolved contradiction, but to knowledge that is objectively valid. In a first part, I shall demonstrate the necessity and the significance of this new fundamental question of the CPR with respect to its genesis out of pre-Kantian metaphysics. A brief outline of Kant’s answer to this question, with special emphasis on his revolutionary new comprehension of logical form, will be given as well. A second part shall open up a perspective that lies beyond Kant’s standpoint with reference to Nietzsche and eventually to Hegel. I will answer the question: What knowledge do we achieve about being or actuality by means of formal logic? I will argue that Kant shows that formal logic is the logic of all technical-practical conduct but also, at least indirectly, the limitation of the technical-practical knowledge and its legitimate sphere of application. (shrink)

It is standard to think that in Spinoza’s system, all things are necessary and in no sense contingent. However, in his classic book, Spinoza’s Metaphysics, published in 1969, Edwin Curley argues based on the proposition 28 of the first part of the Ethics that Spinoza endorses necessitarianism of only a modest kind, according to which when it comes to finite modes, there is a sense in which they are contingent. In this paper, I revisit Curley’s argument. Commentators have responded to (...) Curley’s argument, showing that Spinoza’s remarks on infinite modes entail that finite modes can in no sense be contingent. But this alone falls short of dispelling Curley’s misgivings about the standard interpretation, for it remains unexplained why Curley is wrong in thinking that the proposition 28 supports his moderate necessitarian interpretation. In defense of the standard interpretation, I bolster the usual response to Curley in greater detail than has been done in the literature and explain why, pace Curley, the proposition 28 plays no evidential role in support of Curley’s interpretation. (shrink)

Necessity is a touchstone issue in the thought of Charles Peirce, not least because his pragmatist account of meaning relies upon modal terms. We here offer an overview of Peirce’s highly original and multi-faceted take on the matter. We begin by considering how a self-avowed pragmatist and fallibilist can even talk about necessary truth. We then outline the source of Peirce’s theory of representation in his three categories of Firstness, Secondness and Thirdness, (monadic, dyadic and triadic relations). These have (...) modal purport insofar as the first category corresponds to possibility, the second to mechanical necessity and the third to a kind of semantic or intentional necessity. We then turn to Peirce’s explicit modal epistemology and show how it began as information-relative, with different modalities (e.g. logical, physical, practical) distinguished in terms of respective ‘designated states of information’, and shifted later in his life towards a more robust realism founded in direct perception of ideas in their relations. We then turn to Peirce’s formal logic, focusing on his diagrammatic system of Existential Graphs where he did his most serious logical research. Finally we discuss Peirce’s modal metaphysics and its implications for determinism and realism about universals. (shrink)

This paper is on Descartes’ account of modality and, in particular, his account of the necessity of the laws of nature. He famously argues that the necessity of the “eternal truths” of logic and mathematics depends on God’s will. Here I suggest he has the same view about the necessity of the laws of nature. Further, I argue, this is a plausible theory of laws. For philosophers often talk about something being nomologically or physically necessary because of (...) the laws of nature, but this necessity is thought to be metaphysically contingent. However, they struggle to explain how the laws could be genuinely necessary while being metaphysically contingent. The chief advantage of Descartes view, I argue, is that God’s will can plausibly explain both the necessity of the laws and the contingency of the laws. So, Descartes’ theistic account of laws provides a plausible explanation, perhaps the best explanation, of the contingent-necessity of laws of nature. (shrink)

There has been much debate recently on the question whether essence can explain modality. Here, I examine two routes to an essentialist account of modality. The first is Hale's argument for the necessity of essence, which I will argue is — notwithstanding recent attempted defences of it — invalid by its very structure. The second is the proposal that it is essential to essential truth that it is necessary. After offering three possible versions of the view, I will argue (...) that each fails to provide a metaphysical explanation of necessity in terms of essence. (shrink)

The categorization of disasters as natural or manmade does little for our understanding of the moral stakes of institutions and collectives involved in the aftermath of disasters. This paper presents a brief account of how disasters can be understood philosophically taking cues from studies in sociology. Having articulated the gap in conceptualizing disasters, the paper argues that an interpretation of disasters as “events of social suffering,” will help foreground the complex moral and phenomenological nature of such events to prompt a (...) more ethical response from institutions and collectives. (shrink)

Slavery in Ancient Greece, Absolutist Monarchy in pre-modern Europe, and the European conquest of the New World strike us, from our contemporary perspective, as injustices on a massive scale. But given the impact of these large-scale historical activities on the particular course taken by Western history, they almost undeniably played an important role in the evolution of modern liberalism. Bernard Williams suggests a startling claim—that liberal universalists cannot condemn past injustices, because those injustices were necessary conditions of the development of (...) the modern liberalism that they affirm. This paper examines this possible objection to liberal universalists who greatly value their liberal way of life, paying particular attention to the lamentable necessities thesis: the claim that modern liberalism would not have come into existence but for the occurrence of past injustices. It motivates the lamentable necessities thesis, and argues that those who accept it, and greatly value modern liberalism, are precluded from regretting all-things-considered certain past injustices. Finally, it makes the case that liberal universalists who greatly value modern liberalism may condemn past injustices necessary to its emergence, even if they are unable to regret them in the relevant sense. (shrink)

How can an event be extraordinary? What is the metaphysical background necessary to believe that extraordinary events are possible? The possibility of extraordinary events can be approached from metaphysical, epistemic, and scientific perspectives. Metaphysical explanations are extraordinary events that transcend nature or violate the regular structure in nature. Epistemological explanations, on the other hand, are explanations of extraordinary events by referring either to our lack of knowledge about nature or to our inadequacy of knowledge about events. Scientific (...) explanations recognize phenomena that have been observed or experimented on but have not yet been explained by any theory. In this article, I focus on metaphysical and epistemological explanations. We see that three basic assumptions are used for a metaphysical explanation: 1) There must be an orderly operation called Nature. 2) The process in nature can be violated. 3) There is a compatibility between the mind and the world. With the adoption of these three assumptions by different philosophers in various combinations, two kinds of metaphysical explanations arise: extraordinary as supernatural and extraordinary by appealing to the principle of sufficient reason. According to the first type of explanation, extraordinary events are events caused by what is beyond nature, exceeding nature, or violating the workings of nature. In order to explain extraordinary events with the supernatural, there is a need to violate the metaphysical necessities on which nature is based, such as the principle of causality. An approach represented by philosophers such as St. Augustine, al-Ghazālī, Richard Swinburne, and Nazif Muhtaroğlu claims that it is possible for a supernatural event to occur, claiming that the functioning of nature is not necessary. But if there is no metaphysical necessity in nature such as the principle of causality, how can an extraordinary event violate anything? Both Swinburne and St. Augustine answer this question with the argument that the principle of causality is effective in nature and that principle can be violated by God, a supernatural power. Al-Ghazālī and Muhtaroğlu, on the other hand, prefer not to accept the effectiveness of causality in the functioning of nature. Thus, all activity in nature will be attributed to God, and extraordinary events will gain the same status as ordinary events. The point that unites these views is the belief that the operation in nature is not necessary, with or without causality. Philosophers with this belief could not successfully explain extraordinary events because they could not ground their understanding of nature and the supernatural. Moreover, when we analyze their approach to the problem, we see that ordinary and extraordinary events cannot be separated from each other, since no other principle is put forward to replace the principle of causality. The second type of explanation is the explanation of extraordinary events by applying the principle of sufficient reason. The philosophers represented by Ibn Sînâ and Leibniz consider it necessary both metaphysically and epistemologically that everything in nature needs sufficient reason to come to be. According to them, no event can take place without sufficient cause. In this respect, there must be sufficient reason for extraordinary events to occur as well as ordinary ones. Both philosophers argue that extraordinary events are metaphysically possible events in nature, but their occurance does not violate principles such as causality. According to this type of explanation, extraordinary events are not supernatural. Ibn Sînâ, using the concept of nature in its metaphysical sense, argued that forces beyond matter are also effective in nature. Meanwhile, he maintained the necessity of the causality principle. In this way, it is possible to have previously unknown results from known causes. For example, the human soul can affect different bodies through celestial realms, just as it affects its own body. However, this interaction does not violate the necessity of the causality principle, on the contrary, it means the discovery of the necessary structure of nature. In short, the epistemological approaches of Leibniz and Ibn Sînâ, which they developed while preserving the metaphysical necessity of causation, do not require denying extraordinary events without examining them, but also offer a stronger basis for the possibility of extraordinary events, as they expand the limits of our knowledge of nature. (shrink)

Metaphysics is supposed to tell us about the metaphysical nature of our world: under what conditions composition occurs; how objects persist through time; whether properties are universals or tropes. It is near orthodoxy that whichever of these sorts of metaphysical claims is true is necessarily true. This paper looks at the debate between that orthodox view and a recently emerging view that claims like these are contingent, by focusing on the metaphysical debate between monists and pluralists about (...) concrete particulars. This paper argues that we should be contingentists about monism and pluralism, and it defends contingentism against some necessitarian objections by offering an epistemology of contingent metaphysical claims. (shrink)

The idea that the epistemology of modality is in some sense a priori is a popular one, but it has turned out to be difficult to precisify in a way that does not expose it to decisive counterexamples. The most common precisifications follow Kripke’s suggestion that cases of necessary a posteriori truth that can be known a priori to be necessary if true ‘may give a clue to a general characterization of a posteriori knowledge of necessary truths’. The idea is (...) that whether it is contingent whether p can be known a priori for at least some broad range of sentences ‘p’. Recently, Al Casullo and Jens Kipper have discussed restrictions of such principles to atomic sentences. We show that decisive counterexamples even to such dramatically restricted Kripke-style principles can be constructed using minimal logical resources. We then consider further restrictions, and show that the counterexamples to the original principles can be turned into counterexamples to the further restricted principles. We conclude that, if there are any true restrictions of Kripke-style principles, then they are so weak as to be of little epistemological interest. (shrink)

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)

It’s commonly held that particular moral facts are explained by ‘natural’ or ‘descriptive’ facts, though there’s disagreement over how such explanations work. We defend the view that general moral principles also play a role in explaining particular moral facts. More specifically, we argue that this view best makes sense of some intuitive data points, including the supervenience of the moral upon the natural. We consider two alternative accounts of the nature and structure of moral principles—’the nomic view’ and ‘moral platonism’—before (...) considering in what sense such principles obtain of necessity. (shrink)

A necessarily true sentence is 'brute' if it does not rigidly refer to anything and if it cannot be reduced to a logical truth. The question of whether there are brute necessities is an extremely natural one. Cian Dorr has recently argued for far-reaching metaphysical claims on the basis of the principle that there are no brute necessities: he initially argued that there are no non-symmetric relations, and later that there are no abstract objects at all. I argue that (...) there are nominalistically acceptable brute necessities, and that Dorr's arguments thus fail. My argument is an application of Gödel's first incompleteness theorem. (shrink)

I critically assess Stephen Yablo’s claim that cassinis are ovals is an a posteriori conceptual necessity. One does not know it simply by mastering the relevant concepts but by substantial empirical scrutiny. Yablo represents narrow content by would have turned out -conditionals. An epistemic reading of such conditionals does not bear Yablo’s claim. Two metaphysically laden readings are considered. In one reading, Yablo’s conditionals test under what circumstances concepts remain the same while their extensions diverge. As an alternative, I (...) develop a more literal metaphysical interpretation: Yablo’s conditionals draw on scenarios which are qualitatively identical to some original situation. None of these interpretations sustains Yablo’s core thesis. (shrink)