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 they identify computation with deduction. The next question concerns how many types of reasoning they count 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?