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 “ (...) class='Hi'>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)

Highlighting Hegel's conceptual realism Hoffmann focuses on an undervalued move in his dialectic: inversion. Easily proving completeness for Kant's table of categories, Hoffmann shows how metabolic dialectic substantiates Hegel's claim for his _Logic_: it is indeed the science of absolute form!

In this paper, I examine Takashi Yagisawa’s response to van Inwagen’s ontic objection against David Lewis. Van Inwagen criticizes Lewis’s commitment to the absolutely unrestricted sense of ‘there is,’ and Yagisawa claims that by adopting modal tenses he avoids commitment to absolutely unrestricted quantification. I argue that Yagisawa faces a problem parallel to the one Lewis faces. Although Yagisawa officially rejects the absolutely unrestricted sense of a quantifying expression, he is still committed to the absolutely unrestricted sense of ‘is a (...) real.’. (shrink)

Essential properties are usually thought as properties that things must always possess, whereas accidental properties are considered as changeable. In this paper, we challenge this traditional view. We argue that in some important cases, such as social or biological development, we face not only the change of accidents, but also the change of essences. To analyze this kind of change we propose an alternative view on the relations between the modalities and time. Some properties might be necessary or possible for (...) a thing in a classical sense throughout its existence, whereas others might be necessary or possible only for some restricted periods. We distinguish therefore absolute, prospective, retrospective, and relative modalities. As we argue, these non-classical concepts of modality are useful in analysis of some puzzling case of seemingly changing essences. (shrink)

Fragmentalism allows incompatible facts to constitute reality in an absolute manner, provided that they fail to obtain together. In recent years, the view has been extensively discussed, with a focus on its formalisation in model-theoretic terms. This paper focuses on three formalisations: Lipman’s approach, the subvaluationist interpretation, and a novel view that has been so far overlooked. The aim of the paper is to explore the application of these formalisations to the alethic modal case. This logical exploration will allow (...) us to study (i) cases of metaphysical incompatibility between modal facts and (ii) cases of modal dialetheias. In turn, this will enrich our understanding of the role of impossibility in the fragmentalist framework. (shrink)

I formulate and defend two sceptical theses on specific parts of our modal knowledge (unqualified and absolute modalities). My main point is that unqualified modal sentences are defective in that they fail to belong unambiguously to specific modal kinds and thus cannot be evaluated; hence, we must be sceptical of beliefs involving them.

This volume contains eighteen papers, three with new postscripts, that were written over the past 35 years. Five of the papers have not been previously published. Together they provide a comprehensive account of modal reality—the realm of possible worlds—from a Humean perspective, with excursions into neighboring topics in metaphysics. Part 1 sketches an account of reality as a whole, both the mathematical and the modal, defending a form of plenitudinous realism: every consistent proposition is true of some portion of reality. (...) Part 2 presents and defends a realist theory of concrete possible worlds with an absolute ontological distinction between the actual and the merely possible. Part 3 presents and defends a Humean account of modal plenitude, formulating and endorsing principles of recombination, of plenitude of possible structures, and of plenitude of alien contents. Part 4 applies the Humean account to truthmaking, mereology, spacetime, and quantities. I argue that holding fast to Humean strictures leads to views that differ in radical ways from those put forth by contemporary metaphysicians. (shrink)

This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally (...) precise account of the priority and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” (...) about metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

According to David Lewis, a realist about possible worlds must hold that actuality is relative: the worlds are ontologically all on a par; the actual and the merely possible differ, not absolutely, but in how they relate to us. Call this 'Lewisian realism'. The alternative, 'Leibnizian realism', holds that actuality is an absolute property that marks a distinction in ontological status. Lewis presents two arguments against Leibnizian realism. First, he argues that the Leibnizian realist cannot account for the contingency (...) of actuality. Second, he argues that the Leibnizian realist cannot explain why skepticism about one's own actuality is absurd. In this paper, I mount a defense of Leibnizian realism. (shrink)

In this article, we discuss a simple argument that modal metaphysics is misconceived, and responses to it. Unlike Quine's, this argument begins with the simple observation that there are different candidate interpretations of the predicate ‘could have been the case’. This is analogous to the observation that there are different candidate interpretations of the predicate ‘is a member of’. The argument then infers that the search for metaphysical necessities is misguided in much the way the ‘set-theoretic pluralist’ claims that the (...) search for the true axioms of set theory is. We show that the obvious responses to this argument fail. However, a new response has emerged that purports to prove, from higher-order logical principles, that metaphysical possibility is the broadest kind of possibility applying to propositions, and is to that extent special. We distill two lines of reasoning from the literature, and argue that their import depends on premises that any ‘modal pluralist’ should deny. Both presuppose that there is a unique typed hierarchy, which is what the modal pluralist, in the context of higher-order logic, should disavow. In other words, both presupposes that there is a unique candidate for what higher-order claims could mean. We consider the worry that, in a higher-order setting, modal pluralism faces an insuperable problem of articulation, collapses into modal monism, is vulnerable to the Russell-Myhill paradox, or even contravenes the truism that there is a unique actual world, and argue that these worries are misplaced. We also sketch the bearing of the resulting ‘Higher-Order Pluralism’ on the theory of content. One theme of the discussion is that, if Higher-Order Pluralism is correct, then there is no fixed metatheory from which to characterize higher-order reality. (shrink)

Dispositionality is a modal notion of a certain sort. When an object is said to have a disposition, we typically understand this to mean that under certain circumstances, the object would behave in a certain way. For instance, a fragile object is disposed to break when dropped onto a concrete surface. It need not actually break - its being fragile has implications that, so to speak, point beyond the actual world. According to dispositionalism, all modal features of the world may (...) be accounted for in terms of its dispositional features. My aim in this paper is to assess the prospects for dispositionalism by examining the most promising theories. Sections 1 and 2 clarify the assumptions and desiderata of a successful dispositionalist theory of modality. Section 3 introduces the principles governing the dispositionalist theories that apparently meet the desiderata. Sections 4 through 6 show that dispositionalism nonetheless faces three problems: while dispositions help account for modal features of the world that are local, diachronic, or gradable, they cannot account for certain modal features of the world that are global, synchronic, or absolute. I end by discussing the costs of preserving dispositionalism. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of (...) large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

In this paper, I will argue that there is a version of possibilism—inspired by the modal analogue of Kit Fine’s fragmentalism—that can be combined with a weakening of actualism. The reasons for analysing this view, which I call Modal Fragmentalism, are twofold. Firstly, it can enrich our understanding of the actualism/possibilism divide, by showing that, at least in principle, the adoption of possibilia does not correspond to an outright rejection of the actualist intuitions. Secondly, and more specifically, it can enrich (...) our understanding of concretism, by proving that, at least in principle, the idea that objects have properties in an absolute manner is compatible with transworld identity. (shrink)

Bob Hale presents a broadly Fregean approach to metaphysics, according to which ontology and modality are mutually dependent upon one another. He argues that facts about what kinds of things exist depend on facts about what is possible. Modal facts are fundamental, and have their basis in the essences of things--not in meanings or concepts.

Bob Hale presents a broadly Fregean approach to metaphysics, according to which ontology and modality are mutually dependent upon one another. He argues that facts about what kinds of things exist depend on facts about what is possible. Modal facts are fundamental, and have their basis in the essences of things--not in meanings or concepts.

Hume regards the ‘absolute’ necessity attending demonstrable truths as simply an expression of our imaginative blocks, and thereby avoids any commitment to a mind-independent and extra-empirical domain of absolute modal properties and facts. I develop this expressivist interpretation of Hume’s metaphysics of absolute modality, situate it against a wider understanding of Hume’s philosophy of language, and defend it against some recent objections.

Keine ausführliche Beschreibung für "Die absolute Form" verfügbar.

Given quasi-realism, the claim is that any attempt to naturalise modal epistemology would leave out absolute necessity. The reason, according to Simon Blackburn, is that we cannot offer an empirical psychological explanation for why we take any truth to be absolutely necessary, lest we lose any right to regard it as absolutely necessary. In this paper, I argue that not only can we offer such an explanation, but also that the explanation won’t come with a forfeiture of the involved (...) necessity. Using ‘squaring the circle’ as evidence, I show that, contrary to quasi-realism, absolute necessity won’t be left out in attempts to naturalise modal epistemology. (shrink)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” (...) about metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

On one classical conception of God, God has no parts, not even metaphysical parts. God is not composed of form and matter, act and potency, and he is not composed of existence and essence. God is absolutely simple. This is the doctrine of Absolute Divine Simplicity. It is claimed that ADS implies a modal collapse, i.e. that God’s creation is absolutely necessary. I argue that a proper way of understanding the modal collapse argument naturally leads the proponent of ADS (...) to reject a particular premise of the argument: namely, “the same identical cause brings about the same effect.” However, I argue that the rejection of that premise leads to a deeper problem for ADS. It leads to an explanatory gap: how can we explain the relevant type of indeterminism in an absolutely simple God? (shrink)

It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press, Oxford, 2003, pp 201–215; Williamson in Can J Philos 46:453–492, 2016). Kripke calls metaphysical necessity “necessity in the highest degree”. Van Inwagen claims that if P is metaphysically possible, then it is possible “tout court. Possible simpliciter. Possible period…. possib without qualification.” And Stalnaker writes, “we can (...) agree with Frank Jackson, David Chalmers, Saul Kripke, David Lewis, and most others who allow themselves to talk about possible worlds at all, that metaphysical necessity is necessity in the widest sense.” What exactly does the thesis that metaphysical possibility is absolute amount to? Is it true? In this article, I argue that, assuming that the thesis is not merely terminological, and lacking in any metaphysical interest, it is an article of faith. I conclude with the suggestion that metaphysical possibility may lack the metaphysical significance that is widely attributed to it. (shrink)

Absolute pitch, besides the psychological and neurological interests it has, raises some conceptual difficulties that can teach us about the richness of our notion of musical tone and various aspects of its identification. It is argued that when AP is conceived under a slim notion of identifying the pitch of a crude sound, it is hardly meaningful and has no significance in music comprehension. The rich notion, which is the meaningful and important one, involves knowing the position of a (...) tone in a tone-space and its relations. This is presented as experiential: hearing and identifying tones under concepts and relations that are experienced rather than figured out or derived on the basis of crude identification of bare tones. Since many of these concepts and relations are musically meaningful, this rich notion of identification is thus connected to musical understanding and aesthetic appreciation of a musical work. It may also be claimed to be vital in passing between different sense modalities, and can explain various aspects of AP and puzzles connected with it. (shrink)

Modal Meinongianism—the version of Meinongianism invented by Graham Priest—presupposes that we can think about absolute impossibilities. I defend the view that we can, by tidying up a couple of loose ends in Priest’s arguments to this effect from his book Towards Non-Being.

It follows from Humean principles of plenitude, I argue, that island universes are possible: physical reality might have 'absolutely isolated' parts. This makes trouble for Lewis's modal realism; but the realist has a way out. First, accept absolute actuality, which is defensible, I argue, on independent grounds. Second, revise the standard analysis of modality: modal operators are 'plural', not 'individual', quantifiers over possible worlds. This solves the problem of island universes and confers three additional benefits: an 'unqualified' principle (...) of compossibility can be accepted; the possibility of nothing can be accommodated; and the identity of indiscernible worlds can be decisively refuted. (shrink)

Leibniz's principle of sufficient reason is the claim that everything has a sufficient reason. But is Leibniz committed to the necessity or to the contingency of his great principle? I argue that Leibniz is committed to its contingency, given that he allows for the absolute possibility of entities that he claims violate the PSR. These are all cases of qualitatively indiscernible entities, such as indiscernible atoms, vacua, and bodies. However, Leibniz's commitment to the contingency of the PSR seems to (...) stand in tension with his inference of the PSR from his theory of truth. I argue that this apparent tension can be resolved satisfactorily. When it comes to his modal views on the PSR, Leibniz's position is entirely consistent. (shrink)

Say that the Moving Spotlight Theory (MST) combines the following three theses: A-THEORY : There is an absolute distinction between present and non-present time.

Dummett's formulation presupposes a realistic attitude towards modality. And as also remarked, realism in this sense has not gone unchallenged. This chapter discusses a different form the realism it opposes may assume which entails, but goes appreciably beyond, the comparatively modest variety just sketched, and which has been the focus of much recent discussion: realism about possible worlds. It begins by drawing some distinctions among different notions of necessity and possibility. Probably the single most important distinction to be drawn (...) is between absolute and relative kinds or senses. In an early defense of realism, David Lewis gives some prominence to an argument which represents the central thesis of his realism. Lewis is chary of saying outright whether worlds themselves are concrete entities, pending clarification of the abstract/concrete distinction. Lewis's own discussion of the charge that his position is epistemologically bankrupt largely in presupposing that it will be based upon a causal constraint on knowledge. (shrink)

Hume regards the ‘absolute’ necessity attending demonstrable propositions as an expression of the limitations of human imagination. When we register our modal commitments in ordinary descriptive language, affirming that there are such-and-such absolute necessities, possibilities, and impossibilities, we are projecting our sense of what the human mind can and cannot conceive. In some ways the account parallels Hume’s famous treatment of the necessity of causes, and in some respects it anticipates recent expressivist theories of absolute modality. (...) I marshal the evidence for this interpretation, show how it can explain a number of otherwise puzzling features of Hume’s modal epistemology and metaphysics, and situate this account of our modal discourse in Hume’s wider programme for a science of human nature. (shrink)

McFetridge (in Logical necessity and other essays . London: Blackwell, 1990 ) suggests that to treat a proposition as logically necessary—to believe a proposition logically necessary, and to manifest that belief—is a matter of preparedness to deploy that proposition as a premise in reasoning from any supposition. We consider whether a suggestion in that spirit can be generalized to cover all cases of absolute necessity, both logical and non-logical, and we conclude that it can. In Sect. 2, we explain (...) the significance that such an account of manifestation of belief in absolute necessity has for the prospects of a non-realist theory of modality. In Sect. 3, we offer a sympathetic articulation of the detail that underlies the McFetridge conception of belief in logical necessity. In Sects. 4 and 5, we show that the conception so articulated will not generalize to encompass all cases of belief in absolute necessity and proceed to offer a remedy. Our proposal is based upon a distinction between two kinds of suppositional act: A-supposing and C-supposing (Sect. 6). In Sect. 7, we then explain and defend our central thesis: (roughly) that (manifestation of) belief in absolute necessity is a matter of preparedness to deploy as a premise in reasoning under any C-supposition. Finally, we indicate that there is some promise in the parallel thesis that manifestation of the treatment of a proposition as a priori is a matter of preparedness to deploy as a premise in reasoning under any A-supposition (Sect. 8). (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Absolute and Ordained Power of God in Sixteenth- and Seventeenth-Century TheologyFrancis Oakley[W]e must cautiously abandon [that more specious opinion of the Platonist and Stoick]... in this, that it... blasphemously invades the cardinal Prerogative of Divinity, Omnipotence, by denying him a reserved power, of infringing, or altering any one of those Laws which [He] Himself ordained, and enacted, and chaining up his armes in the adamantine fetters of (...) Destiny.Walter Charleton, The Darknes of Atheism Dispelled by the Light of Nature : A Physico-Theologicall Treatise (London, 1652)Of the various attributes characteristically ascribed to God in the Christian tradition—goodness, wisdom, omniscience, omnipotence, and the like—it is omnipotence which of recent years has most persistently been the object of focused attention among philosophers and historians alike. That that should be the case with philosophers working in the Anglo-American analytic tradition is not altogether surprising. While it is doubtless a development few would have predicted half a century ago, the years since then have seen something of a recrudescence of interest in a legislative or divine-command ethic. 1 Had that [End Page 437] not itself conspired to make omnipotence an obvious focus of philosophic attention, the deepening contemporaneous preoccupation with modal logic or the logic of possibility would surely have succeeded in so doing. Understood classically as affirming of God the ability to do all things and connoting a virtual capacity for action (as opposed to a power exercised in actuality), omnipotence has proven to be something of a troublesome notion, inviting unrestrained speculation about hypothetical divine action and generating a veritable cat’s cradle of philosophical conundrums concerning the relationship of God’s power to his will, wisdom, goodness, and justice.Medieval theologians and philosophers alike were forced to grapple with these taxing problems, 2 and philosophers of our own era have found them no less directly pertinent to their own logical and ethical concerns. 3 In 1955 Mackie inaugurated what was destined to become an ongoing discussion of omnipotence in the philosophical journals, 4 and such philosophers as Kenny and Keane, Cowan and Wolfe, Dummett, Plantinga, Swinburne, and Geach have been drawn into the fray. Since then, as a result, the pages of Mind, Philosophy, Philosophical Review, and even The Listener have been punctuated by their efforts to grapple with those venerable questions concerning the divine power that had exercised St. Peter Damiani in the mid-eleventh century, brought Abelard to grief a half-century later, and subsequently led Peter Lombard to devote to them a crucial and influential section of his Sentences—whether God of his omnipotence could undo the past, whether he could have made things other than he had, or created a world better than he did, and so on. 5 [End Page 438]While no medievalist can be expected to be anything but gratified by this unexpected testimony to the enduring significance and power of medieval scholastic concerns, those of us interested especially in the intellectual developments of the later-medieval centuries have particular reason to be energized by it. The years since Mackie launched this contemporary philosophical debate have also seen an intensification of interest on the part of historians in the ways in which, during these particular centuries, medieval thinkers themselves came to terms with the implications of the divine omnipotence and dealt with the theological and philosophical puzzles characteristically generated by that notion. Unlike the philosophers, whose concerns have been somewhat more broad-ranging, the historians have focused in particular on a quintessentially scholastic distinction that was developed, it has been said, “as a ‘yes and no’ answer to the question whether God is able to do or arrange things other than he did in creating the orders of nature and grace.” 6 The distinction in question is that between God’s power understood as absolute and as ordained (potentia dei absoluta et ordinata), which the theologians and philosophers of the period deployed as part of their great effort of accommodation between Greek philosophical and biblical notions of the divine, and the historical significance of which the scholarship of the past forty years has served increasingly to vindicate. 7 But while that distinction has been... (shrink)

Hale has argued that logical necessities are absolute in the sense that there is no competing kind of modality under which they may be false. In this paper, I argue that there are competing kinds of modality, which I call “essentialist modalities,” under which logical necessities may be false. Since it is counter-intuitive to say that logical necessities are not absolute, my argument, if correct, shows that Hale’s characterization of absolute necessity does not adequately capture (...) the intuitive notion of absolute necessity. Then, a qualified version of Hale’s characterization of absolute necessity is proposed. On the qualified version, the absoluteness of logical necessities is no longer defeated by essentialist possibilities. (shrink)

Descartes's view of modality is analyzed by contrast to two earlier models: the ancient realist one, defended by Boethius, where possibility and necessity are connected to natural potency, and the modern intensionalist one, which dissociates necessary and possible truths from any ontological foundation, treating them as conceptual, a priori given preconditions for any intellect. The emergence of this view is traced from Gilbert of Poitiers to duns Scotus, Ockham and Suarez. The Cartesian theory of the creation of eternal truths, (...) it is argued, involves a rejection of this idea of absolute conceivability and can be seen as a constructivist view of intelligibility and rationality. (shrink)

Morris and Menzel’s view that God is the Creator of abstract as well as concrete objects is variously referred to by the labels “absolute creation” and “theistic activism.” To use these labels synonymously, however, exhibits a lack of discrimination. Theistic activism is the project of grounding modality in God, particularly in the divine will. Absolute creationism is a nonmodal project which regards abstract objects as created by God. The synonymous use of these terms results in confusion in (...) debates over divine aseity and sovereignty. Philosophical discussion will benefit if we adopt a uniform terminology discriminating between these different views. (shrink)

The many worlds anthropic principle is explored here from the a priori perspective of rationalist metaphysics, within the framework of modal logic. It is shown how the apparent contradictions of quantum superposition can be thought of in terms of different levels of world models. The framework of modal logic is used, but given the rationalist assumption that all possible worlds exist. There is thus no absolute distinction between possibility and necessity. To take the point of view of a conscious (...) being in a world, however, is to adopt some such distinction--something we must do in order to do physics. This paper is intended to lay the groundwork for future attempts to develop theories of what is necessarily true in a world with conscious entities. It also contains some tentative speculations on the difficult issue of death and quantum mechanics. (shrink)

This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal (...) profile of rational intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. Chapter 3 provides an abstraction principle for epistemic intensions. Chapter 4 advances a two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states, by contrast to availing of modal axiom 4. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's "criterial" identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The epistemic two-dimensional truthmaker semantics developed in chapter 4 is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapter 8 examines the modal commitments of abstractionism, in particular necessitism, and epistemic modality and the epistemology of abstraction. Chapter 9 examines the modal profile of $\Omega$-logic in set theory. Chapter 10 examines the interaction between epistemic two-dimensional semantics and absolute decidability. Chapter 11 avails of modal coalgebraic automata to interpret the defining properties of indefinite extensibility, and avails of epistemic two-dimensional semantics in order to account for the interaction of the interpretational and objective modalities thereof. The hyperintensional, epistemic two-dimensional truthmaker semantics developed in chapter 4 is applied in chapters 8, 10, and 11. Chapter 12 provides a modal logic for rational intuition. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

If we take a bird’s-eye view of the history of philosophical ideas and try to assess the place the problems of modality hold in it, it is likely that we will gain the impression that they are not among the priorities of philosophical thinking of the essence of human being. A closer look at some classical theses, however, can provide us with different answers. In § 76 of Critique of Judgement, which is actually “just” a comment on the basic (...) text, Kant explains that “For human reason it is of absolute necessity to distinguish between the possibility and reality of things”. Kant helps us to include modality in the very metaphysical definition of the human being. That is why we can say: human being is a modal being before being “a rational being”, “a social animal” or “homo faber”. In my opinion that “before” should be understood in a strictly metaphysical sense and it should help us to discover a non-trivial basis and principle of philosophical anthropology. It is my thesis that philosophical anthropology should place modality in the very definition of human nature and consider human being as a possibilia entis. We could illustrate the fundamental character of modality by demonstrating that modality is at the basis of constituting time as temporality. In view of this position only the modal being has a time in the sense of temporality. Or, to put it in a different way, we can see in nature only changes, but not temporal phenomena in the strict sense of the concept of time perceived as temporality. (shrink)

An intensional semantic system for languages containing, in their logical syntax, sortal quantifiers, sortal identities, (second-order) quantifiers over sortals and the necessity operator is constructed. This semantics provides non-standard assignments to predicate expressions, which diverge in kind from the entities assigned to sortal terms by the same semantic system. The nature of the entities assigned to predicate expressions shows, at the same time, that there is an internal semantic connection between those expressions and sortal terms. A formal logical system is (...) formulated that is proved to be absolutely consistent, sound and complete with respect to the intensional semantic system. (shrink)

The generality relativist has been accused of holding a self-defeating thesis. Kit Fine proposed a modal version of generality relativism that tries to resist this claim. We discuss his proposal and argue that one of its formulations is self-defeating.

Contrary to our immediate and vivid sensation of past, present, and future as continually shifting non-relational modalities, time remains as tenseless and relational as space in all of the established theories of fundamental physics. Here an empirically adequate generalized theory of the inertial structure is discussed in which proper time is causally compelled to be tensed within both spacetime and dynamics. This is accomplished by introducing the inverse of the Planck time at the conjunction of special relativity and Hamiltonian mechanics, (...) which necessitates energies and momenta to be invariantly bounded from above, and lengths and durations similarly bounded from below, by their respective Planck scale values. The resulting theory abhors any form of preferred structure, and yet captures the transience of now along timelike worldlines by causally necessitating a genuinely becoming universe. This is quite unlike the scenario in Minkowski spacetime, which is prone to a block universe interpretation. The minute deviations from the special relativistic effects such as dispersion relations and Doppler shifts predicted by the generalized theory remain quadratically suppressed by the Planck energy, but may nevertheless be testable in the near future, for example via observations of oscillating flavor ratios of ultrahigh energy cosmic neutrinos, or of altering pulse rates of extreme energy binary pulsars. (shrink)

On what I call absolutist essentialism about modality (AE), the metaphysical necessities are the propositions that are true in virtue of the essence (i.e. Aristotelian, absolute essence) of some entities. Other kinds of necessity can then be defined by restriction – e.g. the conceptual necessities are the propositions that are true in virtue of the essence of conceptual entities specifically. As an account of metaphysical modality and some other kinds (e.g. logical, conceptual), AE may have important virtues. (...) However, when it comes to accounting for further important kinds, like natural or normative necessity, it faces a challenge. Three main options have been defended: treat those kinds as further restricted forms of metaphysical necessity; define them as conditional forms of metaphysical necessity; treat them as primitive kinds. -/- In this paper, I propose a new option, which combines the main idea of AE (reducing necessities to essences) with an idea which has been developed largely independently: that of relative essence. On the proposed view, those kinds (e.g. natural necessity) that cannot be grounded in the essences (i.e. absolute essences) of the relevant entities (e.g. natural entities) may be grounded in their relative essences instead. Thus, I propose a generalized, or extended, version of AE, which I call relativized essentialism about modality (RE). In particular, RE offers prospects for a general framework for kinds of modality which is flexible enough to cover a large range of kinds (both absolute and relative ones) while remaining parsimonious and unified. (shrink)

This essay examines an argument of perennial importance against naive Leibnizian absolute identity theory, originating with Ruth Barcan in 1947 (Barcan, R. 1947. ?The identity of individuals in a strict functional 3 calculus of second order?, Journal of Symbolic Logic, 12, 12?15), and developed by Arthur Prior in 1962 (Prior, A.N. 1962. Formal Logic. Oxford: The Clarendon Press), presented here in the form offered by Nicholas Griffin in his 1977 book, Relative Identity (Griffin, N. 1977. Relative Identity. Oxford: The (...) Clarendon Press). The objection considers the property of being necessarily identical to a specific object a as a counterexample to Leibnizian identity conditions, and more particularly to the indiscernibility of identicals, when it is only contingently true that a=b. The inquiry eliminates necessity and reference to a specifically designated object as responsible for the counterexample, leaving only identity. The requirements for an exact reinterpretation of Leibniz's Law in light of counterexamples involving converse intentional properties and the family of properties suggested by the property of being necessarily identical to a where a=b (or an equivalent definite descriptor variation) is only logically contingently true, are formalized in a more powerful, counterexample-resistant version of Leibniz's Law that does not succumb to relative identity as a necessary alternative motivated by desperation over the failure of the absolute identity principle. (shrink)

This article is a discussion of Hume's maxim Nothing we imagine is absolutely impossible. First I explain this maxim and distinguish it from the principle Whatever cannot be imagined (conceived), is impossible. Next I argue that Thomas Reid's criticism of the maxim fails and that the arguments by Tamar Szábo Gendler and John Hawthorne for the claim that “it is uncontroversial that there are cases where we are misled” by the maxim are unconvincing. Finally I state the limited but real (...) value of the maxim: it does help us, in certain cases, reliably to make up our minds. Along the way I show that Reid, his criticism of the maxim notwithstanding, actually employs it, and I furthermore argue that the principle What is inconceivable, is impossible is spurious. (shrink)

In this article, the author studies some central concepts in Avicenna's and sī's modal logics as presented in Avicenna's Al-Ish r t wa'l Tan īh t ( Pointers and Reminders ) and in sī's commentary. In this work, Avicenna introduces some remarkable distinctions in order to interpret Aristotle's modal syllogistic in the Prior Analytics . The author outlines a new interpretation of absolute sentences as temporally indefinite sentences and argues on the basis of this that Avicenna seems to subscribe (...) to the Principle of Plenitude. He also shows that he has no valid proof of the modal conversion rules and that he uses some rather ad hoc distinctions to show that Aristotle's modal syllogistic is correct. The author also notes some interesting differences between Avicenna's and sī's approaches to modal logic. (shrink)