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)

Recent work on the philosophy of modality has tended to pass over questions about iterated modalities in favour of constructing ambitious metaphysical theories of possibility and necessity, despite the central importance of iterated modalities to modal logic. Yet there are numerous unresolved but fundamental issues involving iterated modalities: Chandler and Salmon have provided forceful arguments against the widespread assumption that all necessary truths are necessarily necessary, for example. The current paper examines a range (...) of ways in which one might seek to identify limited regions within which some of the most well-known principles featuring iterated modalities may safely be assumed. (shrink)

Essentialists claim that we can distinguish between an object's essential and its accidental properties. Following important developments in modal logic during the 1960s and 70s, the orthodox view was that the essential properties of an object are its necessary properties. In his influential 1994 paper "Essence and Modality", Kit Fine argues that the orthodox view is wrong. His two main claims are that first, essentiality cannot be defined in terms of necessity and second, that necessity should instead be (...) defined in terms of essentiality. In my dissertation, I aim to undermine both of his claims in order to defend a variation of the orthodox view. To do this, I first develop Fine's proposal for an essentialist definition of necessity into a more general essentialist theory of modality. I then raise a series of problems for the resulting theory. Finally, I introduce and defend a novel definition of essentiality in terms of metaphysical necessity and a notion of metaphysical dependence. (shrink)

Quine's arguments against the attribution of essential properties de re to individuals have been the motivation for attempts at reinstating essentialism as a respectable metaphysical thesis and at defending the coherence of modal logic in general.I shall argue here along somewhat different lines, that the particular version of essentialism Quine objects to is in fact untenable but that this conclusion is far from entailing a commitment to some version of conventionalism, and in particular that it does not entail (...) the view that the only kind of necessity that is coherent is de dicto necessity.In what follows, I shall assume, without arguing for it, that de re essentialism and subjunctive conditionals are intimately related, and in particular, that any version of de re essentialism which conflicts with our basic intuitions about subjunctive conditionals is untenable. (shrink)

Metaphysics, as I understand it, is the attempt to construct theories which give correct accounts in general terms of pervasive structural features of reality. Though not precise and not intended as an explicit definition, this characterization is comprehensive enough to include both descriptive and revisionary varieties of metaphysical theory. The enterprise of descriptive metaphysics, Strawson tells us, consists in describing “the actual structure of our thought about the world.” Presumably a philosopher would favor this approach to metaphysics if he (...) or she believed either that the actual structure of our thought about the world provides, at least for the most part, an accurate portrait of the world’s structure or that the actual structure of our thought at any time provides privileged access, or perhaps our only access, at that time to the structure of the world. Revisionary metaphysics, by contrast, is concerned to produce a structure of thought about the world better than the one we actually have. Obviously a philosopher would adopt this approach if he or she believed that the actual structure of our thought about the world provides, in at least some important respects, an inaccurate portrait of the world’s structure and stands in need of revision in the interests of correctness. And clearly a philosopher might hold that the actual structure of our thought is quite accurate in some respects and need only be described to yield correct theory and yet is thoroughly inaccurate in others and requires substantial revision if correct theory is to be the outcome. Philosophers may, as I suppose most of them do, practice by turns descriptive and revisionary kinds of metaphysics. No global commitment to one approach or the other is required; the choice between approaches can be allowed to rest on the exigencies of local problems. (shrink)

It has been alleged that actualism and quantified modal logic are incompatible. My aim in this dissertation is twofold: to defend thoroughgoing actualism with respect to possible objects, and to present a modified semantics for quantified modal logic that is compatible with such a position. The basic strategy is to draw on the parallels between fictions and possible worlds to develop a hierarchical system of worlds-within-worlds ;Actualists usually take first-order modal statements as being about the right objects, (...) by stipulation. Any actualistically acceptable semantics must extend this approach to higher-order modal statements. "I could have had a brother who was a banker but could have been a pianist" means: there is a first-order world in which I have a banker brother, and there exists within that world a second-order world in which that very brother is a pianist. This eliminates the troubling need to identify non-actual objects across worlds of the same order. ;The concept of worlds-within-worlds is analogous to that of consistent fictions-within-fictions. Independent investigations of each concept reveal that both nesting structures are treelike, irreflexive and intransitive. Despite these restrictions, AA models are relatively tractable, being derivable from Kripke models for by unraveling. They are sound and complete for normal propositional modal logics, and for the quantified modal logic Q1R as long as constants are excluded from the language. ;In Chapter 1, I argue for actualism and against some proposed responses to the iterated modality problem. I then present the idea of nested worlds as a solution. Chapter 2 examines the analogous concept of nested fictions, to shed some light on consistent nesting structures. Chapter 3 returns to modality proper; AA models are defined and defended for both propositional and quantified modal logic. Chapter 4 contains the soundness and completeness results, and ends with a somewhat surprising philosophical argument motivated by AA semantics: unless it is metaphysically necessary that all objects have sufficient essences, the correct logic for metaphysical necessity must be weaker than B. (shrink)

In this chapter, it is suggested that our epistemic access to metaphysical modality generally involves rationalist, a priori elements. However, these a priori elements are much more subtle than ‘traditional’ modal rationalism assumes. In fact, some might even question the ‘apriority’ of these elements, but I should stress that I consider a priori and a posteriori elements especially in our modal inquiry to be so deeply intertwined that it is not easy to tell them apart. Supposed metaphysically (...) necessary identity statements involving natural kind terms are a good example: the fact that empirical input is crucial in establishing their necessity has clouded the role and content of the a priori input, as I have previously argued. For instance, the supposed metaphysically necessary identity statement involving water and its microstructure can only be established with the help of a controversial a priori principle concerning the determination of chemical properties by microstructure. The Kripke-Putnam framework of modal epistemology fails precisely because it is unclear whether the required a priori element is present. My positive proposal builds on E. J. Lowe’s work. Lowe holds that our knowledge of metaphysical modality is based on our knowledge of essence. Lowe’s account strives to offer a uniform picture of modal epistemology: essence is the basis of all our modal knowledge. This is the basis of Lowe’s modal rationalism. I believe that Lowe’s proposal is on the right lines in the case of abstract objects, but I doubt that it can be successfully applied to the case of natural kinds. Accordingly, the case of natural kinds will be my main focus and I will suggest that modal rationalism, at least as it is traditionally understood, falls short of explaining modal knowledge concerning natural kinds. Yet, I think that Lowe has identified something of crucial importance for modal epistemology, namely the essentialist, a priori elements present in our modal inquiry. The upshot is that rather than moving all the way from modal rationalism to modal empiricism, a type of hybrid approach, ‘empirically-informed modal rationalism ’, can be developed. (shrink)

Modality - the question of what is possible and what is necessary - is a fundamental area of philosophy and philosophical research. The Routledge Handbook of Modality is an outstanding reference source to the key topics, problems and debates in this exciting subject and is the first collection of its kind. Comprising thirty-five chapters by a team of international contributors the Handbook is divided into seven clear parts: worlds and modality essentialism, ontological dependence, and modality modal anti-realism epistemology (...) of modality modality in science modality in logic and mathematics modality in the history of philosophy. Within these sections the central issues, debates and problems are examined, including possible worlds, essentialism, counterfactuals, ontological dependence, modal fictionalism, deflationism, the integration challenge, conceivability, a priori knowledge, laws of nature, natural kinds, and logical necessity. The Routledge Handbook of Modality is essential reading for students and researchers in epistemology, metaphysics and philosophy of language. It will also be very useful for those in related fields in philosophy such as philosophy of mathematics, logic and philosophy of science. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that (...) class='Hi'>modal metaphysics --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

The philosophy of modality investigates necessity and possibility, and related notions--are they objective features of mind-independent reality? If so, are they irreducible, or can modal facts be explained in other terms? This volume presents new work on modality by established leaders in the field and by up-and-coming philosophers. Between them, the papers address fundamental questions concerning realism and anti-realism about modality, the nature and basis of facts about what is possible and what is necessary, the nature of (...) class='Hi'>modal knowledge, modal logic and its relations to necessary existence and to counterfactual reasoning. The general introduction locates the individual contributions in the wider context of the contemporary discussion of the metaphysics and epistemology of modality. (shrink)

This paper defendsintensional essentialism: a property (intensional entity) is not essential relative to an individual (extensional entity), but relative to other properties (or intensional entities). Consequently, an individual can have a property only accidentally, but in virtue of having that property the individual has of necessity other properties. Intensional essentialism is opposed to various aspects of the Kripkean notion of metaphysical modality, eg, varying domains, existence as a property of individuals, and its category of properties which are both empirical (...) and essential with respect to particular individuals and natural kinds. The key notion of intensional essentialism isrequisite. A requisite is explicated as a relation-in-extension between two intensions (functions from possible worlds and moments of time)X, Y such that wherever and wheneverX is instantiatedY is also instantiated. We predict three readings of the sentence. Every wooden table is necessarily wooden , one involving modalityde re and the other two modalityde dicto. The first reading claims that no individual which is a wooden table is necessarily wooden. The claim is backed up by bare particular anti-essentialism. The two other interpretations claim that it is necessary that whatever is a wooden table is wooden. However, as we try to show, one is logically far more perspicuous thanks to the concept of requisite and thus preferable to more standardde dicto formalizations. (shrink)

I propose that we approach the epistemology of modality by putting modal metaphysics first and, specifically, by investigating the metaphysics of essence. Following a prominent Neo-Aristotelian view, I hold that metaphysical necessity depends on the nature of things, namely their essences. I further clarify that essences are core properties having distinctive superexplanatory powers. In the case of natural kinds, which is my focus in the paper, superexplanatoriness is due to the fact that the essence of a kind is (...) what causes all the many properties and behaviors that are typically shared by all the instances of the kind. Accordingly, we know what is necessarily true of kinds by knowing what is essential to them in the sense of actually playing such causal-explanatory roles. Modal reasoning aimed at discovering metaphysical necessity thus proceeds via essentialist deduction: we move from essentialist truths to reach necessary truths. (shrink)

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

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)

In the past three decades there has been a rapid development of the formal machinery for modal logic. Quantified modal logic has developed along with a semantics and model theory that is appropriate to it. With this technical development there has been relatively little discussion of what modality is all about. There are two fundamental questions that have gone unanswered. First, to what does necessity amount? Is this a new logical notion, or is it something that can (...) be further analyzed in terms of other notions that we already have at our disposal? The second question is what makes truths involving necessity true? What is their ontological grounding in the world? This essay is directed at the first of these questions. ;There are three possible reductions of metaphysical modality. First, there is the reduction suggested by the semantics for modal logic: a reduction in terms of possible worlds. Second, there is the reduction in terms of cognition. What is possible is what is conceivable. Third, there is the reduction in terms of language. Necessities arise from the structures of language and/or language use. ;I argue that none of these is successful. All of them suffer either from presupposing some form of metaphysical necessity in the reductive base, rendering them circular and not truly reductive, or they do not do justice to the modality being reduced. ;Since necessity is not reducible to any non-modal features of the world, we need to determine whether we ought to reject it as unacceptable on this basis, or whether we ought to retain it, but treat is as a new primitive that is introduced into a philosophical or logical theory. I urge the latter course is the one that we ought to take because without it too many things will likewise be deemed unacceptable. Causal necessity and explanation, normally accepted theories or knowledge and perception, logic and logical validity, and one common manner of distinguishing sets from properties will be deemed unacceptable if de re necessity is unacceptable. All of these presuppose de re metaphysical necessity in some way. I conclude that de re metaphysical necessity ought to be retained in our theory as primitive, unanalyzable notion. (shrink)

I undertake a metaphysical investigation of Saul Kripke's modern classic, Naming and Necessity . The general problem of my study may be expressed as follows: What is the metaphysical justification of the validity and existence of the pertinent classes of truths, the necessary a posteriori and the contingent a priori, according to the Kripke Paradigm? My approach is meant to disclose the logical and ontological principles underlying Kripke's arguments for the necessary a posteriori and the (...) contingent a priori respectively. The results of my study are to a certain extent negative: They attempt to show that the classes of the necessary a posteriori and the contingent a priori statements cannot possibly be valid. If the general argument of this thesis is sound, then, on this ground, the realist conception of metaphysical essentialism is rejected. The positive thesis of this study is the articulation of certain ways to frame the necessary a posteriori and the contingent a priori which avoid the problems of realistic essentialism and which suggest a certain transcendental reading of modality. According to the Kripke Paradigm, any de dicto modal status derives ultimately from the de re modality inherent in the object designated, as the object is characterised by contingent and necessary properties on the ontological level. Thus, the Kripke Paradigm is primarily a thesis in de re realist essentialism. The final verdict in this study is that the Kripke Paradigm cannot sustain the realistic conception of de re metaphysical essentialism. If we should adopt a transcendental reading of modality, then certain portions of the Kripke Paradigm are valid. I do not delineate or possess the details of a comprehensive doctrine of transcendental metaphysic. Nevertheless, the observations I make should suffice to bring about the rough orientation of how I conceive the notion of transcendental modality. (shrink)

It is commonly supposed that metaphysical modal claims are to be evaluated with respect to a single domain of possible worlds: a claim is metaphysically necessary just in case it is true in every possible world, and metaphysically possible just in case it is true in some possible world. We argue that the standard understanding is incorrect; rather, whether a given claim is metaphysically necessary or possible is relative to which world is indicatively actual. We motivate (...) our view by attention to discussions in Salmon 1989 and Fine 2005, in which various data are taken to support rejecting the transitivity of accessibility and modal monism ; we argue that relativized metaphysical modality can accommodate these data compatible with both standard modal logic and modal monism. Noting an analogy with two-dimensional semantics, we argue that metaphysical modality has a complex structure, reflecting what is counterfactually possible, relative to each indicatively actual world. In arguing for the need for relativization, we are broadly on the same side as Crossley and Humberstone and Davies and Humberstone ; our contribution here is, first, to offer distinctively metaphysical reasons for relativization, and second, to show that relativization can be incorporated in ways minimally departing from standard modal logic. (shrink)

Analytic philosophy has recently demonstrated a revived interest in metaphysical problems about possibility and necessity. Graeme Forbes here provides a careful description of the logical background of recent work in this area for those who may be unfamiliar with it, moving on to d discuss the distinction between modality de re and modality de dicto and the ontological commitments of possible worlds semantics. In addition, Forbes offers a unified theory of the essential properties of sets, organisms, artefacts, substances, (...) and events, based on the doctrine that identity facts must be intrinsically grounded, and analyzes and rejects apparent counterexamples to this doctrine. (shrink)

In her 1938 paper ‘Logical and Metaphysical Necessity’, Martha Kneale introduces the necessary a posteriori. I present a critical summary of Kneale's argument that so-called ‘metaphysical propositions’ are necessary but not a priori. I argue that Kneale is well placed to offer a template for reconciling conceivability approaches to modal epistemology with the post-Kripkean trend for taking metaphysical necessities to have their source in mind-independent reality.

Let an iterated essentialist statement be a statement of the form 'It lies in the nature of x1,x2,... that it lies in the nature of y1,y2,... that φ'. Let Iteration be the thesis that there are true iterated essentialist statements. Iteration has recently been disputed by Dasgupta (2014) and Glazier (2017). Both authors take the falsity of Iteration to be central to the explanatory role of essentialist truths. An important consequence that is not explicitly noted by them is (...) that the falsity of Iteration would entail that metaphysical necessity is not reducible to essence in the manner suggested by Fine (1994). This paper defends Iteration against these challenges, drawing attention to some features of the collective essences of properties, propositions, and logical operations that have been largely neglected in discussions about essence. (shrink)

This book sets out a Kant-inspired theory of modality, driven by a methodology which takes seriously questions about the function of modal judgment as a guide to a metaphysics of modality. It argues that we need logical modal concepts as a condition on our ability to think, and metaphysical modal concepts as a condition on our ability to think objectively. Concordant with this, it argues that logical necessity has its source in the laws of (...) thought and that metaphysical necessity is relative to conditions on objective thought. This this account of metaphysical necessity, which is termed “Modal Transcendentalism”, is then further developed, covering questions concerning necessary and contingent existence, de re necessity, essentialism, and modal epistemology. (shrink)

Arthur Pap’s work played an important role in the development of the analytic tradition. This role goes beyond the merely historical fact that Pap’s views of dispositional and modal concepts were influential. As a sympathetic critic of logical empiricism, Pap, like Quine, saw a deep tension in logical empiricism at its very best in the work of Carnap. But Pap’s critique of Carnap is quite different from Quine’s, and represents the discovery of limits beyond which (...) empiricism cannot go, where there lies nothing other than intuitive knowledge of logic itself. Pap’s arguments for this intuitive knowledge anticipate Etchemendy’s recent critique of the model-theoretic account of logical consequence. Pap’s work also anticipates prominent developments in the contemporary neo-Fregean philosophy of mathematics championed by Wright and Hale. Finally, Pap’s major philosophical preoccupation, the concepts of necessity and possibility, provides distinctive solutions and perspectives on issues of contemporary concern in the metaphysics of modality. In particular, Pap’s account of modality allows us to see the significance of Kripke’s well-known arguments on necessity and apriority in a new light. (shrink)

Could one give expression to a doctrine of essentialism without running afoul of semantical problems that are alleged to beggar systems of quantified modal logic? An affirmative answer is, I believe, called for at least in the case of individual essentialism. Individual essentialism is an ontological thesis concerning a kind of necessary connection between objects and their (essential) properties. It is not or anyhow not primarily a semantic thesis, a thesis about meanings, for example. And thus we are (...) implicitly counselled not to seek for the logical reconstruction of such necessities in theories in which necessity is a de ditto matter. A more natural-seeming target is an understanding of the structure of idioms of de re necessity. Of course, de re necessities may turn out to be special cases of necessities de ditto, with what consequences it is interesting to speculate upon, but it would be preferable if the theory of individual essences were to be prosecuted initially at least without prejudice to this other matter. A theory of individual essences therefore may find it a convenience to recognize a special category of open sentence by means of which to represent de re attributions of necessity. (shrink)

Essentialists hold that at least a certain range of entities can be meaningfully said to have natures, essences, or essential features independently of how these entities are described, conceptualized or otherwise placed with respect to our specifically human interests, purposes or activities. Modalists about essence, on the one hand, take the position that the essential truths are a subset of the necessary truths and the essential properties of entities are included among their necessary properties. Non-modalists about essence, on (...) the other hand, oppose the reduction of essence to modality and hold, rather, that essence is more basic than, and explanatory of, modality. This chapter begins with a brief summary of Kit Fine’s well-known challenges to the modal account of essence and considers a recent attempt by “sparse modalists” like Sam Cowling and Nathan Wildman to respond to Fine’s counterexamples by adding a sparseness constraint to the “bare” modal account of essence. A further question arises, however, as to whether and how Fine’s definitional approach can avoid his own counterexamples against the modal approach to essence. The chapter concludes with some final thoughts concerning the theoretical roles ascribed to essence by modalists and non-modalists. (shrink)

Modal logic, developed as an extension of classical propositional logic and first-order quantification theory, integrates the notions of possibility and necessity and necessary implication. Arguments whose understanding depends on some fundamental knowledge of modal logic have always been important in philosophy of religion, metaphysics, and epistemology. Moreover, modal logic has become increasingly important with the use of the concept of "possible worlds" in these areas. Introductory Modal Logic fills the need for a basic text on (...) modal logic, accessible to students of elementary symbolic logic. Kenneth Konyndyk presents a natural deduction treatment of propositional modal logic and quantified modal logic, historical information about its development, and discussions of the philosophical issues raised by modal logic. Characterized by clear and concrete explanations, appropriate examples, and varied and challenging exercises, Introductory Modal Logic makes both modal logic and the possible-worlds metaphysics readily available to the introductory level student. (shrink)

I begin by contrasting three approaches one can take to the distinction between the essential and accidental properties: an ontological, a deflationary, and a mind‐dependent approach. I then go on to apply that distinction to the necessary a posteriori, and defend the deflationist view. Finally I apply the distinction to modal truth in general and argue that the deflationist position lets us avoid an otherwise pressing problem for the actualist: the problem of accounting for the source of (...) class='Hi'>modal truth. (shrink)

In this paper I discuss and evaluate different arguments for the view that the laws of nature are metaphysically necessary. I conclude that essentialist arguments from the nature of natural kinds fail to establish that essences are ontologically more basic than laws, and fail to offer an a priori argument for the necessity of all causal laws. Similar considerations carry across to the argument from the dispositionalist view of properties, which may end up placing unreasonable constraints on property identity (...) across possible worlds. None of my arguments preclude the possibility that the laws may turn out to be metaphysically necessary after all, but I argue that this can only be established by a posteriori scientific investigation. I therefore argue for what may seem to be a surprising conclusion: that a fundamental metaphysical question – the modal status of laws of nature – depends on empirical facts rather than purely on a priori reasoning. (shrink)

A Critical Introduction to the Metaphysics of Modality examines the eight main contemporary theories of possibility behind a central metaphysical topic. Covering modal skepticism, modal expressivism, modalism, modal realism, ersatzism, modal fictionalism, modal agnosticism, and the new modal actualism, this comprehensive introduction to modality places contemporary debates in an historical context. Beginning with a historical overview, Andrea Borghini discusses Parmenides and Zeno; looks at how central Medieval authors such as Aquinas, and Buridan prepared (...) the ground for the Early Modern radical views of Leibniz, Spinoza, and Hume and discusses advancements in semantics in the later-half of the twentieth century a resulted in the rise of modal metaphysics, the branch characterizing the past few decades of philosophical reflection. Framing the debate according to three main perspectives - logical, epistemic, metaphysical- Borghini provides the basic concepts and terms required to discuss modality. With suggestions of further reading and end-of-chapter study questions, A Critical Introduction to the Metaphysics of Modality is an up-to-date resource for students working in contemporary metaphysics seeking a better understanding of this crucial topic. (shrink)

Many theories assimilate the idioms of modality to those of quantification; they hold that so-and-so is possible iff there is a "world" at which it is true that so-and-so. "Modal realism" identifies worlds with certain concrete particulars, and truth at a world with what is true of it. Rival "ersatz" theories identify worlds with certain abstract entities and identify what is true at them with what they represent. ;David Lewis argues that pre-theoretic modal intuitions are best explained by (...) modal realism. I try to make a case for ersatzism. ;First, I argue that modal realism is flawed on the grounds that it entails the impossibility of certain intuitively possible spatiotemporal structures; it fails to explain fully even those intuitions with which it is compatible; and it renders the origin of modal knowledge mysterious. ;Next, I argue that objections to ersatzism are not conclusive. ;Lewis objects that even a generic version of ersatzism requires an unnameable and maybe unintelligible primitive relation. I suggest that the problems with naming are perfectly general; they have nothing to do with metaphysical theories of modality in particular. And I suggest a solution taken from Lewis himself. I also argue that any purported unintelligibility is due to illegitimately assimilating the relation to spatiotemporal relations. ;Finally, I consider some difficulties with a version of ersatzism that aims to reduce modality to impure set-theory. One concerns the accommodation of intuitions about properties that are not, but might have been, instantiated. Another concerns accommodation of intuitions about relations of exclusion and entailment among properties. I suggest that these difficulties are due to faulty assumptions about the nature of properties rather than any fundamental flaws in this ersatz approach. So I propose an account of properties that when incorporated into ersatzism circumvents these difficulties and allows it to claim the advantages of modal realism without its drawbacks. Unlike traditional accounts, this takes the essence of a property to consist in its role in imposing a certain classificational structure on the particulars that instantiate it, rather than in any unique and irreducible "quiddity". (shrink)

What is the relationship between ontology and modality - between what there is, and what there could be, must be, or might have been? Bob Hale interwove these two strands of metaphysics throughout his long and distinguished career, putting forward his theses in his book, Necessary Beings: An Essay on Ontology, Modality, and the Relations Between Them (OUP 2013). Hale addressed questions of ontology and modality on a number of fronts: through the development of a Fregean approach to ontology, (...) an essentialist theory of modality, and in his work on neo-logicism in the philosophy of mathematics. The essays in this volume engage with these themes in Hale's work in order to progress our understanding of ontology, modality, and the relations between them. Some directly address questions in modal metaphysics, drawing on ontological concerns, while others raise questions in modal epistemology and of its links to matters of ontology, such as the challenge to give an epistemology of essence. Several essays also engage with questions of what might be called 'modal ontology': the study of whether and what things exist necessarily or contingently. Such issues have an important bearing on the kinds of semantic commitments engendered in logic and mathematics (to the existence of sets, or numbers, or properties, and so on) and the extent to which one's ontology of necessary beings interacts with other plausible assumptions and commitments. (shrink)

In the first chapter I have introduced Carnapian intensional logic against the background of Frege's and Quine's puzzles. The main body of the dissertation consists of two parts. In the first part I discussed Carnapian modal logic and arithmetic with descriptions. In the second chapter, I have described three Carnapian theories, CCL, CFL, and CNL. All three theories have three things in common. First, they are formulated in languages containing description terms. Second, they contain a system of modal (...) logic. Third, they do not contain the unrestricted classical substitution principle, but they do contain the classical substitution principle restricted to non-modal formulas and the Carnapian substitution principle, which says that two terms can be substituted salva veritate if they are necessarily coreferential. There are two major differences between the three theories. First, CCL and CFL allow universal instantiation with description terms, whereas CNL does not. Moreover, the quantificational theory of the CCL is classical, whereas the quantificational theory of CFL is a free logic. Another difference is that CCL and CFL contain different description principles. Most importantly, the description principle of CCL ensures that even improper descriptions have a denotation, whereas the description principle of CFL does not guarantee this. CNL does not have a description principle. In the third chapter, I have studied collapse arguments for CCL, CFL, and CNL. A collapse argument is an argument for the following statement: if p is true, then it is necessarily true. A crucial role in the proofs of these collapse results was played by so-called self-predication principles, which say that under certain conditions the predicate that expresses the descriptive condition can be combined by the description term formed out of that predicate with the result being a true sentence. In this chapter I have discussed a collapse argument for the extension of CCL with a self-predication principle, I have given a collapse argument for a similarly extended CFL, and most importantly, I have given a collapse argument for the extension of CNL with a self- predication principle. Finally, I have argued that the relevant self-predication principles are unsound under a Carnapian interpretation. In the fourth chapter, I have studied the extension of Peano Arithmetic with a Carnapian modal logic C, which is a dummy letter standing for either CCL or CFL. One can prove that the principle of the necessity of identity is a theorem of CPA. This implies that one gets a collapse result for CPA. The standard principle of weak induction was crucial for the proof. One can also prove that, if one assumes a particular self-predication principle, and if one assumes the principle of strong induction or, equivalently, the least-number principle, then one gets a partial collapse of de re modal truths in de dicto modal truths. I have argued that, if the box operator is interpreted as a metaphysical necessity operator, then Platonists would not be inimical to the collapse result. But if CPA is extended with a physical theory, then there is a threat that physical truths become physical necessiti es. It was shown that, under a Carnapian interpretation, the standard principle of weak induction is unsound, and that it can be replaced by a Carnapian principle of weak induction that is sound. The problem of logical and mathematical omniscience prevents ordinary Carnapian intensional logic from being taken seriously as a logic adequate for describing the principles of demonstrability. Yet many of the proof-theoretic results of the first part carry over to the part on Carnapian epistemic arithmetic with descriptions, since proof-theoretic results are independent of the informal reading of the operators. In the fifth chapter, I looked at extensions of arithmetic with a modal logic in which the box operator is interpreted as a demonstrability operator. A first extension in that sense is Shapiro s Epistemic Arithmetic. Shapiro himself offered the problem of mathematical omniscience as a reason why it is difficult to find a model theory for EA. Horsten attempted to provide a model theory via the detour of Modal-Epistemic Arithmetic. The attention of the reader was drawn to an incoherence in the model theory of. Two alternative solutions were presented and, after a short discussion of the problem of de re demonstrability one of those alternatives was chosen. The discussion of the problem of de re demonstrability made it clear that it would be interesting to study the epistemic properties of notation systems. Horsten himself provided a framework for this, viz. Carnapian Epistemic Arithmetic, and he started a systematic study of the epistemic properties of notation systems within that framework. However, he did not provide non-trivial but adequate models. To make a start with solving the problem of finding good models for CEA, I introduced Carnapian Modal-Epistemic Arithmetic In constructing CMEA I incorporated the lesson about the principle of weak induction learnt in the fourth chapter. In the sixth chapter, I gave a critical assessment of an argument concerning the limits of de re demonstrability about the natural numbers. The conclusion of the Description Argument is that it is undemonstrable that there is a natural number that has a certain property but of which it is undemonstrable that it has that property. A crucial step in the Description Argument involved a self-predication principle. Making good use of one of the results obtained in the third chapter, I proved a collapse result for the background theory against which the Description Argument was formulated. I concluded that either the either the Description Argument is sound but its conclusion is trivial, o r the Description Argument is unsound, or it is a cheapshot. As an appendix I included an article co-authored by prof. dr. Leon Horsten and me. The topic of the article is indirectly related to some other topics investigated in my dissertation. Also, it backs up one of the addition al theses I might be asked to publicly defend during my doctoral exam. T he topic of the appendix is the set of the so-called paradoxes of strict implication. Jonathan Lowe has argued that a particular variation on C.I. Lewis notion of strict implication avoids the paradoxes of strict implication. Pace Lowe, it is argued that Lowe s notion of implication does not achieve this aim. Moreover, a general argument is offered to the effect that no other variation on Lewis notion of constantly strict implication describes the logical behaviour of natural language conditional s in a satisfactory way. (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)

Edited by Ivette Fred-Rivera and Jessica Leech. What is the relationship between ontology and modality: between what there is, and what there could be, must be, or might have been? Throughout a distinguished career, Bob Hale’s work has addressed this question on a number of fronts, through the development of a Fregean approach to ontology, an essentialist theory of modality, and in his work on neo-logicism in the philosophy of mathematics. This collection of new essays engages with these themes in (...) Hale’s work in order to make further progress in our understanding of ontology, modality, and the relations between them. Some essays directly address questions in modal metaphysics, drawing on ontological concerns. Others raise questions in modal epistemology and its links to matters of ontology, such as the challenge to give an epistemology of essence. There are also several essays engaging with questions of what might be called ‘modal ontology’: the study of whether and what things exist necessarily or contingently. Such issues can be raised and addressed directly, but they also have an important bearing on the kinds of semantic commitments engendered in logic and mathematics, e.g., to the existence of sets, or numbers, or properties, and so on. It is thus explored in some chapters to what extent one’s ontology—and indeed, one’s ontology of necessary beings—interacts with other plausible assumptions and commitments. (shrink)

I discuss one version of a puzzle about the identity of a statue with the lump of clay of which it is made. The case is one in which the statue and lump agree in all their non-modal features. While this is a favorable case for the claim that they are identical, we nonetheless have discrepant intuitions about their potentialities, which appear irreconcilable. Critical analyses are given of recent treatments by Allan Gibbard, Kit Fine, and Stephen Yablo. An ontologically (...) conservative solution to the puzzle is offered which has the following features: the statue and lump of clay are said to be identical, our discrepant modal intuitions about the statue and lump are validated, identity is necessary, and is a relation between objects, not concepts, Leibniz' Law is not constrained, only a standard modal logic and semantics is needed, and our modal logical intuitions are preserved. In part, this last consists in proving that standard modal logics have certain structural features. In addition, the proposed account allows that names have the same function in and out of modal contexts, namely just to refer. As well, it allows genuine de re modality, i.e. that things have genuine modal properties. How the account meets general concerns about de re modality and essentialism is discussed. The proposed method of solution is also shown to apply to a number of other modal puzzles. (shrink)

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in (...) terms of Fine's logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

What makes a valid argument valid? Generally speaking, in a valid argument, if the premisses are true, then the conclusion must necessarily also be true. But on its own, this doesn’t tell us all that much. What is truth? And what is necessity? In what follows, I consider answers to these questions proposed by the fourteenth century logician John Buridan († ca. 1358). My central claim is that Buridan’s logic is downstream from his metaphysics. Accordingly, I treat his metaphysical (...) discussions as the key to his logic. As has been often noted, Buridan’s metaphysics are radically anti-realist about universals, though I think the depth and scope of his anti-realism has at times been papered over. Buridan constructs his logic on an amazingly spartan ontology, and this accomplishment is overdue for reconsideration. To the foregoing questions: truth is a feature of propositions, and of propositions only—not of proposition-like states of affairs, or anything like that. It is a function of the reference or supposition (suppositio) of their terms, which depends on predication in a propositional context. And necessary truth is grounded in causation: a predication is necessary if it cannot be falsified by any power, natural or supernatural, without ii annihilating what its terms stand for. “Socrates is a human”, for instance, can only be falsified by annihilating Socrates, and so it is a necessary truth. -/- These considerations provide an ample theoretical basis for a thorough examination of Buridan’s modal logic. This is what the thesis culminates with. In the final chapter, I set forth some novel and surprising findings, chief of which is this: Buridan’s modal syntax and semantics are nothing like Kripke’s—and indeed are incompatible with them. This has significant implications not only for modal logic and metaphysics, but for how we think about medieval logic and philosophy more generally. -/- Throughout the thesis, I advocate a methodology of emphasising the differences, rather than the similarities, between past and present thought. Buridan is wildly unlike what we’re used to, and we should let him speak for himself. (shrink)

Abstract Timothy Williamson has recently proposed to undermine modal skepticism by appealing to the reducibility of modal to counterfactual logic ( Reducibility ). Central to Williamson’s strategy is the claim that use of the same non-deductive mode of inference ( counterfactual development , or CD ) whereby we typically arrive at knowledge of counterfactuals suffices for arriving at knowledge of metaphysical necessity via Reducibility. Granting Reducibility, I ask whether the use of CD plays any essential role in (...) a Reducibility-based reply to two kinds of modal skepticism. I argue that its use is entirely dispensable, and that Reducibility makes available replies to modal skeptics which show certain propositions to be metaphysically necessary by deductive arguments from premises the modal skeptic accepts can be known. Content Type Journal Article Pages 1-19 DOI 10.1007/s11098-011-9784-4 Authors Juhani Yli-Vakkuri, Wolfson College, Oxford University, Oxford, OX2 6UD UK Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

“Modal logic was conceived in sin: the sin of confusing use and mention.” So quips Quine. The stigma stuck with modal logic for a while. But by the mid-sixties, a whole cluster of mathematically elegant interpretations of modal logic became available. All are natural extensions of the classical Tarskian semantics of predicate logic. By the mid-seventies, Quine’s criticisms seemed obsolete. Today, we teach the model theory of modal logic as a matter of course. Quine’s “interpretive problem” (...) is just forgotten. The purpose of my dissertation is to revamp Quine’s thesis: the very foundations of modal logic—simple propositional modal logic, even before quantifiers are added—are shaky. Quine holds that the natural interpretation of the operator “necessarily” is in terms of a full-blooded metaphysical notion of real necessity. Such a notion, Quine conjectures, is committed to the “metaphysical jungle of Aristotelian essentialism”. Hence, the intended interpretation is to be rejected. Thus Quine: so much the worse for real necessity. An alternative comes to mind: a meta-level, formal rather than real, semantic interpretation of the operator of necessity. In the late forties, Carnap developed this line of interpretation which culminates in the aforementioned model theory (“Kripke’s possible world semantics”) in the sixties. On this basis a formal interpretation is introduced: it grounds necessity in the notion of model theoretic validity. As pointed by friends of the formal interpretation (Marcus, Parsons and Kaplan), no invidious essentialist claim is verified. But have Quine’s concerns been answered? Yes and no. Technical problems regarding quantification across modal operators, substitutivity, matters of scope, and the basis of cross-world identification have indeed been solved. However, no real interpretation of “necessarily” has been provided. I argue that the seeds of such an interpretation are present in Kripke’s philosophical discussion of de re necessities in Naming and Necessity. It is not model theoretic, and it does not reduce necessity to some non-modal notion, just as Quine predicted. Even more in his vein, the real interpretation is (i) metaphysically, grounded indeed in essentialist theses, and (ii) epistemologically, forced to give up Kant’s ideal that all necessities are known a priori. (shrink)

In this book, Richard Brian Davis explores various attempts to solve the Dependence Problem – the problem posed by the following question: How can necessary truths stand to God in a one-way relation of dependence when neither they nor God could have failed to exist? Critics charge that this problem is insoluble. Davis argues at length that the most powerful and promising contemporary solutions to this problem – those offered by Linda Zagzebski, Brian Leftow, Thomas V. Morris, and William (...) Mann – are all fatally flawed. In making his case, Davis treats the reader to helpful and interesting discussions of counterpossibles, broadly logical necessity, identity statements, as well as the divine attributes of sovereignty, aseity, and simplicity. He concludes with what is perhaps the most forceful and sustained defense of the claim that necessary truths can stand to God in an asymmetrical relation of causal dependence. (shrink)

Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the necessity of identity (...) and the substitutivity of identicals into modal contexts. (shrink)

This paper examines the interaction between the philosophy and psychology of concepts and the modal characterization of the deductive concept of logical validity. The concept of logical consequence on which I focus is model-theoretic, where the concept records the property of necessary truth-preservation from the premise of an argument to its conclusion, as well as the condition that, in the class of all possible worlds in which a premise is true, a consequent formula or succedent class (...) of formulas is true, as well. Focusing on the case of logical necessity, I argue that the ability to account for the modal properties of concepts places a desideratum on the explanatory adequacy of theories of mental representation. I outline, then, five approaches to the nature of concepts pursued in philosophy and cognitive science, and argue that the above desideratum does not appear to be satisfiable by the candidate proposals. Given the limits of the foregoing, I appeal to a sixth approach -- namely, cognitivism about epistemic modality, according to which epistemic intensions are semantically imbued functions in the language of thought -- and endeavor to demonstrate how the proposal can sufficiently account for the modal profile of the concept of logical consequence. (shrink)

Aristotle's Modal Logic, first published in 1995, presents an interpretation of Aristotle's logic by arguing that a proper understanding of the system depends on an appreciation of its connection to the metaphysics. Richard Patterson develops three striking theses in the book. First, there is a fundamental connection between Aristotle's logic of possibility and necessity, and his metaphysics, and that this connection extends far beyond the widely recognised tie to scientific demonstration and relates to the more basic distinction between the (...) essential and accidental properties of a subject. Second, Aristotle's views on modal logic depend in very significant ways on his metaphysics without entailing any sacrifice in rigour. Third, once one has grasped the nature of the relationship, one can understand better certain genuine difficulties in the system of logic and appreciate its strengths in terms of the purposes for which it was created. (shrink)

I argue that it is metaphysically necessary that: (i) every fundamental entity is conscious, and (ii) every fundamental property is a phenomenal property.

Over the last half century, possible worlds have bled into almost every area of philosophy. In the metaphysics of modality, for example, philosophers have used possible worlds almost exclusively to illuminate discourse about metaphysical necessity and possibility. But recently, some have grown dissatisfied with possible worlds. Why are horses necessarily mammals? Because the property of being a horse bears a special relationship to the property of being a mammal, they say. Not because every horse is a mammal in every (...) possible world. Some have recently begun to use properties to develop rivals to possible worlds semantics which may someday compare in formal power and capture the different systems of modal logic. In this paper, I do two things. I first offer a quick primer on possible worlds semantics. Then I discuss three rivals and the work they have left to do. (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 \textbf{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 and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-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 $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-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 \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{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 \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{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 \textbf{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 $\Omega$-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 \textbf{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 \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{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 interpretational and objective modalities and the 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 \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{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)

where F is a contradiction (I use his numbering). Tim says about these equivalences: (1) “modulo the implicit recognition of this equivalence, the epistemology of metaphysically modal thinking is a special case of the epistemology of counterfactual thinking. Whoever has what it takes to understand the counterfactual conditional and the elementary logical auxiliaries ~ and F has what it takes to understand possibility and necessity operators.” (158) (2) The idea that we evaluate metaphysically modal claims “by some (...) quite different means [from those we use to evaluate counterfactuals – CP] is highly fanciful, since it indicates a bizarre lack of cognitive economy and has no plausible explanation of where the alternative cognitive resources might come from” (162) (3) “the capacity to handle metaphysical modality is an “accidental” byproduct of the cognitive mechanisms that provide our capacity to handle counterfactual conditionals” (162). The biconditional corresponding to a proposed definition of a concept C may be necessary and a priori. But that leaves open these questions: (1) Does the definition contribute to an explanation of why what are in fact truths containing C are true? (The Explanation Question) (2) Does the definition contribute to an explanation of our knowledge of certain contents containing C? (Epistemic Question) (3) Does the definition contribute to an explanation of our understanding or grasp of contents containing C? (Understanding Question) I argue that applied to (17) and (18), considered as definitions, the answers to these three.. (shrink)

Since Kit Fine published his famous counter-examples to the modal account of essence, numerous modalists have proposed to avoid the counter-examples by revising the modal account. A sophisticated revision has been put forward by Fabrice Correia. Drawing on themes from Prior’s modality, Correia has introduced a nonstandard conception of metaphysical modality and has proposed to analyze essence in its terms. He has claimed that the analysis is immune to Fine’s counter-examples. In this paper, I argue that there (...) are counter-examples supported by the very intuition underlying Fine’s counter-examples, which are not accommodated by Correia’s account. If my argument is sound, then Correia has not been successful in his defense of modalism. An important corollary of my argument will be that Fine’s consequential conception of essence needs to be modified if it is to capture his own intuitive notion of essence. (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)

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)

This paper attacks the modal ontological argument, as advocated by Plantinga among others. Whereas other criticisms in the literature reject one of its premises, the present line is that the argument is invalid. This becomes apparent once we run the argument assuming fictionalism about possible worlds. Broadly speaking, the problem is that if one defines “x” as something that exists, it does not follow that there is anything satisfying the definition. Yet unlike non-modal ontological arguments, the modal (...) argument commits this “existential fallacy” not in relation to the definition of ‘God’. Rather, it occurs in relation to the modal facts quantified over within a Kripkean modal logic. In brief, we can describe the modal facts by whichever logic we prefer—yet it does not follow that there are genuine modal facts, as opposed to mere facts-according-to-the-fiction. A broader consequence of the discussion is that the existential fallacy is an issue for many projects in “armchair metaphysics.”. (shrink)