Logical Necessity

Talk of metaphysical modality as “absolute” is ambiguous, as it appears to convey multiple ideas. Metaphysical possibility is supposedly completely unrestricted or unqualified; metaphysical necessity is unconditional and exceptionless. Moreover, metaphysical modality is thought to be absolute in the sense that it’s real or genuine and the most objective modality: metaphysical possibility and necessity capture ways things could and must have really been. As we disentangle these ideas, certain talk of metaphysical modality qua “absolute” turns out to be misguided. Metaphysical (...) possibility isn't completely unrestricted or most inclusive compared to the other modalities; metaphysical necessity, like all kinds of necessities, is relative to or conditional upon a specific framework of reference. Still, metaphysical modality captures how things could and must have really been most generally because it deals with reality and the nature of things or their essence. That’s the chief interest of metaphysics. Arguments against the alleged absoluteness of metaphysical modality may not thereby undermine its philosophical significance. (shrink)

Aim of this paper is to analyse and assess two divergent understandings of metaphysical modality. On one hand, according to the absolutist conception, metaphysical modality is the extreme variety of objective modality and can be characterised in terms of all the varieties of objective modality: for example, p is metaphysically necessary if and only if p is necessary for every variety of objective necessity. The absolutist conception can also be framed in terms of counterfactual inevitability. On the other hand, according (...) to the essentialist conception of metaphysical modality, p is metaphysically necessary if and only if the truth of p is grounded by the essences of some entities. Based on the analysis of these two conceptions, I show that possible worlds are not helpful in characterising metaphysical modality. I finally suggest that in the light of a general principle about philosophical terminology, the essentialist conception has an edge over the absolutist one. (shrink)

This paper is on Descartes’ account of modality and, in particular, his account of the necessity of the laws of nature. He famously argues that the necessity of the “eternal truths” of logic and mathematics depends on God’s will. Here I suggest he has the same view about the necessity of the laws of nature. Further, I argue, this is a plausible theory of laws. For philosophers often talk about something being nomologically or physically necessary because of the laws of (...) nature, but this necessity is thought to be metaphysically contingent. However, they struggle to explain how the laws could be genuinely necessary while being metaphysically contingent. The chief advantage of Descartes view, I argue, is that God’s will can plausibly explain both the necessity of the laws and the contingency of the laws. So, Descartes’ theistic account of laws provides a plausible explanation, perhaps the best explanation, of the contingent-necessity of laws of nature. (shrink)

Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...) interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk. (shrink)

In this essay, I consider some logical treatises and commentaries from the first decades of the 12th century (many of which are still unedited) which contain a discussion on modalities and modal logic. After presenting a short catalogue of these sources and a description of their common features, I shall focus on some definitions of the modal term “necessarium” which are provided in them. As we will see, Abelard and logicians of his time advanced three different characterizations of this term: (...) necessity was either defined in terms of unavoidability (ineuitabilitas), or in terms of immutability and omnitemporality (impermutabilitas, sempiternitas), or again in terms of absolute necessity as opposed to conditioned one (necessitas absoluta vs. determinata). I argue that the temporal understanding of necessity in terms of omnitemporality, inherited from ancient sources and extensively used by Abelard and others in the first years of the twelfth-century, started to disappear in texts datable from around the 1120, perhaps due to several difficulties that were related to this definition when applied in logical contexts. I also discuss how the notion of necessitas determinata was used by Abelard’s contemporaries to qualify the modal status of present and past events, which were generally believed to be necessary only in a “weak” and harmless sense that did not prevent them from being contingent. -/- . (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)

I show that intuitive and logical considerations do not justify introducing Leibniz’s Law of the Indiscernibility of Identicals in more than a limited form, as applying to atomic formulas. Once this is accepted, it follows that Leibniz’s Law generalises to all formulas of the first-order Predicate Calculus but not to modal formulas. Among other things, identity turns out to be logically contingent.

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

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...) results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

The starting point of this paper concerns the apparent difference between what we might call absolute truth and truth in a model, following Donald Davidson. The notion of absolute truth is the one familiar from Tarski’s T-schema: ‘Snow is white’ is true if and only if snow is white. Instead of being a property of sentences as absolute truth appears to be, truth in a model, that is relative truth, is evaluated in terms of the relation between sentences and models. (...) I wish to examine the apparent dual nature of logical truth (without dwelling on Davidson), and suggest that we are dealing with a distinction between a metaphysical and a linguistic interpretation of truth. I take my cue from John Etchemendy, who suggests that absolute truth could be considered as being equivalent to truth in the ‘right model’, i.e., the model that corresponds with the world. However, the notion of ‘model’ is not entirely appropriate here as it is closely associated with relative truth. Instead, I propose that the metaphysical interpretation of truth may be illustrated in modal terms, by metaphysical modality in particular. One of the tasks that I will undertake in this paper is to develop this modal interpretation, partly building on my previous work on the metaphysical interpretation of the law of non-contradiction (Tahko 2009). After an explication of the metaphysical interpretation of logical truth, a brief study of how this interpretation connects with some recent important themes in philosophical logic follows. In particular, I discuss logical pluralism and propose an understanding of pluralism from the point of view of the metaphysical interpretation. (shrink)

Millikan and Her Critics offers a unique critical discussion of Ruth Millikan's highly regarded, influential, and systematic contributions to philosophy of mind and language, philosophy of biology, epistemology, and metaphysics. These newly written contributions present discussion from some of the most important philosophers in the field today and include replies from Millikan herself.

The famous Cartesian Nicolas Malebranche (1638-1715) espoused the occasionalist doctrine that ‘there is only one true cause because there is only one true God; that the nature or power of each thing is nothing but the will of God; that all natural causes are not true causes but only occasional causes’ (LO, 448, original italics). One of Malebranche’s well-known arguments for occasionalism, known as, the ‘no necessary connection’ argument (or, NNC ) stems from the principle that ‘a true cause… is (...) one such that the mind perceives a necessary connection between it and its effect’ (LO, 450). The outline of this paper is as follows. I explicitly layout NNC and articulate some of its prima facie strengths (§1). I then critically discuss, what I take to be, the two main arguments against NNC of the Lee-Pyle interpretation (§2). The main conclusion from (§2) is that Malebranche did not abandon NNC in his later works given textual evidence from the Dialogues, contrary to the Lee-Pyle interpretation. In (§3) I discuss in what ways Suárez, Leibniz, Régis and Spinoza all accepted the main premise of NNC. Then, I rebut Steven Nadler’s influential and unchallenged criticism that Malebranche conflated causal and logical necessity, and provide a more accurate interpretation of Malebranche that only commits him to a partial reduction of causal to logical necessity (§4). (shrink)

Graham Oppy has argued that possible explanation entails explanation in order to object to Richard Gale and Alexander Pruss’s new cosmological argument that it does not improve upon familiar cosmological arguments. Gale and Pruss as well as Pruss individually have granted Oppy’s inference from possible explanation to explanation and argue that this inference provides a reason to believe that the strong principle of sufficient reason is true. In this article, I shall undermine Oppy’s objection to the new cosmological argument by (...) arguing that it is logically possible that some truths are merely possibly explained. (shrink)

Information is often modelled as a set of relevant possibilities, treated as logically possible worlds. However, this has the unintuitive consequence that the logical consequences of an agent's information cannot be informative for that agent. There are many scenarios in which such consequences are clearly informative for the agent in question. Attempts to weaken the logic underlying each possible world are misguided. Instead, I provide a genuinely psychological notion of epistemic possibility and show how it can be captured in a (...) formal model, which I call a fan. I then show how to use fans to build formal models of being informed, as well as knowledge, belief and information update. (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)

One of the most basic methods of philosophy is, and has always been, the consideration of counterfactual cases and imaginary scenarios. One purpose of doing so obviously is to test our theories against such counterfactual cases. Although this method is widespread, it is far from being commonly accepted. Especially during the last two decades it has been confronted with criticism ranging from complete dismissal to denying only its critical powers to a cautious defense of the use of thought experiments as (...) counterexamples. One of the strongest criticisms of the method of thought experimentation is "modal skepticism" as explicated and defended by Peter van Inwagen. Van Inwagen argues that the philosopher's notion of logical possibility is confused and that its epistemology is dubious. I argue that van Inwagen's skepticism is unwarranted. There is a sufficiently clear notion of logical possibility and a sufficiently straightforward way of getting to know what is logically possible. In the remainder of the paper I show how that connects with the methodology of thought experimentation in philosophy. (shrink)

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

This paper argues that there are true synthetic modal claims and that modal questions in philosophy in general are to be interpreted not in terms of logical necessity but in terms of synthetic necessity. I begin by sketching the debate about modality between logical positivism and phenomenology. Logical empiricism taught us to equate being tautological with being necessary. The common view is that tautologies are necessary in the narrow sense but that there is also necessity in a wider sense. I (...) argue against this that we should distinguish necessity from analyticity and possibility from consistency. (shrink)