quote:
But that isn't what he is talking about. In fact, what you've done isn't really proving a negative.
I agree in a more restircted sense.
Firstly, it is reasonably clear, I think, that crashfrog has in mind (though not explicitly, so I may be wrong) not just a negative, but more especially a naegative existenial proposition. Although not explicit in the statement
you can't prove a negative, it is clarified in crashfrog's examples.
Secondly, RhRain
did quite elegantly prove a negative existential proposition. But Rh did so in a very special case indeed - a case where
all possible observations can be canonically defined without actual definitions. I think Rh is aware of this special case, and correctly indicates this.
So is it true that one cannot prove a negative existential proposition? Well, if it were, it would lead us to a delightful paradox ... "There exist no provable negative existential propositions" is itself a negative existenial proposition which, if true would mean ...
Well, you see where that is going!
Cut the Gordian knot and get back to empiricism!
Rh does not prove a negative existential proposition in the second example. I guess you did not intend to, did you?