Quote:
Originally Posted by tame_deuces
On a formal level, science is largely uninterested in proving something. Proof is for logic and math, an abstract tool to tell you if a piece of logic or an equation is true.
Nit point, since this is a nitty discussion, but even in math and logic, proofs don’t actually tell you something is true. They simply tell you a mechanical procedure exists to spit out the equation you were trying to prove using only the allowed inference rules and axioms. To claim that this means that the equation is true requires the deductive system you are using to be consistent/sound. Consistent because who cares if your system proves Fermat's last theorem is true if it also proves it is false and soundness because who cares if your system proves FLT true if your system is capable of proving false things. In general, there is no convincing way in math to prove a sufficiently powerful deductive system consistent/sound. So to say I’ve proved X, therefore X is true has hidden philosophical assumptions even in basic logic.