You should know two things:
- If you only use (deductive) FOL (first-order logic) reasoning, and you start with only true assumptions, then you can only deduce true statements.
- So far there is absolutely overwhelming evidence that very basic FOL-based systems are sufficient to reason about everything in the real world, and that everything in the real world satisfies FOL.
These two imply that if you want absolute certainty then you ought to rely on only FOL reasoning. But if you don't mind some uncertainty, then you may want to use heuristics to guide some of your decisions. Heuristics often cannot be proven to give the right answer, but they seem to work well most of the time. Statistics is a branch of mathematics, based on theorems that are deducible in the basic FOL-based systems that empirically has never failed to give correct conclusions. But there are many ways to act based on statistical measurements, and all of these ways are heuristic!
Statistical testing cannot tell you whether a hypothesis X is true or not. It can only tell you that, if you can truly set up the exact same experiment many times and its outcome is truly random with distribution satisfying X (plus some mild conditions), then running that same experiment many many times yields a distribution that eventually stays close to a certain distribution Y, where Y is something you can deduce given X. The problem is, you only do a finite number of experiments, not infinitely many, so even if you observe their results and compare against Y, it doesn't allow you to deduce anything about whether X is true or not!
You can use a heuristic of using 95% CIs (confidence interval), but this necessarily implies that you must accept that if you use this heuristic 20 times you cannot expect to make the correct conclusion more than 19 times on average! You can of course reduce the likelihood of making wrong conclusions by using 99% CIs, but no matter what you can never tell when you are making wrong conclusions, even if you only used the heuristic once! In case it's not obvious, there are no 100% CIs; those would be achievable only via FOL reasoning, not via statistical methods.
Back-testing is likewise a class of heuristics. One useful subclass is cross-validation. If you have good reason to believe that you can split your training data into k independent pieces, then you can apply cross-validation to those pieces and get k 'experiments'. If your hypothesis has good performance on those k pieces on average, then you could (heuristically) guess that it would do well on unseen but similar data too, and as k increases you can have greater confidence that your back-testing is a reliable indicator of performance on other similar data. But if those k pieces could be dependent, then increasing k doesn't increase your confidence! And if future data may be drastically different from your training data, then your confidence could be misplaced! And of course, being a heuristic, it may simply be wrong by sheer luck, because you literally only have one fixed set of training data.