During the realist revival in the early years of this century, philosophers of various persuasions were concerned to investigate the ontology of truth. That is, whether or not they viewed truth as a correspondence, they were interested in the extent to which one needed to assume the existence of entities serving some role in accounting for the truth of sentences. Certain of these entities, such as the Sätze an sich of Bolzano, the Gedanken of Frege, or the propositions of Russell (...) and Moore, were conceived as the bearers of the properties of truth and falsehood. Some thinkers however, such as Russell, Wittgenstein in the Tractatus, and Husserl in the Logische Untersuchungen, argued that instead of, or in addition to, truth-bearers, one must assume the existence of certain entities in virtue of which sentences and/or propositions are true. Various names were used for these entities, notably 'fact', 'Sachverhalt', and 'state of affairs'. (1) In order not to prejudge the suitability of these words we shall initially employ a more neutral terminology, calling any entities which are candidates for this role truth-makers. (shrink)

Logical Atomism is a philosophy that sought to account for the world in all its various aspects by relating it to the structure of the language in which we articulate information. In _The Philosophy of Logical Atomism,_ Bertrand Russell, with input from his young student Ludwig Wittgenstein, developed the concept and argues for a reformed language based on pure logic. Despite Russell’s own future doubts surrounding the concept, this founding and definitive work in analytical philosophy by one of the world’s (...) most significant philosophers is a remarkable attempt to establish a novel way of thinking. (shrink)

E. J. Lowe, a prominent figure in contemporary metaphysics, sets out and defends his theory of what there is. His four-category ontology is a metaphysical system which recognizes four fundamental categories of beings: substantial and non-substantial particulars and substantial and non-substantial universals. Lowe argues that this system has an explanatory power which is unrivalled by more parsimonious theories and that this counts decisively in its favour. He shows that it provides a powerful explanatory framework for a unified account of causation, (...) dispositions, natural laws, natural necessity and many other related matters, thus constituting a full metaphysical foundation for natural 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)

I argue that there is nothing about truth as such that prevents contradictions from being true. I argue this by considering the main standard accounts of truth, and showing that they are quite compatible with the existence of true contradictions. Indeed, in many cases, they are actually friendly to the idea.

Substantial facts are not well-understood entities. Many philosophers object to their existence on this basis. Yet facts, if they can be understood, promise to do a lot of philosophical work: they can be used to construct theories of property possession and truthmaking, for example. Here, I give a formal theory of facts, including negative and logically complex facts. I provide a theory of reduction similar to that of the typed λ -calculus and use it to provide identity conditions for facts. (...) This theory validates truthmaker maximalism : it provides truthmakers for all truths. I then show how the usual truth-in-a-model relation can be replaced by two relations: one between models and facts, saying that a given fact obtains relative to the model, and the other between facts and propositions: the truthmaking relation. (shrink)

Truth depends in some sense on reality. But it is a rather delicate matter to spell this intuition out in a plausible and precise way. According to the theory of truth-making this intuition implies that either every truth or at least every truth of a certain class of truths has a so-called truth-maker, an entity whose existence accounts for truth. This book aims to provide several ways of assessing the correctness of this controversial claim. This book presents a detailed introduction (...) to the theory of truth-making, which outlines truth-maker relations, the ontological category of truth-making entities, and the scope of a truth-maker theory. The essays brought together here represent the most important articles on truth-making in the last three decades as well as new essays by leading researchers in the field of the theory of truth and of truth-making. (shrink)

According to truthmaker theory, particular truths are true in virtue of the existence of particular entities. Truthmaker maximalism holds that this is so for all truths. Negative existential and other ‘negative’ truths threaten the position. Despite this, maximalism is an appealing thesis for truthmaker theorists. This motivates interest in parsimonious maximalist theories, which do not posit extra entities for truthmaker duty. Such theories have been offered by David Lewis and Gideon Rosen, Ross Cameron, and Jonathan Schaffer. But these theories cannot (...) be sustained, I’ll argue, and hence maximalism comes with a serious ontological cost. Neither Armstrong’s invocation of totality facts nor the Martin-Kukso line on absences can meet this cost satisfactorily. I’ll claim that negative facts are the best (and perhaps only) way out of the problem for the truthmaker maximalist. (shrink)

This article for the Stanford Encyclopedia for Philosophy provides a state of the art survey and assessment of the contemporary debate about truth-makers, covering both the case for and against truth-makers. It explores 4 interrelated questions about truth-makers, (1) What is it to be a truth-maker? (2) Which range, or ranges, of truths are eligible to be made true (if any are)? (3) What kinds of entities are truth-makers? (4) What is the motivation for adopting a theory of truth-makers? And (...) adds that there's another question to often put aside by metaphysicians but has critical consequences for truth-makers: (5) What are the truth-bearers? (shrink)

Amongst those who feel the pull of the truthmaker principle (that truths require for their truth a truthmaker to exist), there is disagreement as to whether it applies to all truths or merely to some distinguished subset. Those in the latter camp, the non-maximalists, argue that there are no ducks in my bath is true not because of something’s existence, but because of the lack of ducks in my bath. Maximalists, by contrast, insist that truths are made true by something’s (...) existence, and so appear to be committed to strange ‘negative’ entities in their ontology. As a consequence, non-maximalists appear to have a more common-sense ontology than maximalists. But things are not so straightforward. I will argue that if maximalism is committed to strange entities then so is non-maximalism; and if non-maximalism can do without strange entities, then so can maximalism. Either way, the non-maximalist has no ontological advantage over the maximalist. (shrink)

Gonzalo Rodriguez-Pereyra offers a fresh philosophical account of properties. How is it that two different things (such as two red roses) can share the same property (redness)? According to resemblance nominalism, things have their properties in virtue of resembling other things. This unfashionable view is championed with clarity and rigor.

The early David Lewis was a staunch critic of the Truthmaker Principle. To endorse the principle, he argued, is to accept that states of affairs are truthmakers for contingent predications. But states of affairs violate Hume's prohibition of necessary connections between distinct existences. So Lewis offered to replace the Truthmaker Principle with the weaker principle that ‘truth supervenes upon being’. This chapter argues that even this principle violates Hume's prohibition. Later Lewis came to ‘withdraw’ his doubts about the Truthmaker Principle, (...) invoking counterpart theory to show how it is possible to respect the principle whilst admitting only things that do not violate Hume's prohibition. What this really reveals is that the Truthmaker Principle is no explanatory advance on the supervenience principle. Extending Lewis's use of counterpart theory also allows us to explain away the necessary connections that threatened to undermine his earlier statements of supervenience. (shrink)

What makes it true when we say that something is not the case? Truthmaker maximalists think that every truth has a truthmaker—some fact in the world—that makes it true. No such facts can be found for the socalled negative truths. If a proposition is true when it has a truthmaker, then it would be false when it has no truthmaker. I therefore argue that negative truths, such as t<p>, are best understood as falsehoods, f<p>.

Negative facts get a bad press. One reason for this is that it is not clear what negative facts are. We provide a theory of negative facts on which they are no stranger than positive atomic facts. We show that none of the usual arguments hold water against this account. Negative facts exist in the usual sense of existence and conform to an acceptable Eleatic principle. Furthermore, there are good reasons to want them around, including their roles in causation, chance-making (...) and truth-making, and in constituting holes and edges. (shrink)

This volume will be the starting point for future discussion and research.

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)

In Contradiction advocates and defends the view that there are true contradictions, a view that flies in the face of orthodoxy in Western philosophy since Aristotle. The book has been at the center of the controversies surrounding dialetheism ever since its first publication in 1987. This second edition of the book substantially expands upon the original in various ways, and also contains the author’s reflections on developments over the last two decades. Further aspects of dialetheism are discussed in the companion (...) volume, Doubt Truth to be a Liar, also published by Oxford University Press in 2006. (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)

According to one tradition in realist philosophy, 'truthmaking' amounts to necessitation. That is, an object x is a truthmaker for the claim A if x exists, and the existence of x necessitates the truth of A. I argued in my paper "Truthmakers, Entailment and Necessity" [14], that if we wish to use this account of truthmaking, we ought understand the entailment connective "=>" in such a claim as a relevant entailment, in the tradition of Anderson and Belnap and their co-workers (...) [1, 2, 8, 11]. Furthermore, I proposed a number of theses about truthmaking as necessitation. The most controversial of these is the disjunction thesis: x makes a disjunction A v B true if and only if it makes one of the disjuncts (A or B) true. That paper left one important task unfinished. I did not explain how the theses about truthmaking could be true together. In this paper I give a consistency proof, by providing a model for the theses of truthmaking in my earlier paper. This result does two things. First, it shows that the theses of truthmaking are jointly consistent. Second, it provides an independently philosophically motivated formal model for relevant logics in the 'possible worlds' tradition of Routley and Meyer [8, 16, 17]. (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.

When there is truth, there must be some thing (or things) to account for that truth: some thing(s) that couldn’t exist and the true proposition fail to be true. That is the truthmaker principle. True propositions are made true by entities in the mind-independently existing external world. The truthmaker principle seems attractive to many metaphysicians, but many have wanted to weaken it and accept not that every true proposition has a truthmaker but only that some important class of propositions require (...) truthmakers.1 Let us, following Armstrong, call the claim that all true propositions, without exception, have a truthmaker, Truthmaker Maximalism. Why might one be tempted to the spirit of truthmaker theory but reject Truthmaker Maximalism? Well, you might deny that necessary truths need truthmakers, for one, and insist that only contingent truths have truthmakers. But I think it’s fair to say that the most common motivation for rejecting maximalism concerns negative truths. The thought that negative truths are exempt from the demand for truthmakers could be justified in one of two ways: there is the claim that we don’t need truthmakers for negative truths, and there is the claim that we can’t have.. (shrink)

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.

This paper asks whether we should accept a weakened version of the truthmaker principle: namely, the claim that truth supervenes on being, in which 'being' is understood as whether things are. I consider a number of positive answers to this question, including the following: that the truthmaker principle is a requirement of any plausible explanation of truth; that the principle must be accepted, if we are to do justice to the Wittgensteinian insight that the world is the totality of facts, (...) not of things; and that the correctness of the principle is a necessary condition of a realist metaphysics. In my view, none of these attempts to motivate the truthmaker principle is satisfactory. (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.

I argue that Colin Cheyne and Charles Pigden's recent attempt to find truthmakers for negative truths fails. Though Cheyne and Pigden are correct in their treatment of some of the truths they set out to find truthmakers for (such as 'There is no hippopotamus in S223' and 'Theatetus is not flying') they over-generalize when they apply the same treatment to 'There are no unicorns'. In my view, this difficulty is ineliminable: not every truth has a truthmaker.

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

In this paper, I make a contribution to a naturalistically-minded theory of truthmakers by proposing a solution to the nasty problem of truthmakers for negative truths. After formulating the difficulty, I consider and reject a number of solutions to the problem, including Armstrong's states of affairs of totality, incompatibility accounts, and JC Beall 's polarity view. I then defend the position that absences of truthmakers are real and are responsible for making negative truths true. According to the positive account of (...) absences I offer, absences of contingent states of affairs are causally relevant mind-independent features of the physical world, located within space and time, and capable of being discovered by scientific inquiry. Recognition of the reality of absences strengthens truthmaker theory as a naturalistic metaphysics, as truth and falsity of each and every contingent proposition finds an ontological grounding in some region of the physical universe. (shrink)

There is, no doubt, a temptation to treat preventions, such as ‘the father’s grabbing the child prevented the accident’, and cases of ‘causation’ by omission, such as ‘the father’s inattention was the cause of the child’s accident’, as cases of genuine causation. I think they are not, and in this paper I defend a theory of what they are. More specifically, the counterfactual theory defended here is that a claim about prevention or ‘causation’ by omission should be understood not as (...) being directly about actual genuine causation but primarily as a counterfactual claim about genuine causation.1 The relation between actual causation and the mere possibility of causation allows my theory to explain both the difference and the similarity between the two notions (causation and prevention/omission). Further, the difference explains certain intuitions we have and the similarity justifies and explains the fact that for practical purposes we usually treat preventions and omissions as if they were genuine causation. Finally, the fact that this counterfactual theory of prevention and omission takes causation as primitive suggests that it is consistent with any theory of causation. This allows us to construct two arguments against what I will call genuinism, the view that cases of prevention and ‘causation’ by omission really are cases of genuine causation. In section II I show that genuinism does not account for the so-called intuition of difference. In section III I outline a number of problems that various theories of causation have with preventions and ‘causation’ by omission. These problems are ipso facto problems for genuinism, whereas I show in section V how the counterfactual theory solves those problems. Further, I answer a genuinist argument based on another type of intuition—the genuinist intuition—by showing why we have that intuition and how it should be handled (section VI). (shrink)

This paper argues that a consideration of the problem of providing truthmakers for negative truths undermines truthmaker theory. Truthmaker theorists are presented with an uncomfortable dilemma. Either they must take up the challenge of providing truthmakers for negative truths, or else they must explain why negative truths are exceptions to the principle that every truth must have a truthmaker. The first horn is unattractive since the prospects of providing truthmakers for negative truths do not look good neither absences, nor totality (...) states of affairs, nor Graham Priest and J.C. Beall’s ‘polarities’ (Beall, 2000; Priest, 2000) are up to the job. The second horn, meanwhile, is problematic because restricting the truthmaker principle to atomic truths, or weakening it to the thesis that truth supervenes on being, undercuts truthmaker theory’s original motivation. The paper ends by arguing that truthmaker theory is, in any case, an under-motivated doctrine because the groundedness of truth can be explained without appeal to the truthmaker principle. This leaves us free to give the ommonsensical and deflationary explanation of negative truths that common-sense suggests. (shrink)