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.

The subjects of this thesis are truth, grounding and dependence. The thesis consists of an introduction and five free-standing essays. The purpose of the introduction is not merely to summarize the papers, but to provide a general background to the discussions in the essays. The introduction is divided into four chapters, each of which splits into a number of sections and/or subsections. Chapter 1. concerns the notion of ontological dependence. I start by making a distinction between two different types (...) of ontological dependence and discuss how well these notions deal with a number of philosophical issues. I then go on to consider the role that ontological dependence plays in hierarchies of natural kinds. In Chapter 2., I discuss a related notion, namely that of grounding. I sketch the theoretical framework by specifying the logical form of grounding statements and a set of structural principles that govern grounding. The chapter ends with a brief discussion on some philosophical applications of grounding. Chapter 3. deals with the notion of truthmaking and how it squares with the grounding framework developed in the previous chapter. I present the reader with the so-called Truthmaker Principle, and provide answers to a number of questions that it raises. The fourth and final chapter summarizes the five papers. The six essays are divided into three categories. Paper I deals with the notion of ontological dependence in hierarchies of natural kinds. Paper II concerns the notion of grounding and resemblance orderings among powers. Papers III, IV and V discuss various aspects of truthmaker theory. (shrink)

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.

This paper motivates and defends a principle which captures a systematic connection between essence, truth, and grounding. It says that if a proposition expresses an essential truth, i.e., if it is true in virtue of the nature of some objects, then there are grounds for its truth which involve these objects. Together with the assumption that a fact can only be grounded in facts which are relevant to it, this principle is then applied in an argument against (...) the monotonicity of the Essentialist notion ‘true in virtue of the nature of’. (shrink)

How does metaphysical grounding interact with the truth-functions? I argue that the answer varies according to whether one has a worldly conception or a conceptual conception of grounding. I then put forward a logic of worldly grounding and give it an adequate semantic characterisation.

I assume that truth-making is to be understood in terms of grounding, and I show how, on that assumption, various general properties of truth-making follow from certain features of grounding.

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)

A number of philosophers have recently found it congenial to talk in terms of grounding. Grounding discourse features grounding sentences that are answers to questions about what grounds what. The goal of this article is to explore and defend a counterpart-theoretic interpretation of grounding discourse. We are familiar with David Lewis's applications of the method of counterpart theory to de re modal discourse. Counterpart-theoretic interpretations of de re modal idioms and grounding sentences share similar motivations, mechanisms, and applications. I shall (...) explain my motivations and describe two applications of a counterpart theory for grounding discourse. But, in this article, my main focus is on counterpart-theoretic mechanisms. (shrink)

This article investigates the concept of the ground truth as both an epistemic and technical figure of knowledge that is central to discussions of machine vision and media techniques of visuality. While ground truth refers to a set of remote sensing practices, it has a longer history in operational photography, such as aerial reconnaissance. Building on a discussion of this history, this article argues that ground truth has shifted from a reference to the physical, (...) geographical ground to the surface of the images echoing earlier points raised by philosopher Jean-Luc Nancy that there is a ground of the image that is central to the task of analysis beyond representational practices. Furthermore, building on the practices of pattern recognition, composite imaging, and different interpretational techniques, we discuss contemporary practices of machine learning that mobilizes geographical earth observation datasets for experimental purposes, including tests such as “fake geography” as well as artistic practices, to show how ground truth is operationalized in such contexts of AI and visual arts. (shrink)

Chris Heathwood requires the sentence 'Caesar was conscious when he crossed the Rubicon' to be made true in much the same way as 'Caesar was wet when he crossed the Rubicon'. Yet because the Growing Block theorist is committed to the zombiedom of the past,the former is not made true by past objects, although the latter is. Heathwood demands a uniform account of the grounding of truths and he will be given a uniform account. But we should exercise care in (...) deciding just what sort of uniformity is appropriate. As Russell so famously pointed out a century ago the subject/predicate form of a sentence can be misleading. Likewise although the two sentences 'Caesar is conscious' and 'Caesar is wet' have similar subject/predicate forms they have, I say, different kinds of truth-conditions and hence their past tense transformations also have different kinds of truth-conditions. The uniformity I endorse is that in both cases the grounds for the past tense transformation are the same as the grounds the present tense versions used to have when they were true. (shrink)

reality is a complex affair. It comprises a huge variety of different elements. Importantly, though, reality is not a mere aggregate of its elements but rather a structured whole or system whose building blocks are not all on the same level. Instead, they form hierarchical networks ordered by relations of priority. In such networks, derivative aspects of reality obtain in virtue of their grounds, that is, in virtue of more fundamental aspects of reality that are prior to them.This picture of (...) reality as a structured whole is currently enjoying a renaissance in the works of philosophers such as Kit Fine, Jonathan Schaffer, and many others. But far from being a new picture, it has been widely endorsed throughout the... (shrink)

Many philosophers believe that truth is grounded: True propositions depend for their truth on the world. Some philosophers believe that truth’s grounding has implications for our ontology of time. If truth is grounded, then truth supervenes on being. But if truth supervenes on being, then presentism is false since, on presentism, e.g., that there were dinosaurs fails to supervene on the whole of being plus the instantiation pattern of properties and relations. Call this the (...) grounding argument against presentism. Many presentists claim that the grounding argument fails because, despite appearances, supervenience is compatible with presentism. In this paper, I claim that the grounding argument fails because, despite appearances, truth’s grounding gives the presentist no compelling reason to adopt the sort of supervenience principle at work in the grounding argument. I begin by giving two precisifications of the grounding principle: truthmaking and supervenience. In Sect. 2, I give the grounding argument against presentism. In Sect. 3, I argue that we should distinguish between eternalist and presentist notions of grounding; once this distinction is in hand, the grounding argument is undercut. In Sect. 4, I show how the presentist’s notion of grounding leads to presentist-friendly truthmaking and supervenience principles. In Sect. 5, I address some potential objections. (shrink)

Künne outlines Bolzano’s attempt to give a definition of the concept of truth and asks whether Frege succeeded in showing that all such endeavours are doomed to failure. Bolzano and Frege are agreed that the schema ‘That p is true if, and only if, p’ captures an important feature of the concept of truth, and in different ways both went beyond this observation: Frege maintained that the two halves of such biconditionals express the same proposition, and Bolzano supplemented (...) the equivalence schema with ‘If it is true that p then it is true because p’. Künne locates this true-because principle in Bolzano’s general theory of grounding and explores whether Frege’s Identity Thesis can be refuted by appealing to it. (shrink)

A natural proposal for the grounds of negative existential truths, such as that Vulcan does not exist, states that these truths are grounded in the totality truth affirming the existence of every existent thing together with the truth that they are all. In this paper I will put forward three objections to straightforward formulations of this idea, and argue that a change in the usual grammar of grounding claims, allowing for pluralities of sentences to express not only grounds, (...) but also groundees, is effective in making the account immune to the objections raised. (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)

Hacking argues against van Fraassen's constructive empiricism by appeal to features of microscopic imaging. Hacking relies on both our practices involving imaging instruments and the structure of the images produced by these micropractices. Van Fraassen's reply is formally correct yet fundamentally unsatisfying. I aim to strengthen van Fraassen's reply, but must then extend constructive empiricism, specifically the central notion of "theoretical immersion." I argue that immersion is more analogous to entering a virtual reality than to learning a language. This metaphor (...) assimilates instrument-based practice as well as theoretical debate and explanation, and can provide an anti-realist view of our micro-practices consonant with constructive empiricism. (shrink)

This is part two of a two-part paper in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. In this part of the paper, we extend the base theory of the first part of the paper with hierarchically typed truth-predicates and principles about the interaction of partial ground and truth. (...) We show that our theory is a proof-theoretically conservative extension of the ramified theory of positive truth up to. (shrink)

This article examines the interplay between contemporary algorithmic security technology and the political theory of the state of exception. I argue that the exception, as both a political and a technological concept, provides a crucial way to understand the power operating through machine learning technologies used in the security apparatuses of the modern state. I highlight how algorithmic security technology, through its inherent technical properties, carries exceptions throughout its political and technological architecture. This leads me to engage with Theodor Adorno’s (...) negative dialectics to interrogate the question of ‘ground truth’ in machine learning. I conclude that most machine learning technology asserts identity between itself and bourgeois reality – and thus inherently reinforces and reproduces the relations of domination entailed in that image of the world. However, space still exists for machine learning to operate within spaces of political non-identity, or exceptions to the bourgeois totality, and aid in liberatory politics. (shrink)

The article takes up the question of the “truth” of images by means of a somewhat playful reflection upon our human kinship with canine life and by considering the recurrent images of dogs of all shapes and sizes within the philosophical tradition. Here there is occasion to consider both Socrates and Confucius, who had a special fondness for dogs and who were at times compared to dogs themselves. The paper begins with a reading of Kant’s schematism in the First (...) Critique, as an operation that would establish a mediating relation between the concepts of the understanding and sensible intuitions, and ends with a meditation upon the dog-themed painting, “Dark Room,” by the contemporary artist, Alan Loehle. Kant accounts for our ability to grasp that we see a dog by introducing a mysterious distortional skewing or Verzeichnung, which as a power of the imagination is able to freely sketch what appears for it within the sensible. The sense of this Kantian skewing or sketching thereby anticipates what Heidegger names the essential Verunstaltung belonging originally to the event of truth. The last half of the paper turns to Jean-Luc Nancy’s difficult but provocative work on the abysmal ground of images and attempts to show in this way how our human kinship with canine life exposes us to what Nancy would think, following Heidegger, as the elemental strife between earth and sky. (shrink)

This article recounts the evolution of a global debate on the development of a common international code of journalistic ethics that would apply to East and West, Developed and Developing Countries. It sees as unlikely universal principles and prescriptions for professionals can be adopted across the divergent sociopolitical philosophies involved. Even common ground for constructive discussion on the topic is limited. Scholars, journalists, and educators are encouraged to instill an appreciation for the differences and to help create an understanding (...) of the special problems involved in media relationships among countries. (shrink)

After twenty years of almost unbroken wars of choice, the deficiencies in the ethical and operational conduct of war by Western armed forces, has largely been ignored by scholarly critique. This volume addresses these deficiencies and demonstrates that they in fact represent the culmination of decades of erosion of military professionalism. Contributions in this edited collection are written by some of the UK's leading soldiers, veterans and scholars working in the fields of military ethics and contemporary conflict.

We axiomatize Leitgeb's (2005) theory of truth and show that this theory proves all arithmetical sentences of the system of ramified analysis up to $\epsilon_0$. We also give alternative axiomatizations of Kripke's (1975) theory of truth (Strong Kleene and supervaluational version) and show that they are at least as strong as the Kripke-Feferman system KF and Cantini's VF, respectively.

What is the explanatory role of ‘status-truths’ such as essence-truths, necessity-truths and law-truths? A plausible principle, suggested by various authors, is Ground by Status, according to which status truths ground their prejacents. For instance, if it is essential to a that p, then this grounds the fact that p. But Ground by Status faces a forceful objection: it is inconsistent with widely accepted principles regarding the logic of grounding (Glazier in Philos Stud 174(11):2871–2889, 2017a, Synthese 174(198):1409–1424, 2017b; (...) Kappes in Synthese 199(1–2):2575–2595, 2020, Philos Stud 178(4):1267–1284, 2021). I defend Ground by Status against this objection. (shrink)

We consider the foundational relation between arithmetic and set theory. Our goal is to criticize the construction of standard arithmetic models as providing grounds for arithmetic truth (even in a relative sense). Our method is to emphasize the incomplete picture of both theories and treat models as their syntactical counterparts. Insisting on the incomplete picture will allow us to argue in favor of the revisability of the standard model interpretation. We then show that it is hopeless to expect that (...) the relative grounding provided by a standard interpretation can resist being revisable. We start briefly characterizing the expansion of arithmetic `truth' provided by the interpretation in a set theory. Further, we show that, for every well-founded interpretation of recursive extensions of PA in extensions of ZF, the interpreted version of arithmetic has more theorems than the original. This theorem expansion is not complete however. We continue by defining the coordination problem. The problem can be summarized as follows. We consider two independent communities of mathematicians responsible for deciding over new axioms for ZF and PA. How likely are they to be coordinated regarding PA’s interpretation in ZF? We prove that it is possible to have extensions of PA not interpretable in a given set theory ST. We further show that the probability of a random extension of arithmetic being interpretable in ST is zero. (shrink)

This paper focuses on a Christian philosophy grounded in the experience of truth. To better understand this, it will explore: (1) the kind of philosophical approach that provides a space for people to preoccupy themselves with truth and draws them to further probe into the fundamental questions; (2) a return to the basics: philosophy as love of wisdom and for love of wisdom is personal, an experiential journey; (3) finally, a vision of Christian philosophy that is not purely (...) theoretical but teaches one how to incarnate every truth and virtue. Christian philosophy provides us with an experience in, with, and of the truth in terms of understanding and developing certain traits and virtues such as prudence, justice, fortitude, and temperance. The shaping and molding of these good habits within each person are important in maintaining a Christian worldview to keep one grounded while being immersed in the world and its realities, allowing the Christian to become a reality within oneself and for others. -------------------------- Received: 20/03/2023. Reviewed: 18/04/2023. Accepted: 24/04/2023. (shrink)

I formulate an account, in terms of essence and ground, that explains why atomic Russellian propositions have the truth conditions they do. The key ideas are that (i) atomic propositions are just 0-adic relations, (ii) truth is just the 1-adic version of the instantiation (or, as I will say, holding) relation (Menzel 1993: 86, note 27), and (iii) atomic propositions have the truth conditions they do for basically the same reasons that partially plugged relations, like being (...) an x and a y such that Philip gave x to y, have the holding conditions they do. The account is meant to be mainly of intrinsic interest, but I hope that it goes some distance toward answering an objection to classical theories of propositions put forward by King (2014), who writes that ‘since the classical conception of propositions as things that have truth conditions by their very natures and independently of minds and languages is incapable of explaining how or why propositions have truth conditions, it is unacceptable’ (2014: 47). Propositions do have their truth conditions ‘by their very natures’ and ‘independently of minds and languages’. But a fact about a given entity can hold by the very nature of that entity without being a fundamental fact. I argue that this is plausibly the case for atomic Russellian propositions and the facts about their truth conditions. A fact about the truth conditions of such a proposition holds by the very nature of the given proposition but is metaphysically grounded in facts about that proposition’s parts and their essences. If my account is correct, then the supposedly intractable problem of explaining why the given propositions have the truth conditions they do reduces to the problem of explaining why relations have the holding essences they do, which few seem to have found worrisome . (shrink)

In this paper I will consider a number of responses to the grounding problem for presentism. I don’t think that the grounding problem is a damning problem for the presentist (it seems to me that presentism has much more serious problems with cross-time relations and relativity). But each of the solutions comes at a cost, and some are much pricier than others. I will set out what I take these costs to be when I examine each response to the grounding (...) problem. (shrink)

Recent AI ethics has focused on applying abstract principles downward to practice. This paper moves in the other direction. Ethical insights are generated from the lived experiences of AI-designers working on tangible human problems, and then cycled upward to influence theoretical debates surrounding these questions: 1) Should AI as trustworthy be sought through explainability, or accurate performance? 2) Should AI be considered trustworthy at all, or is reliability a preferable aim? 3) Should AI ethics be oriented toward establishing protections for (...) users, or toward catalyzing innovation? Specific answers are less significant than the larger demonstration that AI ethics is currently unbalanced toward theoretical principles, and will benefit from increased exposure to grounded practices and dilemmas. (shrink)

The Problem of Iterated Ground is to explain what grounds truths about ground: if Γ grounds φ, what grounds that Γ grounds φ? This paper develops a novel solution to this problem. The basic idea is to connect ground to explanatory arguments. By developing a rigorous account of explanatory arguments we can equip operators for factive and non-factive ground with natural introduction and elimination rules. A satisfactory account of iterated ground falls directly out of the (...) resulting logic: non- factive grounding claims, if true, are zero-grounded in the sense of Fine. (shrink)

Truths depend upon what there is. So say many. A significant subset of that group say more; they say that the best way—perhaps the only way—to make sense of the claim that truth depends upon what there is, is to adopt a form of truth-maker theory. Truth-maker theorists claim that truths require ground; what’s true must depend upon what there is. Typically, truth-maker theory isn’t seen as a theory about the nature of truth. Rather, (...) it’s seen as a theory about what truths must do. Truths must depend. Relatedly, the claim that truths require ‘truth-makers’, that is, some putative ontological grounds, is used as a methodological tool in metaphysics. Put somewhat crudely, fix on what truths there are and locate the truth-makers—if necessary, add to your ontology until you satisfy this demand for truth-makers. Truth-making is thus at once both narrow and broad. It’s narrow insofar as it’s not a theory (it’s not a claim) about the nature of truth, and yet it’s broad insofar as it enables us to determine our ontological commitments. We take this to be a two-part orthodoxy about truth-making. We reject the orthodoxy on both counts. (shrink)

This theoretical paper considers the morality of machine learning algorithms and systems in the light of the biases that ground their correctness. It begins by presenting biases not as a priori negative entities but as contingent external referents—often gathered in benchmarked repositories called ground-truth datasets—that define what needs to be learned and allow for performance measures. I then argue that ground-truth datasets and their concomitant practices—that fundamentally involve establishing biases to enable learning procedures—can be described (...) by their respective morality, here defined as the more or less accounted experience of hesitation when faced with what pragmatist philosopher William James called “genuine options”—that is, choices to be made in the heat of the moment that engage different possible futures. I then stress three constitutive dimensions of this pragmatist morality, as far as ground-truthing practices are concerned: the definition of the problem to be solved, the identification of the data to be collected and set up, and the qualification of the targets to be learned. I finally suggest that this three-dimensional conceptual space can be used to map machine learning algorithmic projects in terms of the morality of their respective and constitutive ground-truthing practices. Such techno-moral graphs may, in turn, serve as equipment for greater governance of machine learning algorithms and systems. (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)

This short paper focuses on Kripke's paper on truth from 1975. It is 1. a historiographical commentary, 2. an argument about the advantages of the theory, and 3. an interpretation of its philosophical meaning. 1. Kripke presents a diagnosis of semantic paradoxes based on their similarity with ungrounded sentences. Based on Kleene's three-value logic, he then shows that it is possible to find fixed points in which the assertion of an unsubstantiated (non-paradoxical) sentence can sustain a cumulative distance with (...) its anti-extension. 2. We argue that Kripke's paper has the advantage of explaining risk in truth assessments. It provides a framework to solve problems of languages that have their truth predicate. Although compatible with Tarski's, this solution more faithfully paints the speculative and revisionist representation of assignments of truth. It exhibits the conditions of stable risk assertions (whose fixed point accumulates semantic value in a single direction) and distinguishes it from irrational assertions, which, as dogmas, base their risk on arbitrary points and provide an unstable basis for truth assertions. (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.

Ethnographic study of the constitution of algorithms.

Truth pluralism offers the latest extension in the tradition of substantive theorizing about truth. While various forms of this thesis are available, most frameworks commit to domain reliance. According to domain reliance, various ways of being true, such as coherence and correspondence, are tied to discourse domains rather than individual sentences. From this follows that the truth of different types of sentences is accounted for by their domain membership. For example, sentences addressing ethical matters are true if (...) they cohere and those addressing extensional states of affairs if they correspond. By tying distinct truth-grounding properties to domains rather than individual sentences, truth pluralists avoid certain issues with definitional ambiguity and indeterminacy. I argue that contrary to the ideal situation, domains fail to provide the sought-after benefits of achieving definitional unambiguity and determinacy in the standard domain reliant pluralist frameworks. The reason is that, when combined with the inherently ambiguous nature of certain truth-relevant terms of sentences, fringe cases emerge, causing some of them to count as members of multiple domains. Consequently, some sentences end up being both true and false in the standard domain reliant pluralist frameworks, thus conflicting with both standard laws of non-contradiction and identity. Finally, I argue that truth pluralists should pay closer attention to the hitherto neglected question of inherent natural language ambiguity. (shrink)