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

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)

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)

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)

In lieu of an abstract, here is a brief excerpt of the content: Meaning and Metaphysical Necessity by Tristan Grøtvedt Haze Reviewed by: Chenyu Bu. HAZE, Tristan Grøtvedt. Meaning and Metaphysical Necessity. New York: Routledge, 2022. ix + 204 pp. Cloth, $136.00In this book, Haze advances the thesis that all necessarily true statements are such that their necessities can be known a priori via an analysis of meaning...

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)

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)

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)

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

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)

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)

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)

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)

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)

In all three of his major works on moral philosophy, Kant conceives of moral obligation, moral permissibility, and moral impermissibility in decidedly modal terms, namely in terms of moral necessity, moral possibility, and moral impossibility respectively. This terminology is not Kant’s own, however, but has a rather long history stretching back to a group of Spanish Jesuit theologians in the early seventeenth century, and it was used in two contexts: first, in the context of divine and human action to (...) explain how volition can be both metaphysically and physically free and yet morally necessary, and second in a deontic context to refer to moral obligation, permissibility, and impermissibility. In this paper, my first and primary aim is to sketch the way in which four of Kant’s most important German predecessors, namely Leibniz, Christian Wolff, Alexander Gottlieb Baumgarten, and Christian August Crusius, used the language of moral necessity, possibility, and impossibility in both the context of action and obligation. My second, more limited aim is to suggest that Kant’s use of these terms can be clarified by taking this background into consideration. (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.

Non-modalists about essence reject the idea that metaphysical modality is prior to essence, e.g., in the sense that the latter can be reduced to or defined in terms of the former. On the contrary, according to these theorists, the explanation, if anything, proceeds in the opposite direction: metaphysical modality does not explain, but is instead explained in terms of, essence. Thus, for non-modalists like Aristotle, Kit Fine and E. J. Lowe, one of the primary theoretical roles of essence (...) is to provide an explanatory basis for metaphysical necessity and possibility. This chapter explores a range of different types of explanatory connections which raise the question of how the non-modalist’s program of explaining metaphysical modality in terms of essence is best carried out. The considerations advanced in this chapter suggest that non-modalists must proceed by way of a non-logical case-by-case engagement with specific cases, since no logical “one-size-fits- all” strategy appears to be available. (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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Kant’s derivation of the table of categories from logical functions of judgments in the metaphysical deduction remains one of the least convincing arguments of the Critique of Pure Reason. This article presents an alternative approach to the question of the a priori origin of the table of categories. By circumventing the metaphysical deduction, I show the possibility of demonstrating the exact functions and necessity of the twelve categorial forms as emerging from the interaction of the synthetic unity (...) of apperception with the manifold content of the a priori intuition of space and time. I argue that this a priori material of cognition imposes a constraint on the spontaneity of understanding, thus giving rise to the specific rules of synthesis that make up the table of categories. On the reading I suggest, the table of categories can be understood as expressing the a priori form of self-consciousness in the face of space and time. (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)

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)

Pure mathematical truths are commonly thought to be metaphysically necessary. Assuming the truth of pure mathematics as currently pursued, and presupposing that set theory serves as a foundation of pure mathematics, this article aims to provide a metaphysical explanation of why pure mathematics is metaphysically necessary.

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)

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)

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)

This book is an introduction to The Metaphysicist, the second Information Philosopher website, a work in progress on some classical questions in philosophy that 20th-century logical positivists and analytic language philosophers dis-solved as pseudo-problems. -/- The Metaphysicist analyzes the information content in twenty classic problems in metaphysics - Abstract Entities, Being and Becoming, Causality, Chance, Change, Coinciding Objects, Composition (Parts and Wholes), Constitution, Free Will or Determinism, God and Immortality, Identity, Individuation, Mind-Body Problem, Modality, Necessity or Contingency, Persistence, Possibility (...) and Actuality, Space and Time, Truth, Universals, Vagueness, and the 20th-century problem of WaveParticle Duality. -/- The Metaphysicist also includes pages on the classic paradoxes and puzzles used for millennia to wrestle with these metaphysical problems The Debtor’s Paradox, Dion and Theon, The Growing Argument, The Infinite Regress, The Problem of the Many, The Ship of Theseus, The Sorites Puzzle, The Statue and the Clay, and Tibbles, the Cat. -/- Information philosophy is a new philosophical methodology that goes “beyond logic and language” to the underlying information structures in the cosmos, in the world, in biological systems, and in the human mind - structures without which logic, language, and science would be impossible. (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)

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)

In this paper, I try to outline what I take to be Naming and Necessity’s fundamental legacy to my generation and those that follow, and the new perspectives it has opened up for twenty-first century philosophy. The discussion is subdivided into three sections, concerning respectively philosophy of language, metaphysics, and metaphilosophy. The general unifying theme is that Naming and Necessity is helping philosophy to recover a Golden Age, by freeing it from the strictures coming from the empiricist and (...) Kantian traditions and reconnecting it to the world and the objects that populate it. Because of this, in the concluding paragraph I tentatively suggest that Kripke’s philosophy may be seen as a sui generis form of naturalism. (shrink)

In this paper, I argue that inductive inferences can be reinterpreted as deductive through a metaphysical lens of modal necessity. Instead of viewing deduction as a limit case of induction where the conclusion is certain rather than probable, we can rethinking inductive inferences as a particular type of deductive inferences where the conclusion is necessitated by premises in specific modal ranges.

Let us distinguish two kinds of contingentism: entity contingentism and metaphysical contingentism. Here, I use ‘entity’ very broadly to include anything over which we can quantify—objects (abstract and concrete), properties, and relations. Then entity contingentism about some entity, E, is the view that E exists contingently: that is, that E exists in some possible worlds and not in others. By contrast, entity necessitarianism about E is the view that E exists of necessity: that is, that E exists in (...) all possible worlds. We can distinguish two views: global entity contingentism and global entity necessitarianism. Global entity contingentism is the view that for any possible E, E exists contingently. Global entity necessitarianism is the view that for any possible E, E exists necessarily. While entity contingentism and entity necessitarianism are views about the modal status of entities, metaphysical contingentism and necessitarianism are views about the modal status of metaphysical principles. Metaphysical contingentism about some metaphysical principle, P, is the view that P is contingent: it is true in some worlds, and false in others. Metaphysical necessitarianism about P is the view that P is necessary: either P is true in every world, or false in every world. We can then distinguish two views: global metaphysical contingentism and global metaphysical necessitarianism. Global metaphysical contingentism is the view that for any internally coherent metaphysical principle P, P is contingent: P is true in some worlds and false in others. Global metaphysical necessitarianism is the view that for any internally coherent metaphysical principle, P, P is necessary: it is either true in every world, or false in every world. This chapter principally focuses on metaphysical rather than entity contingentism, though §2 briefly discusses the latter. As we will see, (§2), both global entity contingentism and global entity necessitarianism are controversial views, and most philosophers fall somewhere between these two extremes, holding that some, but not all, entities exist necessarily—a view we can call entity moderatism. By contrast, global metaphysical necessitarianism has, until recently, largely been the default view. It is only recently that some philosophers have argued that we should be metaphysical contingentists about at least some metaphysical principles—a view we can call metaphysical moderatism. §3 considers why global metaphysical necessitarianism has hitherto been so persuasive, then evaluates (§3.1) some arguments for the view before considering more recent arguments in favour of the contingency of (at least some) metaphysical principles (§3.2). (shrink)