Induction Algorithmic Learning Theory and Philosophy