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)

In this chapter, a generic definition of fundamentality as an ontological minimality thesis is sought and its applicability examined. Most discussions of fundamentality are focused on a mereological understanding of the hierarchical structure of reality, which may be combined with an atomistic, object-oriented metaphysics. But recent work in structuralism, for instance, calls for an alternative understanding and it is not immediately clear that the conception of fundamentality at work in structuralism is commensurable with the mereological conception. However, it is proposed (...) that once we understand fundamentality as an ontological minimality thesis, these two as well as further conceptions of fundamentality can all be treated on a par, including metaphysical infinitism of the ‘boring’ type, where the same structure repeats infinitely. (shrink)

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

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

The theory of embodiment is used in providing an account of the identity of acts and in providing solutions to various puzzles concerning acts.

A preview of my book *Perception*. Discusses the relationship between perception and the physical world and the issue of whether reality is as it appears. Useful examples are included throughout the book to illustrate the puzzles of perception, including hallucinations, illusions, the laws of appearance, blindsight, and neuroscientific explanations of our experience of pain, smell and color. The book covers both traditional philosophical arguments and more recent empirical arguments deriving from research in psychophysics and neuroscience. The addition of chapter summaries, (...) suggestions for further reading and a glossary of terms make Perception essential reading for anyone studying the topic in detail, as well as for students of philosophy of mind, philosophy of psychology and metaphysics. (shrink)

This article aims to provide an explication of the doctrine of the monarchy of the Father. A precisification of the doctrine is made within the building-fundamentality framework provided by Karen Bennett, which enables a further clarification of the central elements of the doctrine to be made and an important objection against it to be answered.

Truth by convention, once thought to be the foundation of a uniquely promising approach to explaining our access to the truth in nonempirical domains, is nowadays widely considered an absurdity. Its fall from grace has been due largely to the influence of an argument that can be sketched as follows: our linguistic conventions have the power to make it the case that a sentence expresses a particular proposition, but they can’t by themselves generate truth; whether a given proposition is true—and (...) so whether the sentence that expresses it is true—is a matter of what the world is like, which means it isn’t a matter of convention alone. The consensus is that this argument is decisive against truth by convention. Strikingly, though, it has rarely been formulated with much precision. Here I provide a new rendering of the argument, one that reveals its structure and makes transparent just what assumptions it requires, and then I assess conventionalists’ prospects for resisting each of those assumptions. I conclude that the consensus is mistaken: contrary to what is almost universally thought, there remains a promising way forward for the conventionalist project. Along the way, I clarify conventionalists’ commitments by thinking about what truth by convention would need to be like in order for conventionalism to do the epistemological work it’s intended to do. (shrink)

In this thesis, I argue that the Functional Monotheism model is not tri-theistic, but is a model of pro-Nicene Trinitarianism. In establishing this thesis, I focus on countering a specific objection prevalent in the Analytic Theology literature; the Tri-Theism Objection, which has charged the Functional Monotheism model with “tri-theism”. This objection, formulated by Kelly James Clark and Edward Feser, asserts that the Functional Monotheism model is tritheistic and thus should be rejected as a possible model of scriptural monotheism and “orthodox” (...) Trinitarianism. I argue against this objection by demonstrating that the Functional Monotheism model, once certain necessary philosophical clarifications and modifications are made, is not tri-theistic (in the classical sense of the term), but is in fact in line with “strict” (Second Temple) Jewish monotheism and “orthodox” (pro-Nicene) Trinitarianism. The Functional Monotheism model, contra the proponents of the objection, is therefore not subject to a charge of tri-theism, and thus should be taken as a viable model of “orthodox” Trinitarianism that can aid analytic theologians in their Trinitarian theorising. (shrink)

Contingent negative existentials give rise to a notorious paradox. I formulate a version in terms of metaphysical grounding: nonexistence can't be fundamental, but nothing can ground it. I then argue for a new kind of solution, expanding on work by Kit Fine. The key idea is that negative existentials are contingently zero-grounded – that is to say, they are grounded, but not by anything, and only in the right conditions. If this is correct, it follows that grounding cannot be an (...) internal relation, and that no complete account of reality can be purely fundamental. (shrink)

Discussion of grounding-theoretic accounts of truthmaking in terms of the theoretical role of “catching cheaters”.

Metaphysicians who are aware of modern physics usually follow Putnam (1967) in arguing that Special Theory of Relativity is incompatible with the view that what exists is only what exists now or presently. Partisans of presentism (the motto ‘only present things exist’) had very difficult times since, and no presentist theory of time seems to have been able to satisfactorily counter the objection raised from Special Relativity. One of the strategies offered to the presentist consists in relativizing existence to inertial (...) frames. This unfashionable strategy has been accused of counterfeiting, since the meaning of the concept of existence would be incompatible with its relativization. Therefore, existence could only be relativistically invariant. In this paper, I shall examine whether such an accusation hits its target, and I will do this by examining whether the different criteria of existence that have been suggested by the Philosophical Tradition from Plato onwards imply that existence cannot be relativized. (shrink)

[This paper is available as open access from the publisher.] Normative theories aim to explain why things have the normative features they have. This paper argues that, contrary to some plausible existing views, one important kind of normative explanations which first-order normative theories aim to formulate and defend can fail to transmit downward along chains of metaphysical determination of normative facts by non-normative facts. Normative explanation is plausibly subject to a kind of a justification condition whose satisfaction may fail to (...) transmit along the relevant kind of metaphysical hierarchy. A broader aim of the paper is to contribute to systematic theorizing about normative explanation: whereas there has been a great deal of work on scientific explanation, there has been little by way of systematic exploration of what sort of explanations normative theories aim to formulate and defend. (shrink)

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.

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)

According to the grounding theory of powers, fundamental physical properties should be thought of as qualities that ground dispositions. Although this view has recently been defended by many different philosophers, there is no consensus for how the view should be developed within a broader metaphysics of properties. Recently, Tugby has argued that the view should be developed in the context of a Platonic theory of properties, where properties are abstract universals. I will argue that the view should not be developed (...) within such a framework. Either the view should be developed with an ontology of Aristotelian properties, or it should be developed in a Nominalist framework that contains no properties at all. (shrink)

There are multiple formal characterizations of the natural numbers available. Despite being inter-derivable, they plausibly codify different possible applications of the naturals – doing basic arithmetic, counting, and ordering – as well as different philosophical conceptions of those numbers: structuralist, cardinal, and ordinal. Nevertheless, some influential philosophers of mathematics have argued for a non-egalitarian attitude according to which one of those characterizations is more “legitmate” in virtue of being “more basic” or “more fundamental”. This paper addresses two related issues. First, (...) we review some of these non-egalitarian arguments, lay out a laundry list of different, legitimate, notions of relative priority, and suggest that these arguments plausibly employ different such notions. Secondly, we argue that given a metaphysical-cum-epistemological gloss suggested by Frege’s foundationalist epistomology, the ordinals are plausibly more basic than the cardinals. This is just one orientation to relative priority one could take, however. Ultimately, we subscribe to an egalitarian attitude towards these formal characterizations: they are, in some sense, equally “legitimate”. (shrink)

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

We argue that Lewis would have rejected recent appeals to the notions of ‘metaphysical dependency’, ‘grounding’ and ‘ontological priority’, because he would have held that they’re not needed and they’re not intelligible. We argue our case by drawing upon Lewis’s views on supervenience, the metaphysics of singletons and the dubiousness of Kripke’s essentialism.

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

A discussion of Imogen Dickie's book "Fixing Reference.".

This book discusses fundamental topics on contemporary Ockhamism. The collected essays show how contemporary Ockhamism can impact areas of research such as semantics, metaphysics and also the philosophy of science. In addition, the volume hosts one historian of Medieval philosophy who investigates the way in which William of Ockham “in flesh and bone” construed time and, more generally, future contingency. The essays explore the different meanings of this theory. They cover three main topics, in particular. The first examines the thesis (...) that sentences and propositions about the future have a definite truth value, without any ensuing commitment to determinism or fatalism. The second topic looks at the problem whether the branching-time model needs to countenance a privileged branch (the so-called Thin Red Line). Finally, the third topic considers the idea that there are so-called soft facts. These would be the subject matter of sentences and propositions verbally about the present or the past, but metaphysically about a later time, and which might change in the future. Overall, the book provides an updated and rigorous idea of the debate about Ockhamism. It gives readers a deeper understanding into this philosophical approach influenced by William of Ockham, characterized by the rejection of the Aristotelian idea that, in order to preserve the contingency of the future, future contingents must be deemed neither true nor false. (shrink)

The paper proposes a strategy for understanding metaphysical grounding in deflationary terms and, more generally, proposes a form of methodological deflationism with respect to the notions of ground. The idea is to define a deflationary is grounded in-predicate by appeal to the two-place non-causal connective ‘because’ and a deflationary truth predicate. To this end, we discuss the explanatory role of the truth-predicate in non-causal explanations and develop a theory of truth for the language of the ‘because’-connective. We argue that at (...) least from a logical perspective our deflationary notion of ground is up to the task. (shrink)

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

This paper gives a framework for understanding causal counterpossibles, counterfactuals imbued with causal content whose antecedents appeal to metaphysically impossible worlds. Such statements are generated by omissive causal claims that appeal to metaphysically impossible events, such as “If the mathematician had not failed to prove that 2+2=5, the math textbooks would not have remained intact.” After providing an account of impossible omissions, the paper argues for three claims: (i) impossible omissions play a causal role in the actual world, (ii) causal (...) counterpossibles have broad applications in philosophy, and (iii) the truth of causal counterpossibles provides evidence for the nonvacuity of counterpossibles more generally. (shrink)

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

According to an increasingly popular view among philosophers of science, both causal and non-causal explanations can be accounted for by a single theory: the counterfactual theory of explanation. A kind of non-causal explanation that has gained much attention recently but that this theory seems unable to account for are grounding explanations. Reutlinger :239-256, 2017) has argued that, despite these appearances to the contrary, such explanations are covered by his version of the counterfactual theory. His idea is supported by recent work (...) on grounding by Schaffer and Wilson who claim there to be a tight connection between grounding and counterfactual dependence. The present paper evaluates the prospects of the idea. We show that there is only a weak sense in which grounding explanations convey information about counterfactual dependencies, and that this fact cannot plausibly be taken to reveal a distinctive feature that grounding explanations share with other kinds of explanations. (shrink)

Discussion of partial grounds that aren't parts of full grounds; definition of full grounding in terms of partial grounding.

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

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)

This paper concerns non-causal normative explanations such as ‘This act is wrong because/in virtue of__’. The familiar intuition that normative facts aren't brute or ungrounded but anchored in non- normative facts seems to be in tension with the equally familiar idea that no normative fact can be fully explained in purely non- normative terms. I ask whether the tension could be resolved by treating the explanatory relation in normative explanations as the sort of ‘grounding’ relation that receives extensive discussion in (...) recent metaphysics. I argue that this would help only under controversial assumptions about the nature of normative facts, and perhaps not even then. I won't try to resolve the tension, but draw a distinction between two different sorts of normative explanations which helps to identify constraints on a resolution. One distinctive constraint on normative explanations in particular might be that they should be able to play a role in normative justification. (shrink)

It is argued that if we take grounding to be univocal, then there is a serious tension between truth-grounding and one commonly assumed structural principle for grounding, namely transitivity. The primary claim of the article is that truth-grounding cannot be transitive. Accordingly, it is either the case that grounding is not transitive or that truth-grounding is not grounding, or both.

According to Madhyamaka Buddhist philosophers, everything depends for its existence on something else. But what would a world devoid of fundamentalia look like? In this paper, I argue that the anti-foundationalist “neither-one-nor-many argument” of the Indian Mādhyamika Śrīgupta commits him to a position I call “metaphysical indefinitism.” I demonstrate how this view follows from Śrīgupta’s rejection of mereological simples and ontologically independent being, when understood in light of his account of conventional reality. Contra recent claims in the secondary literature, I (...) clarify how the Madhyamaka metaphysical dependence structure is not a straightforward infinitism since it does not honor strict asymmetry or transitivity. Instead, its dependence relations are irreflexive and extendable, admitting of dependence chains of indefinite (though not actually infinite) length and dependence loops of non-zero length. Yet, the flexible ontology of Śrīgupta's Madhyamaka can accommodate a contextualist account of asymmetry and support a revisable theory of conventional truth, delivering significant payoffs for the view, including the capacity to accommodate developments in scientific explanation. (shrink)

Many philosophers have been attracted to the idea of using the logical form of a true sentence as a guide to the metaphysical grounds of the fact stated by that sentence. This paper looks at a particular instance of that idea: the widely accepted principle that disjunctions are grounded in their true disjuncts. I will argue that an unrestricted version of this principle has several problematic consequences and that it’s not obvious how the principle might be restricted in order to (...) avoid them. My suggestion is that, instead of trying to restrict the principle, we should distinguish between metaphysical and conceptual grounds and take the principle to apply exclusively to the latter. This suggestion, if correct, carries over to other prominent attempts at using logical form as a guide to ground. (shrink)

Discussion of the relevance of grounding to substantiveness, theory-choice, and “location problems” in metaphysics.

Despite the recent backlash against epistemic consequentialism, an explicit systematic alternative has yet to emerge. This paper articulates and defends a novel alternative, Epistemic Kantianism, which rests on a requirement of respect for the truth. §1 tackles some preliminaries concerning the proper formulation of the epistemic consequentialism / non-consequentialism divide, explains where Epistemic Kantianism falls in the dialectical landscape, and shows how it can capture what seems attractive about epistemic consequentialism while yielding predictions that are harder for the latter to (...) secure in a principled way. §2 presents Epistemic Kantianism. §3 argues that it is uniquely poised to satisfy the desiderata set out in §1 on an ideal theory of epistemic justification. §4 gives three further arguments, suggesting that it (i) best explains the objective normative significance of the subject's perspective in epistemology, (ii) follows from the kind of axiology needed to solve the swamping problem together with modest assumptions about the relation between the evaluative and the deontic, and (iii) illuminates certain asymmetries in epistemic value and obligation. §5 takes stock and reassesses the score in the debate. (shrink)

In our thought, we employ rules of inference and belief-forming methods more generally. For instance, we (plausibly) employ deductive rules such as Modus Ponens, ampliative rules such as Inference to the Best Explanation, and perceptual methods that tell us to believe what perceptually appears to be the case. What explains our entitlement to employ these rules and methods? This chapter considers the motivations for broadly internalist answers to this question. It considers three such motivations—one based on simple cases, one based (...) on a general conception of epistemic responsibility, and one based on skeptical scenarios. The chapter argues that none of these motivations is successful. The first two motivations lead to forms of internalism—Extreme Method Internalism and Defense Internalism—that are too strong to be tenable. The third motivation motivates Mental Internalism (Mentalism), which does not fit with plausible accounts of entitlement. (shrink)

In a recent paper, Barry Loewer attempts to defend Humeanism about laws of nature from a charge that Humean laws are not adequately explanatory. Central to his defense is a distinction between metaphysical and scientific explanations: even if Humeans cannot offer further metaphysical explanations of particular features of their “mosaic,” that does not preclude them from offering scientific explanations of these features. According to Marc Lange, however, Loewer’s distinction is of no avail. Defending a transitivity principle linking scientific explanantia to (...) their metaphysical grounds, Lange argues that a charge of explanatory inadequacy resurfaces once this intuitive principle is in place. This paper surveys, on behalf of the Humean, three strategies for responding to Lange’s criticism. The ready availability of these strategies suggests that Lange’s argument may not bolster anti-Humean convictions, since the argument rests on premises that those not antecedently sharing these convictions may well reject. The three strategies also correspond to three interesting ways of thinking about relations of grounding linking Humean laws and their instances, all of which are consistent with theses of Humean supervenience, and some of which have been heretofore overlooked. (shrink)

In this paper, I offer a new theory of grounding. The theory has it that grounding is a job description that is realized by different properties in different contexts. Those properties play the grounding role contingently, and grounding is the property that plays the grounding role essentially. On this theory, grounding is monistic, but ‘grounding’ refers to different relations in different contexts. First, I argue against Kit Fine’s monist univocalism. Next, I argue against Jessica Wilson’s pluralist multivocalism. Finally, I introduce (...) monist multivocalism, explicate three versions of it (of which the above is one), and show its advantages. (shrink)

The Special Composition Question may be formulated as follows: for any xs whatsoever, what are the metaphysically necessary and jointly sufficient conditions in virtue of which there is a y such that those xs compose y? But what is the scope of the sought after explanation? Should an answer merely explain compositional facts, or should it explain certain ontological facts as well? On one natural reading, the question seeks an explanation of both the compositional facts and the ontological; the question (...) seeks to explain how composite objects exist; how there is a y such that the xs compose y. But it turns out that some answers to the Special Composition Question presuppose those ontological facts rather than explain those ontological facts. In this paper, I will indicate what I take to be the different explanatory demands met by the representative answers. I will argue that the wide scope explanatory demands can’t be satisfied. I will also show that this result has bearing on the current debate about composition. (shrink)

It is typically wrong to act in a way that foreseeably makes some impending harm worse. Sometimes it is permissible to do so, however, if one also offsets the harm increasing action by doing something that decreases the badness of the same harm by at least as much. This chapter argues that the standard deontological constraint against doing harm is not compatible with the permissibility of harm increases that have been offset. Offsetting neither prevents one's other actions from doing harm (...) nor ensures that the harm those actions do is made permissible by any of the constraint's familiar provisos. To make sense of offsetting, the old constraint against doing harm should be replaced with a new constraint against making unoffset harm increases. The chapter discusses how to formulate the new constraint so that it can handle both the offsetting cases that the old constraint gets wrong as as well as the non-offsetting cases that the old constraint gets right. Adopting this constraint against unoffset harm increases may have important implications both for theoretical questions about the sources of deontological constraints as well as for practical questions, such as whether buying carbon offsets can make emitting carbon dioxide permissible. (shrink)

In this paper, I develop a metasemantics for relaxed moral realism. More precisely, I argue that relaxed realists should be inferentialists about meaning and explain that the role of evaluative moral vocabulary is to organise and structure language exit transitions, much as the role of theoretical vocabulary is to organise and structure language entry transitions.

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)

This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims (...) concerning the possible geometric structures of spacetime, and dispositional properties are actual possible entities, the condition of being grounded in the concrete is consistent with the Barcan formula; and thus -- in the geometric setting -- merits adoption by the Necessitist. (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)

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.

What makes your life go well for you? In this paper, we give an account of welfare. Our core idea is simple. There are impersonally good and bad things out there: things that are good or bad period, not (or not only) good or bad for someone. The life that is good for you is the life in contact with the good. We’ll understand the relevant notion of ‘contact’ here in terms of manifestation: you’re in contact with a value either (...) when it is manifest in parts of your life or parts of your life are manifest in it. So, the more the good is manifest in your life, or your life manifest in the good, the better for you. The more the bad is manifest in your life, or your life manifest in the bad, the worse for you. We’ll argue that this account is extensionally adequate: it explains the welfare value of achievements, friendships, knowledge, pleasures and virtues. Moreover, it has a number of explanatory virtues: it’s unified, elegant and explanatorily powerful. So, we’ll suggest, it’s an excellent account of welfare, and in many ways superior to its main competitors. (shrink)

The advocates of moral perception claim that we can literally perceive moral properties such as goodness and badness. One of the objections to the thesis of moral perception is that since we are not able to causally interact with moral properties and these properties are causally inert, thus they do not fall into the scope of our perception. In reply, the advocates propose different solutions: 1) moral properties supervene on natural properties, 2) moral properties are secondary natural properties, and 3) (...) moral properties are non-secondary natural properties. Each of these proposals aims to attack a different premise of the objection. In this paper, I am going to propose the thesis that assuming that moral properties are grounded in natural properties, Wilsonian grounding can be a new reply to this objection. I will try to explain how Alastair Wilson’s account of grounding, in addition to a grounding thesis about the relation between moral and natural properties, can prevent accidence without setting moral properties aside from perceptual scope. (shrink)