The idea that we need our beloveds has a rich and longstanding history in classic literature, pop culture, social sciences, and of course, philosophical treatments of love. Yet on little reflection, the idea that one needs one’s beloved is as puzzling as it is familiar. In what, if any sense, do we really need our beloveds? And insofar as we do need them, is this feature of love something to be celebrated or lamented? In the relevant philosophical literature, there are (...) various ways of understanding the type(s) of psychological need internal to love and whether and how the necessity in question contributes to love’s value. In this chapter, I survey and critically analyze several accounts of felt necessity in love and advocate for a philosophically neglected perspective on the nature and value of needing our beloveds. (shrink)

It is not uncommon for philosophers to name disinterestedness, or some like feature, as an essential characteristic of love. Such theorists claim that in genuine love, one’s concern for her beloved must be non-instrumental, non-egocentric, or even selfless. These views prompt the question, “What, if any, positive role might self-interestedness play in genuine love?” In this paper, I argue that attachment, an attitude marked primarily by self-focused emotions and emotional predispositions, helps constitute the meaning and import of at least some (...) kinds of adult reciprocal love. In this way, attachment represents a type of self-interestedness that not only contributes positively to such relationships but is also essential to them. (shrink)

Through Heidegger’s re-reading of Descartes, this article explores a fundamental issue in the contemporary conception of worldliness. In a restricted sense, the human being is the maker of the world in that he appropriates what composes it, i.e., the worldly beings or things. Greatly influenced by the Cartesian notion of extensio, this tendency no longer entails the world as a thing in itself, but as a set of measurable things, thus available and open to activity. This article articulates the threat (...) relative to the idea of the forming, by the human being, of the essence of the world. Every being, be it an object, an animal or even a human being, seems to be considered as a producer of energy and a structure that could be possessed. For example, such natural space is not campaign or land, but automatically field, that is to say, an agricultural deposit that is symbolically exploited and empirically exploitable. This ontological device prevents us from grasping the world in any other way than in terms of use and productivity. As a result, the ontology of the thing becomes an aesthetic issue in its own right. This issue does not involve here the capture of the object as a bearer of Beauty, but an aesthetic relation in the fundamentally etymological sense (αἰσθητικός) of what is felt, of what is sensible and perceptible. The need for an aesthetic rereading of the world and the things that stand in it presupposes, therefore, the evolution of the human gaze and a metaphysical approach to worldliness, detached from the instrumentalization of the beings and focused on their presence or their proximity. This article aims at demonstrating the necessity of a real human aesthetic responsibility, which can be concretized in the metaphysical thought of the thing that the human being unfolds, by considering it as the persistence in the world of an object whose ontological disposition could never be neutral. (shrink)

Despite all controversies that might otherwise divide them, most phenomenologists agree that consciousness entails some form of self-consciousness. In fact, they go even further, as they virtually all agree on the necessity of fleshing out this insight in bodily terms: from the phenomenological point of view, self-consciousness is primarily experienced as a form of bodily self-consciousness (or self-awareness). Following Edmund Husserl's insight that the lived body (Leib), i.e. the body as it is subjectively felt or experienced, must necessarily (...) be presupposed by all object consciousness, including the thematic consciousness of me as a body, there is a long-standing discussion within the phenomenological movement on how to conceive of this self-relation. This entry focuses on the French reception of Husserl and highlights the distinctive ways in which French phenomenologists such as Maurice Merleau-Ponty, Michel Henry, Jean-Paul Sartre and Jacques Derrida have elaborated on and disputed this key insight. It will be shown that discussions on this question have open onto two further debates: one revolves around the paradigmatic role Husserl grants to touch in the analysis of consciousness, while the other concerns the differences between the experience of one's own body and the experience of the body of others. Finally, we point to the fact that one's body can be experienced and evaluated as other, as is shown in the critical analyses of Frantz Fanon, Simone de Beauvoir, Michel Foucault, and recent critical phenomenology. Here, it becomes clear that the bodily self-awareness of concrete subjects is shaped by the material conditions, norms, and discourses of their respective situation. (shrink)

This study aims to examine the Islamic Theological School that was opened in Nicosia back in 1932 to meet the chaplain needs of the Cypriot Muslims. In this context, how the Islamic Theological School was welcomed among the groupings of the period, its physical structure, teaching staff, and students were all addressed within the framework of the education program and the closure process. The "Foundation Files" in the National Archives and Research Department in the TRNC and the newspaper collections of (...) the period and the "British Colonial Documents" in the Archives of the General Directorate of the Foundations of Cyprus are the main sources of our research. Documentation method, which is one of the qualitative research methods, was used in the study. In this context, the documents that could be accessed in the researches related to the subject of the study are examined and described for the objectives of the study. In conjunction with the madrasas in Cyprus becoming dysfunctional until the end of the 1920s, the wrecked Great Madrasah building in Nicosia, which had the purpose of training personnel such as imams, preachers, chaplains and muezzins for the mosques, was demolished and a school called Islamic Theological School was built instead. The opening of the Islamic Theological School led to important debates between the two opposition groups of the time, the Halkçılar and the Evkafçılar. Halkçılar are the group of people who advocate the adoption of the revolutions and reforms of the newly established Turkish Republic also by Turkish Cypriots. For this reason, they strongly criticized the opening of the Islamic Theological School on the grounds that it would cause reactionism and bigotry. On the other hand, the concept of Evkafçılar is used for people who represent tradition and are close to the current British rulers. Evkafçılar advocated the opening of the Islamic Theological School by stating that it was a social need. Accordingly, both groups used the press effectively as a means of conveying their own thoughts. The halkçı group used the newspapers called "Söz" and "Masum Millet" and the evkafçılar group used the newspaper called "Hakikat" as a means to convey their views to the society. In the shadow of the discussions between the two groups, the Islamic Theological School, which was built in 1932 in place of the wrecked Great Madrasah building in the northeast of Selimiye (Hagia Sofia) Mosque in Nicosia, was built as a single-floor building and a gable roof system was used on its roof. Funds were appropriated by Education (Hatib Ahmed Efendi) Foundation for supplying the school's materials such as tables, chairs, cabinets, sofas, and armchairs. In 1932, when the Islamic Theological School began educating, there were only three professors and one teacher in its teaching staff. Hürremzâde Hakkı Efendi, one of the professors, was both the school director and the Fatwa Emin. One of the other professors was an imam and the other one was a fatwa clerk. And Muallim Ahmed Fehim Efendi undertook the duty of imamate. According to the documents examined, the aforementioned faculty members have taught religious and human sciences-oriented courses in the school. As far as we can identify from the documents open to research in the archives, in the years between 1932 and 1950, when the Islamic Theological School was open, a total of 11 students were educated in this school. In the first year of this school, which started education with three students only, students were given a monthly scholarship of 15 shillings. In addition, the students were both able to practice as assistants to muezzins in the mosques during the month of Ramadan and they were also provided with economic support. After graduation, the students were nominated as imams, muezzins and devirhan. The Islamic Theological School was closed in 1950 because there was no student demand. Despite the fact that 11 people received education in 18 years between the school's opening year 1932 and 1950, and the annual reports published by General Directorate of Foundations stated that the Islamic Theological School continued its services satisfactorily under the upervision of its Fatwa Emin, these statements were unrequited in reality. The Islamic Theological School started to serve in the shadow of the debates between the opposition groups of its time. The parties of the discussions are divided into two groups: Halkçılar and Evkafçılar. The first group opposed the opening of the school by claiming that the financial resources of the General Directorate of Foundations would be spent unnecessarily and that the students to be educated would be raised with reactionism and bigoted ideas. The second group, Evkafçılar, approached the issue with a need-centred approach and defended the necessity of a school to educate religious officials. The mentality of the populist group reflects the ideology of the young Turkish Republic and this is clearly seen in their defence mechanisms. Evkafçılar, on the other hand, did not pay the required attention to the Theological School despite their discourses of necessity. As a result, the power struggle of these two groups aiming to hold the leadership of the Turkish Cypriots caused the Theological School to be adversely affected. Very low salaries of religious officials working in existing mosques and low fees being paid to the graduates of the Theological School who were employed in mosques were other factors that reduced the demand for Theological School. As a result, those who saw low-paid religious officials who had difficulty even getting along did not seek education to become religious officials and their families never pointed such way to them. The fact that a very limited number of students attended Theological School did not lead General Directorate of Foundations to alternative solutions. As the Islamic Theological School was not well organized, the issue of religious officials was felt more and more by the muslim people in the following years in Cyprus where many villages do not even have religious officials. (shrink)

The idea of Europe has already a long history and beyond its ethical attractiveness it became victorious in the political praxis of the 2nd half of the 20th century first of all as a motive force serving the aim of a long-term restoration of peace in the post-war Western Europe and then as a unifying principle for the whole continent after the collapse (implosion) of “really existing socialism”. A little later, in the course of the expansion of the free market (...) economy towards the previously centralized economies of Eastern Europe it soon became obvious that the idea of Europe was not everywhere interpreted the same way and that in some cases it seemed to cause more problems than the ones it should have solved. Especially the current refugee crisis that has initially emerged in the so-called developing world outside of Europe but nevertheless significantly affects the Old Continent can be seen as a major theoretical and practical challenge around the fundamental sustaining (and in itself sustainable) concept of European openness: i.e. in order to remain open in its internal function the liberally organized Europe has to close its outer borders and to decisively limit the access of many humans to its single common market, thus imposing obstacles to the generalization of prosperity and liberty that once were felt as its core values. We will try to show that apart from the immediate cultural, ideological and strategic aspects of such phenomena and the often unavoidable pitfalls of short-term decision making it is important to study and explore the necessity of the current processes. The idea of Europe became, at least partly, synonymous with the overall economical and social globalization of our times whereas such a major process cannot unfold its inherent dynamic without the constitutive role of certain crises that eventually pose existential challenges or otherwise enable the stabilization of the newly emerging system(s). (shrink)

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

Some have argued for a division of epistemic labor in which mathematicians supply truths and philosophers supply their necessity. We argue that this is wrong: mathematics is committed to its own necessity. Counterfactuals play a starring role.

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)

My topic in this paper is the relationships of metaphysical priority which might hold between the different alethic modal statuses—necessity, contingency, possibility and impossibility. In particular, I am interested in exploring the view that the necessity of necessities is ungrounded while the contingency of contingencies is grounded—a scenario I call ‘necessity first’. I will explicate and scrutinize the contrast between necessity first and its ‘contingency first’ contrary, and then compare both views with ‘multimodal’ and ‘amodal’ alternatives, (...) drawing on David Lewis’s modal realism and Barbara Vetter’s potentialism as example cases. I will then defend the necessity-first point of view from a reversed version of Blackburn’s classic dilemma against theories of the source of necessity. (shrink)

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

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

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

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

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)

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)

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)

The necessity of origin suggests that a person’s identity is determined by the particular pair of gametes from which the person originated. An implication is that speculative scenarios concerning how we might otherwise have been had our gametic origins been different are dismissed as being metaphysically impossible. Given, however, that many of these speculations are intelligible and commonplace in the discourses of competent speakers, it is overhasty to dismiss them as mistakes. This paper offers a way of understanding these (...) speculations that does not commit them to incoherence but aims to make the best sense of what they are expressing. Using the philosophical framework of two‐dimensional semantics, it proposes that the speculative scenarios are best analysed as epistemic possibilities, rather than as metaphysical possibilities. It then explores some implications of this analysis for the ethical challenges associated with the non‐identity problem. (shrink)

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)

We argue that if there are laws of nature, then there must also be accidents. If the “laws” in a world suffice to determine the world’s entire history, then these “laws” cannot play various central roles characteristic of laws, and thus (we conclude) they are not laws at all. Many proposed accounts of lawhood (primitivist accounts, universals accounts, the Best System Account, the Package Deal Account, essentialist accounts) inappropriately permit worlds with laws but no accidents. We identify two otherwise dissimilar (...) accounts that correctly (on our view) deem such worlds impossible; one is Humean and the other is non-Humean. (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)

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)

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

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)

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)

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.

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

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)

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

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

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.

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

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)

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)

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)

The paper argues against a commitment to metaphysical necessity, semantic modalities are enough. The best approaches to elucidate the semantic modalities are (still) versions of lingustic ersatzism and fictionalism, even if only developed in parts. Within these necessary properties and the difference between natural and semantic laws can be accounted for. The proper background theory for this is an updated version of Logical Empiricism, which is congenial to recent trends in Structural Realism. The anti-metaphysical attitude of Logical Empiricism deserves (...) revitalization. Another target besides metaphysical necessity are substantial forms of iterated modalities, as used, for instance, in the philosophy of religion. (shrink)

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)

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)

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)

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)

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)

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.

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

I discuss a short string of five sentences in Metaphysics V.5, 1015b6-9 relating demonstration to necessity. My proposal is that Aristotle focuses his attention on the demonstration as a demonstration. Other interpretations reduce the necessity in question to the modality of the component sentences of the demonstrations (the conclusion and the premises). My view does not deny that the modality of the component sentences is important, but takes seriously the idea that a demonstration itself should be understood as (...) necessary—as not capable of being otherwise. A demonstration cannot be different from what it is in the sense that [i] its components cannot be different from what they are, [ii] its components must be related to each other exactly in the way they are related. Demonstrations aim at the fully appropriate explanation of a given explanandum—and each demonstration is individuated by the explanandum it takes. Thus, the basic idea is that, for the target explanandum that individuates a given demonstration, the premises delivering the fully appropriate explanation cannot be replaces with different ones. I show how this proposal, which explains Aristotle’s language in 1015b6-9 accurately, does not make demonstrations ‘melt down into conditional necessity’, first, because the modality of the component sentences is still importantly involved, second, because the explanatory relation expressed in a demonstration is a necessary fact in the real world, so that the demonstration itself is also necessary (in the way I have explained) inasmuch as it captures that fact. (shrink)

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)