Re: Inquiry Projects @ GetWiki

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

I am working on rewrite of my introductory essay on "Inquiry Driven Systems":

http://www.getwiki.net/wiki.php?title=Introduction_to_Inquiry_Driven_Systems

The conversion from Ascii to Wiki format is rather pleasing --
though it may take the rest of the year to finish converting
the Tables -- after that I will go back and work on reforming
the style, plus trying to flesh out the spare exposition a bit.

Here is the current outline:

| Introduction to Inquiry Driven Systems
| 
| 1.  Aspects of Inquiry
| 
| 1.1.  Preliminary Questions
| 1.2.  Initial Approach
| 1.3.  Model of Inquiry
| 1.4.  System-Theoretic Method
| 1.5.  Inquiry Driven Systems
| 1.6.  The Irritation of Doubt
| 1.7.  The Orbit of Inquiry
| 
| 2.  Approaches to Inquiry
| 
| 2.1.  The Pragmatic Approach to Inquiry
| 
| 2.2.  The Syllogistic Approach
| 2.2.1.  Terminology
| 2.2.2.  Analogy
| 2.2.3.  Inquiry
| 2.2.3.1.  Learning
| 2.2.3.2.  Transfer
| 2.2.3.3.  Testing
| 
| 2.3.  The Sign-Theoretic Approach
| 2.3.1.  Definitions and Examples of Sign Relations
| 2.3.1.1.  Aristotle's Description of Interpretation
| 2.3.1.2.  Dewey's "Sign of Rain" Example
| 2.3.1.3.  Peirce's Definition of Sign Relations
| 2.3.1.4.  Peirce's "Sunflower" Example
| 2.3.2.  Sign Relations and Interpretive Systems
| 2.3.2.1.  Static Sign Relations
| 2.3.2.2.  Dynamic Sign Processes
| 2.3.2.3.  Inquiry Driven Systems
| 
| 2.4.  Differential Aspects
| 2.5.  Computational Models
| 
| 3.  Inquiry and Analogy
| 
| 3.1.  Three Types of Reasoning
| 3.1.1.  Types of Reasoning in Aristotle
| 3.1.2.  Types of Reasoning in C.S. Peirce
| 3.1.3.  Comparison of the Analyses
| 3.1.4.  Aristotle's "Apagogy" : Abductive Reasoning as Problem Reduction
| 3.1.5.  Aristotle's "Paradigm" : Reasoning by Analogy or Example
| 3.1.6.  Peirce's Formulation of Analogy
| 3.1.7.  Dewey's "Sign of Rain" : An Example of Inquiry
| 
| 4.  Toward a Functional Conception of Quantificational Logic
| 4.1.  Higher Order Propositional Expressions
| 4.1.1.  Higher Order Propositions and Logical Operators (n = 1)
| 4.1.2.  Higher Order Propositions and Logical Operators (n = 2)
| 4.2.  Umpire Operators
| 4.3.  Measure for Measure
| 4.4.  Extending the Existential Interpretation to Quantificational Logic
| 4.5.  Application of Higher Order Propositions to Quantificational Logic
| 
| Jon Awbrey, December 2006

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
zhongwen wp: http://zh.wikipedia.org/wiki/User:Jon_Awbrey
wikinfo: http://wikinfo.org/wiki.php?title=User:Jon_Awbrey
meta: http://www.getwiki.net/wiki.php?title=User:Jon_Awbrey
wp review: http://wikipediareview.com/index.php?showuser=398
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o