I know what you were trying to say now. It seemed like you were saying something else altogether, but I just went back and read a few posts before the one I responded to and we're essentially saying the same thing; the convo with Crash is what threw me off.Firstly, that set of posts was primarily dealing with a pure logic prospective, in other words MATH. I did a little burb on science at the end, but my PRIMARY commentary was on logic.
Secondly, as far as science goes, you only cannot prove things or disprove it when you talk about it in the practical sense (namely, what science is built to examine). In the technical logical sense, you're proving and disproving things all the time.
Science is primarily concerned with commentary on:
A. Positive Universal Statements.
B. Negative existential statements.
A is "for all", and B is "x does not exist",
In the framework of science, it's for all practical senses impossible to prove that something applies universally, and it's equally impossible to prove something does not exist.
However, you can prove another statement, the positive existential statement, the positive existential statement is the "facts" that you refer to, those are the observations, they are proven all the time because the observance of one proves the existential statement.
In the same sense, it is impossible to practically disprove that something exists (the main issue here being that the positive universal statements are impossible to prove).
However, you can disprove universal statements, that happens all the time. The process is called "rejecting the null hypothesis" (I know that you know what this is, but just explaining what it is from a technical logical prospective).
So, I know that this will come up very rarely, but it's important to have the technical background clear because it does come up, and realistically having the terminology right helps in those situations.
Really, how much more effort does it take to say, "negative existential statements are impossible to prove" then "negatives are impossible to prove"? Just type the extra two words.
What they were talking about is the wide practical aspect of it, not the abstract, logical aspect that applies to individual existential statements like the ones in your example. That's where the misunderstanding lies.
Is everybody clear on this now? I don't know how many times this comes up in the Debate Hall and we go through the same arguments over and over, lol...