According to an intuitive picture of relevant entailment, an entailment is relevant if all the formulas it contains contribute to its validity. In this paper, we provide a ground-theoretic analysis of this notion of contribution, and as a result of relevant entailment. We build a system of bilateral logical grounding within which we can derive classical entailment and analyze the contribution of premises and conclusions, in terms of a certain type of connection between their respective logical grounds. The resulting framework (...) is shown to have a strong unifying and explanatory power by bringing together the notions of grounding and relevance and explaining the commonalities and differences between alternative contribution-based accounts of relevance. (shrink)

Many philosophers have shown sympathy to the thought that reality is fundamentally positive. Julio De Rizzo formulates this idea precisely by means of the notion of grounding, and examines how the resulting thesis fares with respect to three much discussed classes of negative truths, namely that of negative predications, that of negative causal reports, and that of negative existential truths. By shedding light on the issues advocates of the thesis have to deal with, this work shows the positivist account to (...) be a tenable position in metaphysics. (shrink)

In the third chapter of his major work, the Controversy over the Existence of the World, Roman Ingarden discusses four varieties of dependence entities might exhibit. The aim of this essay is to explore these varieties and to put the claims Ingarden makes concerning them on a rigorous footing.

European Journal of Philosophy, EarlyView.

Drawing from extensions of existing ideas in the logic of ground, a novel account of the grounds of necessity is presented, the core of which states that necessary truths are necessary because they stand in specific grounding connections.

A traditional account of coincidences has it that two facts are coincidental whenever they are not related as cause and effect and do not have a common cause. A recent contribution by Lando : 132–151, 2017) showed that this account is mistaken. In this paper, I argue against two alternative accounts of coincidences, one suggested by Lando, and another by Bhogal : 677–694, 2020), and defend a third one in their place. In short, I propose that how explanatory links relate (...) to non-coincidental facts in explanation is what drives a wedge between coincidences and non-coincidences. This proposal is not susceptible to the worries I raise, and is more general, since it is not restricted to coincidences and non-coincidences involving physical facts. (shrink)

This paper develops an endurantist theory of persistence. The theory is built around one basic tenet, which concerns existence at a time – the relation between an object and the times at which that object is present. According to this tenet, which I call transcendentism, for an object to exist at a time is for it to participate in events that are located at that time. I argue that transcendentism is a semantically grounded and metaphysically fruitful. It is semantically grounded, (...) insofar as a semantic analysis of our temporal talk favors it over rivals. It is metaphysically fruitful, insofar as the theory of persistence that can be built around it – the transcendentist theory of persistence, to give it a name – requires neither temporal parts nor the problematic commitments to which all extant forms of endurantism are committed, such as the possibility of extended simples or multilocation. (shrink)

I provide an argument against the Aristotelian view of universals, according to which universals depend for their existence on their exemplifiers. The argument consists in a set of five jointly inconsistent assumptions. As such, the argument can be used to argue in favour of other conclusions, such as that exemplification is no relation or that plausible principles concerning ontological dependence or grounding do not hold.

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.

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’.

Most philosophers treat ontological dependence and metaphysical dependence as distinct relations. A number of key differences between the two relations are usually cited in support of this claim: ontological dependence's unique connection to existence, differing respective connections to metaphysical necessitation, and a divergence in their formal features. Alongside reshaping some of the examples used to maintain the distinction between the two, I argue that the additional resources offered by the increased attention the notion of grounding has received in recent years (...) potentially offer us a way to unite the two relations, promising the attendant benefits parsimony offers, as a result. (shrink)

It is widely believed that deflationary truth has no explanatory power. I will argue that it does. Specifically, I will consider some objections to deflationary truth having explanatory power, and argue that they fail. The position which will emerge is that the deflationary concept of truth is analogous to the concept of an average. Scientists take averages to be explanatory, and I will argue that the concept of deflationary truth is explanatory in the same way. I then argue that this (...) deflationary _concept_ of truth motivates a theory of the _property_ of truth which is metaphysically disunified, but that this is no obstacle to explanation. This leads to a way of understanding the deflationary/substantive distinction in terms of grounding. (shrink)

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.

This paper seeks to clarify one of the deepest questions about the source or ground of normativity, while also presenting an essence-based approach to answering it. We call it the ‘Arché Question.’ Though all metanormative theories must address this question, very few realists have explicitly grappled with the challenge it poses; those who have appear to deny any need to give an answer. After critically discussing extant realist responses, this paper outlines an essence-based approach to answering the Arché Question that (...) draws on theoretical resources forged in recent advances in post-modal metaphysics. (shrink)

We argue that explanations appealing to logical impossibilities are genuine explanations. Our defense is based on a certain picture of impossibility. Namely, that there are impossibilities and that the impossibilities have structure. Assuming this broad picture of impossibility we defend the genuineness of explanations that appeal to logical impossibilities against three objections. First, that such explanations are at odds with the perceived conceptual connection between explanation and counterfactual dependence. Second, that there are no genuinely contrastive why-questions that involve logical impossibilities (...) and, third, that explanations appealing to logical impossibilities rule nothing out. (shrink)

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

A popular stance amongst philosophers is one according to which, in Lewis’ words, “identity is utterly simple and unproblematic”. Building from Lewis’ famous passage on the matter, we reconstruct, and then criticize, an argument to the conclusion that identities cannot be grounded. With the help of relatively uncontroversial assumption concerning identity facts, we show that not all identities are equi-fundamental, and, on the contrary, some appear to be provided potential grounding bases using two-level identity criteria. Further potential grounding bases for (...) identities are presented. Identity might be utterly simple and unproblematic, but this is not sufficient to conclude that identities are ungrounded, or fundamental. (shrink)

Can an identity be the proper subject of an explanation? A popular stance, albeit not one often argued for, gives a negative answer to this question. Building from a contentious passage from Jaegwon Kim in this direction, we reconstruct an argument to the conclusion that identities, to the extent in which they are necessary, cannot be explained. The notion of contrastive explanation, characterized as difference-seeking, will be crucial for this argument; however, we will eventually find the argument to be unsatisfactory. (...) On the contrary, the discussion provides enough resource to sketch a very simple framework for a non-causal contrastive explanation of identities. Many instances will be provided, with different varieties of explanans, ultimately suggesting that certain entailment or biconditional principles involving identities (first and foremost, so-called two-level identity criteria) may indeed be taken to have an inherent explanatory value. (shrink)

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)

This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language. -/- The chapters of which this book is composed discuss the (...) subject from a rich variety of angles, including the history of logic, the proper interpretation of logical validity, natural deduction rules, the notions of harmony and of synonymy, the structure of proofs, the logical status of equality, intentional phenomena, and the proof theory of second-order arithmetic. All chapters relate directly to questions that have driven Schroeder-Heister's own research agenda and to which he has made seminal contributions. The extensive autobiographical chapter not only provides a fascinating overview of Schroeder-Heister's career and the evolution of his academic interests but also constitutes a contribution to the recent history of logic in its own right, painting an intriguing picture of the philosophical, logical, and mathematical institutional landscape in Germany and elsewhere since the early 1970s. The papers collected in this book are illuminatingly put into a unified perspective by Schroeder-Heister's comments at the end of the book. Both graduate students and established researchers in the field will find this book an excellent resource for future work in proof-theoretic semantics and related areas. (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)

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

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)

We define intuitionistic subatomic natural deduction systems for reasoning with elementary would-counterfactuals and causal since-subordinator sentences. The former kind of sentence is analysed in terms of counterfactual implication, the latter in terms of factual implication. Derivations in these modal proof systems make use of modes of assumptions which are sensitive to the factuality status of the formula that is to be assumed. This status is determined by means of the reference proof system on top of which a modal proof system (...) is defined. The introduction and elimination rules for counterfactual (resp. factual) implication draw on this status. It is shown that derivations in the systems normalize and that normal derivations have the subexpression/subformula property. An intuitionistically acceptable proof-theoretic semantics is formulated in terms of canonical derivations. The systems are applied to so-called counterpossibles and to related constructions. (shrink)

We define the term \a set T of sentential-logical formulae grounds a sentential-logical formula A from a syntactic point of view\ in such a way that A is a syntactic sentential-logical consequence of T, and specific additional syntactic requirements regarding T and A are fulfilled. These additional requirements are developed strictly within the syntactics of sentential-logical languages, the three most important being new, namely: to be atomically minimal, to be minimal in degree, and not to be conjunction-like. Our approach is (...) independent of any specific sentential-logical calculus. (shrink)

It is widely acknowledged that some truths or facts don’t have a minimal full ground [see e.g. Fine ]. Every full ground of them contains a smaller full ground. In this paper I’ll propose a minimality constraint on immediate grounding and I’ll show that it doesn’t fall prey to the arguments that tell against an unqualified minimality constraint. Furthermore, the assumption that all cases of grounding can be understood in terms of immediate grounding will be defended. This assumption guarantees that (...) the proposed minimality constraint is significant for all cases of grounding. With its help one can get a clear grip on the relevance of grounding, a feature that will be put to use in the penultimate section. (shrink)

Normative explanations of why things are wrong, good, or unfair are ubiquitous in ordinary practice and normative theory. This paper argues that normative explanation is subject to a justification condition: a correct complete explanation of why a normative fact holds must identify features that would go at least some way towards justifying certain actions or attitudes. I first explain and motivate the condition I propose. I then support it by arguing that it fits well with various theories of normative reasons, (...) makes good sense of certain legitimate moves in ordinary normative explanatory discourse, and helps to make sense of our judgments about explanatory priority in certain cases of normative explanation. This last argument also helps to highlight respects in which normative explanation won’t be worryingly discontinuous with explanations in other domains even though these other explanations aren’t subject to the justification condition. Thus the paper aims not only to do some constructive theorizing about the relatively neglected topic of normative explanation but also to cast light on the broader question of how normative explanation may be similar to and different from explanations in other domains. (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)

Dispositional Essentialism, as commonly conceived, consists in the claims that at least some of the fundamental properties essentially confer certain causal-nomological roles on their bearers, and that these properties give rise to the natural modalities. As such, the view is generally taken to be committed to a realist conception of properties as either universals or tropes, and to be thus incompatible with nominalism as understood in the strict sense. Pace this common assumption of the ontological import of Dispositional Essentialism, the (...) aim of this paper is to explore a nominalist version of the view, Austere Nominalist Dispositional Essentialism. The core features of the proposed account are that it eschews all kinds of properties, takes certain predicative truths as fundamental, and employs the so-called generic notion of essence. As I will argue, the account is significantly closer to the core idea behind Dispositional Essentialism than the only nominalist account in the vicinity of Dispositional Essentialism that has been offered so far—Ann Whittle’s Causal Nominalism—and is immune to crucial problems that affect this view. (shrink)

A problem is raised for the introduction rules proposed in Benjamin Schnieder’s ‘A logic for “because”’, arising in connection with (a) inferences that the rules should not, but do, validate and (b) inferences that the rules should, but do not, validate.

The grounding relation is routinely characterized by means of logical postulates. The aim of this paper is twofold. First, I show that a subset of those postulates is incompatible with a minimal characterization of metaphysical modality. Then I consider a number of ways for reconciling ground with modality. The simplest and most elegant solution consists in adopting serious actualism, which is best captured within a first-order modal language with predicate abstraction governed by negative free logic. I also explore a number (...) of alternative strategies by revising the ground-theoretic postulates, while keeping the modal ones fixed. As I argue, each of those strategies is either unviable, highly contentious, or insufficiently motivated. (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)

One of the central puzzles in ontology concerns the relation between apparently innocent sentences and their ontologically loaded counterparts. In recent work, Agustín Rayo has developed the insight that such cases can be usefully described with the help of the ‘just is’ operator: plausibly, for there to be a table just is for there to be some things arranged tablewise; and for the number of dinosaurs to be Zero just is for there to be no dinosaurs. How does the operator (...) relate to another prominent notion that is frequently put to similar use: metaphysical grounding? In this paper I show that despite what has been argued in the literature the ‘just is’ operator can be spelled out in terms of grounding: roughly, as having the same ultimate grounds. This is good news for Rayo, for it broadens his target audience. It is even better news for the friends of ground. For it exemplifies the immense fruitfulness of the notion of grounding in its ability to incorporate philosophically highly significant subtheories. (shrink)

Among truthmaker theorists it is generally thought that we are not able to use the entailment principle to ground negative truths. But these theorists usually only discuss truthmakers for truth-functional complexes, thereby overlooking the fact that there are non-truth-functional complexes whose truth values are not solely determined by the truth or falsity of their atomic propositions. And once we expand the class of truths that require their own bespoke truthmakers to also include these, there is no reason to exempt negative (...) truths from grounding. For given that truthmaking is closed under entailment and every negative truths is entailed by some non-truth-functional complex or other, any resources rich enough to ground the truth of the latter will do the same job for the former. (shrink)

Hybrid contingentism combines first-order contingentism, the view that it is contingent what individuals there are, with higher-order necessitism, the view that it is non-contingent what properties and propositions there are (where these are conceived as entities in the range of appropriate higher-order quantifiers). This combination of views avoids the most delicate problems afflicting alternative contingentist positions while preserving the central contingentist claim that ordinary, concrete entities exist contingently. Despite these attractive features, hybrid contingentism is usually faced with rejection. The main (...) reason for this is an objection that crucially involves haecceitistic properties, properties such as being identical to Plato or being identical to Aristotle. The objection alleges that by accepting the necessary existence of such haecceities, hybrid contingentists incur an explanatory commitment that they are unable to discharge, namely that of explaining how it is that certain haecceities ‘lock onto’ their target individuals even when those individuals are absent. To defend hybrid contingentism against this charge, I first clarify the haecceities objection in several respects and consider, in particular, what notion of explanation the objection is operating with. After arguing that it can be fruitfully understood as a challenge to provide metaphysical grounds for certain haecceity facts, I develop a contingentist response to the objection that draws on recent work on the connection between ground and essence. (shrink)

Traditional rationalist approaches to a priori epistemology have long been looked upon with suspicion for positing a faculty of rational intuition capable of knowing truths about the world apart from experience. Conceptualists have tried to fill this void with something more empirically tractable, arguing that we know a priori truths due to our understanding of concepts. All of this theorizing, however, has carried on while neglecting an entire cross section of such truths, the grounding claims that we know a priori. (...) Taking a priori grounding into account poses a significant challenge to conceptualist accounts of a priori knowledge, as it is unclear how merely understanding conceptual connections can account for knowledge of grounding. The fact that we do know some grounding truths a priori, then, is a significant mark in traditional rationalism’s favor, and the next frontier for those who aim to eliminate the mystery surrounding a priori knowledge. (shrink)

The argument for modal collapse is partly responsible for the widespread rejection of the so-called Principle of Sufficient Reason in recent times. This paper discusses the PSR against the background of the recent debate about grounding and develops principled reasons for rejecting the argument from modal collapse.

What does it mean that some proposition follows from others? The standard way of spelling out the notion proceeds in modal terms: x follows from y iff necessarily, if y is true, so is x. But although this yields a useful and manageable account of consequence, it fails to capture certain aspects of our pre-theoretical understanding of consequence. In this paper, an alternative notion of logical consequence, based on the idea of grounding, is developed.

The present author developed a calculus for the logic of ‘because’. In a recent paper in this journal, it has been claimed that the central inference rules for the logic are invalid and that the intuition upon which the rules are based is not accounted for. This note criticises these arguments and presents an independent argument in favour of the rules used in the logic.

Grounding is often glossed as metaphysical causation, yet no current theory of grounding looks remotely like a plausible treatment of causation. I propose to take the analogy between grounding and causation seriously, by providing an account of grounding in the image of causation, on the template of structural equation models for causation.

The paper deals with the notions of grounding and of existential dependence. It is shown that cases of existential dependence seem to be systematically correlated to cases of grounding and hence the question is raised what sort of tie might hold the two notions together so as to account for the observed correlation. The paper focusses on three possible ties between grounding and existential dependence: identity, definition, and grounding. A case for the definitional tie is made.

In Plato’s Euthyphro, Euthyphro proposes to analyse the pious as that which is beloved of the gods. In the most widely discussed argument of the dialogue, Socrates tries to show that Euthyphro’s analysis fails. The argument crucially involves an ingenious use of the explanatory connective ‘because’. This paper presents a detailed reconstruction and defence of the argument. It starts with a rigorous analysis of its logical form, explains and justifies its premises, and closes with a defence of the argument against (...) the strongest common objection. (shrink)

In this paper, I provide a thorough discussion and reconstruction of Bernard Bolzano’s theory of grounding and a detailed investigation into the parallels between his concept of grounding and current notions of normal proofs. Grounding (Abfolge) is an objective ground-consequence relation among true propositions that is explanatory in nature. The grounding relation plays a crucial role in Bolzano’s proof-theory, and it is essential for his views on the ideal buildup of scientific theories. Occasionally, similarities have been pointed out between Bolzano’s (...) ideas on grounding and cut-free proofs in Gentzen’s sequent calculus. My thesis is, however, that they bear an even stronger resemblance to the normal natural deduction proofs employed in proof-theoretic semantics in the tradition of Dummett and Prawitz. (shrink)

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)