Right. In case anyone thinks this thread is an argument, it's not -- the assumption of induction would need to be added to deduce anything about the empirical world. The definition above didn't say how deductions would be made... You just make assumptions and then keep track of what your conclusions would be given those assumptions (that's deduction). I'm not sure if we could or would start listing the assumptions. I made the mistake of including (1), which is the only explicit assumption, but AndySimpson and ALexU have pointed out that elevating that assumption is empiricism.