Perplexed comments on Justifying Induction - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (33)
ETA 2: this tile reads as if it is justifying induction as a principle, rather than when it is justifying induction in particular. Insifar as it is not addressing the problem o induction, it is on-point. I just don't think that point is terribly interesting, as it basically says "what counts as evidence depends on what we want to prove." My original comment follows, and applies if this was supposed to be about the problem of induction. I think you fundamentally misunderstand the problem of induction. The very concept of causation and updating on evidence rests on the assumption induction is possible. Without induction, there is no Bayes's theorem, because the very concept of evidence presupposes induction.
The problem of induction is, in short, how do we know that the future will be like the past? How do we know that our current observations at truly evidence of what the future will be like? The only evidence we have is that the future has always been like the past. Thus, the only evidence to justify induction presumes induction is possible.
This post does not appear to have anything to do with that. You can't use Bayesian evidence for induction, because the very concept of Bayesian evidence presupposes induction to be valid. ETA: stating that Bayes theorem presupposes induction may have been a bit strong. The point is that the thing that feeds into Bayes' presumes induction. Without induction, you cannot update on evidence, because "evidence" is a hollow concept. Bayes may not technically depend on induction; it's just that any actual application of it to the real world does.
I strongly disagree. Bayes theorem is a theorem of mathematics. It does not presuppose induction. See, for example, Jaynes, where Bayes's theorem is established in the first couple chapters and then used throughout the book. Induction, on the other hand, is something which Jaynes is a little puzzled by. He thinks the justification of induction is related to the justification of MAXENT priors, and he thinks that both can be rationally justified, but neither is iron-clad like Bayes theorem.
As Unknown's post points out, given some priors, your updating in response to evidence is induction-like, whereas given other priors, your updating may appear contrary to induction. But Bayes is applicable in both cases.
So how do we characterize this difference in priors? One thing we can say is that naive induction works (to some extent) whenever our prior regarding a population is such that a sample from the population provides information about the population.
When sampling without replacement from an urn which we know a priori contains 5 white and 5 red balls, we are in an anti-inductive situation. Sampling tells us nothing about the population - we already know (a priori) everything there is to know about the population. So if we draw a white ball, Bayes theorem tells us to reduce the probability that the next ball will be white.
But when sampling from an urn where our prior regarding the urn is something less well informed, sampling works better. When our prior is not well informed at all - when it is MAXENT - then induction works correctly. Each white ball drawn increases the probability that the next draw will be white.
So, according to Jaynes, the justification of induction is equivalent to the justification of using MAXENT priors in cases of no information. Not quite as well-founded in reason as Bayes theorem, but still pretty reasonable.
It occurs to me that not only is Bayes theorem more obviously correct than induction, it is also more general than induction.
Bayes theorem applies to all cases of updating beliefs upon receipt of evidence.
Induction is limited to a subset collection of cases - specifically those cases in which we wish to update our beliefs about a population using evidence which consists of a sample drawn from that population.
Edit to reply to your edit: Yes, I think that it is true that for many problems Bayes theorem isn't useful, and that for all problems where induction works, it is the fact that induction does work that makes Bayes theorem useful. These are all cases of updating based on a sample from a population. But there clearly are also problems where Bayesian reasoning is useful, but induction just doesn't apply. Problems where there is no population and no sample, but you do have an informative prior. Problems like Jaynes's burglar alarm.