How do we explain the truth of true propositions? Truthmaker theory is the branch of metaphysics that explores the relationships between what is true and what exists. It plays an important role in contemporary debates about the nature of metaphysics and metaphysical enquiry. -/- In this book Jonathan Tallant argues, controversially, that we should reject truthmaker theory. In its place he argues for an 'explanationist' approach. Drawing on a deflationary theory of truth he shows that it allows us to explain (...) the truth of true propositions and respond to recent arguments that purport to show otherwise. He augments this with a distinction between internally and externally quantified claims: externally quantified claims are claims that quantify over elements of our ontology that play an indispensable explanatory role; internally quantified claims do not. He deploys this union of deflationism and a distinction between kinds of quantification to pursue metaphysical inquiry, sketching the implications for a number of first-order debates, including those in the philosophy of time, modality and mathematics, and also shows how this explanationist model can be used to solve the key problems that afflicted truthmaker theory. -/- Truth and the World is an important contribution to debates about truth and truthmaker theory as well as metametaphysics, the metaphysics of time and the metaphysics of mathematics, and is essential reading for students and scholars engaged in the study of these topics. (shrink)

There is a systematic and suggestive analogy between grounding and causation. In my view, this analogy is no coincidence. Grounding and causation are alike because grounding is a type of causation: metaphysical causation. In this paper I defend the identification of grounding with metaphysical causation, drawing on the causation literature to explore systematic connections between grounding and metaphysical dependence counterfactuals, and I outline a non-reductive counterfactual theory of grounding along interventionist lines.

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)

It is commonly assumed that grounding relations are asymmetric. Here I develop and argue for a theory of metaphysical structure that takes grounding to be nonsymmetric rather than asymmetric. Even without infinite descending chains of dependence, it might be that every entity is grounded in some other entity. Having first addressed an immediate objection to the position under discussion, I introduce two examples of symmetric grounding. I give three arguments for the view that grounding is nonsymmetric (I call this view (...) ‘metaphysical interdependence’). These arguments are: (i) that metaphysical interdependence is the only theory able to reconcile competing intuitions about grounding; (ii) that it is the only theory consistent with both ‘gunk’ and ‘junk’; and (iii) that offers a satisfactory solution to the problem concerning whether or not grounding is itself grounded. (shrink)

Belief in propositions has had a long and distinguished history in analytic philosophy. Three of the founding fathers of analytic philosophy, Gottlob Frege, Bertrand Russell, and G. E. Moore, believed in propositions. Many philosophers since then have shared this belief; and the belief is widely, though certainly not universally, accepted among philosophers today. Among contemporary philosophers who believe in propositions, many, and perhaps even most, take them to be structured entities with individuals, properties, and relations as constituents. For example, the (...) proposition that Glenn loves Tracy has Glenn, the loving relation, and Tracy as constituents. What is it, then, that binds these constituents together and imposes structure on them? And if the proposition that Glenn loves Tracy is distinct from the proposition that Tracy loves Glenn yet both have the same constituents, what is about the way these constituents are structured or bound together that makes them two different propositions? In The Nature and Structure of Content, Jeffrey C. King formulates a detailed account of the metaphysical nature of propositions, and provides fresh answers to the above questions. In addition to explaining what it is that binds together the constituents of structured propositions and imposes structure on them, King deals with some of the standard objections to accounts of propositions: he shows that there is no mystery about what propositions are; that given certain minimal assumptions, it follows that they exist; and that on his approach, we can see how and why propositions manage to have truth conditions and represent the world as being a certain way. The Nature and Structure of Content also contains a detailed account of the nature of tense and modality, and provides a solution to the paradox of analysis. Scholars and students working in the philosophy of mind and language will find this book rewarding reading. (shrink)

Jonathan Lowe argues that metaphysics should be restored to a central position in philosophy, as the most fundamental form of inquiry, whose findings underpin those of all other disciplines. He portrays metaphysics as charting the possibilities of existence, by identifying the categories of being and the relations between them. He sets out his own original metaphysical system, within which he seeks to answer many of the deepest questions in philosophy. 'a very rich book... deserves to be read carefully by anyone (...) interested in any of the many subjects he discusses.' Katherine Hawley, British Journal of the Philosophy of Science. (shrink)

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

Bertrand Russell was one of the greatest logicians since Aristotle, and one of the most important philosophers of the past two hundred years. As we approach the 125th anniversary of the Nobel laureate's birth, his works continue to spark debate, resounding with unmatched timeliness and power. The Problems of Philosophy, one of the most popular works in Russell's prolific collection of writings, has become core reading in philosophy. Clear and accessible, this little book is an intelligible and stimulating guide to (...) those problems of philosophy which often mistakenly lead to its status as too lofty and abstruse for the lay mind. Focusing on problems he believes will provoke positive and constructive discussion, Russell concentrates on knowledge rather than metaphysics, steering the reader through his famous 1910 distinction between "knowledge by acquaintance and knowledge by description," and introducing important theories of Descartes, Kant, Hegel, Hume, Locke, Plato, and others to lay the foundation for philosophical inquiry by general readers and scholars alike.With a new introduction by John Perry, this valuable work is a perfect introduction to the field and will continue to stimulate philosophical discussion as it has done for nearly forty years. (shrink)

Jonathan Lowe argues that metaphysics should be restored to a central position in philosophy, as the most fundamental form of rational inquiry, whose findings underpin those of all other disciplines. He portrays metaphysics as charting the possibilities of existence, by idetifying the categories of being and the relations of ontological dependency between entities of different categories. He proceeds to set out a unified and original metaphysical system: he defends a substance ontology, according to which the existence of the world s (...) one world in time depends upon the existence of persisting things which retain their identity over time and through processes of qualitative change. And he contends that even necessary beings, such as the abstract objects of mathematics, depend ultimately for their existence upon there being a concrete world of enduring substances. Within his system of metaphysics Lowe seeks to answer many of the deepest and most challenging questions in philosophy. (shrink)

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.

General discussion of grounding, including its formal features, relations to other notions, and applications. (Originally published 2014; revised 2021).

The paper argues that grounding is neither irreflexive, nor asymmetric, nor transitive. In arguing for that conclusion the paper also arguesthat truthmaking is neither irreflexive, nor asymmetric, nor transitive.

The statue and the lump of clay that constitutes it fail to share all of their kind and modal properties. Therefore, by Leibniz’s Law, the statue is not the lump. Question: What grounds the kind and modal differences between the statue and the lump? In virtue of what is it that the lump of clay, but not the statue, can survive being smashed? This is the grounding problem. Now a number of solutions to the grounding problem require that we substantially (...) revise our view of reality. In this paper, I provide a solution to this problem that does not require such a revision. I then show how my solution to the grounding problem can solve a related problem and answer a related question. The upshot is that the solution I offer is not only non-revisionary, but also fruitful. (shrink)

A significant reorientation is currently under way in analytic metaphysics, away from an almost exclusive focus on questions of existence and towards a greater concentration on questions concerning the dependence of one type of phenomenon on another. Surprisingly, despite the central role dependence has played in philosophy since its inception, interest in a systematic study of this concept has only recently surged among contemporary metaphysicians. In this paper, I focus on a promising account of ontological dependence in terms of a (...) non-modal and sufficiently constrained conception of essence developed by Kit Fine. I argue that even this essentialist account is, as it stands, not fine-grained enough to recognize different varieties of dependence which ought to be distinguished even within the realm of ontology. In some cases, an entity may be ontologically dependent on its essential constituents out of which it is constructed; but in other cases, an entity may be ontologically dependent on another for a different reason. A framework which glosses over these differences does not offer a proper diagnosis of why one entity ontologically depends on another. (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.

We defend two claims: (1) if one is attracted to a strong non-maximalist view about truthmaking, then it is natural to construe this as the view that there exist fundamental truths; (2) despite considerable aversion to fundamental truths, there is as yet no viable independent argument against them. That is, there is no argument against the existence of fundamental truths that is independent of any more specific arguments against the ontology accepted by the strong non-maximalist. Thus there is no argument (...) that the strong non-maximalist herself will find dialectically motivating. (shrink)

A number of philosophers have recently become receptive to the idea that, in addition to scientific or causal explanation, there may be a distinctive kind of metaphysical explanation, in which explanans and explanandum are connected, not through some sort of causal mechanism, but through some constitutive form of determination. I myself have long been sympathetic to this idea of constitutive determination or ‘ontological ground’; and it is the aim of the present paper to help put the idea on a firmer (...) footing - to explain how it is to be understood, how it relates to other ideas, and how it might be of use in philosophy. (shrink)

A compelling idea holds that reality has a layered structure. We often disagree about what inhabits the bottom layer, but we agree that higher up we find chemical, biological, geological, psychological, sociological, economic, /etc./, entities: molecules, human beings, diamonds, mental states, cities, interest rates, and so on. How is this intuitive talk of a layered structure of entities to be understood? Traditionally, philosophers have proposed to understand layered structure in terms of either reduction or supervenience. But these traditional views face (...) well-known problems. A plausible alternative is that layered structure is to be explicated by appeal to explanations of a certain sort, termed / grounding explanations/. Grounding explanations tell us what obtains in virtue of what. Unfortunately, the use of grounding explanations to articulate the layered conception faces a problem, which I call /the collapse/. The collapse turns on the question of how to ground the facts stated by the explanations themselves. In this paper I make a suggestion about how to ground explanations that avoids the collapse. Briefly, the suggestion is that the fact stated by a grounding explanation is grounded in its /explanans/. (shrink)

The article explores the irreflexivity of metaphysical dependence in the physical structure of reality. It stresses that the word dependence denotes quasi-ireflexivity which affects the metaphysical relations of a physical structure. It focuses on the view that irreflexivity assumption has been made without discussion of the dependence relations on the structure of reality.

In order to perfectly describe the world, it is not enough to speak truly. One must also use the right concepts - including the right logical concepts. One must use concepts that "carve at the joints", that give the world's "structure". There is an objectively correct way to "write the book of the world". Much of metaphysics, as traditionally conceived, is about the fundamental nature of reality; in the present terms, this is about the world's structure. Metametaphysics - inquiry into (...) the status of metaphysical questions - turns on structure. The question of whether ontological, causal, or modal questions are "substantive" is in large part a question of whether the world has ontological, causal, and modal structure - whether quantifiers, causal relations, and modal operators carve at the joints. (shrink)

Consider a certain red rose. The proposition that the rose is red is true because the rose is red. One might say as well that the proposition that the rose is red is made true by the rose’s being red. This, it has been thought, does not commit one to a truthmaker of the proposition that the rose is red. For there is no entity that makes the proposition true. What makes it true is how the rose is, and how (...) the rose is is not an entity over and above the rose. It is against this view that I shall argue in this paper. I shall argue that a significant class of true propositions, including inessential predications like the proposition that the rose is red, are made true by entities. "No truthmaking without truthmakers" is my slogan. Although I have my view about what kinds of entities are truthmakers, I shall not argue for or presuppose that view here. All I shall argue for here is that if a proposition is made true by something, it is made true by some thing, but my argument will leave it open what kind of thing that thing is: it could be a fact or state of affairs, a trope, or any other sort of entity. (shrink)

Truths are determined not by what we believe, but by the way the world is. Or so realists about truth believe. Philosophers call such theories correspondence theories of truth. Truthmaking theory, which now has many adherents among contemporary philosophers, is the most recent development of a realist theory of truth, and in this book D. M. Armstrong offers the first full-length study of this theory. He examines its applications to different sorts of truth, including contingent truths, modal truths, truths about (...) the past and the future, and mathematical truths. In a clear, even-handed and non-technical discussion he makes a compelling case for truthmaking and its importance in philosophy. His book marks a significant contribution to the debate and will be of interest to a wide range of readers working in analytical philosophy. (shrink)

Challenging the myth that mathematical objects can be defined into existence, Bigelow here employs Armstrong's metaphysical materialism to cast new light on mathematics. He identifies natural, real, and imaginary numbers and sets with specified physical properties and relations and, by so doing, draws mathematics back from its sterile, abstract exile into the midst of the physical world.

Alethic pluralism is the view that the nature of truth is not uniform across domains. There are several ways of bang true $(T_1 ...\,T_n )$ A simple argument, the 'instability challenge', purports to show that this view is inherently unstable. One can simply say that something is uniformly true if and only if it is T₁ or ... or $\,T_n $ . Being uniformly true is a single truth property that applies across the board, and so the nature of truth (...) is uniform across domains, contra pluralism. I defend pluralism against the instability challenge. I show that the challenge bifurcates: one Challenge is formulated in terms of predicates, and the other is formulated in terms of properties. Vie pluralist has the resources to defuse both of these. The sparse/abundant property distinction and considerations of explanatory asymmetry play a crucial role in my argument. (shrink)

On the now dominant Quinean view, metaphysics is about what there is. Metaphysics so conceived is concerned with such questions as whether properties exist, whether meanings exist, and whether numbers exist. I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. Metaphysics so revived does not bother asking whether properties, meanings, and numbers exist (of course they do!) The question is whether or not they are fundamental.

This bulletin contains a summary of the main topics of discussion in truthmaker theory, namely: the definition of truthmakers, problems with Truthmaker Necessitarianism and Truthmaker Maximalism, the ontological burden of truthmakers and the recalcitrant topic of truthmakers for negative truths.

Persistence through time is like extension through space. A road has spatial parts in the subregions of the region of space it occupies; likewise, an object that exists in time has temporal parts in the various subregions of the total region of time it occupies. This view — known variously as four dimensionalism, the doctrine of temporal parts, and the theory that objects “perdure” — is opposed to “three dimensionalism”, the doctrine that things “endure”, or are “wholly present”.1 I will (...) attempt to resolve this dispute in favor of four dimensionalism by means of a novel argument based on considerations of vagueness. But before argument in this area can be productive, I believe we must become much clearer than is customary about exactly what the dispute is, for the usual ways of formulating the dispute are flawed, especially where three dimensionalism is concerned. (shrink)

I argue that the one and only truthmaker is the world. This view can be seen as arisingfrom (i) the view that truthmaking is a relation of grounding holding between true propositions and fundamental entities, together with (ii) the view that the world is the one and only fundamental entity. I argue that this view provides an elegant and economical account of the truthmakers, while solving the problem of negative existentials, in a way that proves ontologically revealing.

Translation of Frege's 'Über Begriff und Gegenstand' (1892). Translation by Peter Geach, revised by Max Black.

We frequently speak of certain things or phenomena being built out of or based in others. Making Things Up concerns these relations, which connect more fundamental things to less fundamental things: Karen Bennett calls these 'building relations'. She aims to illuminate what it means to say that one thing is more fundamental than another.

In Truth as One and Many, Michael Lynch offers a new theory of truth. There are two kinds of theory of truth in the literature. On the one hand, we have logical theories, which seek to construct formal systems that are consistent, while also containing a predicate which have as many as possible of the properties which we ordinarily take the English predicate ‘is true’ to have; salient examples include Tarski’s and Kripke’s theories of truth. On the other hand, we (...) have metaphysical theories, which seek to give a non-formal account of the nature of truth – of what truth consists in, of what it means to say that something is true; salient examples include correspondence, coherence and deflationary theories of truth. Lynch’s theory – functionalism about truth – is of the second sort.The theory takes its start from a number of principles which Lynch classifies as truisms about truth:Objectivity: The belief that p is true if, and only if, with respect to the belief that p, things are as they are believed to be.Norm of Belief: It is prima facie correct to believe that p if and only if the proposition that p is true.End of Inquiry: Other things being equal, true beliefs are a worthy goal of inquiry.Lynch argues that other familiar principles can be derived from these: for example, Objectivity together with some auxiliary principles and definitions yields versions of the T-schema, and of the principle that beliefs can be true without being warranted and vice versa. These principles are supposed to give the nominal essence of truth – to constitute our folk theory of truth. Lynch …. (shrink)

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

According to Armstrong (amongst others) ‘any truth, should depend for its truth for something “outside” it’ where this one-way dependency is explained in terms of the asymmetric relationship that obtains between a truth and its truth-maker. But there’s no need to appeal to truth-makers to make sense of this dependency. The truth of a proposition is essentially determined by the interlocking semantic mechanism of reference and satisfaction which already ensures that the truth-value of a proposition depends on how things stand (...) outside it. By contrast, how things stand outside of a proposition is determined by other worldly mechanisms that have nothing to do with truth. (shrink)

First published in 2002. Routledge is an imprint of Taylor & Francis, an informa company.

The paper delineates a new approach to truth that falls under the category of “Pluralism within the bounds of correspondence”, and illustrates it with respect to mathematical truth. Mathematical truth, like all other truths, is based on correspondence, but the route of mathematical correspondence differs from other routes of correspondence in (i) connecting mathematical truths to a special aspect of reality, namely, its formal aspect, and (ii) doing so in a complex, indirect way, rather than in a simple and direct (...) way. The underlying idea is that an intricate mind is capable of creating intricate routes from language to reality, and this enables it to apply correspondence principles in areas for which correspondence is traditionally thought to be problematic. (shrink)

What does reality encompass? Is it exclusively physical, or does it include mental and 'abstract' aspects? What are the elements of being, reality's raw materials? John Heil offers stimulating answers to these questions framed in terms of a comprehensive metaphysics of substances and properties inspired by Descartes, Locke, and their successors.

Truthmaker says that things, broadly construed, are the ontological grounds of truth and, therefore, that things make truths true. Recently, there have been a number of arguments purporting to show that if one embraces Truthmaker, then one ought to embrace Truthmaker Maximalism—the view that all non-analytic propositions have truthmakers. But then if one embraces Truthmaker, one ought to think that negative existentials have truthmakers. I argue that this is false. I begin by arguing that recent attempts by Ross Cameron and (...) Jonathan Schaffer to provide negative existentials with truthmakers fail. I then argue that the conditional—if one embraces Truthmaker, the one ought to embrace Truthmaker Maximalism—is false by considering worlds where very little, if anything at all, exists. The conclusion is that thinking that negative existentials do not have truthmakers, and therefore rejecting Truthmaker Maximalism, need not worry Truthmaker embracers. (shrink)

Is the truthmaker principle a development of the correspondence theory of truth? So Armstrong introduced the truthmaker principle to us, but Lewis (2001. Forget about the ‘correspondence theory of truth’. Analysis 61: 275–80.) influentially argued that it is neither a correspondence theory nor a theory of truth. But the truthmaker principle can be correctly understood as a development of the correspondence theory if it’s conceived as incorporating the insight that truth is a relation between truth-bearers and something worldly. And we (...) strengthen rather than weaken the plausibility of the truthmaker principle if we conceive of truth as performing a substantial rather than deflationary role in the truthmaker principle. (shrink)

This chapter replies to arguments, advanced by Gonzalo Rodriguez–Pereyra, for thinking that the intuitions that have inspired theories of truthmaking cannot be accommodated without commitment to truth-making entities. It contains a suggestion about why, even if there are no entities that make propositions true, we should nonetheless be apt to think of truth as grounded. The advocates of truthmakers engage sometimes in a specifically ontological enquiry of a wide-ranging sort, sometimes in the project of understanding truth. Inasmuch as Rodriguez–Pereyra's manner (...) of defending a truthmaker principle makes connections with both of these projects, the objections to his account made in the chapter rebound on them both. (shrink)