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)

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)

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)

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)

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)

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)

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)

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.

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)

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.

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)

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.

This paper considers whether victims can justify what appears to be unnecessary defensive harming by reference to an honour-based justification. I argue that such an account faces serious problems: the honour-based justification cannot permit, first, defensive harming, and second, substantial unnecessary harming. Finally, I suggest that, if the purpose of the honour based justification is expressive, an argument must be given to demonstrate why harming threateners, as opposed to opting for a non-harmful alternative, is the most effective means of affirming (...) one’s honour. Along the way, I also suggest why I think that internalism about the constraints on defensive harming (the view that the satisfaction of the necessity constraint is a necessity condition of a threatener’s liability) is correct. Most importantly, externalism implies that threateners can be liable to suffer gratuitous harm. I take this to be an unattractive consequence of the view. (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)

Normative concepts have a special taste, which many consider to be proof that they cannot be reductively analyzed into entirely nonnormative components. This paper demonstrates that at least some intuitively normative concepts can be reductively analyzed. I focus on so-called ‘hypothetical imperatives’ or ‘anankastic conditionals’, and show that the availability of normative readings of conditionals is determined by features of grammar, specifically features of tense. Properly interpreted, these grammatical features suggest that these deontic modals are analyzable in terms of conditional (...) necessity with a certain temporal structure. (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)

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)

My aim is to show that once we appreciate how Searle (1958) fills in the details of his account of proper names – which I will dub the presuppositional view – and how we might supplement it further, we are in for a twofold discovery. First, Searle’s account is crucially unlike the so-called cluster-of-descriptions view, which many philosophers take Searle to have held. Second, the presuppositional view he did hold is interesting, plausible, and worthy of serious reconsideration. The idea that (...) Searle’s account is a largely Fregean interlude between the Fregean description theory of proper names and Kripke’s proposals presented in “Naming and Necessity” is in major ways a myth, a mythical chapter in how the story of 20th-century philosophy of language is often told. (shrink)

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)

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)

This essay reassesses the relation between Kant and Kripke on the relation between necessity and the a priori. Kripke famously argues against what he takes to be the traditional view that a statement is necessary only if it is a priori, where, very roughly, what it means for a statement to be necessary is that it is true and could not have been false and what it means for a statement to be a priori is that it is knowable (...) independently of experience. Call such a view the Entailment Thesis. Along with many Kant scholars, Kripke thinks that Kant endorses the Entailment Thesis. Thus Kripke and many others take his arguments against the Entailment Thesis to tell against Kant and to mark an important point of disagreement with him. I will argue that this is a mistake. Kant does not endorse the Entailment Thesis that Kripke and many others attribute to him. He does endorse two quite different theses concerning the relation between necessity and the a priori, as he conceives them. One is a matter of definition and the other is a very substantial philosophical thesis indeed—to establish it is the aim of the entire Critique of Pure Reason. But Kripke’s arguments against the Entailment Thesis tell against neither of Kant’s theses, as they involve crucially different conceptions of necessity and the a priori. This superficial lack of disagreement masks deep disagreements, but these result from divergent views regarding matters such as realism, modal epistemology, and philosophical methodology; views which Kant does a lot, and Kripke very little, to argue for. (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)

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)

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)

Modal knowledge accounts like sensitivity or safety face a problem when it comes to knowing propositions that are necessarily true because the modal condition is always fulfilled no matter how random the belief forming method is. Pritchard models the anti-luck condition for knowledge in terms of the modal principle safety. Thus, his anti-luck epistemology faces the same problem when it comes to logical necessities. Any belief in a proposition that is necessarily true fulfills the anti-luck condition and, therefore, qualifies as (...) knowledge. Miščević shares Pritchard’s take on epistemic luck and acknowledges the resulting problem. In his intriguing article “Armchair Luck: Apriority, Intellection and Epistemic Luck” Miščević suggests solving the problem by supplementing safety with a virtue theoretic condition-“agent stability”-which he also spells out in modal terms. I will argue that Miščević is on the right track when he suggests adding a virtue-theoretic component to the safety condition. However, it should not be specified modally but rather in terms of performances that manifest competences. (shrink)

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

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.

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)

Suppose A is wrongfully attempting to kill you, thereby forfeiting his right not to be harmed proportionately in self-defense. Even if it were proportionate to blow off A's arms and legs to stop his attack, this would be impermissible if you could stop his attack by blowing off just one of his arms. Blowing off his arms and legs violates the necessity condition on imposing harm. Jonathan Quong argues that violating the necessity condition consists in violating a right (...) to be rescued: blowing off four of A’s limbs in proportionate self-defense rather than blowing off one of A’s limbs in proportionate self-defense fails to costlessly rescue three of A's limbs. In response, we present cases which intuitively show that violating the necessity constraint involves the violation of a right that is more stringent than a right to be rescued. (shrink)

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

This paper asks whether a necessity can be the source of necessity. According to an influential argument due to Simon Blackburn, it cannot. This paper argues that although Blackburn fails to show that a necessity cannot be the source of necessity, extant accounts fail to establish that it is, with particular focus on Bob Hale’s essentialist theory and Christopher Peacocke’s ‘principle-based’ theory of modality. However, the paper makes some positive suggestions for what a satisfactory answer to (...) the challenge must look like. (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)

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)

Necessity and sufficiency are the building blocks of all successful explanations. Yet despite their importance, these notions have been conceptually underdeveloped and inconsistently applied in explainable artificial intelligence (XAI), a fast-growing research area that is so far lacking in firm theoretical foundations. Building on work in logic, probability, and causality, we establish the central role of necessity and sufficiency in XAI, unifying seemingly disparate methods in a single formal framework. We provide a sound and complete algorithm for computing (...) explanatory factors with respect to a given context, and demonstrate its flexibility and competitive performance against state of the art alternatives on various tasks. (shrink)

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

Rights forfeiture or liability are not a path to the permissibility of self-defense (not even barring extraordinary circumstances), and the necessity condition is not intrinsic to justified self-defense. Rather, necessity in the context of justification must be distinguished from necessity in the context of rights forfeiture. While innocent aggressors only forfeit their right against necessary self-defense, culpable aggressors also forfeit, on grounds of a principle of reciprocity, certain rights against unnecessary self-defense. Yet, while culpable aggressors would therefore (...) not be wronged by certain unnecessary defensive means, the use of such means against them would still not be justified. The underlying rationale of this necessity requirement lies not in the rights of the aggressor, but in an agent-relative requirement to take fair precautions against violating the rights of the innocent. This concern is also expressed in the necessity criterion defended and formulated in this paper, which is very harsh on aggressors. To wit, the necessity condition for justified self-defense must not be interpreted as requiring the employment of literally the least harmful means or of means that the defender reasonably believes to be, literally, the least harmful ones. What he must believe about the properties and possible effects of the means he employs is something that is much less demanding. Finally, the necessity condition of justified self-defense is also harsh (on the aggressor) in not implying a “success condition” worth its name. (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)

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 traditional conception of knowledge is justified, true belief. If one looks at a modern textbook on epistemology, the great bulk of questions with which it deals are to do with personal knowledge, as embodied in beliefs and the proper experiences that someone ought to have had in order to have the right (or justification) to know. I intend to argue that due to the explosive growth of knowledge whose domain is “outside the head”, this conception has outlived its relevance. (...) -/- On the other hand, Karl Popper’s (1934) Falsificationism, with its emphasis on the objective character of knowledge, is not only a sounder, but also a more appropriate theory of knowledge for understanding the nature and growth of civilization. Later, Popper (1945) generalized this approach to obtain critical rationalism, in which all claims to knowledge, whether scientific or otherwise, are understood as objective solutions to objective problems and can be evaluated by other non-observational - types of criticism. I will first argue that Popper’s methodology is quite suited to the view that knowledge is an objective autonomous product and then adduce his theory of world 3, an ontology that neatly wraps up various considerations. World 3 is the domain of abstract products of the human mind that now have a life of their own, outside of human heads: theories, arguments, problems, plans, etc. I then adduce some other arguments for the autonomous quality of knowledge. (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)

John Locke is often understood as the inaugurator of the modern discussion of personal human identity—a discussion that inevitably falls back on his own theory with its critical reliance on memory. David Hume and Sigmund Freud would later make arguments for what constituted personal identity, both relying, like Locke, on memory, but parting from Locke's company in respect the role that memory played. The purpose of this paper will be to sketch the groundwork for Locke's own theory of personal identity (...) and consider some common objections tied to his special reliance on memory. Then, we will investigate the extent to which Hume and Freud refined their respective concepts of self-identity in ways that escape some of the most intractable objections to Locke's theory in its dependence on memory. Finally, we will consider which theorist's conception of self-identity best accords with our notion of the cyber-self, or psychological subjectivity in the context of cyberspace. For Locke, the nature of self-identity is that it is continuous across time, and to remain uninterrupted it must be beholden to a psychological process, rather than a material or immaterial substance. (shrink)

I recently had the occasion to reread Naming and Necessity by Saul Kripke. NaN struck me this time, as it always has, as breathtakingly clear and lucid. It also struck me this time, as it always has, as wrong-headed in several major ways, both in its methodology and its content. Herein is a brief explanation why.

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

Many people who perform paradigmatic examples of acts of supererogation claim that they could not have done otherwise. In this paper I will argue that these self-reports from moral exemplars present a challenge to the traditional view of supererogation as involving agential sacrifice. I will argue that the claims made by moral exemplars are plausibly understood as what Bernard Williams calls a ‘practical necessity’. I will then argue that this makes it implausible to view these acts as involving agential (...) sacrifice. (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)

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)

want to question this idea of a pure presuppositionless self-developing sequence of logical categories. This is part of a larger investigation of the inherence of Hegel's thought in historical language. Concerning the necessary self-development of thought, I have three objections to propose. The first concerns the difficulty of recognizing a uniquely correct sequence of categories, when the various versions all express positive insights. The second concerns the very idea of a unified sequence. The third concerns the goal of pure self-development.

Since causal processes can be prevented and interfered with, law-governed causation is a challenge for necessitarian theories of laws of nature. To show that there is a problematic friction between necessity and interference, I focus on David Armstrong's theory; with one proviso, his lawmaker, nomological necessity, is supposed to be instantiated as the causation of the law's second relatum whenever its first relatum is instantiated. His proviso is supposed to handle interference cases, but fails to do so. In (...) order to be able to handle interferences, any theory which utilizes a kind of necessitation as lawmaker has to downgrade what it treats as necessity to something more akin to (Newtonian) forces. (shrink)

A major source of latter-day skepticism about necessity is the work of David Hume. Hume is widely taken to have endorsed the Humean claim: there are no necessary connections between distinct existences. The Humean claim is defended on the grounds that necessary connections between wholly distinct things would be mysterious and inexplicable. Philosophers deploy this claim in the service of a wide variety of philosophical projects. But Saul Kripke has argued that it is false. According to Kripke, there are (...) necessary connections between distinct existences; in particular, there are necessary connections between material objects and their material origins. In this paper I argue that the primary motivation for the Humean claim, Hume's datum, also motivates the key premise in an argument for the necessity of origins. The very considerations that the Humean takes to show that necessary connections between wholly distinct things would be mysterious and inexplicable indicate that there must be some such necessary connections. Thus, in the absence of alternative support, there is no reason to believe the Humean claim. (shrink)

This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne (2018), who seek to establish that mathematics is committed to its own necessity. I claim that their argument fails to establish this result for two reasons. First, their assumptions force our hand on a controversial debate within counterfactual logic. In particular, they license counterfactual strengthening— the inference from ‘If (...) A were true then C would be true’ to ‘If A and B were true then C would be true’—which many reject. Second, the system they develop is provably equivalent to appending Deduction Theorem to a T modal logic. It is unsurprising that the combination of Deduction Theorem with T results in necessitation; indeed, it is precisely for this reason that many logicians reject Deduction Theorem in modal contexts. If Deduction Theorem is unacceptable for modal logic, it cannot be assumed to derive the necessity of mathematics. (shrink)