Abduction, Deduction, Induction, Analogy, Inquiry : 26

Re: Gil KalaiAvi Wigderson : “Integrating Computational Modeling, Algorithms, and Complexity into Theories of Nature Marks a New Scientific Revolution!”

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:

  1. Is deduction alone sufficient?
  2. Are deduction and induction irreducible to each other and sufficient in tandem?
  3. Are there three irreducible types of inference:  abduction, deduction, induction?
This entry was posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Computation, Computational Complexity, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems, Logic, Peirce, Problem Solving, Semiotics and tagged , , , , , , , , , , , , , , , . Bookmark the permalink.

1 Response to Abduction, Deduction, Induction, Analogy, Inquiry : 26

  1. Pingback: Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 1 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.