For many years there has been a debate in truthmaking theory between proponents of the substantive and deflationary approaches. Substantivists about truthmaking maintain that we need entities called truthmakers, while deflationists of truthmaking argue that the asymmetric form of the T-schema is sufficient. In contrast to incompatibilists, who argue that one should adopt only one of these approaches, I propose a compatibilist theory of truthmaking in which the two approaches complement each other through the distribution of different functions of truthmaking. (...) I find that this helps to solve the problem of truthmaking of certain contentious truths, such as negative truths. (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)

This thesis explores attempts to characterise the structure of reality. Three notions stand out: Lewisian naturalness, Sider’s ‘structure’, and grounding, where the latter has become the most popular way to characterise the structure of reality in the contemporary literature. I argue that none of these notions, as they are currently understood, are suited for limning the metaphysical structure of reality. In the first part of the thesis I argue that, by the lights of the relevant theories, both naturalness and structure (...) fall short of the theoretical role carved out for those posits. In the second part of the thesis I present two challenges to the ‘orthodox’ conception of grounding. The first contests the standard assumption that grounding is asymmetric, both by citing what I take to be best described as symmetric instances of grounding, and by developing and arguing for a new theory of metaphysical structure – ‘metaphysical interdependence’ – which takes grounding to be nonsymmetric. The second challenge concerns the relationship between grounding and explanation, and leads to a dilemma for the grounding theorist. My proposed resolution to the dilemma is to adopt an antirealist approach to grounding, which I further motivate and develop in the final chapter. (shrink)

If the tiles of a mosaic are arranged symmetrically, then the image those tiles constitute must be symmetric as well. This paper formulates and defends the general principle at work in this case: roughly, that a symmetry cannot ground an asymmetry. It is argued that the principle supports strong objections to four metaphysical views: qualitativism, relationalism, the tenseless or ‘B’ theory of time, and comparativism. A response to these objections is developed which appeals to fragmentalism, the view that reality contains (...) facts which are incompatible with one another. But fragmentalism might be thought too bizarre to tolerate, and if it is, then the objections developed in this paper may well be fatal. (shrink)

I review Stefan Roski's "Bolzano's Conception of Grounding".

I propose a novel metaphysical explanation of identity and distinctness facts called the Modal Proposal. According to the Modal Proposal, for each identity fact – that is, each fact of the form a=b – that fact is metaphysically explained by the fact that it is necessary that the entities involved are indiscernible, and for each distinctness fact –that is, each fact of the form a≠b – that fact is metaphysically explained by the fact that it is possible for the entities (...) involved to be discernible. I argue that the Modal Proposal has greater payoffs at less cost than any of its competitors. It gives simple, uniform, and intuitive explanations of identity and distinctness that conserve longstanding philosophical insights about identity that go back to Leibniz. It does this while making our fundamental base more parsimonious, determining whether controversial cases of identity or distinctness are possible, and expanding our understanding of these central philosophical relations. It does all this while avoiding controversial ontological commitments. (shrink)

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)

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 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)

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.

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)

This paper endeavors to establish foundations for the interaction between hyperintensional semantics and two-dimensional indexing. I examine the significance of the semantics, by developing three, novel interpretations of the framework. The first interpretation provides a characterization of the distinction between fundamental and derivative truths. The second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between probability measures and hyperintensional grounds. The third interpretation concerns the contents of the (...) types of intentional action, and the semantics is shown to resolve a puzzle concerning the role of intention in action. Topic-sensitive two-dimensional truthmaker semantics can be interpreted epistemically and metasemantically. (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.

Though the study of grounding is still in the early stages, Kit Fine, in ”The Pure Logic of Ground”, has made a seminal attempt at formalization. Formalization of this sort is supposed to bring clarity and precision to our theorizing, as it has to the study of other metaphysically important phenomena, like modality and vagueness. Unfortunately, as I will argue, Fine ties the formal treatment of grounding to the obscure notion of a weak ground. The obscurity of weak ground, together (...) with its centrality in Fine’s system, threatens to undermine the extent to which this formalization offers clarity and precision. In this paper, I show how to overcome this problem. I describe a system, the logic of strict ground (LSG) and demonstrate its adequacy; I specify a translation scheme for interpreting Fine’s weak grounding claims; I show that the interpretation verifies all of the principles of Fine’s system; and I show that derivability in Fine’s system can be exactly characterized in terms of derivability in LSG. I conclude that Fine’s system is reducible to LSG. (shrink)

A raft of new philosophical problems concerning truth have recently been discovered by several theorists. These problems concern the question of how ascriptions of truth are to be grounded. Most previous commentators have taken the problems to shed light on the theory of ground. In this paper, I argue that they also shed light on the theory of truth. In particular, I argue that the notion of ground can be deployed to clearly articulate one strand of deflationary thinking about truth, (...) according to which truth is “metaphysically lightweight.” I offer a ground-theoretic explication of the lightness of truth and show how it yields a novel solution to the problems concerning how truth is grounded. So, the theory of truth and the theory of ground interact fruitfully: we can apply the notion of ground to offer a clear explication of the deflationist claim that truth is “metaphysically lightweight” that both captures the motivations for that claim and solves the problems. (shrink)

Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a number of (...) problems. In this paper, I review the problems and offer an alternative that avoids them. I offer a semantics for the pure logic of ground that is motivated by ideas already present in the grounding literature, and for which a natural axiomatization capturing central formal features of grounding is sound and complete. I also show how the semantics I offer avoids the problems faced by Fine’s semantics. (shrink)

This paper establishes a sound and complete semantics for the impure logic of ground. Fine (Review of Symbolic Logic, 5(1), 1–25, 2012a) sets out a system for the pure logic of ground, one in which the formulas between which ground-theoretic claims hold have no internal logical complexity; and it provides a sound and complete semantics for the system. Fine (2012b) [§§6-8] sets out a system for an impure logic of ground, one that extends the rules of the original pure system (...) with rules for the truth-functional connectives, the first-order quantifiers, and λ-abstraction. However, no semantics has yet been provided for this system. The present paper partly fills this lacuna by providing a sound and complete semantics for a system GG containing the truth-functional operators that is closely related to the truth-functional part of the system of Fine (2012b). (shrink)

The idea that some objects are metaphysically “cheap” has wide appeal. An influential version of the idea builds on abstractionist views in the philosophy of mathematics, on which numbers and other mathematical objects are abstracted from other phenomena. For example, Hume’s Principle states that two collections have the same number just in case they are equinumerous, in the sense that they can be correlated one-to-one: (HP) #xx=#yy iff xx≈yy. The principal aim of this article is to use the notion of (...) grounding to develop this sort of abstractionism. The appeal to grounding enables a unified response to the two main challenges that confront abstractionism. First, we must explicate the metaphor of meta- physical “cheapness.” Second, we must rebut the “bad company” objection, which rejects abstraction principles like (HP) as tarnished by their similarity to inconsistent principles like Frege’s Basic Law V. By enforcing a simple requirement that all abstraction be properly grounded, we propose a unified solution to these two hard, and prima facie unrelated, problems. On our view, grounded abstraction simultaneously ensures “cheap” abstracta and permissible abstraction. (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.

Say that two sentences are factually equivalent when they describe the same facts or situations, understood as worldly items, i.e. as bits of reality rather than as representations of reality. The notion of factual equivalence is certainly of central interest to philosophical semantics, but it plays a role in a much wider range of philosophical areas. What is the logic of factual equivalence? This paper attempts to give a partial answer to this question, by providing an answer the following, more (...) specific question: Given a standard propositional language with negation, conjunction and disjunction as primitive operators, which sentences of the language should be taken to be factually equivalent by virtue of their logical form? The system for factual equivalence advocated in this paper is a proper fragment of the first-degree system for the logic of analytic equivalence put forward in the late seventies by R. B. Angell. I provide the system with two semantics, both formulated in terms of the notion of a situation’s being fittingly described by a linguistic item. In the final part of the paper I argue, contra a view I defended in my “Grounding and Truth-Functions”, that the logic for factual equivalence I advocate here should be preferred to Angell’s logic if one wishes to follow the general conception of the relationships between factual equivalence and the notion of grounding put forward in the 2010 paper. (shrink)

I identify a notion of logical grounding, clarify it, and show how it can be used (i) to characterise various consequence relations, and (ii) to give a precise syntactic account of the notion of “groundedness” at work in the literature on the paradoxes of truth.

Cross-temporal grounding is a type of grounding whereby present facts about the past (for example that Caesar was alive) are explained in terms of past facts (for example that Caesar is alive) rather than in terms of other present facts. This paper lays the foundations for a theory of cross-temporal grounding. After introducing the general idea of a type of grounding connecting facts to past facts, we offer two arguments that past-directed facts require cross-temporal grounds—the ‘argument from intimacy’ and the (...) ‘argument from past explanation’. We then go on to show that cross-temporal grounding statements can be understood as instances of a type of explanation which is perfectly legitimate and intelligible, even if somewhat unusual. Finally, we explain how the logic of grounding can be extended to accommodate cross-temporal grounding statements. (shrink)

I give a semantic characterisation of a system for the logic of grounding similar to the system introduced by Kit Fine in his “Guide to Ground”, as well as a semantic characterisation of a variant of that system which excludes the possibility of what Fine calls ‘zero-grounding’.

The aim of this paper is to argue for some useful distinctions in the theory of grounding. I do so by first introducing the notion of grounding, discussing some of its features, and arguing that grounds must play some role in bringing about what they ground (sec.1). I then argue that there are various distinct roles a fact may play in bringing about another, and more particularly that we should distinguish between three such roles; enablers, partial grounds, and facts that (...) partly ground (sec. 2). Finally, I present two theoretical advantages to incorporating these distinctions into our theory of grounding. Namely, that it reframes, and arguably dissolves, the contingentist-necessitarian debate (sec. 3), and that it helps to elegantly deal with the purported counterexamples to the transitivity of grounding and thus maintain the plausible elements of the assumption that grounding is a transitive relation (sec.4). (shrink)

Law being a derivative feature of reality, it exists in virtue of more fundamental things, upon which it depends. This raises the question of what is the relation of dependence that holds between law and its more basic determinants. The primary aim of this paper is to argue that grounding is that relation. We first make a positive case for this claim, and then we defend it from the potential objection that the relevant relation is rather rational determination (Greenberg 2004, (...) 2006). Against this challenge, we argue that the apparent objection is really no objection, for on its best understanding, rational determination turns out to actually be grounding. Finally, we clarify the framework for theories on law-determination that results from embracing our view; by way of illustration, we offer a ground-theoretic interpretation of Hartian positivism, and show how it can defuse an influential challenge to simple positivist accounts of law. (shrink)

'Chains of Being' argues that there can be infinite chains of dependence or grounding. Cameron also defends the view that there can be circular relations of ontological dependence or grounding, and uses these claims to explore issues in logic and ontology.

I develop a graph-theoretic model theory for pure and iterative grounding logics.

I argue—contra moderate grounding pluralists such as Kit Fine and more extreme grounding pluralists such as Jessica Wilson—that there is fundamentally only one grounding/in-virtue-of relation. I also argue that this single relation is indispensable for normative theorizing—that we can’t make sense of, for example, the debate over consequentialism without it. It follows from what I argue that there is no metaethically-pure normative ethics.

Once upon a time, coherentism was the dominant response to the regress problem in epistemology, but in recent decades the view has fallen into disrepute: now almost everyone is a foundationalist (with a few infinitists sprinkled here and there). In this paper, I sketch a new way of thinking about coherentism, and show how it avoids many of the problems often thought fatal for the view, including the isolation objection, worries over circularity, and concerns that the concept of coherence is (...) too vague or metaphorical for serious theoretical use. The key to my approach is to take a familiar tool from discussions of the regress problem -- namely, directed graphs depicting the support relations between beliefs -- and to use that tool in a more sophisticated manner than it is standardly employed. (shrink)

The autonomy thesis is the claim that one cannot get a normative statement from purely descriptive statements. But despite its intuitive appeal a precise formulation of the thesis has remained elusive. In a recent paper, Maguire makes the promising suggestion that the thesis should be understood in terms of ground. But Maguire’s formulation, I argue, is based on controversial taxonomic assumptions that make the autonomy thesis into a non-substantive claim. I develop an alternative ground-based formulation of the autonomy thesis that (...) appeals to the notion of normative relevance, which is in turn understood using the tools of truthmaker semantics. This formulation of the autonomy thesis avoids well-known counterexamples to other formulations and has significant advantages over Maguire’s formulation. (shrink)

We uncover a surprising discovery about the basis of thoughts. We begin by giving some plausible axioms about thoughts and their grounds. We then deduce a theorem, which has dramatic ramifications for the basis of all thoughts. The theorem implies that thoughts cannot come deterministically from any purely “thoughtless” states. We expect this result to be too dramatic for many philosophers. Hence, we proceed to investigate the prospect of giving up the axioms. We show that each axiom’s negation itself has (...) dramatic consequences that should be of interest to philosophers of mind. Our proof of the theorem provides a new guiderail for thinking about the nature and origin of thoughts. (shrink)

Since the early 1980s, metonymy has progressively gained central stage in linguistic investigations. The advent of cognitive linguistics marked a new turn in the study of this trope conceived, not as a deviation from semantic conventions, but as a phenomenon rooted in non-language-specific mechanisms of conceptualization of the world. Acknowledging that metonymy is ultimately cognitive in nature, this paper proposes to consider metonymy from its multiple levels of manifestation, integrating cognitive, pragmatic, semantic, but also ontological angles of approach. Taking whole-for-part (...) metonymies as a case study, I aim to show how recent developments within these respective disciplines can enrich our understanding of such metonymic mechanisms, sometimes without even identifying them as such. This paper proposes to establish a dialog between these disciplines on the topic of WP-metonymy. So, after a presentation of the most standard cognitive and pragmatic approaches to WP-metonymy, I will argue for the relevance of recent semantic investigations on quantity gradability, and for the theoretical importance of keeping these two kinds of part-reference clearly apart. I will show that the literature on gradability provides strong semantic arguments for doing so. Finally, connecting the debate on WP-metonymy with the ontological debate on property inherence will open the way for a formal treatment of WP-metonymy within ground logic. (shrink)

I argue against a principle that is widely taken to govern metaphysical explanation. This is the principle that no necessary facts can, on their own, explain a contingent fact. I then show how this result makes available a response to a longstanding objection to the Principle of Sufficient Reason—the objection that the Principle of Sufficient Reason entails that the world could not have been otherwise.

un estado de cosas es una estructura no-mereológica compuesta por universales, objetos y tiempos. En principio, un estado de cosas no está fundado en sus componentes, pues tales componentes podrían existir, pero no el estado de cosas que componen. La introducción de otras relaciones de 'instanciación' no mejoran la situación, si tales relaciones son universales. Un estado de cosas, sin embargo, sí está fundado en un universal, uno o varios objetos, un tiempo y un tropo que, esencialmente, es la instanciación (...) de tal universal en tal objeto, o en tales objetos, en tal tiempo. Si los estados de cosas están fundados en sus constituyentes, entonces hay una razón para admitir tropos. Finalmente, se discuten varias razones por los que los estados de cosas deben estar fundados. a state of affairs is a non-mereological structure composed by universals, objects and times. In principle, a state of affairs is not grounded in its components, for those components could exist, but not the state of affairs that they compose. The introduction of other relations of 'instantiation' doesn't improve the situation, if those relations are universal. A state of affairs, though, is grounded on a universal, object or objects, time and a trope that, essentially, is the instantiation of that universal in that object, or in those objects, in that time. If states of affairs are grounded in their constituents, then there is reason to admit tropes. Finally, several reasons by which states of affairs should be grounded are discussed. (shrink)

Physicalism is standardly construed as a form of monism, on which all concrete phenomena fall under one fundamental type. It is natural to think that monism, and therefore physicalism, is committed to a supervenience claim. Monism is true only if all phenomena supervene on a certain fundamental type of phenomena. Physicalism, as a form of monism, specifies that these fundamental phenomena are physical. But some argue that physicalism might be true even if the world is disorderly, i.e., not ordered by (...) supervenience relations in the way commonly supposed (Montero in J Philos 110:92–110, 2013; Leuenberger in Inquiry 57:151–174, 2014; Montero and Brown in Topoi 37(3):523–532, 2018; Zhong in Philos Stud 178(5):1529–1544, 2021). Unless these authors intend to challenge the claim that physicalism is a type of monism—a claim so central to the dialectic in philosophy of mind that rejecting it risks changing the subject—they are committed to challenging a supervenience requirement for monism. We argue that monism entails that there are substantial supervenience relations among concrete phenomena: relations that would not obtain in a disorderly world. Our argument thus has implications for debates about physicalism and supervenience, and sheds light on an under-discussed issue: what is implied by classifying a theory in the philosophy of mind as a form of monism? We also argue that physicalism’s commitment to monism creates problems for _via negativa_ physicalism, on which the physical is characterized negatively. (shrink)

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)

The supervenience requirement on physicalism says roughly that if physicalism is true then mental properties supervene on fundamental physical properties. After explaining the basis of the requirement, I defend it against objections presented by Lei Zhong (“Physicalism without supervenience,” Philosophical Studies 178 (5), 2021: 1529–44), Barbara Gail Montero (“Must physicalism imply supervenience of the mental on the physical?” Journal of Philosophy 110, 2013: 93–110), and Montero and Christopher Devlin Brown (“Making room for a this-worldly physicalism,” Topoi 37 (3), 2018: 523–32).

This article defends the principle of sufficient reason (PSR) from a simple and direct valid argument according to which PSR implies that there is a truth that explains every truth, namely an omni-explainer. Many proponents of PSR may be willing to bite the bullet and maintain that, if PSR is true, then there is an omni-explainer. I object to this strategy by defending the principle that explanation is irreflexive. Then I argue that proponents of PSR can resist the conclusion that (...) there is an omni-explainer by denying that explanation distributes over conjunction. In the final section, I consider a plausible revision of this assumption. I argue there that, given the revised assumption, PSR seems to yield a striking picture of the explanatory structure of the universe. I explain why the resulting model does not appear utterly implausible to me. (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.

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)

Absences, i.e., agential omissions and forbearances, but also ‘natural’ negative states and events beyond the sphere of human agency, seem to be part and parcel of the real world. Yet, it is exactly the putative reality of absences that strikes many philosophers as utterly mysterious, if not entirely unintelligible. As a promising approach towards solving the problem of real absences, I wish to explore the idea that absences are latent potentialities. To this end, I shall investigate what potentialities are, what (...) kinds of potentiality exist, and what it means for a potentiality to remain latent. I will also discuss whether the framework of latent potentiality is able to meet the extensional constraints imposed on the theory of absences by our intuitions about the reach of negative acts and events, i.e., whether latent potentialities can account for all real absences. (shrink)

Nel nostro universo, qualunque cosa, dalla più piccola particella alla più smisurata galassia, esiste in un qualche tempo e in un qualche luogo. Ma cosa significa esistere in un qualche tempo? Il fenomeno dell’esistenza temporale gioca un ruolo fondamentale nella comprensione dell’universo e di noi stessi quali creature temporali. Eppure è un fenomeno profondamente misterioso. L’esistenza temporale è da intendersi come una relazione? Che legami ha con l’esistenza dell’ontologia? L’esistenza temporale e la localizzazione spaziale sono due fenomeni essenzialmente differenti o (...) due istanze di un’unica relazione? Tutto ciò che esiste nel tempo esiste nel tempo nello stesso modo? Tutto ciò che è nel tempo è anche nello spazio? (shrink)