In this paper I undermine the Entailment Principle according to which if an entity is a truthmaker for a certain proposition and this proposition entails another, then the entity in question is a truthmaker for the latter proposition. I argue that the two most promising versions of the principle entail the popular but false Conjunction Thesis, namely that a truthmaker for a conjunction is a truthmaker for its conjuncts. One promising version of the principle understands entailment as strict implication but (...) restricts the field of application of the principle to purely contingent truths (i.e. those that contain no necessary proposition at any level of analysis). But a conjunction of purely contingent truths strictly implies its conjuncts. So this version of the principle is committed to the Conjunction Thesis. The same is true of the version of the principle where entailment is understood in the sense of systems T, R, and E of relevant logic, since in these systems conjunctions entail their conjuncts. I argue that the Conjunction Thesis is false because a truthmaker is that in virtue of what a certain proposition is true and it is false that, for example, what the proposition that Peter is a man is true in virtue of is the conjunctive fact that Peter is man and Saturn is a planet (or the facts that Peter is a man and that Saturn is a planet taken together). I also argue against other versions of the principle. (shrink)

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

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)

In this paper I present what I call the 'Metaphysical Problem of Truth', which consists in explaining in virtue of what all true sentences are true, and argue that a version of the Correspondence Theory of Truth is the most plausible solution to this problem.