@Bertrand Russell White;
Some examples on how science dances around
assumed logical truths and why science works independently from them:
In essence, my argument is that science never needs to say things like:
"assume theory A is true", or
"if theory A is true" (an an example)
. Those word formations have no use at all in science. This is because the whole reason we say a theory is true, or not true, is because we have
already established that the outcome Y is true, or not true! It's crucial to understand that this is everything the scientist means by the truth or not-truth of any theory. It's a complete misunderstanding that science is a logical process that starts by assuming its theories, say, are true, that's how
logic works. But logic never does anything but find the tautological equivalences of its predicates and postulates, science isn't like that at all! -
Agreed
I understand what you are saying here and I know you are not assuming X is true as you say. Using the world "true" as you do is misleading - by saying this I'm not saying you are misleading purposely but the language is misleading. The outcome of Y can never be true (as it is used in logic as 100% true) only ever considered highly probably by some agreed upon criteria such as a 95% confidence level on its error range which in currently under criticism in the world of science and statistics. Scientific American just did a very good article on this recently. I have no problem with this language except, as I say above, it is usually more accurate to state it as probabilities. It is a balance between some theory being true (in the absolute sense of being 100% accurate or very close) but trivial versus being true (less than 100% say 95% within error bounds) and have wide explanatory power. Concentrating on the Y part of what you are discussing as an approximation of X, is as I'm saying, a statistical issue and mathematical so involves the mathematics and logic (non-symbolic logic) of statistics. It is still involved, even though I agree not in the traditional sense of symbolic logic.
What science actually does is say
"I have no idea whether to regard theory X as true, but it predicts Y, so we'll see if Y is true. Agreed, but I would prefer the word "probable" rather than "true" because information on Y will never be complete no matter how many times you run your trials because it is always going to be finite If it is, we'll say theory X has some usefulness. If we say that with enough different Y, we will start to regard theory X as true, contextually and provisionally." Yes, I agree as long as you remove true and put in probable
See how extremely different that is from saying
"science wants to say that if theory X is true, then outcome Y will be true"?
In science, the only thing theory X ever does is organize, unify, and convey understanding in relation to a set of observations Y. Then we take theory X and extend it to observation Y' that has not happened yet, but that we regard as sufficiently similar to the existing set of Y that theory X is used to understand, that we expect to understand Y' the same way. We don't know until we try, but that is how science builds expectations. But at no point is it ever necessary to say
"if theory X is true", because the truth of theory X is already established by the existing set of Y-- there's no
"if" involved, it's an
inference not an
assumption. Science is still drawing a logical relationship/connection between Theory X and outcome observation(s) Y. If Y obtains sufficiently, then it is assumed their exists a logical correlation between Theory X and observation(s) Y over sufficiently many trials, even if the stronger connection of cause and effect can't be established. It is still using a logical connection and logic is still part of the structure. I think we actually agree on most of this just getting down on archaic non-specific words like "true" that come out of a shared background between religion, mathematics, philosophy and science before they all split off. I'm not trying to say Science isn't its own man (or woman), but it still is partly dependent on logic and sometimes mathematics to function effectively (meaning broad explanatory power).
Take a gold-panning analogy and say, the definition of electron (as examples). We never
assume we'll find the gold using science, and we never
assume the electron definition is a good one, we
test these things. And on the basis of these tests, we build expectations, and we live and die (literally, sometimes) by those expectations because science is the worst way to form objective expectations .. except for every other way to do it.