It is generally assumed that relations of necessity cannot be known by induction on experience. In this paper, I propose a notion of situated possibilities, weaker than nomic possibilities, that is compatible with an inductivist epistemology for modalities. I show that assuming this notion, not only can relations of necessity be known by induction on our experience, but such relations cannot be any more underdetermined by experience than universal regularities. This means that any one believing in a (...) universal regularity is as well warranted to believe in the corresponding relation of necessity. (shrink)

According to EJ Lowe, diachronic necessity and synchronic necessity are logically independent. Diachronic possibility concerns what could happen to an object over time and therefore concerns future possibilities for that object given its past history. Synchronic possibility concerns what is possible for an object in the present or at a past present moment. These are logically independent, given certain assumptions. While it may true that because I am 38, it is impossible diachronically for me to be 30 (at (...) least once we restrict the degree of relevant possibility), it is possible, given that at some point in the past, I may have been conceived slightly earlier than I was, that I am now 37. Likewise, it is possible diachronically for me to be somewhere other than where I am, but given that one object cannot be in different places at the same time, it is impossible for me now to be somewhere other than where I am, and this is true at each past point in my history too. There are, then, two axis upon which to distinguish what is and is not possible: tensed possibilities and possibilities of degree, which include nomic, metaphysical, and logical necessities, among others. I examine the interactions between these possibilities and I come to the conclusion that logical necessity is not in fact logical necessity simpliciter. Whether something is logically necessary depends upon tensed possibilities. I argue that while synchronic logical necessity entails diachronic logical necessity, the reverse entailment does not hold. I explore the consequences of this for certain philosophical debates in semantics including the concept of rigid designation, and descriptive names. (shrink)

A common feature of all standard theories of the laws of nature is that they are "absolutist": They take laws to be either all metaphysically necessary or all contingent. Science, however, gives us reason to think that there are laws of both kinds, suggesting that standard theories should make way for "non-absolutist" alternatives: theories which accommodate laws of both modal statuses. In this paper, we set out three explanatory challenges for any candidate non-absolutist theory and discuss the prospects of the (...) two extant candidates in light of these challenges. We then develop our own non-absolutist theory, the essentialist DTA account, which combines the nomic-necessitation or DTA account with an essentialist approach to metaphysical modality in order to meet the three explanatory challenges. Finally, we argue that the distinction between kinematical and dynamical laws found in physical theories supports both non-absolutism in general and our proposed essentialist DTA view in particular. (shrink)

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

This paper argues that every inductive inference is covertly deductive and that validity might involve different kinds of necessity (logical, nomological, metaphysical). The main distinction is between inductivism, the view that some inferences are genuinely inductive, and deductivism, the notion that all inferences are covertly deductive. Section 2 presents the problems of inductivism, highlighting its conceptual deficiencies and advancing deductivism as an alternative. In section 3, I argue that the epistemic commitments of inductivism and deductivism are fallibilism and infallibilism, (...) respectively. Section 4 attempts to clarify the metaphysical assumptions of both positions and suggest a modal interpretation of probability that illuminates some puzzles regarding chancy counterfactuals. Section 5 concludes. (shrink)

The nomic view of dispositions holds that properties confer dispositions on their bearers with nomological necessity. The argument against nomic dispositions challenges the nomic view: if the nomic view is true, then objects don't have dispositions, but 'mimic' them. This paper presents an explication of disposition conferral which shows that the nomic view is not vulnerable to this objection.

Three popular views regarding the modal status of the laws of nature are discussed: Humean Supervenience, nomic necessitation, and scientific/dispositional essentialism. These views are examined especially with regard to their take on the apparent modal force of laws and their ability to explain that modal force. It will be suggested that none of the three views, at least in their strongest form, can be maintained if some laws are metaphysically necessary, but others are metaphysically contingent. Some reasons for thinking (...) that such variation in the modal status of laws exists will be presented with reference to physics. This drives us towards a fourth, hybrid view, according to which there are both necessary and contingent laws. The prospects for such a view are studied. (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)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and (...) Wright 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

Given their physical realization, what causal work is left for functional properties to do? Humean solutions to the exclusion problem (e.g. overdetermination and difference-making) typically appeal to counterfactual and/or nomic relations between functional property-instances and behavioural effects, tacitly assuming that such relations suffice for causal work. Clarification of the notion of causal work, I argue, shows not only that such solutions don't work, but also reveals a novel solution to the exclusion problem based on the relations between dispositional properties (...) at different levels of mechanism, which involves three central claims: (i) the causal work of properties consists in grounding dispositions, (ii) functional properties are dispositions, and (iii) the dispositions of mechanisms are grounded in the dispositions of their components. Treating functional mental properties as dispositions of components in psychological mechanisms, I argue that such properties do the causal work of grounding agent-level dispositions. These dispositions, while ultimately grounded in the physical realizers of mental properties, are indirectly so grounded, through a hierarchy of grounding relations that extends upwards, of necessity, through the mental domain. (shrink)

Causal Determinism (CD) entails that all of a person’s choices and actions are nomically related to events in the distant past, the approximate, but lawful, consequences of those occurrences. Assuming that history cannot be undone nor those (natural) relations altered, that whatever results from what is inescapable is itself inescapable, and the contrariety of inevitability and freedom, it follows that we are completely devoid of liberty: our choices are not freely made; our actions are not freely performed. Instead of disputing (...) the soundness of this reasoning, some philosophers prefer to maintain that we could yet have a small measure of freedom were CD true of our world: although being unable to choose or act differently, one could at least under normal circumstances truly claim to be acting ‘on one’s own’, beyond the control of ‘outside forces’, in a word, autonomous. They further argue that being free in this sense suffices for moral responsibility. Call their philosophy ‘Autonomy Compatibilism’ (AC). -/- In adopting here reactive attitudes towards an agent, one is choosing to highlight the fact that the individual in question is of sound mind, reasoning and acting free from the interference of others. These facts alone, the adherent of AC claims, justify his stance, despite the necessity of the agent’s choices. Why would we not regard a sane individual who is not being coerced, intimidated, deceived or unduly put upon as in charge of his life so as to be responsible for his activities? -/- The Manipulation Argument (MA) is supposed to cut off this line of retreat. Its authors hold that, were CD true of our world, we would be no more autonomous than a victim of “covert, non-constraining control” (CNC): manipulation whereby one person causes another, through the use of methods such as brainwashing or circumspect operant conditioning, to ‘do his bidding’ without the latter being aware of his subjugation or feeling in any way coerced. Since a CNC victim obviously lacks autonomy, then so must “persons” living in a deterministic universe. Defenders of AC have, then, the following argument with which to contend: -/- 1. Victims of CNC (obviously) lack autonomy. 2. Thus, AC would be true only if some definition of autonomy succeeds in specifying a freedom relevant difference between victims of CNC and agents whose choices/actions are necessary consequences of prior events. 3. There could be no such definition. 4. Therefore, AC must be false. -/- The challenge issued here is clear: find a way to refute the claim that being subject to natural laws would be tantamount to being a victim of CNC, to show that Nature is no manipulator. Moreover, this challenge cannot be met by responding with a Frankfurt case: a situation in which things have been surreptitiously arranged so that an agent is unable to avoid doing something that he manages to do ‘on his own’, thus, being autonomous despite his inability to act otherwise. For, even if CD is not inconsistent with autonomy because it eliminates the ability to do otherwise per se, it may yet entail that no human agent ever does act of his own accord, an implication of which would be a lack of alternatives on anyone’s part. In other words, the fact that causally determined beings could never act differently than they do does is perhaps only symptomatic of the reason why such beings would lack autonomy: forces beyond their control would have dominion over their psychological development. Thus, AC advocates must show that the way that an agent’s character would be shaped, were she (merely) subject to natural laws, would leave unimpaired an ability that CNC would destroy. What follows is a definition of this ability, which I also use to solve the Problem of Freedom and Foreknowledge. (shrink)

Over the past 50 years, there has been a great deal of philosophical interest in laws of nature, perhaps because of the essential role that laws play in the formulation of, and proposed solutions to, a number of perennial philosophical problems. For example, many have thought that a satisfactory account of laws could be used to resolve thorny issues concerning explanation, causation, free-will, probability, and counterfactual truth. Moreover, interest in laws of nature is not constrained to metaphysics or philosophy of (...) science; claims about laws play essential roles in areas as diverse as the philosophy of religion (e.g., in the argument from design) and the philosophy of mind (e.g., in the formulation of Davidson’s anomalous monism). In my dissertation, I consider and reject the widely-held thesis that the facts concerning laws can be reduced to the facts concerning the particular entities that the laws “govern,” and that the laws thus have no independent existence. I instead defend a version of nomic primitivism, according to which the facts about laws cannot be reduced to facts that are themselves non-nomic – i.e., to facts that do not fundamentally involve laws, counterfactuals, causes, etc. Insofar as the truth or falsity of reductionism about laws has implications for many of the problems mentioned above, I think that this result should be of interest even to those who who do not work in metaphysics or the philosophy of science. My methodology, which I lay out and defend in Chapter One, is a version of Carnapian explication. This method emphasizes the importance of articulating and maintaining clear distinctions between (1) the vague concept (or concepts) law of nature inherent in ordinary language and scientific practice and (2) the precise analyses of “law of nature” that philosophers have proposed as potential replacements for this concept. I argue that metaphysics-as-explication has clear advantages over rival conceptions of metaphysical methodology; in particular, it allows us to formulate evaluative criteria for metaphysical claims. In Chapter Two, I offer an example of how careful attention to concepts already in use can help resolve philosophical debate. Specifically, I argue that much recent literature has mistakenly assumed that there is only one concept of “law of nature” in use, while there are in fact at least two. Strong laws are the principles pursued by fundamental physics: they are true, objective, and bear distinctive relationships to counterfactuals and explanation. Weak laws, by contrast, lack at least one of these distinctive characteristics but play central roles in both the “special sciences” and in everyday life. In Chapters Three and Four, I offer extended arguments against the two most prominent versions of reductionism about laws – Humeanism and law necessitarianism. According to philosophical Humeans, the laws of nature supervene upon the non-modal, non-nomic facts concerning the behavior of particular things at particular times and places. Law necessitarians, by contrast, argue that the laws are in fact metaphysically necessary, and that which laws there are is determined by a class of primitive, modally loaded facts concerning the essences, natures, or dispositions. I argue that both of these views are mistaken insofar as they disagree with well-entrenched scientific practices and those in favor of reductionism have failed to provided sufficient reason for thinking that these practices should be revised. Much of my argument is focused on the role played by a number of supposed methodological principles, including appeals to intuition, parsimony, and methodological naturalism. While the conclusions of this dissertation are explicitly constrained to laws, many of the arguments should be of interest to those who are concerned about philosophical methodology (especially in the role of intuition in philosophical argument) or the appropriate relation between metaphysics, science, and the philosophy of science. (shrink)

If there are fundamental laws of nature, can they fail to be exact? In this paper, I consider the possibility that some fundamental laws are vague. I call this phenomenon 'fundamental nomic vagueness.' I characterize fundamental nomic vagueness as the existence of borderline lawful worlds and the presence of several other accompanying features. Under certain assumptions, such vagueness prevents the fundamental physical theory from being completely expressible in the mathematical language. Moreover, I suggest that such vagueness can be (...) regarded as 'vagueness in the world.' For a case study, we turn to the Past Hypothesis, a postulate that (partially) explains the direction of time in our world. We have reasons to take it seriously as a candidate fundamental law of nature. Yet it is vague: it admits borderline (nomologically) possible worlds. An exact version would lead to an untraceable arbitrariness absent in any other fundamental laws. However, the dilemma between fundamental nomic vagueness and untraceable arbitrariness is dissolved in a new quantum theory of time's arrow. (shrink)

An adequate account of laws should satisfy at least five desiderata: it should provide a unified account of laws and chances, it should yield plausible relations between laws and chances, it should vindicate numerical chance assignments, it should accommodate dynamical and non-dynamical chances, and it should accommodate a plausible range of nomic possibilities. No extant account of laws satisfies these desiderata. This paper presents a non-Humean account of laws, the Nomic Likelihood Account, that does.

Humeanism – the idea that there are no necessary connections between distinct existences – and Nomic Essentialism – the idea that properties essentially play the nomic roles that they do – are two of the most important and influential positions in the metaphysics of science. Traditionally, it has been thought that these positions were incompatible competitors. We disagree. We argue that there is an attractive version of Humeanism that captures the idea that, for example, mass essentially plays the (...) role that it actually does in the laws of nature. In this paper we consider the arguments that have lead many to conclude that Humeanism cannot be combined with Nomic Essentialism; we identify the weaknesses in these arguments; and we argue in detail that a version of Humeanism based on a variant of the Best System account of laws captures the key intuitions behind nomic essentialism. (shrink)

I introduce "nomic-role nonreductionism" as an alternative to traditional causal-role functionalism in the philosophy of mind. Rather than identify mental properties by a theory that describes their intra-level causal roles via types of inputs, internal states, and outputs, I suggest that one identify mental properties by a more comprehensive theory that also describes inter-level realization roles via types of lower-level engineering, internal mental states, and still higher-level states generated by them. I defend this position on grounds that mental properties (...) should be understood by our best scientific theories, which at present include informatioin about mental engineering. I further defend this claim by a "parity of reasons" argument. Causal-role functionalists are justified to include sensory stimuli in their theory of mind as opposed to, say, the remote causes of sensory stimuli because the former but not the latter are items of direct mental production. But ditto for the system's physical realizations. They too directly produce mental states, only not by "causing" them but by "realizing" them. Engineering realizations and their input triggering conditions work in tandem. In addition, I tell a related but more general metaphysical story about property identity, namely, that the traditional causal theory should be replaced by a more comprehensive nomic theory that individuates properties by their intra-level causal powers as well as their inter-level realization capacities. (shrink)

Moral realists often disagree about the nature of moral properties. These properties can be natural (as per naturalistic moral realism) or non-natural. But it is unclear how we should understand the notion of naturalness employed in these discussions. In this paper I propose a novel account of moral naturalness. I suggest that a property F is natural iff F falls within the scope of a natural law. In turn, a law is natural when it figures in a nomic nexus (...) involving the laws of physics. (shrink)

Natural properties are those that carve reality at the joints. The notion of carving reality at the joints, however, is somewhat obscure, and is often understood in terms of making for similarity, conferring causal powers, or figuring in the laws of nature. I develop and assess an account of the third sort according to which carving reality at the joints is understood as having the right level of determinacy relative to nomic roles. The account has the attraction of involving (...) very weak metaphysical presuppositions, but fails to capture several features that natural properties are presumed to have. (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)

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)

Grounding necessitarianism (GN) is the view that full grounds necessitate what they ground. Although GN has been rather popular among philosophers, it faces important counterexamples: For instance, A=[Socrates died] fully grounds C=[Xanthippe became a widow]. However, A fails to necessitate C: A could have obtained together with B=[Socrates and Xanthippe were never married], without C obtaining. In many cases, the debate essentially reduces to whether A indeed fully grounds C – as the contingentist claims – or if instead C is (...) fully grounded in A+, namely A plus some supplementary fact S (e.g. [Xanthippe was married to Socrates]) – as the necessitarian claims. Both sides typically agree that A+ necessitates C, while A does not; they disagree on whether A or A+ fully grounds C. This paper offers a novel defence of the claim that, in these typical cases, unlike A+, A fails to fully ground C – thereby bringing further support to GN. First and foremost, unlike A+, A fails to fully ground C because it fails to contain just what is relevant to do so, in two distinct senses – explanatory and generative relevance. Second, going for A, rather than A+, as a full ground undermines not just grounding necessitarianism, but modally weaker views which even contingentists may want to preserve. (shrink)

There is a long tradition of logic, from Aristotle to Gödel, of understanding a proof from the concepts of necessity and causality. Gödel's attempts to define provability in terms of necessity led him to the distinction of formal and absolute (abstract) provability. Turing's definition of mechanical procedure by means of a Turing machine (TM) and Gödel's definition of a formal system as a mechanical procedure for producing formulas prompt us to understand formal provability as a mechanical causality. We (...) propose a formalism which makes explicit the mechanical causal nature of a TM's work. We claim that Gödel's axiomatised ontotheology and his ontological proof give a clue for the understanding of the concept of absolute provability and the pattern of the corresponding absolute completeness proof, respectively. (shrink)

Natural necessity is the kind of necessity that is supplied by ‘nature’: e.g., necessarily, a glass is broken when it is pressed with a certain force. Relevant topics of natural necessity include c...

In many diagrams one seems to perceive necessity – one sees not only that something is so, but that it must be so. That conflicts with a certain empiricism largely taken for granted in contemporary philosophy, which believes perception is not capable of such feats. The reason for this belief is often thought well-summarized in Hume's maxim: ‘there are no necessary connections between distinct existences’. It is also thought that even if there were such necessities, perception is too passive (...) or localized a faculty to register them. We defend the perception of necessity against such Humeanism, drawing on examples from mathematics. (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)

ABSTRACTThe Necessity of Origins is the thesis that, necessarily, if a material object wholly originates from some particular material, then it could not have wholly originated from any significantly non-overlapping material. Several philosophers have argued for this thesis using as a premise a principle that we call ‘Single Origin Necessity’. However, we argue that Single Origin Necessity is false. So any arguments for The Necessity of Origins that rely on Single Origin Necessity are unsound. We (...) also argue that the Necessity of Origins itself is false. Our arguments rely on a thesis in the ontology of art that we find plausible: Multi-Work Materialism. It is the thesis that works of art that have multiple concrete manifestations are co-located with those manifestations. (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.

Upward monotonic semantics for necessity modals give rise to Ross’s Puzzle: they predict that □φ entails □(φ ∨ ψ), but common intuitions about arguments of this form suggest they are invalid. It is widely assumed that the intuitive judgments involved in Ross’s Puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from □(φ ∨ ψ), interpreters infer that the truth of each disjunct (φ, ψ) is compatible with the relevant set of worlds. I introduce two pieces (...) of data that this analysis fails to explain. Analyzing this data, I argue, suggests that necessity modals with embedded disjunctions license ‘Independence’ inferences: from the truth of □(φ ∨ ψ), interpreters infer that φ-without-ψ and ψ-without-φ are each compatible with the relevant set of worlds. I outline a bilateral inquisitive semantics for necessity modals that predicts the validity of the Independence inferences. I then argue that the resulting theory should be understood as one on which disjunctions denote pluralities of propositions, and necessity modals behave like collective predicates applied to these pluralities. (shrink)

We obtain that Universe space has to be flat, but also, at the same time, it has to be finite, homogeneous (on global scale) and isotropic. So rays of light can be observed moving along parallel trajectories in an expanding finite hypersphere. We show this implies an accelerated expansion of the Universe. Considering the energy conservation problem, also we argue about the necessity of matter-antimatter asymmetry.

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)

It is generally agreed that using lethal or otherwise serious force in self-defense is justified only when three conditions are satisfied: first, there are some grounds for the defender to give priority to his own interests over those of the attacker (whether because the attacker has lost the protection of his right to life, for example, or because of the defender’s prerogative to prefer himself to others); second, the harm used is proportionate to the threat thereby averted; third, the harm (...) is necessary to avert that threat. The first and second conditions have been exhaustively discussed, but the third has been oddly neglected. Meanwhile a prominent school of thought has arisen, in the ethics of war, which seeks to ground the justification of killing in war in principles of individual self-defense. They too have failed to offer any substantive analysis of necessity, while at the same time appealing to it when it suits them to do so. In this paper, I attempt a detailed analysis of the necessity constraint on defensive force, and explore the implications of that analysis for the attempt to transpose principles of individual self-defense into the context of warfare. (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)

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)

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (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)

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)

There is an important and fairly straightforward link between necessity and apriority which can shed light on our knowledge of the former, but initially plausible attempts to spell out what it is fall victim to counterexamples. Casullo discusses one such proposal, argues—following Anderson :1–20, )—that it fails, and suggests an alternative. In this paper, I argue that Casullo’s alternative also fails, before making a suggestion for which I can find no counterexamples and which, notably, handles some recent examples due (...) to Kipper and Strohminger and Yli-Vakkuri. (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)

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)

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)

The principle of non-combatant immunity protects non-combatants against intentional attacks in war. It is the most widely endorsed and deeply held moral constraint on the conduct of war. And yet it is difficult to justify. Recent developments in just war theory have undermined the canonical argument in its favour – Michael Walzer's, in Just and Unjust Wars. Some now deny that non-combatant immunity has principled foundations, arguing instead that it is entirely explained by a different principle: that of necessity. (...) In war, as in ordinary life, harms to others can be justified only if they are necessary. Attacking non-combatants, the argument goes, is never necessary, so never justified. Although often repeated, this argument has never been explored in depth. In this article, I evaluate the necessity-based argument for non-combatant immunity, drawing together theoretical analysis and empirical research on anti-civilian tactics in interstate warfare, counterinsurgency, and terrorism. (shrink)

Deliberation issues in decision, and so might be taken as a paradigmatic volitional activity. Character, on the other hand, may appear pre-volitional: the dispositions that constitute it provide the background against which decisions are made. Bernard Williams offers an intriguing picture of how the two may be connected via the concept of practical necessities, which are at once constitutive of character and deliverances of deliberation. Necessities are thus the glue binding character and the will, allowing us to take responsibility for (...) our characters. Intriguing though the picture may be, it did not receive a thorough elaboration in Williams’s work. My aim here is to work out and defend what I take to be the most valuable aspect of Williams’s view of agency: its model of the way character and the will can jointly determine agency through mutual constitution. However, I argue that Williams’s attempt to use this model to ground his attack on Kantian morality does not succeed, because the primacy Williams accords to character over the will cannot yield the appropriate kind of normative authority, even from the perspective of the agent. I urge that we retain Williams’s model of the interaction between character and the will, modified to allow the will an authority that is not derived from the necessity of character. (shrink)

In this paper I offer an alternative to the standard, mechanistic/fatalistic account of causal necessity, one compatible with the existence of laws of nature but not deterministic in the way this is usually understood.

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)

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)

In this paper, an interpretation of "necessity", inspired by a Leibnizian idea and based on the method of dialogical logic, is introduced. The semantic rules corresponding to such an account of necessity are developed, and then some peculiarities, and some potential advantages, of the introduced dialogical explanation, in comparison with the customary explanation offered by the possible worlds semantics, are briefly discussed.

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

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 develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent (...) is verified in the actual world. `Ought p' can be accepted without needing to settle that the relevant considerations (norms, expectations, etc.) that actually apply verify the necessity of p. I call the basic account a modal-past approach to the weak/strong necessity modal distinction (for reasons that become evident). Several ways of implementing the approach in the formal semantics/pragmatics are critically examined. The account systematizes a wide range of linguistic phenomena: it generalizes across flavors of modality; it elucidates a special role that weak necessity modals play in discourse and planning; it captures contrasting logical, expressive, and illocutionary properties of weak and strong necessity modals; and it sheds light on how a notion of `ought' is often expressed in other languages. These phenomena have resisted systematic explanation. In closing I briefly consider how linguistic inquiry into differences among necessity modals may improve theorizing on broader philosophical issues. (shrink)