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)

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)

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

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

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)

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)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines (...) of two arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

Philosophers have observed that metaphysical necessity appears to be a true or real or genuine form of necessity while epistemic necessity does not. Similarly, natural necessity appears genuine while deontic necessity does not. But what is it for a form of necessity to be genuine? I defend an account of genuine necessity in explanatory terms. The genuine forms of necessity, I argue, are those that provide what I call necessitarian explanation. I discuss (...) the relationship of necessitarian explanation to ground. (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.

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)

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)

Excerpt: In this essay I explore the nature of the necessity of historical development in Nietzsche’s genealogy of Judeo-Christian moral values. I argue that the progression of moral stages in Nietzsche’s study is ordered in such a way that the failure of each stage is logically and structurally necessary, that each failure structures the resultant system or paradigm, but that the historical manifestation of moral paradigms coinciding with predicted or projected theoretical structures is contingent upon a multitude of other (...) historical factors. Therefore, the systematic internal failures of moral stages allow for, but do not cause, successive events. (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)

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)

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)

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)

A prevailing thought is that generics have a covert modal operator at logical form. I claim that if this is right, the covert generic modality is a weak necessity modal. In this paper, I pr...

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)

It was an empirical discovery that Phosphorus is Hesperus. According to Kripke, this was also the discovery of a necessary fact. Now, given Kripke’s theory of direct reference one could wonder what kind of discovery this is. For we already knew Phosphorus/Hesperus, and we also knew that any entity is, necessarily, identical to itself. So what is it that was discovered? I want to show that there is more to this widely known case than what usual readings, and critics, reveal; (...) and I want to show this under the Kripkean pattern that what was discovered is the plain fact of identity that Phosphorus is, and necessarily is, Hesperus. Moreover, I will show how both Kripkean theses, the necessity of identity and the direct theory of reference, should not be kept apart to understand the kind of discovery this is. In particular, understanding the kind of discovery we made will help us see how intuition is displayed in metaphysics, and how metaphysical impossibilities, and metaphysical modality in general, can be discerned by reason and separated from other modalities. The study of this discovery will help us see, in a line, how identity belongs to the inner and most profound structure of reality and to the most profound structure of cognition and language. (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)

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

This paper is a critical examination of some of the major themes of Brian Leftow's book *God and Necessity*.

From the end of the twelfth century until the middle of the eighteenth century, the concept of a right of necessity –i.e. the moral prerogative of an agent, given certain conditions, to use or take someone else’s property in order to get out of his plight– was common among moral and political philosophers, who took it to be a valid exception to the standard moral and legal rules. In this essay, I analyze Samuel Pufendorf’s account of such a right, (...) founded on the basic instinct of self-preservation and on the notion that, in civil society, we have certain minimal duties of humanity towards each other. I review Pufendorf’s secularized account of natural law, his conception of the civil state, and the function of private property. I then turn to his criticism of Grotius’s understanding of the right of necessity as a retreat to the pre-civil right of common use, and defend his account against some recent criticisms. Finally, I examine the conditions deemed necessary and jointly sufficient for this right to be claimable, and conclude by pointing to the main strengths of this account. Keywords: Samuel Pufendorf, Hugo Grotius, right of necessity, duty of humanity, private property. (shrink)

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

Given the conceptual gap in the global justice debate today (where most of the talk is about the duties of the rich, but little is said about what the poor may do for themselves), in this article I reintroduce the idea of a right of necessity. I first delineate a normative framework for such a right, inspired by these historical accounts. I then offer a contemporary case where the exercise of the right of necessity would be morally legitimate (...) according to that framework – even though illegal and probably condemned by the standard moral norms. The case is that of a small group of Paraguayan campesinos (small farmers) suffering from the effects of a severe drought. In the third part, I introduce the concept of noncivil disobedience: I call an act of noncivil disobedience a conscientious, public, illegal and forcible act whose performance, while not necessarily intended directly as a means to bring about social and/or political change, may help to trigger these changes indirectly. In the fourth part, I suggest that certain instances where the right of necessity is overtly exercised – as in the case of the famine-struck Paraguayan campesinos – may also be interpreted in terms of noncivil disobedience, insofar as they serve a double function: as a means of satisfying immediate need, and as a marker of discontent in a society where the equal rights of individuals are a nominal ideal which remains unfulfilled in practice. I then address two objections that may be raised against resurrecting the idea of a right of necessity and identifying it in certain instances with noncivil disobedience. I conclude by suggesting that, at the point of convergence between the two, a basic right like the right of necessity recovers its value as an active, (rather than passive) entitlement of its holders, while the use of force enters the picture as a legitimate means that – at least under certain circumstances – may be resorted to within the limits of civil society. (shrink)

It is tempting to think that in the case of complete spatio-temporal coincidence, the statue is identical with the constituent lump of clay. However, some philosophers have thought that accepting constitution as identity in this type of case forces one to reject the necessity of identity. I show that there is no conflict here. By distinguishing between an object's being necessarily an F and an object's being necessity identical with an F, we can see that accepting the (...) class='Hi'>necessity of identity does not, and should not, compel one to reject constitution as identity. (shrink)

Locke and Leibniz are often classified as proponents of compatibilist theories of human freedom, since both maintain that freedom is consistent with determinism and that the difference between being and not being free turns on how one is determined. However, we will argue in this paper that their versions of compatibilism are essentially different and that they have significantly distinct commitments to compatibilism. To this end, we will first analyze the definitions and examples for freedom and necessity that Locke (...) and Leibniz present in sections 8-13 of chapter 21 of the Essay on Human Understanding and the Nouveaux essais respectively, and then conjecture how Locke and Leibniz would have continued the discussion, if they had had the opportunity to engage in an exchange of opinions. In this way, we believe, one will be in a position to understand why Leibniz thinks that Locke’s discussion of freedom “est un des plus prolixes et des plus subtils de son ouvrage.”. (shrink)

I set up a dilemma, concerning metaphysical modality de re, for the essentialist opponent of a ‘two senses’ view of necessity. I focus specifically on Frank Jackson's two-dimensional account in his From Metaphysics to Ethics (Oxford: Oxford University Press, 1998). I set out the background to Jackson's conception of conceptual analysis and his rejection of a two senses view. I proceed to outline two purportedly objective (as opposed to epistemic) differences between metaphysical and logical necessity. I conclude that (...) since one of these differences must hold and since each requires the adoption of a two senses view of necessity, essentialism is not consistent with the rejection of a two senses view. (shrink)

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

In this paper I 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.

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 central concern of this paper is to explore the efforts of Schiller's post-Kantian idealism and Marcuse's critical theory to develop a new conception of free human experience. That conception is built on the notion of play. Play is said to combine the human capacities for physical pleasure and reason, capacities which the modern world has dualized. Analysis of their respective accounts of play reveals its ambivalent form in the work of both philosophers. Play supports the ideal of ‘freedom from (...) necessity’, understood as a release from all external constraint. But it also appears to serve as a model for ‘freedom as a higher necessity’. In the case of Schiller, the ambivalence encompasses idle play and an obligation to make ourselves worthy of freedom. For Marcuse, play represents a kind of libidinal idleness while also underpinning a non-alienated conception of labour. (shrink)

What does it mean to act politically? This paper contributes an answer to this question by looking at the role that necessity plays in the political theory of Carl Schmitt. It argues that necessity, whether in the form of existential danger or absolute values, does not affect the sovereign decision, which must be free from normative determinations if it is to be a decision in Schmitt’s sense at all. The paper then provides a reading of Schmitt in line (...) with Weber’s ethics of responsibility, according to which the political actor decides not arbitrarily and irresponsibly, but actively assumes responsibility for the decisions he takes. (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)

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

It seems possible to know that a mathematical claim is necessarily true by inspecting a diagrammatic proof. Yet how does this work, given that human perception seems to just (as Hume assumed) ‘show us particular objects in front of us’? I draw on Peirce’s account of perception to answer this question. Peirce considered mathematics as experimental a science as physics. Drawing on an example, I highlight the existence of a primitive constraint or blocking function in our thinking which we might (...) call ‘the hardness of the mathematical must’. (shrink)

A generally ignored feature of Plato’s celebrated image of the cave in Republic VII is that the ascent from the cave is, in its initial stages, said to be brought about by force. What kind of ‘force’ is this, and why is it necessary? This paper considers three possible interpretations, and argues that each may have a role to play.

A principle endorsed by many theories of objective chance, and practically forced on us by the standard interpretation of the Kolmogorov semantics for chance, is the principle that when a proposition P has a chance, any proposition Q that is necessarily equivalent to P will have the same chance as P. Call this principle SUB (for the substitution of necessary equivalents into chance ascriptions). I will present some problems for a theory of chance, and will argue that the best way (...) to resolve these problems is to reject SUB, and similar principles e.g. for the chances of outcomes or the chances of events. Objective chance, it turns out, carves things more finely than necessary equivalence does. (shrink)

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)

By the lights of a central logical positivist thesis in modal epistemology, for every necessary truth that we know, we know it a priori and for every contingent truth that we know, we know it a posteriori. Kripke attacks on both flanks, arguing that we know necessary a posteriori truths and that we probably know contingent a priori truths. In a reflection of Kripke's confidence in his own arguments, the first of these Kripkean claims is far more widely accepted than (...) the second. Contrary to received opinion, the paper argues, the considerations Kripke adduces concerning truths purported to be necessary a posteriori do not disprove the logical positivist thesis that necessary truth and a priori truth are co-extensive. (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, 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.

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 the Taking Condition and do so without engendering regress. (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)

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)

This is the second in a two part series of articles that attempt to clarify the nature and enduring relevance of Kant's concept of a priori knowledge. (For Part I, see below.) In this article I focus mainly on Saul Kripke's critique of Kant, in Naming and Necessity. I argue that Kripke draws attention to a genuine defect in Kant's epistemological framework, but that he used definitions of certain key terms that were quite different from Kant's definitions. When Kripke's (...) definitions are replaced by Kant's definitions, Kripke's account of the status of naming turns out to be a defense of analytic aposteriority as a significant classification of knowledge that Kant neglected. I also introduce here a new way of understanding such epistemological labels, as defining the perspective adopted by the knowing subject in a given situation, rather than an objective characteristic of certain propositions as such. (shrink)

(2014). Leibniz and the Necessity of the Best Possible World. Australasian Journal of Philosophy: Vol. 92, No. 3, pp. 507-523. doi: 10.1080/00048402.2014.889724.

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