Theme One • A Program Of Inquiry 19

Re: Richard J. LiptonKnowledge Is Good

It’s the usual thing to say scientific inquiry involves a combination of deductive and inductive reasoning.  A slightly different, 3-phase model, going back to Aristotle and revived by Charles S. Peirce, analyzes the process producing knowledge into abductive, deductive, and inductive stages.  Abductive inference is used to generate a hypothesis, deduction is used to derive its logical consequences, and inductive reasoning is how we test the hypothesis against experimental observations.

Here’s a few thoughts toward the design of software platforms for integrating these three components of inquiry.  (Also research and teaching.)

Resource

cc: CyberneticsOntolog Forum • Peirce (1) (2)Structural ModelingSystems Science

This entry was posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

1 Response to Theme One • A Program Of Inquiry 19

  1. Pingback: Survey of Theme One Program • 3 | 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.