La logique inductive