Josh Parsons

(1973 - 2017)

This paper began life as a short section of a more general paper about non-classical mereologies. In that paper I had a mereological theory that I wanted to show could be applied to all sorts of different metaphysical positions — notably, to those positions that believe in mereological vagueness in re — in “vague individuals”. To do that I felt I first had to dispatch the leading rival theory of vague individuals, which is due to Peter van Inwa-gen, and holds that the part-whole relation admits of degrees. It seemed to me that this theory had a serious technical problem, or at best a serious gap. I sat down to write a paragraph or two highlighting the gap, preferably showing that it couldn’t be filled. This paper is the result

“The truth,” Quine says, “is that you can bathe in the same river twice, but not in the same river stage. You can bathe in two river stages which are stages of the same river, and this is what constitutes bathing in the same river twice. A river is a process through time, and the river stages are its momentary parts.” (Quine 1953, p. 65) Quine’s view is four-dimensionalism, and that is what Theodore Sider’s book is about. In Sider’s usage, four-dimensionalism is the view that, necessarily, anything in space and time has a distinct temporal part, or stage, corresponding to each time at which it exists (p. 59).

This paper discusses “inclusionism” in the context of David Lewis’s modal realism (and in the context of parasitic accounts of modality such as John Divers’s agnosticism about possible worlds). This is the doctrine that everything is a world. I argue that this doctrine would be beneficial to Divers-style agnosticism; that it suggests a reconfiguration of the concept of actuality in modal realism; and finally that it suffers from an as-yet unsolved difficulty, the problem of the unmarried husbands. This problem also shows that Stephen Yablo’s analysis of “intrinsic” is inadequate.

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

Paper begins: Chapter 4 of Hud Hudson’s stimulating book The metaphysics of hyperspace contains an discussion of the notion of location in a container spacetime. Hudson uses this idea to define a number of what we might call modes of extension or ways of being extended. A pertended object is what most people think of as a typical extended object — it is made up of spatial parts, one part for each region the object pervades. An entended object is an extended simple (or a complex object made up of extended simples). Elsewhere, I’ve argued that entended objects are conceptually possible; that nothing about the concept of “extended” rules out entention. (More about how this argument works below). Hudson thinks that I did not go far enough. Besides pertended and entended objects, he also sees conceptual room for what he calls spanners and multiply located objects. These last two ways of being extended are even more exotic than extended simples. ….

If the former is the case, let us say that anti-reductionism about relational facts is true; if the latter, that reductionism about relational facts is true. Let us say that a fact is relational if it makes true some relational proposition (a proposition that asserts that a relation holds between some objects1), that it is irreducibly relational if, in addition, it does not make true any nonrelational propositions, and that it is monadic if it is not irreducibly relational (if it makes true some proposition that does not assert that a relation holds between some objects).

The problem of imperative consequence consists in the fact that theses (i) through (iii) are inconsistent; but yet all three are attractive (for the reasons sketched above). A solution to the problem consists in the denial of one of the three theses; I describe solutions as belonging to type 1, type 2, or type 3, depending on which thesis they deny. For the purposes of this paper, I would like to focus on a certain variety of type 3 solution – a solution that offers a revised criterion of validity of a particular kind