Category Archives: Metaphysics

The present time

Posted on September 4, 2006 | 1 comment

One notorious issue for presentists (and other kinds of A-theorist) is the following: special relativity tells us (I gather) that among the slices of space-time that “look like time slices”, there’s no one that is uniquely privileged as “the present” (i.e. simulataneous with what’s going on here-now). But the presentist says that only the present exists. So it looks like her metaphysics entails that there is a metaphysically privileged time-slice: the only one that exists. (Of course, I suppose the science is just telling us that there’s no physically significance sense in which one is privileged, and it’s not obvious the presentist is saying anything that conflicts with that. But it does seem worrying…)

One option is to retreat into “here-now”ism: the only things that exist are those that exist right here right now. No problems with relativity there.

I was idly wondering about the following line: say that it’s (ontically) vague which time-slice is present, and so (for the presentist) say that it’s ontically vague what exists. As I’m thinking of it, there’ll be some kind of here-now-ish element to the metaphysics. From the point of view of a certain position p in space time, all that exists are those “time-like” slices of space time that contain the point, then it will be determinately the case that p exists. But for every other space-time point q, there will (I take it) be a reference frame according to which p and q are non-simultaneous. So it won’t determinately be the case that q exists.

The details are going to get quite involved. I think some hard thinking about higher-order indeterminacy will be in order. But here’s a quick sketch: choose a point r such that there’s a choice of reference-frame that make q and r simultaneous. Then it sort of seems to me that, from p’s perspective, the following should hold:

r doesn’t exist
determinately, r doesn’t exist
not determinately determinately r doesn’t exist

The idea is that while r isn’t “present” (and so fails to exist), relative to the perspective of some of the things that are present, it is present.

What I’d like to do is model this in a “supervaluation-style” framework like that one I talk about here. First, consider the set of all centred time-like-slices. It’ll end up determinate that one and only one of these exists: but it’ll be a vague matter which one. Let centred time-like-slice x access centred time-slice y iff the centre of y is somewhere in the time-slice x.

Now take a set of time-slices P which are all and only those with common centre p. These are the ontic candidates for being the present time. Next, consider the set P*, containing a set of time-slices which are all and only those accessed by some time-slice in P. And similarly construct P**, P*** etc etc etc.

Now, among space-time points, only the “here-now” point p determinately exists. All and only points which are within some some time-slice in P don’t determinately fail to exist. All and only points which are within some time-slice in P* don’t determinately determinately fail to exist. All and only points which are within some time-slice in P* don’t determinately determinately determinately fail to exist. And so on. (If you like, existence shades of into greater and greater indeterminacy as we look further away from the privileged here-now point).

Well, I’m no longer sure that this deserves the name “presentism”. Kit Fine distinguishes some versions of A-theory in a paper in “Modality and tense” which this view might fit better with (the Fine-esque way of setting this up would be to have the whole of space-time existing, but only some time-slices really or fundamentally existing. The above framework then models vagueness in what really or fundamentally exist). It is anyway up to it’s neck in ontic vagueness, which you might already dislike. But I’ve no problem with ontic vagueness, and insofar as I can simulate being a presentist, I quite like this option.

There should be other variants too for different forms of A-theory. Consider, for example, the growing block view of reality (the time-slices in the model can be thought of as the front edges of a growing block: as we go through time, more slices get added to the model). The differences may be interesting: for the growing block, future space-time points determinately don’t exist, but they don’t det …det fail to exist for some amount of iterations of “det”; while past space-time points determinately exist, but they don’t det …. det exist for some amount of iterations of “det”.

Any thoughts most welcome, and references to any related literature particularly invited!

1 Comment

Posted in Indeterminacy, Metaphysics, Science

“Timid modal fictionalism”

Posted on August 10, 2006 | Leave a comment

Just reading this very interesting paper by Brit Brogaard comparing timid modal fictionalism with “holistic ersatzism” a la Nolan, Sider, et al (I’ve just noted that Sider credits this paper by Leeds’ very own Joseph Melia as one source of the idea). Still thinking about the content at the moment, something about the terminology in this area re-struck me.

As currently used, modal fictionalisms are positions that endorse something like the following biconditional

Possibly P iff According to the fiction of possible worlds, P*

Strong modal fictionalism is the natural thought that we see this biconditional as in the service of possibility-talk to talk about what holds according to a fiction. That is a fictionalism about modality.

Timid modal fictionalism is a view that denies this. Rather, we take modality as primitive (or reduce it in some other way), and read the biconditional left-to-right as partially defining the content of the fiction.

But is this really a modal fictionalism at all (in the sense of a fictionalism about modality)? When I first read this stuff, this issue threw me totally—I didn’t understand what the point or purpose of timid fictionalism was meant to be—until I realized that it is really a kind of fictionalism about possibilia and worlds-talk. So it’s not a modal fictionalism (/fictionalism about the modal operators), timid or otherwise; it’s a possibilia-fictionalism, as strong as you like.

I guess I can see why Rosen chose those names (you might take the domain of modality to cover modal operators+worlds-talk+possiblia-talk, and then modal fictionalism is strong or timid to the extent that it’s a fictionalism about all or only some of those bits of modal talk). The cogniscienti will be well aware of what’s intended: but it wasn’t what the terminology suggested to me at first.

Semantics for nihilists

Posted on August 3, 2006 | Leave a comment

Microphysical mereological nihilists believe that only simples exist—things like leptons and quarks, perhaps. You can be a mereological nihilist without being a microphysical mereological nihilist (e.g. you can believe that ordinary objects are simples, or that the whole world is one great lumpy simple. Elsewhere I use this observation to respond to some objections to microphysical mereological nihilism). But it’s not so much fun.

If you’re a microphysical mereological nihilist, you’re likely to start getting worried that you’re committed to an almost universal error-theory of ordinary discourse. (Even if you’re not worried by that, your friends and readers are likely to be). So the MMN-ists tend to find ways of sweetening the pill. Van Inwagen paraphrases ordinary statements like “the cat is on the mat” into plural talk (the things arranged cat-wise are located above the things arranged mat-wise”). Dorr wants us to go fictionalist: “According to the fiction of composition, the cat is on the mat”). There’ll be some dispute at this point about the status of these substitutes. I don’t want to get into that here though.

I want to push for a different strategy. The way to do semantics is to do possible world semantics. And to do possible world semantics, you don’t merely talk about things and sets of things drawn from the actual world: you assign possible-worlds intensions as semantic values. For example, the possible-worlds semantic value of “is a cordate” is going to be something like a function from possible worlds to the things which have hearts in those worlds. And (I assume, contra e.g. Williamson) that there could be something that doesn’t exist in the actual world, but nevertheless has a heart. I’m assuming that this function is a set, and sets that have merely possible objects in their transitive closure are at least as dubious, ontologically speaking, as merely possible objects themselves.

Philosophers prepared to do pw-semantics, therefore, owe some account of this talk about stuff that doesn’t actually exist, but might have done. And so they give some theories. The one that I like best is Ted Sider’s “ersatz pluriverse” idea. You can think of this as a kind of fictionalism about possiblia-talk. You construct a big sentence that accurately describes all the possibilities. Statements about possibilia will be ok so long as they follow from the pluriverse sentence. (I know this is pretty sketchy: best to look at Sider’s version for the details).

Let’s call the possibilia talk vindicated by the construction Sider describes, the “initial” possibila talk. Sider mentions various things you might want to add into the pluriverse sentence. If you want to talk about sets containing possible objects drawn from different worlds (e.g. to do possible world semantics) then you’ll want to put some set-existence principles into your pluriverse sentence. If you want to talk about transworld fusions, you need to put some mereological principles into the pluriverse sentence. If you add a principle of universal composition into the pluriverse sentence, your pluriverse sentence will allow you to go along with David Lewis’s talk of arbitrary fusions of possibilia.

Now Sider himself believes that, in reality, universal composition holds. The microphysical mereological nihilist does not believe this. The pluriverse sentence we are considering says that in the actual world, there are lots of composite objects. Sider thinks this is a respect in which it describes reality aright; the MMN-ist will think that this is a respect in which it misdescribes reality.

I think the MMN-ist should use the pluriverse sentence we’ve just described to introduce possibilia talk. They will have to bear in mind that in some respects, it misdescribes reality: but after all, *everyone* has to agree with that. Sider thinks it misdescribes reality in saying that merely possible objects, and transworld fusions and sets thereof, exist—the MMN-ist simply thinks that it’s inaccuracy extends to the actual world. Both sides, of course, can specify exactly which bits they think accurately describe reality, and which are artefactual.

The MMN-ist, along with everyone else, already has the burden of vindicating possibilia-talk (and sets of possibilia, etc) in order to get the ontology required for pw-semantics. But when the MMN-ist follows the pluriverse route (and includes composition priniciples within the pluriverse sentence), they get a welcome side-benefit. Not only do they gain the required “virtual” other-worldly objects; they also get “virtual” actual-worldy objects.

The upshot is that when it comes to doing possible-world semantics, the MMN-ist can happily assign to “cordate” an intension that (at the actual world) contains macroscopic objects, just as Sider and other assign to “cordate” an intension that (at other worlds) contain merely possible objects. And sentences such as “there exist cordates” will be true in exactly the same sense as it is for Sider: the intension maps the actual world to a non-empty set of entities.

So we’ve no need for special paraphrases, or special-purpose fictionalizing constructions, in pursuit of some novel sense in which “there are cordates” is true for the MMN-ist. The flipside is that we can’t read off metaphysical commitments from such true existential sentences. Hey ho.

(cross-posted on Metaphysical Values)

Illusions of gunk

Posted on July 14, 2006 | Leave a comment

I’ve just finished revisions to my “Illusions of gunk” paper. This defends microphysical mereological nihilists (folks who think that the only particulars that exist are microphysical simples) against Ted Sider’s argument that they run into gunky trouble.

The paper is up here, and the abstract follows:

The possibility of gunk has been used to argue against mereological nihilism. This paper explores two responses on the part of the microphysical mereological nihilist: (1) the contingency defence, which maintains that nihilism is true of the actual world; but that at other worlds, composition occurs; (2) the impossibility defence, which maintains that nihilism is necessary true, and so gunk worlds are impossible. The former is argued be ultimately unstable; the latter faces the explanatorily burden of explaining the illusion that gunk is possible. It is argued that we can discharge this burden by focussing on the contingency of the microphysicalist aspect of microphysical mereological nihilism. The upshot is that gunk-based arguments against microphysical mereological nihilism can be resisted.

One thing that I argue for in the paper is that microphysical mereological nihilists are committed to a more far reaching error-theory than you might initially have thought: not only are there no cats and dogs (or compound objects), but there could not have been cats and dogs (or compound objects). I mention in a footnote that this seems to me a real problem for the “counterfactual” fictionalist strategy that Cian Dorr favours to explicate nihilism. Basically, if “cat” isn’t even assigned an intension (as I argue), then “were things to compose but the arrangement of subatomic particles to be exactly as it actually is, then there’d be cats” will be false.

There are problems for alternatives to Dorr’s account too (e.g. I never understood what sense Van Inwagen is supposed to make out of English plural sentences such as “some authors admire only one another”). One future project of mine is to develop a way of doing vanilla possible world semantics in a nihilist world, by tweaking the story about how possible worlds, and possibilia, are constructed…