Can You Prove a Negative Statement?

[zoobyshoe]

Ah, but now you seem to have made the weaker claim that there exists some negatives that cannot be proven, rather than the statement that all negatives are fundamentally unprovable.

That's true, I see that some negatives can be proved, (which weakens the last refuge of the illogical, thank goodness). Your links had a better point, I think, which is that in cases where you can't disprove a negative, the positive form of the statement also cannot be proven: "There are ghosts" cannot be proven. This, at least, takes away any implication that your inability to disprove a thing helps to prove it. Mexican standoff.

In any case, here is a quick and dirty attempt. It is very sketchy for sure, but it outlines a general way in which something like it could be done in theory.

1. Ghosts are commonly defined as an immaterial entity that interacts with parts of the physical world (and other features which are of less relevance here)
2. Everything that interacts with some part of the physical world must by definition be physical (how could it otherwise interact?)
3. Therefore, there cannot exist anything immaterial that can interact with the physical world (from 2).
4. Ghosts cannot exist (from 1&3)

Alternatively, we can derive internal contradictions from the concept of ghost. Ghosts can walk through walls, but do not fall through floors and so on.

Well, that's not bad, but in practice your average ghost believer will start offering speculative propositions about ghost physics, how ghosts probably don't operate on the same principles as matter and energy known to Science, and you'll get assertions that Science doesn't know everything, or assertions that quantum physics supports ghosts, and so forth. If you are not debating with someone who is aware of formal logic and doesn't subscribe to it, you can't prove or disprove anything they choose to assert.

 

[TheStatutoryApe]

Ah, but now you seem to have made the weaker claim that there exists some negatives that cannot be proven, rather than the statement that all negatives are fundamentally unprovable. In any case, here is a quick and dirty attempt. It is very sketchy for sure, but it outlines a general way in which something like it could be done in theory.

1. Ghosts are commonly defined as an immaterial entity that interacts with parts of the physical world (and other features which are of less relevance here)
2. Everything that interacts with some part of the physical world must by definition be physical (how could it otherwise interact?)
3. Therefore, there cannot exist anything immaterial that can interact with the physical world (from 2).
4. Ghosts cannot exist (from 1&3)

Alternatively, we can derive internal contradictions from the concept of ghost. Ghosts can walk through walls, but do not fall through floors and so on.

I've read that a long time ago a small town sent a box of rocks to a university explaining that they had fallen from the heavens and pelted the town. The scientists laughed and explained that this was quite absurd. There was no scientific evidence that such a thing could ever possibly occur. And I'm sure that the townspeople who sent the rocks were very likely unable to produce a scientifically valid description of the phenomena.
Even today it is extremely rare that meteorites are found that were actually observed to fall and only a handful of meteorites are turned in per year though it is estimated that hundreds fall to Earth per year.

There are any number of examples of phenomena, creatures, and objects that science heavily refuted until the day they were proved true. Would you say that any negative statements made regarding these things were proved? at least until reality got in the way of the proof?

 

[zoobyshoe]

There are any number of examples of phenomena, creatures, and objects that science heavily refuted until the day they were proved true. Would you say that any negative statements made regarding these things were proved? at least until reality got in the way of the proof?

I've read of a few similar things and it seems to entail the scientists making assertions, only; not offering proofs. IIRC during the series of shark attacks on which the movie Jaws was based an icthyologist or marine biologist was quoted as saying sharks don't ever attack people. (This was something like 1911.)

In your story the rocks were probably ordinary rocks, not meteorites, and this was probably an instance of strange things falling from the sky, as when fish and frogs suddenly rain down. The book Mysteries of the Unexplained contains quite a few examples of this from all over the world. There is a proposed mechanism, which is that tornados suck these things up, shoot them high into the atmosphere, and they come down many miles away from the original site. I suspect the University that received the rocks saw instantly that they were not meteorites and dismissed the claim they fell from the sky.

 

[TheStatutoryApe]

I've read of a few similar things and it seems to entail the scientists making assertions, only; not offering proofs. IIRC during the series of shark attacks on which the movie Jaws was based an icthyologist or marine biologist was quoted as saying sharks don't ever attack people. (This was something like 1911.)

In your story the rocks were probably ordinary rocks, not meteorites, and this was probably an instance of strange things falling from the sky, as when fish and frogs suddenly rain down. The book Mysteries of the Unexplained contains quite a few examples of this from all over the world. There is a proposed mechanism, which is that tornados suck these things up, shoot them high into the atmosphere, and they come down many miles away from the original site. I suspect the University that received the rocks saw instantly that they were not meteorites and dismissed the claim they fell from the sky.

I had believed I read it in The Book of the Damned by Charles Fort. Either I read it elsewhere though or I just can't find it in his scatter shot style of writing but I found this article...
http://www.meteorite.com/nininger/nininger-moments-20.htm
At one time it was not at all scientifically accepted that stones of any sort could fall from the sky. Due to the mythological thunderstone phenomena and the rarity of observed meteor strikes it is fairly reasonable for the scientists to have been skeptical. I believe that the articles cited by Moridin and his own argument regarding ghosts would likely accept lack of scientific records regarding a phenomenon and a more plausible and scientifically recorded alternative explanation as good enough to prove a negative. Even if it is only based on assertions that may or may not be accurate. Certainly being skeptical is fine but obviously believing in a "proven" negative does not seem proper when negative proof is often found in error.

 

[zoobyshoe]

I had believed I read it in The Book of the Damned by Charles Fort. Either I read it elsewhere though or I just can't find it in his scatter shot style of writing but I found this article...
http://www.meteorite.com/nininger/nininger-moments-20.htm
At one time it was not at all scientifically accepted that stones of any sort could fall from the sky. Due to the mythological thunderstone phenomena and the rarity of observed meteor strikes it is fairly reasonable for the scientists to have been skeptical.

I am pretty surprised the phenomenon of meteors wasn't recognized at any time in History. The further back you go the more people watched the night skies, and shooting stars are so frequent you'd think more actual crashes would have been observed and recorded. However, they may be recorded as magical events from the Middle Ages back, and not recognizable as reports of meteors crashing. Hard to say.

I believe that the articles cited by Moridin and his own argument regarding ghosts would likely accept lack of scientific records regarding a phenomenon and a more plausible and scientifically recorded alternative explanation as good enough to prove a negative. Even if it is only based on assertions that may or may not be accurate. Certainly being skeptical is fine but obviously believing in a "proven" negative does not seem proper when negative proof is often found in error.

In general, one man with a rock and a story shouldn't be enough for you to revise your conception of how Nature works, though. It can, and usually does, go the other way: the chupacabra corpse turns out to have common canine DNA, the Lake Monster you shot yesterday washes up as a huge sturgeon with a bullet in it today.

 

[TheStatutoryApe]

I am pretty surprised the phenomenon of meteors wasn't recognized at any time in History. The further back you go the more people watched the night skies, and shooting stars are so frequent you'd think more actual crashes would have been observed and recorded. However, they may be recorded as magical events from the Middle Ages back, and not recognizable as reports of meteors crashing. Hard to say.

I know, its a bit odd. Lack of evidence though would be a major concern. The more common description of thunderstones (or thunder axes) which supposedly came down to Earth in lightning and which are a bit of a legendary phenomena are likely to have made meteor strikes seem similar and even the stones seem to have a similar cause, as discussed in the article. Since they had to have seen "shooting stars" and someone at some point must have observed one through a telescope I wonder if they simply thought that a meteor could not make it to the surface of the Earth before burning up.

In general, one man with a rock and a story shouldn't be enough for you to revise your conception of how Nature works, though. It can, and usually does, go the other way: the chupacabra corpse turns out to have common canine DNA, the Lake Monster you shot yesterday washes up as a huge sturgeon with a bullet in it today.

I certainly understand skepticism and that many myths are really myths.
Now that I have thought about it more and reread one of Moridin's articles I think the issue is with logicians and mathematicians and their mindset (or ideology). They like to work with definites. Any self referencial and self defining system is going to maintain consistency and if it does not then it will be fixed so that it will. The ability of these systems to model reality is not in their purview. That is an issue for physicists, chemists, doctors, ect. Those same sorts of persons who the author of that article mentions are the ones who state a negative can not be proven before he goes on to claim that no logician would support that statement.

 

[zoobyshoe]

I know, its a bit odd. Lack of evidence though would be a major concern. The more common description of thunderstones (or thunder axes) which supposedly came down to Earth in lightning and which are a bit of a legendary phenomena are likely to have made meteor strikes seem similar and even the stones seem to have a similar cause, as discussed in the article. Since they had to have seen "shooting stars" and someone at some point must have observed one through a telescope I wonder if they simply thought that a meteor could not make it to the surface of the Earth before burning up.

I googled and found the "lightning strike" thunderstones, but also this very different story of the thunderstones:
http://www.cscs.umich.edu/~crshalizi/White/antiquity/thunder.html

I certainly understand skepticism and that many myths are really myths.
Now that I have thought about it more and reread one of Moridin's articles I think the issue is with logicians and mathematicians and their mindset (or ideology). They like to work with definites. Any self referencial and self defining system is going to maintain consistency and if it does not then it will be fixed so that it will. The ability of these systems to model reality is not in their purview. That is an issue for physicists, chemists, doctors, ect. Those same sorts of persons who the author of that article mentions are the ones who state a negative can not be proven before he goes on to claim that no logician would support that statement.

Clearly, anyway, some kinds of negatives can be proven or demonstrated: "there is no elephant in this jar", and if a positive can be disproven it's negative can be proven. Those aren't the tricky ones, though. Usually when a guy shows up with a rock and a story there's nothing to get any traction on one way or another.

 

[millitiz]

Hmm, very interesting. Yes, it is possible to prove negative. And I think there are many examples above.
However, for those statements that you could not prove negatively, those are the statements that does not restrict the domain.
In math, the statement is always, "if A, then B"
And most of the time, one would also say what domain you are talking about (Real space, etc).
So for instance, proving that there is no life form, creature other than those on earth.
Yes, you can prove it, except you need to restrict the domain and the definition. For instance, you can pick a cube in the space, and test if there is any creature/life form of any sort in that cube. See, it is really easy to prove local property. But to prove a global one, well, even the mathametician would pull off their hairs ;)
In fact, there is not way to prove a "global property" in the sense that you can always shrink your domain, and there is a limit to it (ie, a point). But you can keep expanding your domain, and there is no REAL end point (yes, it suppose to end at infinity, but if you can reach it, then it is not infinity by definition).

 

[millitiz]

Just very quickly, even in math, there are things that you cannot prove it nor disprove it (yet, I hope). For instance, whether there are other "infinity" in between the "size all Reall number and the size of natural number."

 

[NeoDevin]

Just very quickly, even in math, there are things that you cannot prove it nor disprove it (yet, I hope). For instance, whether there are other "infinity" in between the "size all Reall number and the size of natural number."

Even in math, there are some things which are fundamentally impossible to prove/disprove.

 

[Moridin]

I've read that a long time ago a small town sent a box of rocks to a university explaining that they had fallen from the heavens and pelted the town. The scientists laughed and explained that this was quite absurd. There was no scientific evidence that such a thing could ever possibly occur. And I'm sure that the townspeople who sent the rocks were very likely unable to produce a scientifically valid description of the phenomena.
Even today it is extremely rare that meteorites are found that were actually observed to fall and only a handful of meteorites are turned in per year though it is estimated that hundreds fall to Earth per year.

There are any number of examples of phenomena, creatures, and objects that science heavily refuted until the day they were proved true. Would you say that any negative statements made regarding these things were proved? at least until reality got in the way of the proof?

The reason that this analogy is invalid is because those scientists rejection something because of a lack of information, whereas my rejection of ghosts is based on the existence of information.

 

[TheStatutoryApe]

The reason that this analogy is invalid is because those scientists rejection something because of a lack of information, whereas my rejection of ghosts is based on the existence of information.

The existence of what information? The supposed nature and properties of a thing which you do not believe exists? Lack of a demonstrable ability for "non-physical" things to interact with "physical" things? This looks more like absence information to me.