Abduction, Deduction, Induction, Analogy, Inquiry • 31

Re: Scott AaronsonExplanation-Gödel and Plausibility-Gödel

Scott Aaronson asks a question arising from Gödel’s First Incompleteness Theorem, namely, what are its consequences for the differential values of explanation, plausibility, and proof?  I add the following thoughts.

A general heuristic in problem solving suggests priming the pump with a stronger hypothesis.  Applying that strategy here would have us broaden the grounds of validity, our notion of validation, from purely deductive proofs to more general forms of inference.  Along that line, and following a lead from Aristotle, C.S. Peirce recognized three distinct modes of inference, called abductive, deductive, and inductive reasoning, and that way of thinking has even had some traction in AI from the days of Warren S. McCulloch on.  At any rate I think it helps to view our questions in that ballpark.  There’s a budget of resources and running thoughts on the matter I keep on the following page.

cc: Conceptual GraphsCyberneticsLaws of FormOntolog Forum
cc: FB | Inquiry Driven SystemsStructural ModelingSystems Science

This entry was posted in Abduction, Analogy, Animata, Aristotle, Artificial Intelligence, C.S. Peirce, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems Engineering, Logic, Mathematics, Scientific Method, Semiotics, Visualization and tagged , , , , , , , , , , , , , , , . Bookmark the permalink.

1 Response to Abduction, Deduction, Induction, Analogy, Inquiry • 31

  1. Pingback: Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 2 | 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 )

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.