Beall’s (e.g., 2009, 2021) transparency theory of truth is recognized as a prominent, deflationist solution to the liar paradox. However, it has been neglected by truth theorists who have attempted to show that a deflationist theory of truth can (or cannot) account for truth dependence, i.e., the claim that the truth of a proposition depends on how things described by the proposition are, but how these things are does not depend on the truth of the proposition. Truth theorists interested in (...) truth dependence have, instead, been focused on Horwich’s Minimalism (e.g., 1998). The goal of this paper is twofold. First, I construct what versions of the transparency theory would say about truth dependence. Second, I argue that even the best version of transparent truth ultimately fails to account for truth dependence. On the assumption that accounting for truth dependence is an adequacy condition on any theory of truth, the paper rejects transparency theory as an adequate theory of truth. (shrink)

This paper challenges the soundness of the two-dimensional conceivability argument against the derivation of phenomenal truths from physical truths in light of a hyperintensional, ground-theoretic regimentation of the ontology of consciousness. The regimentation demonstrates how ontological dependencies between truths about consciousness and about physics cannot be witnessed by epistemic constraints, when the latter are recorded by the conceivability—i.e., the epistemic possibility—thereof. Generalizations and other aspects of the philosophical significance of the hyperintensional regimentation are further examined.

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 is the first part of a two-tier overview article on fundamentality in metaphysics and the philosophy of physics. It provides an introduction to the notion of fundamentality in metaphysics, as well as to several related concepts. The key issues in the contemporary debate on the topic are summarised, making systematic reference to the most relevant literature. In particular, various ways in which the fundamental entities and the fundamental structure of reality may be conceived are illustrated and discussed. A final (...) brief section looks at the methodological issue of naturalism, paving the way for the survey of fundamentality in the philosophy of physics, which is carried out in the second part. (shrink)

Organizations have neither a right to the vote nor a weighty right to life. We need not enfranchise Goldman Sachs. We should feel few scruples in dissolving Standard Oil. But they are not without rights altogether. We can owe it to them to keep our promises. We can owe them debts of gratitude. Thus, we can owe some things to organizations. But we cannot owe them everything we can owe to people. They seem to have a peculiar, fragmented moral status. (...) What explains this? Individualistic views explain this in terms of individualistic notions alone. Such notions don’t invoke any distinctive features of organizations. They just invoke the features of individual members of organizations. Collectivistic views, instead, explain this in terms of collective notions alone. Such notions don’t invoke the features of individual members of organizations. They just invoke the features of those organizations. We argue that neither approach works. Instead, one needs to synthesize the two approaches. Some individual interests, we think, are distinctively collective. We, as individuals, have a distinctive interest in playing a part in successful collective action. From this, so we argue, flows the apparently peculiar, fragmented moral status of organizations. (shrink)

The phenomenal powers view claims that phenomenal properties metaphysically necessitate their effects in virtue of how they feel, and thereby constitute non-Humean causal powers. For example, pain necessitates that subjects who experience it try to avoid it in virtue of feeling bad. I argue for this view based on the inconceivability of certain phenomenal properties necessitating different effects than their actual ones, their ability to predict their effects without induction, and their ability to explain their effects without appeal to laws (...) or regularities. I also offer a harmony argument according to which the view offers the best explanation for otherwise seemingly fortunate psychophysical regularities. I then outline the view’s main implications for the metaphysics of causation and philosophy of mind. (shrink)

This paper aims to demonstrate that the ontology of consciousness is consistent with both the modal and the metaphysical versions of Haecceitism. I examine the varieties of Haecceitism, and I specify the intended versions that the arguments will vindicate. I define the property of 'being purely qualitative', and examine its relation to the properties of phenomenal consciousness. I draw, inter alia, on Bayesian perceptual psychology, in order to specify the identity-conditions of phenomenal properties in detail. I provide two, abductive arguments (...) for the claim that the identity-conditions on some individuals are metaphysically haecceitistic, in virtue of the relations that hold between those individuals and the phenomenal properties that they instantiate. The first argument is corroborated by empirical results concerning the phenomenological effects of attention. The second argument is corroborated by empirical results from the study of color in vision science. The arguments vindicate a version of Metaphysical Haecceitism, because the individuals are shown to be typed by the phenomenal properties that they instantiate, although quantification over the individuals is an ineliminable condition on their identity and distinctness. I provide, then, a regimentation of the extant proposals in the ontology of consciousness, using the logic of hyperintensional ground, as augmented by the Bayesian probability calculus. The hyperintensional regimentation vindicates a version of Modal Haecceitism, because the probabilistic ontological dependence of the parts of worlds on other parts thereof provides an ineliminable condition on the identity and distinctness of worlds. (shrink)

This paper argues that the types of intention can be modeled both as modal operators and via a multi-hyperintensional semantics. I delineate the semantic profiles of the types of intention, and provide a precise account of how the types of intention are unified in virtue of both their operations in a single, encompassing, epistemic space, and their role in practical reasoning. I endeavor to provide reasons adducing against the proposal that the types of intention are reducible to the mental states (...) of belief and desire, where the former state is codified by subjective probability measures and the latter is codified by a utility function. I argue, instead, that each of the types of intention -- i.e., intention-in-action, intention-as-explanation, and intention-for-the-future -- has as its aim the value of an outcome of the agent's action, as derived by her partial beliefs and assignments of utility, and as codified by the value of expected utility in evidential decision theory. (shrink)

Armstrong famously argued in favour of introducing totality facts in our ontology. Contrary to fully negative (absence) facts, totality facts yield a theory of “moderate” or “partial” negativity, which allegedly provides an elegant solution to the truthmaking problem of negative claims and, at the same time, avoids postulating (many) first-order absences. Friends of totality facts argue that partial negativity is (i) tolerable vis-à-vis the Eleatic principle qua mark of the real, and (ii) achieves a significant advantage in terms of ontological (...) parsimony. But are totality facts, which are partially negative, really more ontologically acceptable than fully negative facts? In this paper, we argue that, comparatively, the case for totality facts is weaker than commonly assumed and that, ultimately, the answer is negative. (shrink)

After many years of enduring the drought and famine of Quinean ontology and Carnapian meta-ontology, the notion of ground, with its distinctively philosophical flavor, finally promises to give metaphysicians something they can believe in again and around which they can rally: their very own metaphysical explanatory connection which apparently cannot be reduced to, or analyzed in terms of, other familiar idioms such as identity, modality, parthood, supervenience, realization, causation or counterfactual dependence. Often, phenomena such as the following are cited as (...) putative examples of grounding connections: systematic connections between entire realms of facts (mental/physical; moral/natural; etc.); truthmaking (e.g., the relation between the truth of the proposition that snow is white and snow’s being white); logical cases (e.g., the connection between conjunctive facts or disjunctive facts and their constituent facts); the determinate/determinable relation (e.g., the relation between something’s being maroon and its being red). I argue in this paper that classifying all of these phenomena as exhibiting grounding connections does not achieve much in the way of illumination. In fact, by treating a collection of phenomena which is in fact heterogeneous as though it were homogeneous, we have, if anything, taken a dialectical step backward. (shrink)

Many hope that our values, purged of messy human contingency, could aspire to correspond with mind-independent, rationally obligatory, and eternal ethical facts. But if the arguments of this thesis are on the right track, we should reject the search for non-natural and mind-independent moral truths.

The Gettier Problem is the problem of revising the view that knowledge is justified true belief in a way that is immune to Gettier counter-examples. The “Gettier Problem problem”, according to Lycan, is the problem of saying what is misguided about trying to solve the Gettier Problem. In this paper I take up the Gettier Problem problem. I distinguish giving conditions that are necessary and sufficient for knowledge from giving conditions that explain why one knows when one does know. I (...) argue that the problem with the Gettier Problem is that it requires us to articulate conditions that suffice for knowledge even if those conditions are non-explanatory. After defending this view, I take up two related methodological issues, one about the evidence that can be given in favor of an account of knowledge, and one about the role that investigating justification might play in investigating knowledge. (shrink)

This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge. The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their characterization in terms of axiomatic theories, and by the objectivity of both pure and applied mathematics. They investigate controversial aspects of (...) contemporary theories such as neo-logicist abstractionism, structuralism, or multiversism about sets, by discussing different conceptions of mathematical realism and rival relativistic views on the mathematical universe. They consider fundamental philosophical notions such as set, cardinal number, truth, ground, finiteness and infinity, examining how their informal conceptions can best be captured in formal theories. The philosophy of mathematics is an extremely lively field of inquiry, with extensive reaches in disciplines such as logic and philosophy of logic, semantics, ontology, epistemology, cognitive sciences, as well as history and philosophy of mathematics and science. By bringing together well-known scholars and younger researchers, the essays in this collection – prompted by the meetings of the Italian Network for the Philosophy of Mathematics (FilMat) – show how much valuable research is currently being pursued in this area, and how many roads ahead are still open for promising solutions to long-standing philosophical concerns. Promoted by the Italian Network for the Philosophy of Mathematics – FilMat. (shrink)

I provide a theory of the metaphysical foundations of identity: an account what grounds facts of the form a=b. In particular, I defend the claim that indiscernibility grounds identity. This is typically rejected because it is viciously circular; plausible assumptions about the logic of ground entail that the fact that a=b partially grounds itself. The theory I defend is immune to this circularity.

How could physicalism be true of a world in which there are no fundamental physical phenomena? A familiar answer, due to Barbara Gail Montero and others, is that physicalism could be true of such a world if that world does not contain an infinite descent of mentality. Christopher Devlin Brown has produced a counterexample to that solution. We show how to modify the solution to accommodate Brown’s example: physicalism could be true of a world without fundamental physical phenomena if that (...) world does not contain an infinite descent of mentally constituted mentality. This solution is independently plausible and is available to physicalists of virtually all significant varieties. (shrink)

I introduce a proof system for the logic of relative fundamentality, as well as a natural semantics with respect to which the system is both sound and complete. I then “modalise” the logic, and finally I discuss the properties of grounding given a suggested account of this notion in terms of necessity and relative fundamentality.

This paper investigates the metaphysics in higher-order counterfactual logic. I establish the necessity of identity and distinctness and show that the logic is committed to vacuism, which entails that all counteridenticals are true. I prove the Barcan, Converse Barcan, Being Constraint and Necessitism. I then show how to derive the Identity of Indiscernibles in counterfactual logic. I study a form of maximalist ontology which has been claimed to be so expansive as to be inconsistent. I show that it is equivalent (...) to the collapse of the counterfactual into the material conditional---which is itself equivalent to the modal logic TRIV. TRIV is consistent, from which it follows that maximalism is, surprisingly, consistent. I close by arguing that stating the limit assumption requires a higher-order logic. (shrink)

A popular principle about grounding, “Internality”, says that if A grounds B, then necessarily, if A and B obtain, then A grounds B. I argue that Internality is false. Its falsity reveals a distinctive, new kind of explanation, which I call “ennobling”. Its falsity also entails that every previously proposed theory of what grounds grounding facts is false. I construct a new theory.

This chapter discusses ontological commitment to properties, understood as ontological correlates of predicates. We examine the issue in four metaontological settings, beginning with an influential Quinean paradigm on which ontology concerns what there is. We argue that this naturally but not inevitably avoids ontological commitment to properties. Our remaining three settings correspond to the most prominent departures from the Quinean paradigm. Firstly, we enrich the Quinean paradigm with a primitive, non-quantificational notion of existence. Ontology then concerns what exists. We argue (...) that this strengthens the Quinean case against ontological commitment to properties while also newly distinguishing between stronger and weaker forms of nominalism. Secondly, we enrich the Quinean paradigm with the ideology of fundamentality. Ontology then centrally concerns what’s fundamental. We argue that this leaves ontological commitment to properties wide open although Bradleyan regress threatens. Thirdly, we enrich the Quinean paradigm with primitive higher-order quantifiers. Ontology then expands to concern what there higher-order is and what there first-order is. We argue that this naturally but not inevitably incurs ontological commitment to properties. (shrink)

This paper studies internal (or intra-)mathematical explanations, namely those proofs of mathematical theorems that seem to explain the theorem they prove. The goal of the paper is a rigorous analysis of these explanations. This will be done in two steps. First, we will show how to move from informal proofs of mathematical theorems to a formal presentation that involves proof trees, together with a decomposition of their elements; secondly we will show that those mathematical proofs that are regarded as having (...) explanatory power all display an increase of conceptual complexity from the assumptions to the conclusion. (shrink)

What explains the truth of a universal generalization? Two types of explanation can be distinguished. While an ‘instance-based explanation’ proceeds via some or all instances of the generalization, a ‘generic explanation’ is independent of the instances, relying instead on completely general facts about the properties or operations involved in the generalization. This intuitive distinction is analyzed by means of a truthmaker semantics, which also sheds light on the correct logic of quantification. On the most natural version of the semantics, this (...) analysis vindicates some claims made—without a proper defense—by Michael Dummett, Solomon Feferman, and others. Where instance-based explanations are freely available, classical logic is shown to be warranted. By contrast, intuitionistic logic remains warranted regardless of what explanations are available. (shrink)

It is the aim of this paper to develop and defend an interpretation of level of scientific discipline within the truth-maker framework. In particular, I exploit the mereological relation of proper parthood, which is integral to truth-maker semantics, in order to provide an account of scientific level.

The project of grounding necessity in essence often goes together with the model of essence that assimilates the constitutive essence of an object to the definition of it. The paper argues that if the grounding project is to succeed, the definitional model must be questioned. Like any object whatever, a concrete individual is necessarily identical to that individual. It is argued that this necessity can have an essential ground only if the primitive identity property of it or its thisness is (...) essential to it, and the thisness is in its constitutive essence while not in the definition of it. A concrete individual is in essence partly definable but not fully explainable, for the definition of it forms a crucial part of its constitutive essence, but the constitutive essence includes something fundamental beyond definition or explanation. The definitional model must give way to a model of essence that accommodates this. (shrink)

There are several important arguments in metaethics that rely on explanatory considerations. Gilbert Harman has presented a challenge to the existence of moral facts that depends on the claim that the best explanation of our moral beliefs does not involve moral facts. The Reliability Challenge against moral realism depends on the claim that moral realism is incompatible with there being a satisfying explanation of our reliability about moral truths. The purpose of this chapter is to examine these and related arguments. (...) In particular, this chapter will discuss four kinds of arguments – Harman’s Challenge, evolutionary debunking arguments, irrelevant influence arguments, and the Reliability Challenge – understood as arguments against moral realism. The main goals of this chapter are (i) to articulate the strongest version of these arguments; (ii) to present and assess the central epistemological principles underlying these arguments; and (iii) to determine what a realist would have to do to adequately respond to these arguments. (shrink)

Modal metaphysics consumed much of the philosophical discussion at the turn of the century, yielding a number of epistemological insights. Modal analyses were applied within epistemology, yielding sensitivity and safety theories of knowledge as well as counterfactual accounts of the basing relation. The contemporary conversation has now turned to a new metaphysical notion – grounding – opening the way to a fresh wave of insights by bringing grounding into epistemology. In this paper, I attempt one such application, making sense of (...) the epistemic regress problem in terms of grounding. I argue that the relation that generates the epistemic regress is a grounding relation, showing that grounding can make sense of proposals by epistemic foundationalists and charting the course for similar applications to epistemic coherentism and epistemic infinitism. If it is right that grounding is involved in the epistemic regress, this points the way forward both for epistemologists and metaphysicians, revealing the prospects of solutions to the epistemic regress problem while providing grounding advocates with yet another example of grounding with which to theorize. (shrink)

The terms ‘compatibilism’ and ‘incompatibilism’ were introduced in the mid-20th century to name conflicting views about the logical relationship between the thesis of determinism and the thesis that someone has free will. These technical terms were originally introduced within a specific research paradigm, the classical analytic paradigm. This paradigm is now in its final stages of degeneration and few free-will theorists still work within it (i.e. using its methods, granting its substantive background assumptions, etc.). This chapter discusses how the ambiguity (...) of the terms ‘incompatibilism’ and ‘compatibilism’ took root and why it matters to the contempory debate. I explain why the ambiguity of these anachronistic terms, though relatively innocuous when they were first introduced, is now encouraging theorists to tolerate and perpetuate serious philosophical errors (e.g. to conflate relations as different in kind and importance as correlation and causation, to knowingly promote invalid arguments, and to equivoate on jargon in ways that keep the free-will debate mired in psuedo-stalemates). I also suggest a new paradigm for anyone looking for relief from the confusion and deadlock created by the use of inadequate classical narratives and jargon. -/- A selection from the publication is available to download here. For full version, please gmail me, username: kristin.mickelson.42 -/- . (shrink)

"We wish this volume to be a sure companion to the study of free will, broadly construed to include action theory, moral and legal responsibility, and cohort studies feathering off into adjacent fields in the liberal arts and sciences. In addition to general coverage of the discipline, this volume attempts a more challenging and complementary accompaniment to many familiar narratives about free will. In order to map out some directions such accompaniment will take, in this introduction we anchor the thirty (...) contributions to this volume in some common history from which they arise, and attempt to indicate where future work in free will and moral responsibility will–and has already begun to–depart from that history." -Excerpt from Introduction. ... ... To read full introduction, (1) download attached file or (2) follow wiley_dot_com link below, click "Read An Excerpt", then click :Excerpt 3:(pdf)". (shrink)

Philosophers distinguish between having a property essentially and having it accidentally. The way the distinction has been drawn suggests that it is modal in character, and so that it can be captured in terms of necessity, or cognate notions. The present chapter takes the suggestion at face value by considering a number of modal characterizations of the essential/accidental distinction that have been articulated and discussed since the early 20th century, as well as some of the challenges that they face.

Some philosophers think that knowledge or justification is both necessary and sufficient for rational action: they endorse knowledge-action or justification-action biconditionals. This paper offers a novel, metaphysical challenge to these biconditionals, which proceeds with a familiar question: What depends on what? If you know that p iff it is rational for you to act on p, do you know that p partly because it is rational for you to act on p, or is it rational for you to act on (...) p partly because you know that p? And a structurally similar question can be asked regarding justification-action biconditionals. I argue that proponents of these biconditionals cannot give a satisfactory answer to these questions. This is because each direction of these biconditionals strongly supports an opposite order of explanation to the one that is supported by the other direction. Given the traditional assumption that metaphysical explanations—even partial ones—are asymmetric, I argue that these biconditionals should be rejected. While knowledge might be necessary for rational action, and it might be sufficient, it cannot be both. And the same goes for justification. (shrink)

Este capítulo es una guía para conocer los elementos básicos de la fundamentación metafísica. Ofrece una revisión accesible de sus características y usos, comparando este concepto con otras formas de dependencia que se pueden encontrar en la literatura. Enfatiza dos roles teóricos centrales que la fundamentación supuestamente juega en la teorización filosófica: (i) dar cuenta de una forma distintiva de determinación no causal y (ii) entender mejor la estructura jerárquica de la realidad. El capítulo apunta a persuadir a las lectoras (...) de la utilidad de la fundamentación discutiendo cómo pueden mitigarse algunas objeciones dirigidas a esos roles. (shrink)

I introduce an argument for Platonism based on intra-mathematical explanation: the explanation of one mathematical fact by another. The argument is important for two reasons. First, if the argument succeeds then it provides a basis for Platonism that does not proceed via standard indispensability considerations. Second, if the argument fails it can only do so for one of three reasons: either because there are no intra-mathematical explanations, or because not all explanations are backed by dependence relations, or because some form (...) of noneism-the view according to which non-existent entities possess properties and stand in relations-is true. The argument thus forces a choice between nominalism without noneism, intra-mathematical explanation and a backing conception of explanation. You can have any two, but not all three. (shrink)

All physical theories, from classical Newtonian mechanics to relativistic quantum field theory, entail propositions concerning the geometric structure of spacetime. To give an example, the general theory of relativity entails that spacetime is curved, smooth, and four-dimensional. In this dissertation, I take the structural commitments of our theories seriously and ask: how is such structure instantiated in the physical world? Mathematically, a property like 'being curved' is perfectly well-defined insofar as we know what it means for a mathematical space to (...) be curved. But what could it mean to say that the physical world is curved? Call this the problem of physical geometry. The problem of physical geometry is a plea for foundations--a request for fundamental truth conditions for physical-geometric propositions. My chief claim is that only a substantival theory of spacetime--a theory according to which spacetime is an entity in its own right, existing over and above the material content of the world--can supply the necessary truth conditions. (shrink)

This book is about the idea that some true statements would have been true no matter how the world had turned out, while others could have been false. It develops and defends a version of the idea that we tell the difference between these two types of truths in part by reflecting on the meanings of words. It has often been thought that modal issues—issues about possibility and necessity—are related to issues about meaning. In this book, the author defends the (...) view that the analysis of meaning is not just a preliminary to answering modal questions in philosophy; it is not merely that before we can find out whether something is possible, we need to get clear on what we are talking about. Rather, clarity about meaning often brings with it answers to modal questions. In service of this view, the author analyzes the notion of necessity and develops ideas about linguistic meaning, applying them to several puzzles and problems in philosophy of language. Meaning and Metaphysical Necessity will be of interest to scholars and advanced students working in metaphysics, philosophy of language, and philosophical logic. [See my homepage for a sample chapter.]. (shrink)

Distinctions in fundamentality between different levels of description are central to the viability of contemporary decoherence-based Everettian quantum mechanics (EQM). This approach to quantum theory characteristically combines a determinate fundamental reality (one universal wave function) with an indeterminate emergent reality (multiple decoherent worlds). In this chapter I explore how the Everettian appeal to fundamentality and emergence can be understood within existing metaphysical frameworks, identify grounding and concept fundamentality as promising theoretical tools, and use them to characterize a system of explanatory (...) levels (with associated laws of nature) for EQM. This Everettian level structure encompasses and extends the ‘classical’ levels structure. The ‘classical’ levels of physics, chemistry, biology, etc. are recovered, but they are emergent in character and potentially variable across Everett worlds. EQM invokes an additional fundamental level, not present in the classical levels picture, and a novel potential role for self-location in interlevel metaphysics. When given a modal realist interpretation, EQM also makes trouble for supervenience-based approaches to levels. (shrink)

I discuss certain representative accounts of metaphysical emergence falling into three broad categories, assessing their prospects for satisfying certain criteria; the ensuing dialectic has a bit of the Goldilocks fable about it. At one end of the spectrum are what I call ‘scientistic’ accounts, which characterize metaphysical emergence by appeal to one or another specific feature commonly registered in scientific descriptions of seeming cases of emergence; such accounts, I argue, typically fail to provide a clear basis for ensuring incompatibility with (...) ontological reduction, and thus fail to guarantee satisfaction of the criterion of appropriate contrast (§2). At the other end of the spectrum are what I call ‘abstractionist’ accounts, which characterize emergence in terms floating free of scientific notions; such accounts, I’ll argue, typically fail to guarantee satisfaction of the criterion of illuminating contrast (§3). I’ll then look at several accounts of metaphysical emergence that are what I call ‘substantive’, in appealing to familiar relations or posits which are properly metaphysical, while being intelligibly connected to scientific relations and posits. As we’ll see, the resources of such accounts are up to the tasks of blocking ontological reduction and of enabling investigations into metaphysical emergence to proceed in an illuminating way (§4). I close with some methodological morals (§5). (shrink)

Grounding-theoretic account of the notion of transparency relevant to the explanatory gap between the mental and physical.

Unlike identity physicalism, ground physicalism does not achieve the physicalist dream. It faces the T-shirt problem for ground physicalism (Pautz 2014; Schaffer this volume; Rubenstein ms). In the case of insentient nature, it may be able to get by with small handful of very general ground laws to explain the emergence of nonfundamental objects and properties – for example, a few “principle of plenitude”. But I argue that for the case consciousness it will require a separate huge raft of special, (...) anomalous psychophysical ground laws. So it is just as complex and nonuniform as dualism. (shrink)

Unlike identity physicalism, ground physicalism does not achieve the physicalist dream. It faces the T-shirt problem for ground physicalism (Pautz 2014; Schaffer this volume; Rubenstein ms). In the case of insentient nature, it may be able to get by with small handful of very general ground laws to explain the emergence of nonfundamental objects and properties – for example, a few “principle of plenitude”. But I argue that for the case consciousness it will require a separate huge raft of special, (...) anomalous psychophysical ground laws. So it is just as complex and nonuniform as dualism. (shrink)

In this paper I explore irrealist alternatives to orthodox realism about grounding, and claim that at least some of these alternatives represent fertile areas for future discussion.

The viability of metaphysics as a field of knowledge has been challenged time and again. But in spite of the continuing tendency to dismiss metaphysics, there has been considerable progress in this field in the 20th- and 21st- centuries. One of the newest − though, in a sense, also oldest − frontiers of metaphysics is the grounding project. In this paper I raise a methodological challenge to the new grounding project and propose a constructive solution. Both the challenge and its (...) solution apply to metaphysics in general, but grounding theory puts the challenge in an especially sharp focus. The solution consists of a new methodology, holistic grounding or holistic metaphysics. This methodology is modeled after a recent epistemic methodology, foundational holism, that enables us to pursue the foundational project of epistemology without being hampered by the problems associated with foundationalism. (shrink)

On a view implicitly endorsed by many, a concept is epistemically better than another if and because it does a better job at ‘carving at the joints', or if the property corresponding to it is ‘more natural' than the one corresponding to another. This chapter offers an argument against this seemingly plausible thought, starting from three key observations about the way we use and evaluate concepts from en epistemic perspective: that we look for concepts that play a role in explanations (...) of things that cry out for explanation; that we evaluate not only ‘empirical' concepts, but also mathematical and perhaps moral concepts from an epistemic perspective; and that there is much more complexity to the concept/property relation than the natural thought seems to presuppose. These observations, it is argued, rule out giving a theory of conceptual evaluation that is a corollary of a metaphysical ranking of the relevant properties. -/- conceptual ethics, explanation, naturalness, epistemic value, concept/property, semantic internalism. (shrink)

This chapter discusses two different issues about the relationship between legal positivism and robust normativity (understood as the most authoritative kind of normativity to which we appeal). First, the chapter argues that, in many contexts when discussing “legal positivism” and “legal antipositivism”, the discussion should be shifted from whether legal facts are ultimately partly grounded in moral facts to whether they are ultimately partly grounded in robustly normative facts. Second, the chapter explores an important difference within the kinds of arguments (...) that legal philosophers give for the (purported) truth of legal positivism. The difference concerns whether (purportedly) robustly normative facts are appealed to as premises in those arguments or not. (A closely connected issue is whether (purportedly) normative facts that bear one or more important connections to robustly normative facts are appealed to in premises to those arguments.) The chapter argues that thinking about this dividing line helps people better situate the positivist/antipositivist dispute, better understand the space of views in legal philosophy, better evaluate those views, and avoid having merely verbal disputes. (shrink)

‘How, then, she had asked herself, did one know one thing or another thing about people, sealed as they were?’ So asks Lily Briscoe in To the Lighthouse. It is this question, rather than any concern about pretence or deception, which forms the basis for the philosophical problem of other minds. Responses to this problem have tended to cluster around two solutions: either we know others’ minds through perception; or we know others’ minds through a form of inference. In the (...) first part of this paper I argue that this debate is best understood as concerning the question of whether our knowledge of others’ minds is based on perception or based on evidence. In the second part of the paper I suggest that our ordinary ways of thinking take our knowledge of others’ minds to be both non- evidential and non-perceptual. A satisfactory resolution to the philosophical problem of other minds thus requires us to take seriously the idea that we have a way of knowing about others’ minds which is both non-evidential and non-perceptual. I suggest that our knowledge of others’ minds which is based on their expressions – our expressive knowledge - may fit this bill. (shrink)

Few these days dispute that the knowledge argument demonstrates an epistemic gap between the physical facts and the facts about experience. It is much more contentious whether that epistemic gap can be used to demonstrate a metaphysical gap of a kind that is inconsistent with physicalism. In this paper I will explore two attempts to block the inference from an epistemic gap to a metaphysical gap – the first from the phenomenal concept strategy, the second from Russellian monism – and (...) suggest how the proponent of the knowledge argument might respond to each of these challenges. In doing so, I will draw on recent discussions of grounding and essence in the metaphysics literature. (shrink)

We develop a new puzzle concerning a material being's relationship to the smallest parts of the material world. In particular, we investigate how a being could be responsible for anything if its be...

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

The will of an omnipotent being would be perfectly efficacious. Alexander Pruss and I have provided an analysis of perfect efficacy that relies on non-trivial counterpossible conditionals. Scott Hill has objected that not all of the required counterpossibles are true of God. Sarah Adams has objected that perfect efficacy of will (on any analysis) would be an extrinsic property and so is not suitable as a divine attribute. I argue that both of these objections can be answered if the divine (...) will is taken to be the ground, rather than the cause, of its fulfillment. (shrink)

In this paper I argue against grounding being necessarily well-founded, and provide some reasons to think it's actually not well-founded.