Many metaphysical controversies can be understood as debates over whether some alleged entities are metaphysically possible. No doubt, with regard to these matters, we may have opinions or theories, commonsensical or sophisticated. But do we have knowledge of them? Can we really know that something is metaphysically possible, and if so, how? Several different answers have been offered in the literature, intending to illustrate how we may have knowledge of metaphysical modality. In this paper, I concentrate on a proposal by (...) Timothy Williamson. On this account, our alleged knowledge of metaphysical modality is justified by and grounded in our capacity to handle ordinary mundane counterfactual conditionals. However, I argue that Williamson’s account fails, mainly because the modality involved in ordinary mundane counterfactuals is causal, and thus our capacity to handle them still falls short of giving us any knowledge of metaphysical modality. In the end of the paper, I also provide my own answer to the question. My answer is a sceptical one: we do not really have knowledge of metaphysical modality. But such ignorance is harmless, or so I argue. (shrink)

The present paper discusses different approaches to metaphysics and defends a specific, non-deflationary approach that nevertheless qualifies as scientifically-grounded and, consequently, as acceptable from the naturalistic viewpoint. By critically assessing some recent work on science and metaphysics, we argue that such a sophisticated form of naturalism, which preserves the autonomy of metaphysics as an a priori enterprise yet pays due attention to the indications coming from our best science, is not only workable but recommended.

We have some justified beliefs about modal matters. A modal epistemology should explain what’s involved in our having that justification. Given that we’re realists about modality, how should we expect that explanation to go? In the first part of this essay, I suggest an answer to this question based on an analogy with games. Then, I outline a modal epistemology that fits with that answer. According to a theory-based epistemology of modality, you justifiably believe that p if you justifiably believe (...) a theory that says that p and you believe p on the basis of that theory. (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)

The epistemology of essence is a topic that has received relatively little attention, although there are signs that this is changing. The lack of literature engaging directly with the topic is probably partly due to the mystery surrounding the notion of essence itself, and partly due to the sheer difficulty of developing a plausible epistemology. The need for such an account is clear especially for those, like E.J. Lowe, who are committed to a broadly Aristotelian conception of essence, whereby essence (...) plays an important theoretical role. In this chapter, our epistemic access to essence is examined in terms of the a posteriori vs. a priori distinction. The two main accounts to be contrasted are those of David S. Oderberg and E.J. Lowe. (shrink)

Vaidya and Wallner [2021] claim that most relevant theories in recent epistemology of modality, that is, Conceivability-Theory, Counterfactual-Theory, and Deduction-Theory, face what they name “the problem of modal epistemic friction”, in a nutshell, the need to add some relevant information about the nature of the world that is not provided by the theories as such. Their proposal is that essences supply the needed information. In this paper I will agree with Vaidya and Waller’s detection of the problem of modal epistemic (...) friction, but I will importantly disagree with their solution in terms of a metaphysics and epistemology of essences. I will argue that knowledge of essence is neither necessary nor sufficient for metaphysical modal knowledge and claim instead that modal knowledge is firstly grounded in the categories that conform the facts of reality. Categorial knowledge does the job of creating the friction needed in all cases of modal metaphysical knowledge.Moreover, given the structural character of metaphysical categories, intuition is the basic proper form of modal knowledge. In fact, I will contend that intuition is the source of a priori knowledge invoked in Kripkean schemas for a posteriori modal truths. (shrink)

This essay outlines a hierarchical framework of Reality that allows for degrees of Reality. I use Reality (with a capital “R”) to designate reality in a primitive, metaphysical sense. Reality, grounding, and essence are the key elements of the framework presented here. I assume that Reality must have a fundamental level and all fundamental phenomena must be Real. Moreover, I postulate that everything non-fundamental is ultimately grounded in the fundamental Real. But what about the Reality of the non-fundamental? I argue (...) that it is possible for non-fundamental phenomena to be Real, Unreal, or Semi-Real. The framework developed here accommodates these possibilities and illuminates them using the notion of essence. I argue that the essential nature of a phenomenon determines its degree of Reality. The framework does not assume that Reality must have degrees but only that it may have degrees. Its theoretical attractiveness consists in its ability to accommodate many diverse intuitions about grounding, help us better understand and classify theories about grounding, and illuminate Reality and its possible degrees. (shrink)

Husserl's proposed method for knowing the essences of universals, which he calls “free variation,” has been widely criticized for involving viciously circular reasoning. In this paper, I review existing attempts to resolve this problem, and I argue that they all fail. I then show that extant accounts are all guilty of a common mistake: they assume that circularity is inevitable as long as the exercise of free variation presupposes the ability to identify the universal whose essence is in question, that (...) is, the ability to recognize entities as instances of it. I reject this assumption: I argue on both Husserlian and independent philosophical grounds that knowledge of a universal's essence is not required for identifying it, but only for re‐identifying it at every possible world in which it is instantiated. I then defend a reading on which free variation's purpose is to move its practitioner from non‐essentialistic knowledge of a universal's identity (its actual instantiation‐pattern) to essentialistic knowledge of its transworld identity (its instantiation‐pattern in every possible world in which it is present). And I show that such a transformation is a non‐circular progression from non‐modal to modal knowledge. (shrink)

The chapter discusses the issue of how we may achieve knowledge of essence. It offers a critical survey of the main theories of knowledge of essence that have been proposed within contemporary debates, particularly by Lowe, Hale, Oderberg, Elder, and Kment.

Un libro de texto de lógica, argumentación y razonamiento probabilístico que he estado escribiendo durante los últimos años. Lo he usado para clases en bachillerato, licenciatura y posgrado. Está incompleto todavía, pero las primeras tres partes (argumentación, lógica proposicional, y cuantificación) están completas a un 85%, aproximadamente. Si lo usas, me ayudarías mucho mandándome comentarios, críticas y cualquier sugerencia.

Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this metatheory, ontological forms of entities (...) are their standings in internal relations whose holding is neutral on the character of their relata. These relations are “formal ontological relations”. Entities belong to ontological categories because they stand in the same formal ontological relations. We hold a nominalist relationalism about ontological categories and forms. We conclude by showing that our metatheory is useful for understanding categorial fundamentality/non- fundamentality, different formal ontologies, and for unifying metaphysical questions. (shrink)

The paper aims to answer the question: «How does an electron exist at the beginning of the 21st century?» from the point of view of the general logic of the philosophy of science discourse, taking into account con­temporary philosophical concepts that explain what an «electron» is, and in what sense we could talk about the «existence» of such objects in the first quarter of the 21st century. A good concept of the existence of an object postulated by a successful scientific (...) theory should at least take into account two contexts of proper philosophical reasoning – reasoning «from science», grasping the questions of the philosophical and meth­odological justification of knowledge at the level of certain «standards of rationality» that correspond to the chosen theory, and reasoning «from metaphysics», which, in the appropriate context, interpret «elec­tron» as an element of objective reality, as if the electron of scientists «actually» existed. Our thesis is that by choosing as the main elements of the concept the Dennettian ontology of patterns project and the E.J. Lowe’s neo-Aristotelian categorical ontology project, we will be able to block the problem of pessimis­tic meta-induction (H. Putnam, L. Laudan, etc.). The electron exists as a pattern that we extract from the whole set of empirical data associated with the theoretical entity «electron», whose «real definition» right now is given by the Standard Model and the accompanying concepts from quantum mechanics. In the course of the scientific revolution, the electron, as a pattern, does not disappear anywhere, since parts of the «real definitions» of the patterns of the old «paradigm», those that can be retrospectively interpreted and functionally meaningfully coupled with the new one, will be asserted within the «real definitions» of the new patterns, which indicates on the existence of a relationship of «essential dependence» between the «old» and the «new» patterns. (shrink)

It is widely believed that some a priori necessary truths are not analytic in the sense of transformable by substitution of synonyms into logical truths. One much-cited example comes from the supposed incompatibility between colour predicates. The idea is that sentences like “Nothing is both blue all over (or uniformly or at a point) and also red” are not transformable into a logical truth in the same way as “Nothing is both a bachelor and married” because the requisite conceptual link (...) between “bachelor” and “not married” is absent between “blue” and “not red”. This paper examines whether colour exclusion may be more like the bachelor case than it initially appears. It transpires that the most promising line of thought is not, however, as has been argued at length in the literature, that “blue” in some more or less convoluted way manages to mean “not red”. Instead it is suggested that the requisite conceptual link may reside in the oft-ignored qualifications (“all over”, “uniformly”, etc.), without which there is no incompatibility in the first place. (shrink)

Dispositionalism is the theory of modality that grounds all modal truths in powers: all metaphysically possible and necessary truths are to be explained by pointing to some actual power, or absence thereof. One of the main reasons to endorse dispositionalism is that it promises to deliver an especially desirable epistemology of modality. However, so far this issue has not be fully investigated with the care it is due. The aim of this paper is to fill this gap. We will cast (...) some doubts on whether the dispositionalist really is in a better position to explain our modal knowledge. In fact, we argue that there is a tension between some core tenets of a powers metaphysics and the very features that make dispositionalism the ideal backdrop for a desirable epistemology of modality. We conclude that this leaves dispositionalists who want to deliver the promised epistemology with a hard, currently unfulfilled, task. (shrink)

In, the author proposes a survey of Zalta’s Object Theory and, more specifically, of the Modal Axiom of Encoding. MAE claims that if something x possibly encodes a property F, then x necessarily encodes F. According to Bourgeois-Gironde, MAE fails to account for intentional phenomena which occur in conceivability-contexts. His solution is based on the notion of quasi-encoding: x quasi-encodes F iff x possibly encodes F. In this paper, I show that Bourgeois-Gironde’s concern is misguided and that Zalta’s framework captures (...) the conceivability-phenomena at issue by modeling Husserl’s notion of Noemata. I then argue that his solution is superior to Bourgeois-Gironde’s. The philosophical significance of such a discussion nonetheless goes well beyond the debate between these two authors. Indeed, Zalta’s theory of Noemata is only sketched and needs to be further explored to see, on the one hand, whether and how Object Theory successfully describes the behavior of objects in conceivability-contexts, and, on the other hand, to test the efficacy of its primitive notions that are – as the contemporary debate on Neomeinongianism largely shows – anything but uncontroversial. (shrink)

I know that I could have been where you are right now and that you could have been where I am right now, but that neither of us could have been turnips or natural numbers. This knowledge of metaphysical modality stands in need of explanation. I will offer an account based on our knowledge of the natures, or essencess, of things. I will argue that essences need not be viewed as metaphysically bizarre entities; that we can conceptualise and refer to (...) essences; and that we can gain knowledge of them. We can know about which properties are, and which properties are not, essential to a given entity. This knowledge of essence offers a route to knowledge of the ways those entities must be or could be. (shrink)

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

We offer a reconstruction of Richard Price’s intuition-based epistemology of normative essences, highlighting its key elements and showing how it differs from the approaches taken by other intuitionists such as Thomas Reid and G. E. Moore, as well as sentimentalists such as Francis Hutcheson and David Hume. While our analysis aims to shed light on Price’s moral epistemology, it also seeks to contribute to contemporary debates about the epistemology of essence, advancing a general intuition-based theory. These two goals are related, (...) for the former operates in the service of the latter. In this way, our discussion illustrates the role that historical research might play in contemporary inquiries into intuition. (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 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)

This paper is inspired by and develops on E. J. Lowe’s work, who writes in his book The Possibility of Metaphysics that ‘metaphysical possibility is an inescapable determinant of actuality’ (1998: 9). Metaphysics deals with possibilities – metaphysical possibilities – but is not able to determine what is actual without the help of empirical research. Accordingly, a delimitation of the space of possibilities is required. The resulting – controversial – picture is that we generally need to know whether something is (...) possible before we can know whether it is actual. In order to appreciate this picture, we need to understand Lowe’s slogan: ‘essence precedes existence’ (Lowe 2008: 40). This slogan has both an ontological and an epistemic reading. The ontological reading is related to the now familiar idea that essence grounds modality, as popularised by Kit Fine. The epistemic reading suggests that we can know the essence of some entity before we know whether or not that entity exists. However, this idea is often met with puzzlement and Lowe himself sadly passed away before he had a chance to clarify this framework. I will present the framework as I understand it, develop it on my own terms, and put forward a qualified defence of it. I will also illustrate how the framework can be put to use with a case study concerning the discovery of transuranic elements. (shrink)

We review some of the major accounts in the current epistemology of modality and identify some shared issues that plague all of them. In order to provide insight into the nature of modal statements in science, philosophy, and beyond, a satisfactory epistemology of modality would need to be suitably applicable to practical and theoretical contexts by limited beings. However, many epistemologies of modality seem to work only when we have access to the kind of knowledge that is at least currently (...) beyond our reach. Or, in the extreme case, it is argued that even if we knew all the relevant information about the respective domain – or even the entire state of the world – there would still remain a special class of modal truths that would be left unaccounted for. Neither picture bodes well for practical applicability, nor for the philosophical justification of these epistemologies. This is especially the case as we hold that one of the main motivations for modal inquiry typically arises in cases of imperfect information and limited cognitive resources. We close by providing a partial remedy to the situation by suggesting an overall framework of relative modality (RM) that can be used to both unify some existing modal epistemologies and, at the same time, make them more metaphysically modest. (shrink)

Philosophers often make exotic-sounding modal claims, such as: “A timeless world is impossible”, “The laws of physics could have been different from what they are”, “There could have been an additional phenomenal colour”. Otherwise popular empiricist modal epistemologies in the contemporary literature cannot account for whatever epistemic justification we might have for making such modal claims. Those who do not, as a result of this, endorse scepticism with respect to their epistemic status typically suggest that they can be justified but (...) have yet to develop some distinct, workable theory of how. That is, they endorse a form of non-uniformism about the epistemology of modality, according to which claims about philosophically interesting modal matters need to be justified differently from e.g. everyday or scientific modal claims, but they fail to provide any more detail. This article aims to fill this gap by outlining how such a non-uniformist view could be spelled out and what story about philosophically interesting modal justification it could contain. (shrink)

Recent epistemology of modality has seen a growing trend towards metaphysics-first approaches. Contrastingly, this paper offers a more philosophically modest account of justifying modal claims, focusing on the practices of scientific modal inferences. Two ways of making such inferences are identified and analyzed: actualist-manipulationist modality and relative modality. In AM, what is observed to be or not to be the case in actuality or under manipulations, allows us to make modal inferences. AM-based inferences are fallible, but the same holds for (...) practically all empirical inquiry. In RM, modal inferences are evaluated relative to what is kept fixed in a system, like a theory or a model. RM-based inferences are more certain but framework-dependent. While elements from both AM and RM can be found in some existing accounts of modality, it is worth highlighting them in their own right and isolating their features for closer scrutiny. This helps to establish their relevant epistemologies that are free from some strong philosophical assumptions often attached to them in the literature. We close by showing how combining these two routes amounts to a view that accounts for a rich variety of modal inferences in science. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

According to essentialism, metaphysical modality is founded in the essences of things, where the essence of a thing is roughly akin to its real definition. According to potentialism (also known as dispositionalism), metaphysical modality is founded in the potentialities of things, where a potentiality is roughly the generalized notion of a disposition. Essentialism and potentialism have much in common, but little has been written about their relation to each other. The aim of this paper is to understand better the relations (...) between essence and potentiality, on the one hand, and between essentialism and potentialism, on the other. It is argued, first, that essence and potentiality are not duals but interestingly linked by a weaker relation dubbed ‘semi-duality’; second, that given this weaker relation, essentialism and potentialism are not natural allies but rather natural competitors; and third, that the semi-duality of essence and potentiality allows the potentialist to respond to an important explanatory challenge by using essentialist resources without thereby committing to essentialism. (shrink)

How can we acquire knowledge of metaphysical modality? How can someone come to know that he could have been elsewhere right now, or an accountant rather than a philosophy teacher, but could not have been a turnip? Jago proposes an account of a route to knowledge of the way things could have been and must be. He argues that we can move to knowledge of metaphysical modality from knowledge about essence. Curtis rejects Jago’s explanation. It cannot, he argues, explain our (...) knowledge of de re necessity. We agree. But there is more to be said. To give an account of our knowledge of metaphysical necessity is part of the task Jago set himself. But another part is to give an account of the knowledge of the possibilities accorded to particular objects. And prior to both what is needed, and something Jago attempts to supply, is an account of how ordinary knowers can come to have knowledge of an individual’s essential properties. We argue that Jago’s accounts of both these additional matters are also unsatisfactory. This is important because the thought that our knowledge of metaphysical modality has its source in our knowledge of essence is currently an attractive one and Jago has set out very clearly what must be done to justify the thought. The flaws in his proposal thus indicate the work needed if the attractive thought is to be accepted. (shrink)

Recently, Kit Fine's (1994) view that modal truths aretrue in virtue of,grounded in, orexplained byessentialist truths has been under attack. In what follows we offer two responses to the wave of criticism against his view. While the first response is pretty straightforward, the second is based on the distinction between, what we call,Reductive Finean EssentialismandNon-Reductive Finean Essentialism. Engaging the work of Bob Hale onNon-Reductive Finean Essentialism, we aim to show that the arguments against Fine's view are unconvincing, while we acknowledge (...) the presence of a deep standoff between the two views. (shrink)

An essentialist theory of modality claims that the source of possibility and necessity lies in essence, where essence is then not to be defined in terms of necessity. Hence such theories owe us an account of why it is that the essences of things give rise to necessities in the way required. A new approach to understanding essence in terms of the notion of generalized identity promises to answer this challenge by appeal to the necessity of identity. I explore the (...) prospects for this approach, and argue that it fails. If one favours an account of essence in terms of generalized identity, then one will not, I argue, be able to satisfactorily defend an essentialist theory of modality against the challenge; if one wishes to defend an essentialist theory of modality, and thereby to give an explanation of how necessity arises from essence, one should not understand essence in terms of generalized identity. (shrink)

I discuss several problems for Williamson’s counterfactual-theory of modal knowledge and argue that they have a common source, in that the theory neglects to elucidate the proper constraints on modal reasoning. Williamson puts forward an empirical hypothesis that rests on the role of counterfactual reasoning for modal knowledge. But he overlooks central questions of normative modal epistemology. In order for counterfactual reasoning to yield correct beliefs about modality, it needs to be suitably constrained. I argue that what is needed is, (...) specifically, information concerning the nature or essence of things. By integrating this information, essentialist deduction arguably provides a better account of our knowledge of modality. Furthermore, I argue that essences have distinctive causal and explanatory powers—indeed, essences are superexplanatory for how things are. Compared to Williamson’s counterfactual-theory, superexplanatory essentialism clarifies what the proper constraints on modal reasoning are, and why they have such a special status. (shrink)

This article discusses the role of a priori and a posteriori knowledge and methods in metaphysics and metametaphysics. Issues discussed include the viability of the distinction, the continuity of a priori and a posteriori methods, connections to modal epistemology, and the role of the distinction for science and naturalistic metaphysics.

The starting point of this paper is an argument to the conclusion that the definition of metaphysical possibility in terms of correct conceivability, conceivability informed by knowledge of relevant essences, found in Rosen (2006) is equivalent to a version of the essentialist definition of metaphysical necessity. This argument appears to show that correct conceivability is a notion of conceivability by name only and is therefore of no interest to epistemologists of modality. In this paper, I present the equivalence argument, explain (...) the idealizing assumptions involved in it and sketch a version of the conceivability approach which weakens these assumptions in order to show that the notion of correct conceivability can still play a specific limited role in the epistemology of modality. (shrink)

This paper is concerned with counterfactual logic and its implications for the modal status of mathematical claims. It is most directly a response to an ambitious program by Yli-Vakkuri and Hawthorne (2018), who seek to establish that mathematics is committed to its own necessity. I claim that their argument fails to establish this result for two reasons. First, their assumptions force our hand on a controversial debate within counterfactual logic. In particular, they license counterfactual strengthening— the inference from ‘If A (...) were true then C would be true’ to ‘If A and B were true then C would be true’—which many reject. Second, the system they develop is provably equivalent to appending Deduction Theorem to a T modal logic. It is unsurprising that the combination of Deduction Theorem with T results in necessitation; indeed, it is precisely for this reason that many logicians reject Deduction Theorem in modal contexts. If Deduction Theorem is unacceptable for modal logic, it cannot be assumed to derive the necessity of mathematics. (shrink)

In Necessary Beings, Bob Hale addresses two questions: What is the source of necessity? What is the source of our knowledge of it? He offers novel responses to them in terms of the metaphysical notion of nature or, more familiarly, essence. In this paper, I address Hale’s response to the first question. My assessment is negative. I argue that his essentialist explanation of the source of necessity suffers from three significant shortcomings. First, Hale’s leading example of an essentialist explanation merely (...) asserts that the nature of an entity explains some necessity, but leaves unexplained how it does so. Second, his essentialist explanation of particular necessities introduces new necessities that remain unexplained. Third, Hale’s version of essentialism presupposes a controversial metaphysical theory of properties, for which he offers no defense. (shrink)

Uniformism about the epistemology of modality is the view that there is only one basic route to modal knowledge; non-uniformism is the view that there are several. Non-uniformism is becoming an increasingly popular stance, but how can it be defended? I prise apart two ways of understanding the uniformism/non-uniformism conflict that are mixed up in the literature. I argue that once separated, it is evident that they lead up to two different non-uniformist theses that need to be argued for in (...) very different ways. In particular, one construal allows only for a weak thesis about the actual lay of the current theoretical land in modal epistemology, while the other allows for a strong thesis that can be defended without reliance on claims about the alleged goodness or badness of individual accounts of modal justification. I argue that philosophers inclined towards non-uniformism ought to go for the strong, rather than the weak, thesis. (shrink)

Fine, Lowe and Hale accept the view that necessity is to be explained by essences: Necessarily p iff, and because, there is some x whose essence ensures that p. Hale, however, believes that this strategy is not universally applicable; he argues that the necessity of essentialist truths cannot itself be explained by once again appealing to essentialist truths. As a consequence, Hale holds that there are basic necessities that cannot be explained. Thus, Hale style essentialism falls short of what Wilsch (...) calls the explanation-challenge (EC) for the metaphysics of necessity. Without endorsing the EC, I argue that Hale’s argument for basic, unexplained necessities fails due to a misunderstanding of the structure of essentialist explanations. Getting clear about the structure of essentialist explanations of necessity leads to a re-evaluation of crucial circularity- and regress-arguments that have been discussed in the debate about essentialism. (shrink)

Is the world internally connected by a web of necessary connections or is everything loose and independent? Followers of David Hume accept the latter by upholding Hume’s Dictum, according to which there are no necessary connections between distinct existences. Roughly put, anything can coexist with anything else, and anything can fail to coexist with anything else. Hume put it like this: “There is no object which implies the existence of any other if we consider these objects in themselves.” Since Hume’s (...) day, Hume’s Dictum has played a major role in philosophy, especially in contemporary metaphysics. In ruling out necessary connections, Hume’s Dictum implies that causal relations and the laws of nature are contingent. It makes other demands on our metaphysics of science as well; for example, it places restrictions on our metaphysics of counterfactuals, dispositions, and explanation. The principle has applications in other areas too. Hume’s Dictum places constraints on our theories of abstract objects and moral properties. For example, Hume’s Dictum rules out the view that moral properties are distinct from, but necessarily connected to, non-moral properties. While Hume’s Dictum is a prominent principle in metaphysics, few Humeans have defended the principle at length. It is assumed more often than it is argued for. As a result, Hume’s Dictum no longer enjoys the reputation it once did. It’s common to hear complaints about the lack of arguments in support of Hume’s Dictum. Moreover, philosophers are increasingly willing to defend views that are at odds with Hume’s Dictum. A striking example of this is the recent explosion of interest in views that take causal relations and the laws of nature to be necessary. Humeans can no longer afford to be complacent. An extended defense of Hume’s Dictum is called for, and that’s what this dissertation aims to offer. This dissertation has three parts. In the first part, I lay out some preliminaries and offer a precise formulation of Hume’s Dictum. In the second part, I develop three arguments in favor of Hume’s Dictum. In the final part, I defend Hume’s Dictum against objections. (shrink)

The idea that justified modal belief can be accounted for in terms of empirically justified, non-modal belief is enjoying increasing popularity in the epistemology of modality. One alleged reason to prefer modal empiricism over more traditional, rationalist modal epistemologies is that empiricism avoids the problem with the integration challenge that arise for rationalism, assuming that we want to be realists about modal metaphysics. In this paper, I argue that given two very reasonable constraints on what it means to meet the (...) integration challenge for modality, empiricism is currently at best on a par with, but potentially worse off than, rationalist alternatives, with respect to the integration challenge. (shrink)

I begin by giving reasons to accept the block-universe view, the strongly supported by physics view that we live in a four-dimensional world. According to it, the past and the future are as real as the present. As a result, it seems that the future is determined in the sense that what will be the case will necessarily be the case. In the dissertation, I examine whether we have to accept this consequence. I show that we do not have to (...) bite the bullet: the future might be both real and contingent. I first start to consider modal realism (possible futures are real) as a possible solution. However, I propose then another account, actualist (positing the reality of only one possible world: the space-time we live in). This solution relies on a conventionalist theory about metaphysical modality (Sidelle, 1989). It states that modal modality is purely conventional. In combination with a realist interpretation of natural modality (causal and/or nomological), this framework allows me to propose that the future is conventionally closed and naturally contingent. In this view, the necessity of the future holds in virtue of linguistic conventions and then is conventionally necessary. But this is a distinct phenomenon from the natural contingency of the future: the future is naturally contingent because there are mind-independent probabilistic relations holding between the present and the future. This solution has strong consequences: most importantly, an anti-realist view about ordinary objects and physical particles. I end up by presenting and arguing in favour of the general image of the world that comes out from these views. (shrink)

Philosophers have always taken an interest not only in what is actually the case, but in what is necessarily the case and what could possibly be the case. These are questions of modality. Epistemologists of modality enquire into how we can know what is necessary and what is possible. This dissertation concerns the meta-epistemology of modality. It engages with the rules that govern construction and evaluation of theories in the epistemology of modality, by using modal empiricism – a form of (...) modal epistemology – as a running example. In particular, I investigate the assumption that it is important to be able to meet the integration challenge. Meeting the integration challenge is a source of serious difficulty for many approaches, but modal empiricism is supposed to do well in this respect. But I argue that once we have a better grasp of what the integration challenge is, it is not obvious that it presents no problem for modal empiricism. Moreover, even if modal empiricism could be said to be in a relatively good position with respect to integration, it comes at the cost of a forced choice between far-reaching partial modal scepticism and non-uniformism about the epistemology of modality. Non-uniformism is the view that more than one modal epistemology will be correct. While non-uniformism might not in itself be unpalatable, it must be defined and defended in a way which squares with the modal empiricist’s other commitment. I explore two ways of doing so, both involving a revised idea of the integration challenge and its role for the epistemology of modality. One involves a bifurcation of the integration challenge, and the other a restriction of the integration challenge’s relevance. Both ways are interesting, but neither is, as it turns out, a walk in the park. (shrink)

We often ascribe possibility to the scenes that are displayed by mental or nonmental sensory images. The paper presents a novel argument for thinking that we are prima facie justified in ascribing metaphysical possibility to what is displayed by suitable visual images, and it argues that many of our imagery‐based ascriptions of metaphysical possibility are therefore prima facie justified. Some potential objections to the arguments are discussed, and some potential extensions of them, to cover nonvisual forms of imagery and nonmetaphysical (...) forms of possibility, are endorsed. (shrink)

Ground, essence, and modality seem to have something to do with each other. Can we provide unified foundations for ground and essence, or should we treat each as primitives? Can modality be grounded in essence, or should essence be expressed in terms of modality? Does grounding entail necessitation? Are the notions of ground and essence univocal? This volume focuses on the links—or lack thereof—between these three notions, as well as the foundations of ground, essence, and modality more generally, bringing together (...) work on the metaphysics, epistemology, and logic of these three notions by some of the leading figures in the field as well as emerging young scholars. The invited contributors to this volume presented their work at a conference on Ground, Essence, and Modality at the University of Helsinki in June 2016, funded by the Academy of Finland Project The Epistemology of Metaphysics: From Rationalism to Nominalism. This conference is just one of many recent high-profile events and publications on these themes (e.g., the edited volumes Correia and Schnieder 2012a; Sirkel and Tahko 2014; Jago 2016). After providing a brief historical summary of the (re)emergence of modality, essence and ground as central notions in metaphysics (Sect. 1), we shall outline some of the main themes in recent work on these notions and on the links between them (Sect. 2). In Sect. 3 we briefly introduce the papers in this volume. (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)

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)

During the last quarter of a century, a number of philosophers have become attracted to the idea that necessity can be analyzed in terms of a hyperintensional notion of essence. One challenge for proponents of this view is to give a plausible explanation of our modal knowledge. The goal of this paper is to develop a strategy for meeting this challenge. My approach rests on an account of modality that I developed in previous work, and which analyzes modal properties in (...) terms of the notion of a metaphysical law. I discuss what information about the metaphysical laws is required for modal knowledge. Moreover, I describe two ways in which we might be able to acquire this information. The first way employs inference to the best explanation. The metaphysical laws, including the essential truths, play a crucial role in causal and grounding explanations and we can gain knowledge of these laws by abductive inferences from facts of which we have perceptual or a priori knowledge. The second way of gaining information about the metaphysical laws rests on knowledge that is partly constitutive of competence with the concepts that are needed to express the relevant information. Finally, I consider how knowledge of the metaphysical laws can be used to establish modal claims, paying special attention to the much-discussed connection between conceiving and possibility. (shrink)

Many metaphysicians posit primitives. These vary with respect to the theoretical work that they perform, but are all undefinable in more basic terms. I argue against the existence of metaphysical primitives on the grounds that, if they existed, they would be essentially primitive. However, if primitives were essentially primitive, then they would have an essence. Because they are primitive, they lack an essence, which undermines the original supposition that they are primitive. I close by mentioning some implications this has both (...) for metaphysicians and for metaphysics more generally. (shrink)

There are three theories in the epistemology of modality that have received sustained attention over the past 20 years: conceivability-theory, counterfactual-theory, and deduction-theory. In this paper we argue that all three face what we call the problem of modal epistemic friction. One consequence of the problem is that for any of the three accounts to yield modal knowledge, the account must provide an epistemology of essence. We discuss an attempt to fend off the problem within the context of the internalism (...) versus externalism debate about epistemic justification. We then investigate the effects that the PMEF has on reductive and non-reductive theories of the relation between essence and modality. (shrink)