Projects giving a central place to computation in scientific inquiry go back to Hobbes and Leibniz, at least, and then came Babbage and Peirce. One of the first issues determining their subsequent development is the degree to which one identifies computation and deduction. The next question concerns how many types of reasoning one counts as contributing to the logic of empirical science:
- Is deduction alone sufficient?
- Are deduction and induction irreducible to each other and sufficient in tandem?
- Are there three irreducible types of inference: abduction, deduction, induction?