However, if T is an explanatory theory (e.g. ‘the sun is powered by nuclear fusion’), then its negation ~T (‘the sun is not powered by nuclear fusion’) is not an explanation at all.
Ideas don’t negate to all the alternatives humans are currently interested in. That isn’t how logic works.
It is not an explanation, but it is a (potentially) useful statement which leads you closer to an explanation. And I don’t see any logical problems here (notice the something else alternative).
In any case, the underlying issue is hypothesis generation and any purely Bayesian view of science is necessarily incomplete because St.Bayes says absolutely nothing about how to generate hypotheses.
I agree that ruling statements like you talk about out is useful – I just don’t think it’s useful in the Bayesian model. The use is due to the Critical Rationalist approach.
DD:
Ideas don’t negate to all the alternatives humans are currently interested in. That isn’t how logic works.
It is not an explanation, but it is a (potentially) useful statement which leads you closer to an explanation. And I don’t see any logical problems here (notice the something else alternative).
In any case, the underlying issue is hypothesis generation and any purely Bayesian view of science is necessarily incomplete because St.Bayes says absolutely nothing about how to generate hypotheses.
I agree that ruling statements like you talk about out is useful – I just don’t think it’s useful in the Bayesian model. The use is due to the Critical Rationalist approach.