Induction , Logic , and Natural