[Inquiry] Introduction to Inquiry Driven Systems

[Jon Awbrey]

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

INT.  Note 1

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

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.  Introduction

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

3.2.  Toward a Functional Conception of Quantificational Logic
3.2.1.  Higher Order Propositional Expressions
3.2.1.1.  Higher Order Propositions and Logical Operators (n = 1)
3.2.1.2.  Higher Order Propositions and Logical Operators (n = 2)
3.2.2.  Umpire Operators
3.2.3.  Measure for Measure
3.2.4.  Extending the Existential Interpretation to Quantificational Logic
3.2.5.  Application of Higher Order Propositions to Quantificational Logic

Jon Awbrey, Winter 2003

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