There is no single problem of universals but a family of difficulties that treat of a variety of interwoven metaphysical, epistemological, logical and semantic themes. This makes the problem of universals resistant to canonical reduction (to a ‘once-and-for-all’ concern). In particular, the problem of universals cannot be reduced to the problem of supplying truth-makers for sentences that express sameness of type. This is (in part) because the conceptual distinction between numerical and qualitative identity must first be drawn before a sentence (...) is eligible to be supplied with truth-makers. The case is made through a consideration of a recent argument by Gonzalo Rodriguez-Pereyra. (shrink)

In this paper I argue, contra Fraser MacBride, that conceptual analysis, and in particular the distinction between numerical and qualitative identity, can solve the Problem of Universals, whether understood as the One over Many or the as the Many over One. In this paper I show why the solutions needed to solve either version of the problem must be in terms of truthmakers, and that the distinction between numerical and qualitative identity is not sufficient to solve them.

Philosophical Papers Vol.31(1) 2002: 49-61.

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

The relationship between formal logic and general philosophy is discussed under headings such as A Re-examination of Our Tense-Logical Postulates, Modal Logic in the Style of Frege, and Intentional Logic and Indeterminism.

A collection of all but two of the author's philosophical essays and lectures originally published or presented before August 1976.

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

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)

The theorems of the simplest and strongest sensible quantified modal logic include the Barcan Formula and its converse. Both formulas face strong intuitive objections. This paper develops a theory of possibilia to meet those objections.

Here, I defend the view that there is no sensible way to pin a truth-maker objection on presentism. First, I suggest that if we adopt truth-maker maximalism then the presentist can requisition appropriate ontological resources with impunity. Second, if we deny maximalism, then the presentist can sensibly restrict the truth-maker principle in order to avoid the demand for truth-makers for talk about the non-present.

1. IntroductionA popular view in metaphysics is that which propositions are true depends upon how the world is . In more evocative language, truth requires ground. This thought then gets used to do some serious work. As Sider has it, ‘[t]he point of … the principle that truth supervenes on being is to rule out dubious ontologies’. Here, I argue that ‘dubious’ ontologies are theoretically virtuous.

Precis of my book by this title, for a symposium.

I thank my commentators for their kind words, and for their close reading and challenging criticisms of my book. I have chosen selective and substantive replies. Those criticisms I ignore, I ignore because I have little more to say, not because they are unworthy of discussion.

Eternalists say that non-present entities (for instance dinosaurs) exist; presentists say that they do not. But some sceptics deny that this debate is genuine, claiming that presentists simply represent eternalists' quantifiers over non-present entities in different notation. This scepticism may be refuted on purely logical grounds: one of the leading candidate ‘presentist quantifiers’ over non-present things has the inferential role of a quantifier. The dispute over whether non-present objects exist is as genuine and non-verbal as the dispute over whether there (...) is life on other planets. (shrink)

The article is primarily concerned with the notion of a truth-maker. An explication for this notion is offered, which relates it to other notions of making something such-and-such. In particular, it is shown that the notion of a truth-maker is a close relative of a concept employed by van Inwagen in the formulation of his Consequence Argument. This circumstance helps understanding the general mechanisms of the concepts involved. Thus, a schematic explication of a whole battery of related notions is offered. (...) It is based on an explanatory notion, introduced by the sentential connector “because”, whose function is examined in some detail. Finally, on the basis of the explication proposed, an argument is developed to the effect that the objects usually regarded as truth-makers are not apt to play this role. (shrink)

Truth and Ontology is a lively book, brimming with arguments, and drawing the reader towards the radical conclusion that what is true does not depend on what there is. If there is a central line of argument, it is that the best account of truthmaking requires truths to be about their truthmakers, but negative existentials, modals, and claims about the past and future are not about what is, but rather about what is not, what might be, and what was and (...) will be. (shrink)

In this article I address the Problem of Universals by answering questions about what facts a solution to the Problem of Universals should explain and how the explanation should go. I argue that a solution to the Problem of Universals explains the facts the Problem of Universals is about by giving the truthmakers (as opposed to the conceptual content and the ontological commitments) of the sentences stating those facts. I argue that the sentences stating the relevant facts are those like (...) 'a has the property F', that is, sentences stating that a particular has a certain property. Finally I show how answering these questions in this way transforms the Problem of Universals, traditionally conceived as the One over Many, that is, the problem of explaining how different particulars can have the same properties, into the Many over One, that is, the problem of explaining how the same particular can have different properties. The Problem of Universals is the problem of the Many over One. (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.

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.

I have argued elsewhere that there are facts, and possibilities, that are not purely qualitative. In a second paper, however, I have argued that all possibilities are purely qualitative except insofar as they involve individuals that actually exist. In particular, I have argued that there are no thisnesses of nonactual individuals (where the thisness of x is the property of being x, or of being identical with x), and that there are no singular propositions about nonactual individuals (where a singular (...) proposition about an individual x is a proposition that involves or refers to x directly, perhaps by having x or the thisness of x as a constituent, and not merely by way of x's qualitative properties or relations to other individuals). I am also inclined to believe that there are not yet any thisnesses of individuals that will exist but do not yet, nor any singular propositions about future individuals--and, hence, that all possibilities are purely qualitative except insofar as they involve individuals that already do exist or have existed (counting timeless individuals, if any, as already existing). This thesis about the relation of time to thisness is the subject of the present paper, in which the conclusions of my previous papers will be presupposed. (shrink)

The truthmaker objection to presentism (the view that only what exists now exists simpliciter) is that it lacks sufficient metaphysical resources to ground truths about the past. In this paper I identify five constraints that an adequate presentist response must satisfy. In light of these constraints, I examine and reject responses by Bigelow, Keller, Crisp, and Bourne. Consideration of how these responses fail, however, points toward a proposal that works; one that posits God’s memories as truthmakers for truths about the (...) past. I conclude that presentists have, in the truthmaker objection, considerable incentive to endorse theism. (shrink)

This article characterizes the varieties of four - dimensionalism and provides a critical overview of the main arguments in support of it.

This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and the existence (...) of unactual objects in other possible worlds. He also applies his logical theories to the elucidation of two problems in the philosophy of religion: the problem of evil and the ontological argument. (shrink)

In his two recent books on ontology, Universals: an Opinionated Introduction, and A World of States of Affairs, David Armstrong gives a new argument against nominalism. That argument seems, on the face of it, to be similar to another argument that he used much earlier against Rylean behaviourism: the Truthmaker Argument, stemming from a certain plausible premise, the Truthmaker Principle. Other authors have traced the history of the truthmaker principle, its appearance in the work of Aristotle [10], Bradley [16], and (...) even Husserl [15]. But that is not my task — in this paper I argue that Armstrong’s new argument is not logically analogous to the old, and, in particular, that it is quite possible to be a thoroughgoing nominalist, and hold a truthmaker principle. (shrink)

The following quotation, from Frank Jackson, is the beginning of a typical exposition of the debate between those metaphysicians who believe in temporal parts, and those who do not: The dispute between three-dimensionalism and four-dimensionalism, or more precisely, that part of the dispute we will be concerned with, concerns what persistence, and correllatively, what change, comes to. Three-dimensionalism holds that an object exists at a time by being wholly present at that time, and, accordingly, that it persists if it is (...) wholly present at more than one time. For short, it persists by enduring. Four-dimensionalism holds that an object exists at a time by having a temporal part at that time, and it persists if it has distinct temporal parts at more than one time. For short, it persists by perduring. In the light of these comments, some readers will perhaps find the question that forms the title of this paper a little puzzling. They may have learned to use the terms ‘fourdimensionalism’ ‘perdurantism’ and ‘belief in temporal parts’ interchangeably; or perhaps even to define one in terms of the other. Such a usage, however, is inapposite. We might imagine a Flatland-like world of two spatial dimensions and one temporal, whose philosophers are divided between a theory of persistence on which they persist by having temporal parts, and a theory on which they persist by being wholly located in each of several times. This is just the same issue we face, but at least the label ‘four-dimensionalism’ seems inapposite: the four-dimensionalist Flatlanders believe in only three dimensions! (shrink)

A theory of temporal passage is put forward which is "objective" in the sense that time flow characterizes the universe independently of the existence of conscious beings. The theory differs from Grunbaum's "mind-dependence" theory, and is designed to avoid Grunbaum's criticisms of an earlier theory of Reichenbach's. The representation of temporal becoming is accomplished by the introduction of indeterministic universe-models; each model representing the universe at a time. The models depict the past as a single four-dimensional manifold, and the future (...) as a branched structure of such manifolds. Time flow is relativistic in that it manifests itself in a frame-dependent (but not observer-dependent) way. The indeterministic character of the universe-models is mirrored in a "temporal" theory of truth which rejects the principle of bivalence, and suitable semantics are provided for this theory. Finally, an account of physical law is given which defines it in terms of physical possibility, rather than vice versa. (shrink)

This is a critical notice of Theodore Sider's book, _Four-Dimensionalism_.

This paper is about the open future response to fatalistic arguments. I first present a typical fatalistic argument and then spell out the open future response as a response to that argument. Then I raise the question of how the open future response can be independently justified. I consider some possible ways in which the response might be defended, and I try to show that none of these is a plausible, non-question-begging defense. Next I formulate what I take to be (...) the only plausible, nonquestion-begging defense of the open future response. This defense involves both (i) the claim that the laws of nature are indeterministic and (ii) a certain version of the correspondence theory of truth. Finally, I argue that there is a very surprising consequence of justifying the open future response by making the defense in question, namely, that the past is sometimes open. Fatalism is the view that whatever will happen in the future is inevitable, due to certain considerations about truth and time. Fatalism, in turn, is normally taken to imply that there is no such thing as genuine, human free will. Suppose that I am an anti-fatalist. Suppose I believe that Joe Montana is free to choose what he will have for lunch tomorrow, and suppose I take this case to be a paradigmatic example of one involving both evitability and human free will. Now suppose that I meet a fatalist, who presents the following argument.1.. (shrink)

According to a number of authors it is possible to give tenseless (B-series) truth conditions for tensed sentences by utilizing token indexicals in something like the following fashion. (1a) An utterance u of 'Past S' is true iff at some time earlier than u, S is true (1b) An utterance u of 'Pres S' is true iff at some time overlapping u, S is true This strategy has been challenged on the grounds that it will break down in cases like (...) (2). (2) There was no spoken language A number of strategies have been attempted to circumvent this difficult, including the introduction of possible utterances, etc. In this paper I argue that such moves are unnecessary — that the problem turns on scope interactions with hidden modals in the theorems of the T-theory. (shrink)

Truthmaker theorists claim that for every truth, there is something in virtue of which it is true—or, more cautiously, that for every truth in some specified class of truths, there is something in virtue of which it is true. I argue that it is hard to see how the thought that truth is grounded in reality lends any support to truthmaker theory.