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)

Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.

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)

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)

Three plausible views—Presentism, Truthmaking, and Independence—form an inconsistent triad. By Presentism, all being is present being. By Truthmaking, all truth supervenes on, and is explained in terms of, being. By Independence, some past truths do not supervene on, or are not explained in terms of, present being. We survey and assess some responses to this.

In a pair of very important papers, namely “Space, Time and Individuals” in the Journal of Philosophy for October 1955 and “The Indestructibility and Immutability of Substances” in Philosophical Studies for April 1956, Professor N. L. Wilson began something which badly needed beginning, namely the construction of a logically rigorous “substance-language” in which we talk about enduring and changing individuals as we do in common speech, as opposed to the “space-time” language favoured by very many mathematical logicians, perhaps most notably (...) by Quine. This enterprise of Wilson's is one with which I could hardly sympathize more heartily than I do; and one wishes for this logically rigorous “substance-language” not only when one is reading Quine but also when one is reading many other people. How fantastic it is, for instance, that Kotarbinski1 should call his metaphysics “Reism” when the very last kind of entity it has room for is things —instead of them it just has the world-lines or life-histories of things; “fourdimensional worms”, as Wilson says. Wilson, moreover, has at least one point of superiority to another rebel against space-time talk, P. F. Strawson; namely he does seriously attempt to meet formalism with formalism—to show that logical rigour is not a monopoly of the other side. At another point, however, Strawson seems to me to see further than Wilson; he is aware that substance-talk cannot be carried on without tenses, whereas Wilson tries to do without them. Wilson, in short, has indeed brought us out of Egypt; but as yet has us still wandering about the Sinai Peninsula; the Promised Land is a little further on than he has taken us. (shrink)

In his review of The Ontology of Time, Thomas Crisp (Notre Dame Philosophical Reviews, 2005a ) argues that Oaklander's version of McTaggart's paradox does not make any trouble for his version of presentism. The aim of this paper is to refute that claim by demonstrating that Crisp's version of presentism does indeed succumb to a version of McTaggart's argument. I shall proceed as follows. In Part I I shall explain Crisp's view and then argue in Part II that his analysis (...) of temporal becoming, temporal properties and temporal relations is inadequate. Finally, in Part III, I shall demonstrate that his presentist ontology of time is susceptible to the paradox he so assiduously sought to avoid. (shrink)

But Findlay's remark, like so much that has been written on the subject of time in the present century, was provoked in the first place by McTaggart's ...

There are many questions we can ask about time, but perhaps the most fundamental is whether there are metaphysically interesting differences between past, present and future events. An eternalist believes in a block universe: past, present and future events are all on an equal footing. A gradualist believes in a growing block: he agress with the eternalist about the past and the present but not about the future. A presentist believes that what is present has a special status. My first (...) claim is that the familiar ways of articulating these views result in there being no substantive disagreement at all between the three parties. I then show that if we accept the controversial truthmaking principle, we can articulate a substantive disagreenment. Finally, I apply this way of formulating the debate to related questions such as the open future and determinism, showing that these do not always line up in quite the way one would expect. (shrink)

This anthology introduces advanced undergraduates and beginning graduate students to today's debates in metaphysics. The book consists of essays by contemporary metaphysicians, and all but one appear here for the first time. For each of nine topics, there are two essays, one "pro-" and one "con-".

... dedicated to the timely publication of new work in metaphysics, broadly construed.

Truth and Ontology concludes that some truths do not depend on being in any substantive way at all.

It seems obvious that I could have failed to exist. My parents could easily never have met, in which case I should never have been conceived and born. The like applies to everyone. More generally, it seems plausible that whatever exists in space and time could have failed to exist. Events could have taken an utterly different course. Our existence, like most other aspects of our lives, appears frighteningly contingent. It is therefore surprising that there is a proof of my (...) necessary existence, a proof that generalizes to everything whatsoever. I will explain the proof and discuss what to make of it. A first reaction is that a ‘proof’ of such an outrageous conclusion must contain some dreadful fallacy. Yet the proof does not collapse under scrutiny. Further reflection suggests that, suitably interpreted, it may be sound. So interpreted, the conclusion is not outrageous, although it may not be the view you first thought of. (shrink)

∗ Apologies to Mark Hinchliff for stealing the title of his dissertation. (See Hinchliff, A Defense of Presentism. As it turns out, however, the version of Presentism defended here is different from the version defended by Hinchliff. See Section 3.1 below.).

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (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)

In this paper I consider the aboutness objection against standard truth-preserving presentism (STP). According to STP: (1) past-directed propositions (propositions that seem to be about the past) like , are sometimes true (2) truth supervenes on being and (3) the truth of past-directed propositions does not supervene on how things were, in the past. According to the aboutness objection (3) is implausible, given (1) and (2): for any proposition, P, P ought to be true in virtue of what P is (...) about, and so it is upon the past that the truth of past-directed propositions ought to supervene. Although an objection along these lines has been offered previously, I press the objection in two ways. First, by providing needed support for the view that propositions ought to be true in virtue of what they are about and, second, by arguing that the two responses available to the proponent of STP fail to be compelling. (shrink)

In this book and the companion volume The Tenseless Theory of Time: A Critical Examination, Craig undertakes the first thorough appraisal of the arguments for and against the tensed and tenseless theories of time.

Dynamic events such as a rolling ball moving from one place to another involve change and time intervals and thus presumably successions of static events occurring one after the other, e.g., the ball’s being at a certain place and then at another place during the interval in question. When dynamic events are experienced they should count as present and thus as existent from a presentist point of view. But this seems to imply the existence of the static events involved in (...) them. This in turn seems to imply that there exist past and perhaps even future static events. Therefore, there is a problem for presentism. A possible way out for the presentist is proposed, based on allowing for time-indexed past-oriented and future-oriented properties. One may raise objections regarding the ontological status of these properties and the commitment to past and future objects and times that they seem to bring with them, but these objections can be put to rest. (shrink)

In a recent article, ‘Tensed Time and Our Differential Experience of the Past and Future,’ William Lane Craig attempts to resuscitate A. N. Prior's ‘Thank Goodness’ argument against the B-theory by combining it with Plantinga's views about basic beliefs. In essence Craig's view is that since there is a universal experience and belief in the objectivity of tense and the reality of becoming, ‘this belief constitutes an intrinsic defeater-defeater which overwhelms the objections brought against it.’ An intrinsic defeater-defeater is a (...) belief that enjoys such warrant for us that it simply overwhelms the defeaters brought against it without specifically rebutting or undercutting them. Thus, Craig claims that an effete philosophical argument like McTaggart's paradox is nothing more than ‘an engaging and recalcitrant brain teaser whose conclusion nobody really takes seriously.’ It is difficult to reconcile this statement with Craig's own writings elsewhere. For Craig has vigorously argued in at least two other articles that 'hybrid A-B theorists like McCall, Schlesinger, and Smith [who give ontological status to both A-properties and B-relations] are in deep trouble’ since they are all effectively refuted by McTaggart's Paradox. It is not Craig's inconsistency regarding the significance of McTaggart conundrum that I want to draw attention to, however. Rather I wish to raise a different issue. (shrink)

In this paper we aim to disentangle the thesis that the future is open from theses that often get associated or even conflated with it. In particular, we argue that the open future thesis is compatible with both the unrestricted principle of bivalence and determinism with respect to the laws of nature. We also argue that whether or not the future (and indeed the past) is open has no consequences as to the existence of (past and) future ontology.

Ulrich Meyer defends a novel theory about the nature of time, and argues against the consensus view that time and space are fundamentally alike. He presents the first comprehensive defense of a 'modal' account, which emphasizes the similarities between times and possible worlds in modal logic, and is easily reconciled with the theory of relativity.

Presentism is the view that only present entities exist. Recently, several authors have asked the question whether presentism is able to account for cross-time relations, i.e., roughly, relations between entities existing at different times. In this paper I claim that this question is to be answered in the affirmative. To make this claim plausible, I consider four types of cross-time relation and show how each can be accommodated without difficulty within the metaphysical framework of presentism.

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)

Many of us are tempted by the thought that the future is open, whereas the past is not. The future might unfold one way, or it might unfold another; but the past, having occurred, is now settled. In previous work we presented an account of what openness consists in: roughly, that the openness of the future is a matter of it being metaphysically indeterminate how things will turn out to be. We were previously concerned merely with presenting the view and (...) exploring its consequences; we did not attempt to argue for it over rival accounts. That is what we will aim to do in this paper. (shrink)

In this paper I shall “draw” a sketch of a version of Meinongian Presentism. After having briefly presented some data that presentists need to explain and three problems that typically affect presentism (the triviality objection, the problem of the reference of true propositions’ constituents that seem to involve merely past and merely future objects, the truthmaking problem), I shall clarify the bases of my theory. First, I shall reject the actualist presentist assumption, according to which there are no things that (...) do not exist now. Secondly, I shall introduce some notions (e.g., the ones of tensed properties and of temporal existence) that will be useful in order to clarify the contrast between eternalist and non-eternalist metaphysical theories of time. Thirdly, I shall define Meinongian Presentism. Finally, I shall try to demonstrate that this version can deal with the aforementioned problems and with the presentist data in a serious and perspicuous way. (shrink)

Presentists standardly conform to the eternalist’s paradigm of treating all cases of property-exemplification as involving a single relation of instantiation. This, we argue, results in a much less parsimonious and philosophically explanatory picture than is possible if other alternatives are considered. We argue that by committing to primitive past and future tensed instantiation ties, presentists can make gains in both economy and explanatory power. We show how this metaphysical picture plays out in cases where an individual exists to partake in (...) facts about its past and future, and also in cases where that individual no longer exists, and proxies (or surrogates) for that thing must be found. (shrink)