January 27, 2014

This Post is Old!

The post you are reading is years old and may not represent my current views. I started blogging around the time I first began to study philosophy, age 17. In my view, the point of philosophy is to expose our beliefs to rational scrutiny so we can revise them and get better beliefs that are more likely to be true. That's what I've been up to all these years, and this blog has been part of that process. For my latest thoughts, please see the front page.

How to Determine Whether there Might Have Been Nothing

Even those of us who think that necessary truths often need (and have) non-trivial explanations generally think that these explanations tend to look different from the explanations of contingent truths. Furthermore, one might well think that showing that p is necessary explains why p, even if one thinks that it is possible to show that necessarily p without explaining why necessarily p. Additionally, of course, there are those who hold that once one has shown a certain proposition to be a necessary truth, there are no further 'why' questions to be asked. Thus if one wants to know whether the question 'why is there something rather than nothing?' is a well-formed question that might have an answer, and what form such an answer might take, one would do well to start by determining whether it is possible that there should be nothing. In their contribution to The Puzzle of Existence, David Efird and Tom Stoneham set out to explain how one might go about making such a determination.

For starters, why would anyone doubt that there could be nothing? Well, for one thing, as is well known, standard logics actually turn out to entail that something exists. The argument goes like this. It is an axiom of first-order predicate logic with identity that:


But by universal instantiation we then have:

where 'a' is an arbitrary constant. By existential generalization this gives us:

which is how you say that something exists. But by the necessitation rule of K (and stronger modal logics, such as S4 and S5), we now have:

i.e., necessarily, something exists. (Note that in standard systems this is not equivalent to something necessarily exists.)

Now, Efird and Stoneham understand the 'puzzle of existence' as the question of why there are concrete things rather than not, so their question is whether it is possible that there should be no concrete things. I can think of three ways of responding to this argument without conceding that necessarily there is something concrete:

  1. Revisionism. The argument above shows that there is something wrong with standard logics. We should endorse a free logic (or something else) instead.

  2. Platonist Abstractionism. The argument is perfectly sound, since the empty set (for instance) could not have failed to exist, but this sheds no light on the question of whether there might not have been any concrete things.

  3. Nominalist Abstractionism. There are many things different types of nominalists might say, and all of them are going to be complicated. Here's the beginning of one possible nominalist response: '∃x(φ(x))' does not in fact mean 'something that satisfies φ exists', for the formal quantifiers are most at home in mathematics, and it is certainly a truth of mathematics that ∃x(x > 5). This claim is true despite the fact that numbers do not exist, and hence nothing that is greater than 5 exists (since only a number could be greater than 5). As a result, the argument's conclusion, □∃x(x=x), is not correctly interpreted as saying that, necessarily, something exists.

There are other reasons one might deny the possibility of nothing. For instance, one might doubt whether it is genuinely conceivable that there should be no concrete entities, or one might have a metaphysical theory of possible worlds which rules out the existence of an empty world. On the other hand, most of us find it to be at least apparently conceivable that there should be no concrete entities. Perhaps on further reflection I will think that I was really conceiving empty space, and space is a concrete entity, or, worse, that I was conceiving myself floating in empty space. (Depending on exactly what's meant by 'conceive,' I'm not sure I can conceive my own non-existence; if I can't, then clearly inconceivability is poor evidence of impossibility.) Alternatively, one might say: other than the above argument and ontological arguments for the existence of God, both of which many philosophers suspect of being sophistical and/or mere logical curiosities, no one has identified any contradiction in the proposition there are no concrete beings, hence it should be regarded as possible. (I think this last line of thought is not very compelling, since I think the reason most philosophers are so confident that there must be something wrong with these arguments is a prior conviction that it is possible that there should be nothing.)

To sum up what I've said so far: if we are interested in the question why there is something rather than nothing, then it will be important to us to answer the question whether there might have been nothing. The answer to this last question is, however, far from clear. Efird and Stoneham's paper is an attempt to say how we might go about answering it.

Efird and Stoneham defend two main claims about this, which they label Methodological Separatism and Modal Pluralism. Methodological Separatism is the view that theories about the nature of possibility (e.g., a metaphysics of possible worlds) and theories about the extent of possibility (i.e., what things are possible) can and should be evaluated separately. This is not to deny that we may need to consider how theories of the nature of possibility interact with theories of the extent of possibility; rather, the idea is that we should first evaluate them separately and only later consider whether, for instance, a particular theory of the nature of possibility has the cost of foreclosing on our best theory of the extent of possibility, or other things of that sort.

Modal Pluralism is the view that a theory of the extent of possibility should consist of a series of claims of the form: if p, then ◊q. This is supposed to lead to a 'regulative principle' Efird and Stoneham call 'Leibniz's Principle of the Presumption of Possibility':

One has the right to assume ◊p until someone proves the contrary. (pp. 162-163)

This regulative principle is supposed to follow because it is always (epistemically) possible that there is a principle one has missed (i.e., some other criterion of possibility not on one's list.)

Let me pause to make a few remarks on this. The assumption here is that p is possible, not that p is contingent. It is crucial for Leibniz's purposes that this be so, for Leibniz is running an ontological argument for the existence of God: he wants to presume that God possibly exists and show from this that God necessarily exits, and so actually exists. Clearly a presumption of contingency won't do here. But in fact the presumption of contingency is rather more plausible than the presumption of possibility, as Robert Adams has argued. In fact, John Heil and C. B. Martin, whose criticisms Efird and Stoneham discuss, are actually criticizing the more plausible presumption of contingency, not the less plausible presumption of possibility. I find it odd that Efird and Stoneham do not remark on this important difference. Perhaps the reason for this is that the presumption of contingency looks like a strict strengthening of the presumption of possibility, since 'p is contingent' is written in modal logic '◊p & ◊~p.' Nevertheless, there is this important difference: it is possible to have evidence against the contingency of a proposition without having any evidence that bears on the question whether it is necessarily true or necessarily false. In this scenario, the presumption of contingency would be rebutted, but the presumption of possibility would not. Thus if one were entitled to presume possibility, rather than contingency, one would be entitled, in such a scenario, to infer that the proposition was necessarily true. But here things get all screwy, since one could just as easily have started from the negation of the proposition one in fact started from, and presumed that proposition to be possible, in which case one would come to the opposite result. This seems bad.

In any event, Efird and Stoneham report that in other work they defend certain principles of possibility which entail that it is possible that there are no concrete beings. The main focus of this paper, is, however, on the methodological point about how this is done. The answer is that one is entitled to presume the possibility of nothing right off the bat. If one wants to provide a positive argument for the possibility of nothing what one needs to do is to identify a plausible principle of possibility which entails it.

I have two questions about Efird and Stoneham's approach. First, I am unclear on what the justification for the asymmetry between possibility and necessity is supposed to be. Second, I'm not totally sure what they mean by 'theory.'

Taking the first issue first, Efird and Stoneham's approach sure seems to stack the deck in favor of the possibility of nothing. This is a result of their claim that a modal theory should contain a plurality of principles of possibility. Their argument for this claim is that no one has succeeded in identifying a single criterion of possibility that, all by itself, captures enough of our modal intuitions. But what seems to me to be left unjustified is their focus on principles of possibility rather than principles of necessity. After all, we have intuitions about necessity as well. In fact, Efird and Stoneham seem willing to admit at least two principle of necessity: everything is necessarily self-identical, and every proposition knowable a priori is a necessary truth (pp. 161-162; I say they 'seem willing to admit' these principles, although they do not unambiguously endorse them). But if there is a plurality of principles of necessity, then why presume possibility rather than necessity? After all, we might have overlooked a principle of necessity just as easily as a principle of possibility!

On the second point, Efird and Stoneham say, "we can regard any assertion or belief which organizes some data, usually by categorizing it or deriving it from some variables, as theoretical with respect to that data" (p. 146). They are quite clear that the theory/data distinction is a relative one. But, oddly, they say they are going to define 'theory' and then instead tell us what it means for an assertion or belief to be theoretical. Perhaps a theory of some data is the set of beliefs one holds which are theoretical with respect to that data. Now, it seems to me that they want these beliefs to be justified by their use to 'organize' the data. Is this justification an inference to the best explanation? If so, then this 'organization' must be some kind of explanation by unification. Yet it is far from clear that a theory of the extent of possibility of the sort Efird and Stoneham envision explains anything. Certainly one can explain an individual modal intuition by appealing to some more general principle that entails it, but would a hodgepodge of such general principles, with nothing to tie them together, really count as an explanation of our modal intuitions in general? I'm dubious.

(Cross-posted at The Prosblogion.)

Posted by Kenny at January 27, 2014 5:13 PM
TrackBack URL for this entry: https://blog.kennypearce.net/admin/mt-tb.cgi/737


Isn't it a standard result that universally quantified statements over an empty domain are vacuously true?

E.g., "All even prime numbers greater than 2 are odd" is true (since there does not exist a counterexample), as is "All even prime numbers greater than 2 are even".

If universal quantifications are thus understood, mustn't there exist an 'empty' possible world in which all universal quantifications obtain?

Posted by: James at February 3, 2014 6:07 AM

As far as standard model theory of first-order logic goes, no it's not true that universally quantified statement over an empty domain are true. In standard systems, in order to say that you need something like:
∀x(x is an even prime greater than 2 -> x is odd)
That statement is vacuously true. But in standard models, every quantifier quantifies over the whole universe, which must be non-empty, and then you use conditionals to restrict the domain.

Posted by: Kenny Pearce at February 3, 2014 9:26 AM

Post a comment

Return to blog.kennypearce.net