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)

Brian Leftow offers a theist theory of necessity and possibility, and a new sort of argument for God's existence. He argues that necessities of logic and mathematics are determined by God's nature, but that it is events in God's mind - his imagination and choice - that account for necessary truths about concrete creatures.

In this paper, I argue that taking basic human rights seriously—and the basic right to subsistence in particular—requires acknowledging that, given certain conditions, people in need have a right of necessity to take, use and/or occupy the property of others in order to get out of their plight. I explore the implications of this for the phenomenon of illegalized migration for subsistence reasons, and suggest that receiving countries ought not to deny entry to these migrants. On the contrary, those (...) seeking to enter should be morally permitted to do it. The reason is that, just as basic rights should serve as internal limits to any minimally reasonable system of property rights, so should they serve as limits to any minimally reasonable system of territorial rights. After developing this idea, I address some objections to the principle and its application, and conclude by pointing to the immediate, mediate and final duties that this principle gives rise to. (shrink)

This chapter contains sections titled: Of Greek Gods, the Judaeo‐Christian God, and the Sea A Ship Bound for India Beyond the Pillars of Hercules.

In numerous texts Leibniz claimed that while metaphysical necessity is inconsistent with free choice, moral necessity is not. A question naturally arises concerning what Leibniz took moral necessity to be. In a series of recent articles Michael Murray has argued that the concept of moral necessity Leibniz utilized is one developed and deployed by a group of 17th century Spanish Jesuits. This chapter argues that Leibniz's commitment to certain deep metaphysical principles suggests otherwise.

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)

The necessity constraint is at the heart of the ethics of both self-defense and war, and yet we know little about it. This article seeks to remedy that defect. It proceeds in two stages: first, an analysis of the concept of necessity in self-defense; second, an application of this analysis to war, looking at both its implications for just war theory and its application in the laws of war.

A discussion of Aristotle’s thought on determinism and culpability, Necessity, Cause, and Blame also reveals Richard Sorabji’s own philosophical commitments. He makes the original argument here that Aristotle separates the notions of necessity and cause, rejecting both the idea that all events are necessarily determined as well as the idea that a non-necessitated event must also be non-caused. In support of this argument, Sorabji engages in a wide-ranging discussion of explanation, time, free will, essence, and purpose in nature. (...) He also provides historical perspective, arguing that these problems remain intimately bound up with modern controversies. “ Necessity, Cause and Blame would be counted by all as one of Sorabji’s finest. The book is essential for philosophers—both specialists on the Greeks and modern thinkers about free will—and also compelling for non-specialists.”—Martha Nussbaum “Original and important . . . The book relates Aristotle’s discussions to both the contemporary debates on determinism and causation and the ancient ones. It is especially detailed on Stoic arguments about necessity . . . and on the social and legal background to Aristotle’s thought.”— Choice “It is difficult to convey the extraordinary richness of this book. . . . A Greekless philosopher could read it with pleasure . . . At the same time, its learning and scholarship are enormous.”—G. E. M. Anscombe, Times Literary Supplement. (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.

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)

Alan Sidelle's Necessity, Essence, and Individuation is a sustained defense of empiricism—or, more generally, conventionalism—against recent attacks by realists. Sidelle focuses his attention on necessity a posteriori, a kind of necessity which contemporary realists have taken to support realism over empiricism. Turning the tables against the realists, Sidelle argues that if there are in fact truths necessary a posteriori, it is not realism, but rather empiricism which provides the best explanation for them.

General consensus has it that contingencies lack the requisite modal umph to serve as explanations for the modal status of necessities. The central aim of this paper is to show that this received opinion is incorrect: contingent necessity-makers are in fact possible. To do so, I identify certain conditions the satisfaction of which entail the possibility of contingent necessity-makers. I then argue for two broad instances where these conditions are satisfied. Consequently, the associated necessities in fact have contingent (...) necessity-makers. (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)

This paper examines the concept of medical necessity as it relates to mental health care rationing, arguing that the normal functioning model of medical necessity is insufficient because it fails to cohere with an important aim and function of mental health care, which is to provide support for individuals in abusive or otherwise difficult personal relationships.

이 글의 목적은 생태민주주의의 실현 방안의 하나로 ‘생태법인(Eco Legal Person)’ 제도의 필요성을 제기하는 데 있다. 아직은 생태학이나 법학에서 생태법인이라는 용어가 사용된 적은 없다. 필자는 생태법인이라는 용어를 “미래 세대는 물론 인간 이외의 존재들 가운데 생태적 가치가 중요한 대상에 대하여 법적 권리를 갖게 하는 제도”로 사용하고자 한다. 생태민주주의는 인간과 자연의 공존이라는 생태철학의 핵심 가치에 민주주의 체제의 우월성을 융합한 대안 정치이념이다. 생태민주주의 이념의 핵심은 공동체 의사결정과정에 미래 세대와 인간 이외 존재들의 생태적 이해관계가 고려되어야 한다는 주장을 담고 있다. 그런데 미래 세대나 인간 이외의 존재는 (...) 현세대와 의사소통이 어렵고 법적 권리도 없다. 따라서 생태민주주의를 실현하기 위한 구체적 방안 모색이 요구된다. 인류는 오래전부터 인간 이외의 존재에게 법적 권리를 인정하는 ‘법인’ 제도를 창안하여 사용해 오고 있다. 이에 비춰본다면 생태민주주의 작동 방안의 하나로 ‘생태법인’ 또한 사회적 공감대 형성을 통해 도입될 수 있다고 본다. 그리고 ‘생태법인’의 법적․제도적 안정성을 담보되기 위해서는 ‘생태법인’의 헌법적 지위를 확보하기 위한 노력이 필요하다. 오늘날 대부분의 국가는 헌정주의를 근본원리로 민주주의가 작동되고 있기 때문이다. (shrink)

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

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.

This paper discusses some serious difficulties for what we shall call the standard account of various kinds of relative necessity, according to which any given kind of relative necessity may be defined by a strict conditional - necessarily, if C then p - where C is a suitable constant proposition, such as a conjunction of physical laws. We argue, with the help of Humberstone, that the standard account has several unpalatable consequences. We argue that Humberstone’s alternative account has (...) certain disadvantages, and offer another - considerably simpler - solution. (shrink)

It may be that all that matters for the modalities, possibility and necessity, is the object named by the proper name, not which proper name names it. An influential defender of this view is Saul Kripke. Kripke’s defense is criticized in the paper.

The traditional view that all logical truths are metaphysically necessary has come under attack in recent years. The contrary claim is prominent in David Kaplan’s work on demonstratives, and Edward Zalta has argued that logical truths that are not necessary appear in modal languages supplemented only with some device for making reference to the actual world (and thus independently of whether demonstratives like ‘I’, ‘here’, and ‘now’ are present). If this latter claim can be sustained, it strikes close to the (...) heart of the traditional view. I begin this paper by discussing and refuting Zalta’s argument in the context of a language for propositional modal logic with an actuality connective (section 1). This involves showing that his argument in favor of real world validity his preferred explication of logical truth, is fallacious. Next (section 2) I argue for an alternative explication of logical truth called general validity. Since the rule of necessitation preserves general validity, the argument of section 2 provides a reason for affirming the traditional view. Finally (section 3) I show that the intuitive idea behind the discredited notion of real world validity finds legitimate expression in an object language connective for deep necessity. (shrink)

One of the strongest arguments for the incompatibility of divine foreknowledge and human free action appeals to the apparent fixity or necessity of the past. Two leading responses to the argument—Ockhamism, which denies a premiss of the argument, and the so-called “eternity solution”, which holds that strictly speaking God does not have foreknowledge—have both come under attack on similar grounds. Neither response, it is alleged, is adequate to the case of divine prophecy. In this paper I shall first state (...) the argument in question and the two responses to it. I shall then consider objections to these responses, focusing primarily on how they deal with prophecy. (shrink)

What is it for something to be essential to an item? For some time, it was standard to think that the concept of necessity alone can provide an answer: for something to be essential to an item is for it to be strictly implied by the existence of that item. We now tend to think that this view fails because its analysans is insufficient for its analysandum. In response, some argue that we can supplement the analysis in terms of (...) necessity with a further condition. In this paper I argue that this view is untenable in its current form. I then provide a glimmer of hope to those who think that essence is at least partially analyzable in terms of necessity. (shrink)

The Master Argument, recorded by Epictetus, indicates that Diodorus had deduced a contradiction from the conjoint assertion of three propositions. The Argument, which has to do with necessity and contingency and therefore with freedom, has attracted the attention of logicians above all. There have been many attempts at reconstructing it in logical terms, without excessive worry about historical plausibility and with the foregone conclusion that it was sophistic since it directly imperilled our common sense notion of freedom. This text (...) takes exception to recent tradition, translating the propositions into logical terms. The propositions figuring in The Master Argument are interpreted in terms of temporal modal logic where both the modalities and the statements they govern have chronological indices. This means that the force of the argument comes not from purely logical or modal considerations, but from our experience of time. (shrink)

Medical necessity (claiming that a medical intervention or care is – at minimum – reasonable, appropriate and acceptable) depends on empirical evidence and on the interpretation of that evidence. Evidence and its interpretation define the standard of care. This commentary argues that both the evidence base and its interpretation are currently weak gatekeepers. Empirical meta-research suggests that very few medical interventions have high quality evidence in support of their effectiveness and very few of them also have relatively thorough assessments (...) of their potential harms. Therefore, evidence on the risk-benefit ratios carries almost always very large uncertainty. Arbitration about medical necessity is thus left to the interpretation process. Professional guidelines are notoriously unreliable and biased in this regard. Regulatory approval ends up being the key arbitrator, but over the years the regulatory process has been subverted. Regulatory approval currently does not mean that an intervention has a favourable risk-benefit ratio, but simply that it can be marketed, sold and made profit from. The process leads to a tragedy of commons where the final victim is society at large: medical necessity is invoked as an alibi for medicine to absorb societal resources. (shrink)

Many people hold that there is a distinctive notion of metaphysical necessity. In this paper I explain why I am skeptical about the view. I examine the sorts of considerations that are adduced for it, and argue that they meet equal and opposite considerations.

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)

In the last 30 years much philosophical discussion has been generated by Kripke’s proof of the necessity of origin for material objects presented in footnote 56 of ‘Naming and Necessity’. I consider the two most popular reconstructions of Kripke’s argument: one appealing to the necessary sufficiency of origin, and the other employing a strong independence principle allegedly derived from the necessary local nature of prevention. I argue that, to achieve a general result, both reconstructions presuppose an implicit Humean (...) atomistic thesis of recombination, according to which any two (non-overlapping) possible objects can simultaneously coexist in one and the same world. Yet recombination ill accords with the other assumptions of the proofs. I also argue that the locality of prevention does not entail strong independence. (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)

One of the most influential of contemporary philosophers, Harry Frankfurt has made major contributions to the philosophy of action, moral psychology, and the study of Descartes. This collection of essays complements an earlier collection published by Cambridge, The Importance of What We Care About. Some of the essays develop lines of thought found in the earlier volume. They deal in general with foundational metaphysical and epistemological issues concerning Descartes, moral philosophy, and philosophical anthropology. Some bear upon topics in political philosophy (...) and religion. (shrink)

In a growing number of papers, one encounters arguments to the effect that certain philosophical views are objectionable because they would imply that there are necessary truths for whose necessity there is no explanation. That is, they imply that there are propositions p such that (a) it is necessary that p, but (b) there is no explanation why it is necessary that p. For short, they imply that there are “brute necessities.” Therefore, the arguments conclude, the views in question (...) should be rejected in favor of rival views under which the necessities would be explained. This style of argument raises a number of important and difficult questions. Do necessary truths really require explanation? Are they not paradigms of truths that either need no explanation or automatically have one, being in some sense self‐explanatory? If some necessary truths do require or admit of explanation, what types of explanation, are available? Are some necessary truths explained by other necessary truths? Are some necessary truths self‐explanatory? Are all necessary truths either self‐explanatory or explained by others? Or are there some necessary truths that are truly brute? This article surveys several representative arguments from brute necessity as well as a variety of answers to the questions above, noting their bearing on arguments from bruteness. (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)

In this article, I present a novel account of a priori warrant, which I then use to examine the relationship between a priori and a posteriori warrant in mathematics. According to this account of a priori warrant, the reason that a posteriori warrant is subordinate to a priori warrant in mathematics is because processes that produce a priori warrant are reliable independent of the contexts in which they are used, whereas this is not true for processes that produce a posteriori (...) warrant. Following this, I show how this difference explains why a priori warranting processes, such as proof (and mathematical intuition) can, and a posteriori warranting processes cannot, definitively establish mathematical results. I then show why, in the event of a conflict between a priori and a posteriori warranting processes, the former undermine, and cannot be undermined by, the latter. Finally, I explain the connection between apriority and mathematical necessity, but do so in a way that allows for the existence of contingent a priori knowledge. (shrink)

Properties and relations in general have a certain degree of invariance, and some types of properties/relations have a stronger degree of invariance than others. In this paper I will show how the degrees of invariance of different types of properties are associated with, and explain, the modal force of the laws governing them. This explains differences in the modal force of laws/principles of different disciplines, starting with logic and mathematics and proceeding to physics and biology.

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)

Some philosophers, for example Quine, doubt the possibility of jointly using modalities and quantification. Simple model-theoretic considerations, however, lead to a reconciliation of quantifiers with such modal concepts as logical, physical, and ethical necessity, and suggest a general class of modalities of which these are instances. A simple axiom system, analogous to the Lewis systems S1 —S5, is considered in connection with this class of modalities. The system proves to be complete, and its class of theorems decidable.

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)

In philosophical logic necessity is usually conceived as a sentential operator rather than as a predicate. An intensional sentential operator does not allow one to express quantified statements such as 'There are necessary a posteriori propositions' or 'All laws of physics are necessary' in first-order logic in a straightforward way, while they are readily formalized if necessity is formalized by a predicate. Replacing the operator conception of necessity by the predicate conception, however, causes various problems and forces (...) one to reject many philosophical accounts involving necessity that are based on the use of operator modal logic. We argue that the expressive power of the predicate account can be restored if a truth predicate is added to the language of first-order modal logic, because the predicate 'is necessary' can then be replaced by 'is necessarily true'. We prove a result showing that this substitution is technically feasible. To this end we provide partial possible-worlds semantics for the language with a predicate of necessity and perform the reduction of necessities to necessary truths. The technique applies also to many other intensional notions that have been analysed by means of modal operators. (shrink)

The principle of necessity as applied to self-defence requires the use of the least harmful defensively effective means of thwarting a wrongful threat. Yet –so I argue – a harm can be excessive even when it is the least harmful way of dealing with the threat at the time of the attack. I therefore propose a historical view of the requirement of necessity. Historical necessity requires the selection of the least harmful means to thwart a future attack (...) at the point in time at which we have a solid presumption that the future attack will take place. This may happen considerably before the time of the attack. Once you fail to acquire or preserve the least harmful defensive option for thwarting a future attack you may come to be irrevocably in breach of necessity. The paper tackles a number of objections to the view proposed. (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)

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)