Sunday, December 09, 2007

Things that (probably) don't exist

A recent article by philosopher Steven Hales is titled "You Can Prove a Negative" (a slightly different version of the article is available as a pdf file). Hales argues that the "principle of folk logic" saying you can't prove a negative is just plain wrong.

He points out that "any claim can be expressed as a negative, thanks to the rule of double negation." So it's easy to come up with examples of proving a negative. Hales goes on to say that "Some people seem to think that you can’t prove a specific sort of negative claim, namely that a thing does not exist." He counters this with an example of a valid proof that something doesn't exist:
1. If unicorns had existed, then there is evidence in the fossil record.
2. There is no evidence of unicorns in the fossil record.
3. Therefore, unicorns never existed.
Of course, the difficulty here is with the truth of the premises (1 and 2). In particular, it could be that we just haven't found unicorn fossils yet. Or perhaps, unicorns don't leave a fossil trace. Deductive arguments are so neat and tidy we may forget about what's been swept under the carpet: the truth (or otherwise) of the premises.

Finally Hales grasps the nettle:
Maybe people mean that no inductive argument will conclusively, indubitably prove a negative proposition beyond all shadow of a doubt. For example, suppose someone argues that we’ve scoured the world for Bigfoot, found no credible evidence of Bigfoot’s existence, and therefore there is no Bigfoot. A classic inductive argument. A Sasquatch defender can always rejoin that Bigfoot is reclusive, and might just be hiding in that next stand of trees. You can’t prove he’s not! (until the search of that tree stand comes up empty too).

And now we come to the heart of the matter:
The problem here isn’t that inductive arguments won’t give us certainty about negative claims (like the nonexistence of Bigfoot), but that inductive arguments won’t give us certainty about anything at all, positive or negative. All observed swans are white, therefore all swans are white looked like a pretty good inductive argument until black swans were discovered in Australia.
Well, hold on just a moment. We were talking about "a specific sort of negative claim, namely that a thing does not exist". And the swan argument hasn't been written that way. If we do write it that way, we get the inductive argument no observed swans are black, therefore all swans are non-black. So non-existence claims based on observation are uncertain.

But what about existence claims based on observation? Well, you only have to see one black swan too conclude that not all swans are white, and this inference is certain because it's deductive. (This is, of course, provided that we can trust that what we've seen really is a swan, and it really is black, and that we didn't just imagine the whole thing. There are some important issues here, but taking this too far can lead to radical skepticism, which is unproductive.)

My point is that when it comes to using observational evidence to argue for existence (a positive claim) or non-existence (a negative claim), you can't prove a negative, whereas you can prove a positive. (Here I'm using "prove" to mean "establish with certainty".) So, in this sense, I disagree with Hales. And I think that this is what people typically mean when they state that "you can't prove a negative". I also think that the imbalance in the difficulty of demonstrating non-existence compared to existence is a strong argument that the burden of proof should be on those who claim the existence of something.

I agree with Hales, however, in his defense of induction:
The very nature of an inductive argument is to make a conclusion probable, but not certain, given the truth of the premises. That's just what an inductive argument is. We’d better not dismiss induction because we’re not getting certainty out of it, though.
I believe we all crave certainty, but it's in pretty short supply—caveat emptor.

If we weren't so terrified of uncertainty, we might make much better decisions. When it comes to things that can be quantified, the field of statistics offers some very useful tools for dealing with uncertainty. Suppose, for example, we're trying to determine whether all swans are white. If we sample, at random, 100 swans, and each of them is white, then a very useful approximation, the "Rule of Three" tells us that we can have 95% confidence that the true proportion of non-white swans is less than 3/100 or 3%. Suppose we continue sampling swans and they stubbornly continue to be white. Having sampled 10,000 white swans, we can now have 95% confidence that the true proportion is less than 3/10,000 or 0.03%.

The notion of "95% confidence" can be made precise (but I won't get into the details here). It's also noteworthy that there are Bayesian analogues to the Rule of Three. Details are in Jovanovic and Levy, A Look at the Rule of Three, 1997, The American Statistican, 51: 137-139.

Unfortunately, there's a major difficulty in the application of the Rule of Three to the swan example: the assumption that the swans are randomly sampled! It turns out that the black swans were hiding out in Australia. But there's a message here: non-random samples can give very misleading information. That's one reason why anecdotal evidence is treated so skeptically by scientists.

For an atheist perspective on the "you can't prove a negative" idea, see here. And here's a page on burden of proof relating to claims of existence, from philosopher Philip Pecorino.

Update 12Dec2007: I sent a link to this post to Professor Hales and he kindly replied:
You write that you only have to see one black swan to know that not all swans are white, and that “this inference is certain because it is deductive.” But wait—the argument I gave about unicorns was also deductive, and you dismissed that as proving its conclusion. Therefore you can’t hold that the conclusion of your swan argument is certain because the argument form is deductive. If the conclusion of the swan argument is certain, then it is for some other reason. I suspect that you think it is certain because you are convinced of your premise that we have seen black swans. Of course, I’m rather convinced of my premises that if unicorns had existed, then there is evidence in the fossil record, and that there is no evidence of unicorns in the fossil record. Before you rejoin that we could find out that we are mistaken about the fossil record (as we would discover if we locate a unicorn skeleton), let me point out that we could also be mistaken about observing black swans. Maybe upon further study we’ll find out that they aren’t swans at all, but are merely related to swans. Or we could discover that they were phony, dyed white swans prepared to fool naïve naturalists. Or we might show that other even more skeptical hypotheses are true (mass hallucinations, dreaming, etc.). The real problem, as I see it, is your equation of proof with certainty. Most epistemologists don’t think we are certain of anything outside of logic, mathematics, and other things known a priori. There is always the possibility of error. But that doesn’t mean that we can’t prove things in some reasonable, real-world sense of prove.”

Labels: , , , ,

Bookmark and Share

6 Comments:

Anonymous Mohammed-TA said...

Hello Nick,

I found this post of yours very interesting and provocative (of thought).

I have few difficulties:

1. In my limited understanding of it, statistics is at best a probabilistic estimate. It doesn't give you certainty if your definition of certainty is as mine -- i.e. removal of all doubts. Anything short of that is not certain, but more or less probable. And probability is best respected when you can't but gamble. Also, statistics does not consider the ability to observe correctly. Given observations are correct, such and such is the probability. Thus any appraisal that restricts itself to statistical consideration is almost always inadequate.

2. That "burden of proof should be on those who claim the existence of something" is biased in favour of skeptics. In my opinion burden of proof is on those who want to show the truthfulness of something (whether it is presence or absence of something).

If I experienced a severe headache lasting 15 minutes an hour ago...is the burden of proof mine or that skeptics who thinks I experienced no such thing.

That something exist or does not are claims -- and both are equally in need of proof before taken as facts.

11:14 PM, December 11, 2007  
Blogger Raywat Deonandan said...

Sweet.

1:37 PM, December 12, 2007  
Blogger albert said...

But Unicorns do exist, but they are noted under the greek name of Monocerous(Sp?) the white rhino of India. They are caught by the use of a "Machen", not a Madchen. You all know the horn is more valuable than ivory.

6:54 PM, March 29, 2008  
Anonymous Anonymous said...

"If I experienced a severe headache lasting 15 minutes an hour ago...is the burden of proof mine or that skeptics who thinks I experienced no such thing. "

If you had a headache, I wouldn't know to disprove it without you stating first it existed. That puts the burden of proof on the claimant, being you...

Same is true for religion. I wasn't born with knowledge about gods. My first knowledge of gods came as mythology. Religion claims god is not myth, so the proof lies with them.

Jeff prog_analyst_14@yahoo.com

5:53 PM, June 23, 2008  
Blogger Nick Barrowman said...

Mohammed-TA asked me to post this:

"That puts the burden of proof on the claimant, being you."

My proof is I experienced it.

Since you are not certain of my proof -- you are being skeptical.

And if you jump (without reason) from that uncertainty to a certainty that I did not have a headache...the onus is yours to disprove.

I wouldn't ask you to prove your uncertainty...but only your certainty.

We all get into problems once we jump to conclusions :)

If you take an agnostic position I am ok...once you take an atheistic one...you cease to be in the realm of science and get into one of emotions and passion.

3:52 PM, June 24, 2008  
Anonymous Anonymous said...

Well, we all know that the horn of a Unicorn is magical, therefore even if we found a fossil record of a unicorn, there would undoubtedly be no horn, thus we do have fossil records of Unicorns, sans horns, therefore, unicorns exist.

4:24 PM, May 14, 2012  

Post a Comment

<< Home