Difference between revisions of "Directory:Jon Awbrey/Papers/Inquiry Driven Systems"

MyWikiBiz, Author Your Legacy — Monday November 25, 2024
Jump to navigationJump to search
(update)
 
(4 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
{{DISPLAYTITLE:Inquiry Driven Systems}}
 
{{DISPLAYTITLE:Inquiry Driven Systems}}
 +
'''Author: [[User:Jon Awbrey|Jon Awbrey]]'''
 +
 
----
 
----
 
<div align="center">
 
<div align="center">
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems|Contents]]
+
&bull; [[Inquiry Driven Systems|Contents]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1|Part 1]]
+
&bull; [[Inquiry Driven Systems : Part 1|Part 1]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 2|Part 2]]
+
&bull; [[Inquiry Driven Systems : Part 2|Part 2]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3|Part 3]]
+
&bull; [[Inquiry Driven Systems : Part 3|Part 3]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4|Part 4]]
+
&bull; [[Inquiry Driven Systems : Part 4|Part 4]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5|Part 5]]
+
&bull; [[Inquiry Driven Systems : Part 5|Part 5]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6|Part 6]]
+
&bull; [[Inquiry Driven Systems : Part 6|Part 6]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 7|Part 7]]
+
&bull; [[Inquiry Driven Systems : Part 7|Part 7]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 8|Part 8]]
+
&bull; [[Inquiry Driven Systems : Part 8|Part 8]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Appendices|Appendices]]
+
&bull; [[Inquiry Driven Systems : Appendices|Appendices]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : References|References]]
+
&bull; [[Inquiry Driven Systems : References|References]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History|Document History]]
+
&bull; [[Inquiry Driven Systems : Document History|Document History]]
 
&bull;
 
&bull;
 
</div>
 
</div>
Line 32: Line 34:
 
|}
 
|}
  
<div class="nonumtoc">__TOC__</div>
+
==Introduction==
 
+
===Outline of the Project : Inquiry Into Inquiry===
==1. Introduction==
+
====Problem====
===1.1. Outline of the Project : Inquiry Into Inquiry===
+
====Method====
====1.1.1. Problem====
+
=====The Paradigmatic and Process-Analytic Phase=====
====1.1.2. Method====
+
=====The Paraphrastic and Faculty-Synthetic Phase=====
=====1.1.2.1. The Paradigmatic and Process-Analytic Phase=====
+
=====Reprise of Methods=====
=====1.1.2.2. The Paraphrastic and Faculty-Synthetic Phase=====
+
====Criterion====
=====1.1.2.3. Reprise of Methods=====
+
====Application====
====1.1.3. Criterion====
+
===Onus of the Project : No Way But Inquiry===
====1.1.4. Application====
+
====A Modulating Prelude====
===1.2. Onus of the Project : No Way But Inquiry===
+
====A Fugitive Canon====
====1.2.1. A Modulating Prelude====
+
===Option of the Project : A Way Up To Inquiry===
====1.2.2. A Fugitive Canon====
+
====Initial Analysis of Inquiry : Allegro Aperto====
===1.3. Option of the Project : A Way Up To Inquiry===
+
====Discussion of Discussion====
====1.3.1. Initial Analysis of Inquiry : Allegro Aperto====
+
====Discussion of Formalization : General Topics====
====1.3.2. Discussion of Discussion====
+
=====A Formal Charge=====
====1.3.3. Discussion of Formalization : General Topics====
+
=====A Formalization of Formalization?=====
=====1.3.3.1. A Formal Charge=====
+
=====A Formalization of Discussion?=====
=====1.3.3.2. A Formalization of Formalization?=====
+
=====A Concept of Formalization=====
=====1.3.3.3. A Formalization of Discussion?=====
+
=====A Formal Approach=====
=====1.3.3.4. A Concept of Formalization=====
+
=====A Formal Development=====
=====1.3.3.5. A Formal Approach=====
+
=====A Formal Persuasion=====
=====1.3.3.6. A Formal Development=====
+
====Discussion of Formalization : Concrete Examples====
=====1.3.3.7. A Formal Persuasion=====
+
=====Formal Models : A Sketch=====
====1.3.4. Discussion of Formalization : Concrete Examples====
+
=====Sign Relations : A Primer=====
=====1.3.4.1. Formal Models : A Sketch=====
+
=====Semiotic Equivalence Relations=====
=====1.3.4.2. Sign Relations : A Primer=====
+
=====Graphical Representations=====
=====1.3.4.3. Semiotic Equivalence Relations=====
+
=====Taking Stock=====
=====1.3.4.4. Graphical Representations=====
+
=====The “Meta” Question=====
=====1.3.4.5. Taking Stock=====
+
=====Iconic Signs=====
=====1.3.4.6. The “Meta” Question=====
+
=====The Conflict of Interpretations=====
=====1.3.4.7. Iconic Signs=====
+
=====Indexical Signs=====
=====1.3.4.8. The Conflict of Interpretations=====
+
=====Sundry Problems=====
=====1.3.4.9. Indexical Signs=====
+
=====Review and Prospect=====
=====1.3.4.10. Sundry Problems=====
+
=====Objective Plans and Levels=====
=====1.3.4.11. Review and Prospect=====
+
=====Formalization of OF : Objective Levels=====
=====1.3.4.12. Objective Plans and Levels=====
+
=====Application of OF : Generic Level=====
=====1.3.4.13. Formalization of OF : Objective Levels=====
+
=====Application of OF : Motive Level=====
=====1.3.4.14. Application of OF : Generic Level=====
+
=====The Integration of Frameworks=====
=====1.3.4.15. Application of OF : Motive Level=====
+
=====Recapitulation : A Brush with Symbols=====
=====1.3.4.16. The Integration of Frameworks=====
+
=====C'est Moi=====
=====1.3.4.17. Recapitulation : A Brush with Symbols=====
+
=====Entr'acte=====
=====1.3.4.18. C'est Moi=====
+
====Discussion of Formalization : Specific Objects====
=====1.3.4.19. Entr'acte=====
+
=====The Will to Form=====
====1.3.5. Discussion of Formalization : Specific Objects====
+
=====The Forms of Reasoning=====
=====1.3.5.1. The Will to Form=====
+
=====A Fork in the Road=====
=====1.3.5.2. The Forms of Reasoning=====
+
=====A Forged Bond=====
=====1.3.5.3. A Fork in the Road=====
+
=====A Formal Account=====
=====1.3.5.4. A Forged Bond=====
+
=====Analogs, Icons, Models, Surrogates=====
=====1.3.5.5. A Formal Account=====
+
=====Steps and Tests of Formalization=====
=====1.3.5.6. Analogs, Icons, Models, Surrogates=====
+
=====A Puckish Referee=====
=====1.3.5.7. Steps and Tests of Formalization=====
+
=====Partial Formalizations=====
=====1.3.5.8. A Puckish Referee=====
+
=====A Formal Utility=====
=====1.3.5.9. Partial Formalizations=====
+
=====A Formal Aesthetic=====
=====1.3.5.10. A Formal Utility=====
+
=====A Formal Apology=====
=====1.3.5.11. A Formal Aesthetic=====
+
=====A Formal Suspicion=====
=====1.3.5.12. A Formal Apology=====
+
=====The Double Aspect of Concepts=====
=====1.3.5.13. A Formal Suspicion=====
+
=====A Formal Permission=====
=====1.3.5.14. The Double Aspect of Concepts=====
+
=====A Formal Invention=====
=====1.3.5.15. A Formal Permission=====
+
====Recursion in Perpetuity====
=====1.3.5.16. A Formal Invention=====
+
====Processus, Regressus, Progressus====
====1.3.6. Recursion in Perpetuity====
+
====Rondeau : Tempo di Menuetto====
====1.3.7. Processus, Regressus, Progressus====
 
====1.3.8. Rondeau : Tempo di Menuetto====
 
  
==2. Part 2==
+
==Part 2==
===2.1. Reconnaissance===
+
===Reconnaissance===
====2.1.1. The Informal Context====
+
====The Informal Context====
====2.1.2. The Epitext====
+
====The Epitext====
====2.1.3. The Formative Tension====
+
====The Formative Tension====
===2.2. Recurring Themes===
+
===Recurring Themes===
====2.2.1. Preliminary Notions====
+
====Preliminary Notions====
====2.2.2. Intermediary Notions====
+
====Intermediary Notions====
====2.2.3. Propositions and Sentences====
+
====Propositions and Sentences====
====2.2.4. Empirical Types and Rational Types====
+
====Empirical Types and Rational Types====
====2.2.5. Articulate Sentences====
+
====Articulate Sentences====
====2.2.6. Stretching Principles====
+
====Stretching Principles====
====2.2.7. Stretching Operations====
+
====Stretching Operations====
===2.3. The Cactus Patch===
+
===The Cactus Patch===
====2.3.1. The Cactus Language : Syntax====
+
====The Cactus Language : Syntax====
=====2.3.1.1. Grammar 1=====
+
=====Grammar 1=====
=====2.3.1.2. Grammar 2=====
+
=====Grammar 2=====
=====2.3.1.3. Grammar 3=====
+
=====Grammar 3=====
=====2.3.1.4. Grammar 4=====
+
=====Grammar 4=====
=====2.3.1.5. Grammar 5=====
+
=====Grammar 5=====
=====2.3.1.6. Grammar 6=====
+
=====Grammar 6=====
====2.3.2. Generalities About Formal Grammars====
+
====Generalities About Formal Grammars====
====2.3.3. The Cactus Language : Stylistics====
+
====The Cactus Language : Stylistics====
====2.3.4. The Cactus Language : Mechanics====
+
====The Cactus Language : Mechanics====
====2.3.5. The Cactus Language : Semantics====
+
====The Cactus Language : Semantics====
====2.3.6. Stretching Exercises====
+
====Stretching Exercises====
===2.4. Syntactic Transformations===
+
===Syntactic Transformations===
====2.4.1. Syntactic Transformation Rules====
+
====Syntactic Transformation Rules====
====2.4.2. Derived Equivalence Relations====
+
====Derived Equivalence Relations====
====2.4.3. Digression on Derived Relations====
+
====Digression on Derived Relations====
  
==3. Part 3==
+
==Part 3==
===3.1. Outlook of the Project : All Ways Lead to Inquiry===
+
===Outlook of the Project : All Ways Lead to Inquiry===
====3.1.1. The Matrix of Inquiry====
+
====The Matrix of Inquiry====
=====3.1.1.1. Inquiry as Conduct=====
+
=====Inquiry as Conduct=====
=====3.1.1.2. Types of Conduct=====
+
=====Types of Conduct=====
=====3.1.1.3. Perils of Inquiry=====
+
=====Perils of Inquiry=====
=====3.1.1.4. Forms of Relations=====
+
=====Forms of Relations=====
=====3.1.1.5. Models of Inquiry=====
+
=====Models of Inquiry=====
====3.1.2. The Moment of Inquiry====
+
====The Moment of Inquiry====
====3.1.3. The Modes of Inquiry====
+
====The Modes of Inquiry====
=====3.1.3.1. Deductive Reasoning=====
+
=====Deductive Reasoning=====
=====3.1.3.2. Inductive Reasoning=====
+
=====Inductive Reasoning=====
=====3.1.3.3. Abductive Reasoning=====
+
=====Abductive Reasoning=====
=====3.1.3.4. Analogical Reasoning=====
+
=====Analogical Reasoning=====
===3.2. Obstacles to the Project : In the Way of Inquiry===
+
===Obstacles to the Project : In the Way of Inquiry===
====3.2.1. The Initial Unpleasantness====
+
====The Initial Unpleasantness====
====3.2.2. The Justification Trap====
+
====The Justification Trap====
====3.2.3. A Formal Apology====
+
====A Formal Apology====
=====3.2.3.1. Category Double-Takes=====
+
=====Category Double-Takes=====
=====3.2.3.2. Conceptual Extensions=====
+
=====Conceptual Extensions=====
=====3.2.3.3. Explosional Recombinations=====
+
=====Explosional Recombinations=====
=====3.2.3.4. Interpretive Frameworks=====
+
=====Interpretive Frameworks=====
====3.2.4. A Material Exigency====
+
====A Material Exigency====
====3.2.5. A Reconciliation of Accounts====
+
====A Reconciliation of Accounts====
====3.2.6. Objections to Reflective Inquiry====
+
====Objections to Reflective Inquiry====
====3.2.7. Empirical Considerations====
+
====Empirical Considerations====
====3.2.8. Computational Considerations====
+
====Computational Considerations====
=====3.2.8.1. A Form of Recursion=====
+
=====A Form of Recursion=====
=====3.2.8.2. A Power of Abstraction=====
+
=====A Power of Abstraction=====
===3.3. Orientation of the Project : A Way Into Inquiry===
+
===Orientation of the Project : A Way Into Inquiry===
====3.3.1. Initial Description of Inquiry====
+
====Initial Description of Inquiry====
====3.3.2. Terms of Analysis====
+
====Terms of Analysis====
=====3.3.2.1. Digression on Signs=====
+
=====Digression on Signs=====
=====3.3.2.2. Empirical Status of ID=====
+
=====Empirical Status of ID=====
====3.3.3. Expansion of Terms====
+
====Expansion of Terms====
=====3.3.3.1. Agency=====
+
=====Agency=====
=====3.3.3.2. Abstraction=====
+
=====Abstraction=====
=====3.3.3.3. Analogy=====
+
=====Analogy=====
=====3.3.3.4. Accuracy=====
+
=====Accuracy=====
=====3.3.3.5. Authenticity=====
+
=====Authenticity=====
====3.3.4. Anchoring Terms in Phenomena====
+
====Anchoring Terms in Phenomena====
=====3.3.4.1. A Mistaken ID=====
+
=====A Mistaken ID=====
=====3.3.4.2. Phenomenology of Doubt=====
+
=====Phenomenology of Doubt=====
=====3.3.4.3. Modalities of Knowledge=====
+
=====Modalities of Knowledge=====
====3.3.5. Sets, Systems, and Substantive Agents====
+
====Sets, Systems, and Substantive Agents====
====3.3.6. Interpretive Systems====
+
====Interpretive Systems====
=====3.3.6.1. Syntactic Systems=====
+
=====Syntactic Systems=====
=====3.3.6.2. Semantic Systems=====
+
=====Semantic Systems=====
=====3.3.6.3. Pragmatic Systems=====
+
=====Pragmatic Systems=====
====3.3.7. Inquiry Driven Systems====
+
====Inquiry Driven Systems====
=====3.3.7.1. A Definition of Inquiry=====
+
=====A Definition of Inquiry=====
=====3.3.7.2. The Faculty of Inquiry=====
+
=====The Faculty of Inquiry=====
=====3.3.7.3. A Definition of Determination=====
+
=====A Definition of Determination=====
=====3.3.7.4. A Definition of Definition=====
+
=====A Definition of Definition=====
===3.4. Organization of the Project : A Way Through Inquiry===
+
===Organization of the Project : A Way Through Inquiry===
====3.4.1. The Problem : Inquiry Found as an Object of Study====
+
====The Problem : Inquiry Found as an Object of Study====
====3.4.2. The Method : Inquiry Found as a Means of Study====
+
====The Method : Inquiry Found as a Means of Study====
=====3.4.2.1. Conditions for the Possibility of Inquiry into Inquiry=====
+
=====Conditions for the Possibility of Inquiry into Inquiry=====
=====3.4.2.2. Conditions for the Success of Inquiry into Inquiry=====
+
=====Conditions for the Success of Inquiry into Inquiry=====
====3.4.3. The Criterion : Inquiry in Search of a Sensible End====
+
====The Criterion : Inquiry in Search of a Sensible End====
=====3.4.3.1. The Irritation of Doubt, and The Scratch Test=====
+
=====The Irritation of Doubt, and The Scratch Test=====
=====3.4.3.2. Enabling Provision 1 : The Scenes and Context of Inquiry=====
+
=====Enabling Provision 1 : The Scenes and Context of Inquiry=====
=====3.4.3.3. Enabling Provision 2 : The Stages and Content of Inquiry=====
+
=====Enabling Provision 2 : The Stages and Content of Inquiry=====
===3.5. Objectives of the Project : Inquiry All the Way===
+
===Objectives of the Project : Inquiry All the Way===
====3.5.1. Substantial Objective====
+
====Substantial Objective====
=====3.5.1.1. Objective 1a : The Propositions as Types Analogy=====
+
=====Objective 1a : The Propositions as Types Analogy=====
=====3.5.1.2. Objective 1b : The Styles of Proof Development=====
+
=====Objective 1b : The Styles of Proof Development=====
=====3.5.1.3. Objective 1c : The Analysis of Interpreters, or A Problem with Authority=====
+
=====Objective 1c : The Analysis of Interpreters, or A Problem with Authority=====
====3.5.2. Instrumental Objective====
+
====Instrumental Objective====
====3.5.3. Coordination of Objectives====
+
====Coordination of Objectives====
====3.5.4. Recapitulation — Da Capo, Al Segno====
+
====Recapitulation — Da Capo, Al Segno====
  
==4. Discussion of Inquiry==
+
==Discussion of Inquiry==
===4.1. Approaches to Inquiry===
+
===Approaches to Inquiry===
====4.1.1. The Classical Framework : Syllogistic Approaches====
+
====The Classical Framework : Syllogistic Approaches====
====4.1.2. The Pragmatic Framework : Sign-Theoretic Approaches====
+
====The Pragmatic Framework : Sign-Theoretic Approaches====
====4.1.3. The Dynamical Framework : System-Theoretic Approaches====
+
====The Dynamical Framework : System-Theoretic Approaches====
=====4.1.3.1. Inquiry and Computation=====
+
=====Inquiry and Computation=====
=====4.1.3.2. Inquiry Driven Systems=====
+
=====Inquiry Driven Systems=====
===4.2. The Context of Inquiry===
+
===The Context of Inquiry===
====4.2.1. The Field of Observation====
+
====The Field of Observation====
====4.2.2. The Problem of Reflection====
+
====The Problem of Reflection====
====4.2.3. The Problem of Reconstruction====
+
====The Problem of Reconstruction====
====4.2.4. The Trivializing of Integration====
+
====The Trivializing of Integration====
====4.2.5. Tensions in the Field of Observation====
+
====Tensions in the Field of Observation====
====4.2.6. Problems of Representation and Communication====
+
====Problems of Representation and Communication====
===4.3. The Conduct of Inquiry===
+
===The Conduct of Inquiry===
====4.3.1. Introduction====
+
====Introduction====
====4.3.2. The Types of Reasoning====
+
====The Types of Reasoning====
=====4.3.2.1. Deduction=====
+
=====Deduction=====
=====4.3.2.2. Induction=====
+
=====Induction=====
=====4.3.2.3. Abduction=====
+
=====Abduction=====
====4.3.3. Hybrid Types of Inference====
+
====Hybrid Types of Inference====
=====4.3.3.1. Analogy=====
+
=====Analogy=====
=====4.3.3.2. Inquiry=====
+
=====Inquiry=====
====4.3.4. Details of Induction====
+
====Details of Induction====
=====4.3.4.1. Learning=====
+
=====Learning=====
=====4.3.4.2. Transfer=====
+
=====Transfer=====
=====4.3.4.3. Testing=====
+
=====Testing=====
====4.3.5. The Stages of Inquiry====
+
====The Stages of Inquiry====
  
==5. Interlude : The Medium and Its Message==
+
==Interlude : The Medium and Its Message==
===5.1. Reflective Expression===
+
===Reflective Expression===
====5.1.1. Casual Reflection====
+
====Casual Reflection====
=====5.1.1.1. Ostensibly Recursive Texts=====
+
=====Ostensibly Recursive Texts=====
=====5.1.1.2. Analogical Recursion=====
+
=====Analogical Recursion=====
====5.1.2. Conscious Reflection====
+
====Conscious Reflection====
=====5.1.2.1. The Signal Moment=====
+
=====The Signal Moment=====
=====5.1.2.2. The Symbolic Object=====
+
=====The Symbolic Object=====
=====5.1.2.3. The Endeavor to Communicate=====
+
=====The Endeavor to Communicate=====
=====5.1.2.4. The Medium of Communication=====
+
=====The Medium of Communication=====
=====5.1.2.5. The Ark of Types : The Order of Things to Come=====
+
=====The Ark of Types : The Order of Things to Come=====
=====5.1.2.6. The Epitext=====
+
=====The Epitext=====
=====5.1.2.7. The Context of Interpretation=====
+
=====The Context of Interpretation=====
=====5.1.2.8. The Formative Tension=====
+
=====The Formative Tension=====
=====5.1.2.9. The Vehicle of Communication : Reflection on the Scene, Reflection on the Self=====
+
=====The Vehicle of Communication : Reflection on the Scene, Reflection on the Self=====
=====5.1.2.10. (7)=====
+
=====(7)=====
=====5.1.2.11. (6)=====
+
=====(6)=====
=====5.1.2.12. Recursions : Possible, Actual, Necessary=====
+
=====Recursions : Possible, Actual, Necessary=====
=====5.1.2.13. Ostensibly Recursive Texts=====
+
=====Ostensibly Recursive Texts=====
=====5.1.2.14. (3)=====
+
=====(3)=====
=====5.1.2.15. The Freedom of Interpretation=====
+
=====The Freedom of Interpretation=====
=====5.1.2.16. The Eternal Return=====
+
=====The Eternal Return=====
=====5.1.2.17. (1)=====
+
=====(1)=====
=====5.1.2.18. Information in Formation=====
+
=====Information in Formation=====
=====5.1.2.19. Reflectively Indexical Texts=====
+
=====Reflectively Indexical Texts=====
=====5.1.2.20. (4)=====
+
=====(4)=====
=====5.1.2.21. (5)=====
+
=====(5)=====
=====5.1.2.22. (6)=====
+
=====(6)=====
=====5.1.2.23. (7)=====
+
=====(7)=====
=====5.1.2.24. (8)=====
+
=====(8)=====
=====5.1.2.25. The Discursive Universe=====
+
=====The Discursive Universe=====
=====5.1.2.26. (7)=====
+
=====(7)=====
=====5.1.2.27. (6)=====
+
=====(6)=====
=====5.1.2.28. (5)=====
+
=====(5)=====
=====5.1.2.29. (4)=====
+
=====(4)=====
=====5.1.2.30. (3)=====
+
=====(3)=====
=====5.1.2.31. (2)=====
+
=====(2)=====
=====5.1.2.32. (1)=====
+
=====(1)=====
===5.2. Reflective Inquiry===
+
===Reflective Inquiry===
====5.2.1. Integrity and Unity of Inquiry====
+
====Integrity and Unity of Inquiry====
====5.2.2. Apparitions and Allegations====
+
====Apparitions and Allegations====
====5.2.3. A Reflective Heuristic====
+
====A Reflective Heuristic====
====5.2.4. Either/Or : A Sense of Absence====
+
====Either/Or : A Sense of Absence====
====5.2.5. Apparent, Occasional, and Practical Necessity====
+
====Apparent, Occasional, and Practical Necessity====
====5.2.6. Approaches, Aspects, Exposures, Fronts====
+
====Approaches, Aspects, Exposures, Fronts====
====5.2.7. Synthetic A Priori Truths====
+
====Synthetic A Priori Truths====
====5.2.8. Priorisms of Normative Sciences====
+
====Priorisms of Normative Sciences====
====5.2.9. Principle of Rational Action====
+
====Principle of Rational Action====
====5.2.10. The Pragmatic Cosmos====
+
====The Pragmatic Cosmos====
====5.2.11. Reflective Interpretive Frameworks====
+
====Reflective Interpretive Frameworks====
=====5.2.11.1. Principals vs. Principals=====
+
=====Principals vs. Principals=====
=====5.2.11.2. The Initial Description of Inquiry=====
+
=====The Initial Description of Inquiry=====
=====5.2.11.3. An Early Description of Interpretation=====
+
=====An Early Description of Interpretation=====
=====5.2.11.4. Descriptions of the Mind=====
+
=====Descriptions of the Mind=====
=====5.2.11.5. Of Signs and the Mind=====
+
=====Of Signs and the Mind=====
=====5.2.11.6. Questions of Justification=====
+
=====Questions of Justification=====
=====5.2.11.7. The Experience of Satisfaction=====
+
=====The Experience of Satisfaction=====
=====5.2.11.8. An Organizational Difficulty=====
+
=====An Organizational Difficulty=====
=====5.2.11.9. Pragmatic Certainties=====
+
=====Pragmatic Certainties=====
=====5.2.11.10. Problems and Methods=====
+
=====Problems and Methods=====
===5.3. Reflection on Reflection===
+
===Reflection on Reflection===
 
====Looking Back====
 
====Looking Back====
 
====The Light in the Clearing====
 
====The Light in the Clearing====
Line 296: Line 296:
 
====Points Forward====
 
====Points Forward====
  
==6. Reflective Interpretive Frameworks==
+
==Reflective Interpretive Frameworks==
===6.1. The Phenomenology of Reflection===
+
===The Phenomenology of Reflection===
===6.2. A Candid Point of View===
+
===A Candid Point of View===
===6.3. A Projective Point of View===
+
===A Projective Point of View===
===6.4. A Formal Point of View===
+
===A Formal Point of View===
===6.5. Three Styles of Linguistic Usage===
+
===Three Styles of Linguistic Usage===
===6.6. Basic Notions of Group Theory===
+
===Basic Notions of Group Theory===
===6.7. Basic Notions of Formal Language Theory===
+
===Basic Notions of Formal Language Theory===
===6.8. A Perspective on Computation===
+
===A Perspective on Computation===
===6.9. Higher Order Sign Relations : Introduction===
+
===Higher Order Sign Relations : Introduction===
===6.10. Higher Order Sign Relations : Examples===
+
===Higher Order Sign Relations : Examples===
===6.11. Higher Order Sign Relations : Application===
+
===Higher Order Sign Relations : Application===
===6.12. Issue 1. The Status of Signs===
+
===Issue 1. The Status of Signs===
===6.13. Issue 2. The Status of Sets===
+
===Issue 2. The Status of Sets===
===6.14. Issue 3. The Status of Variables===
+
===Issue 3. The Status of Variables===
===6.15. Propositional Calculus===
+
===Propositional Calculus===
===6.16. Recursive Aspects===
+
===Recursive Aspects===
===6.17. Patterns of Self-Reference===
+
===Patterns of Self-Reference===
===6.18. Practical Intuitions===
+
===Practical Intuitions===
===6.19. Examples of Self Reference===
+
===Examples of Self Reference===
===6.20. Three Views of Systems===
+
===Three Views of Systems===
===6.21. Building Bridges Between Representations===
+
===Building Bridges Between Representations===
===6.22. Extensional Representations of Sign Relations===
+
===Extensional Representations of Sign Relations===
===6.23. Intensional Representations of Sign Relations===
+
===Intensional Representations of Sign Relations===
===6.24. Literal Intensional Representations===
+
===Literal Intensional Representations===
===6.25. Analytic Intensional Representations===
+
===Analytic Intensional Representations===
===6.26. Differential Logic and Directed Graphs===
+
===Differential Logic and Directed Graphs===
===6.27. Differential Logic and Group Operations===
+
===Differential Logic and Group Operations===
===6.28. The Bridge : From Obstruction to Opportunity===
+
===The Bridge : From Obstruction to Opportunity===
===6.29. Projects of Representation===
+
===Projects of Representation===
===6.30. Connected, Integrated, Reflective Symbols===
+
===Connected, Integrated, Reflective Symbols===
===6.31. Relations in General===
+
===Relations in General===
===6.32. Partiality : Selective Operations===
+
===Partiality : Selective Operations===
===6.33. Sign Relational Complexes===
+
===Sign Relational Complexes===
===6.34. Set-Theoretic Constructions===
+
===Set-Theoretic Constructions===
===6.35. Reducibility of Sign Relations===
+
===Reducibility of Sign Relations===
===6.36. Irreducibly Triadic Relations===
+
===Irreducibly Triadic Relations===
===6.37. Propositional Types===
+
===Propositional Types===
===6.38. Considering the Source===
+
===Considering the Source===
===6.39. Prospective Indices : Pointers to Future Work===
+
===Prospective Indices : Pointers to Future Work===
===6.40. Dynamic and Evaluative Frameworks===
+
===Dynamic and Evaluative Frameworks===
===6.41. Elective and Motive Forces===
+
===Elective and Motive Forces===
===6.42. Sign Processes : A Start===
+
===Sign Processes : A Start===
===6.43. Reflective Extensions===
+
===Reflective Extensions===
===6.44. Reflections on Closure===
+
===Reflections on Closure===
===6.45. Intelligence => Critical Reflection===
+
===Intelligence => Critical Reflection===
===6.46. Looking Ahead===
+
===Looking Ahead===
===6.47. Mutually Intelligible Codes===
+
===Mutually Intelligible Codes===
===6.48. Discourse Analysis : Ways and Means===
+
===Discourse Analysis : Ways and Means===
===6.49. Combinations of Sign Relations===
+
===Combinations of Sign Relations===
===6.50. Revisiting the Source===
+
===Revisiting the Source===
  
==7. Part 7==
+
==Part 7==
===7.1. Divertimento : Eternity in Love with the Creatures of Time===
+
===Divertimento : Eternity in Love with the Creatures of Time===
====7.1.1. Reflections on the Presentation of Examples====
+
====Reflections on the Presentation of Examples====
====7.1.2. Searching for Parameters====
+
====Searching for Parameters====
====7.1.3. Defect Analysis====
+
====Defect Analysis====
====7.1.4. The Pragmatic Critique====
+
====The Pragmatic Critique====
====7.1.5. Pragmatic Operating Notions====
+
====Pragmatic Operating Notions====
====7.1.6. Defects of Presentation====
+
====Defects of Presentation====
====7.1.7. Dues to Process====
+
====Dues to Process====
====7.1.8. Duties to Purpose====
+
====Duties to Purpose====
===7.2. Computational Design Philosophy===
+
===Computational Design Philosophy===
====7.2.1. Intentional Objects and Attitudes====
+
====Intentional Objects and Attitudes====
====7.2.2. Imperfect Design and Persistent Error====
+
====Imperfect Design and Persistent Error====
====7.2.3. Propositional Reasoning About Relations====
+
====Propositional Reasoning About Relations====
====7.2.4. Dynamic and Evaluative Frameworks====
+
====Dynamic and Evaluative Frameworks====
====7.2.5. Discussion of Examples====
+
====Discussion of Examples====
====7.2.6. Information and Inquiry====
+
====Information and Inquiry====
  
==8. Overview of the Domain : Interpretive Inquiry==
+
==Overview of the Domain : Interpretive Inquiry==
===8.1. Interpretive Bearings : Conceptual and Descriptive Frameworks===
+
===Interpretive Bearings : Conceptual and Descriptive Frameworks===
====8.1.1. Catwalks : Flexible Frameworks and Peripatetic Categories====
+
====Catwalks : Flexible Frameworks and Peripatetic Categories====
=====8.1.1.1. Eponymous Ancestors : The Precursors of Abstraction?=====
+
=====Eponymous Ancestors : The Precursors of Abstraction?=====
=====8.1.1.2. Reticles : Interpretive Flexibility as a Design Issue=====
+
=====Reticles : Interpretive Flexibility as a Design Issue=====
====8.1.2. Heuristic Inclinations and Regulative Principles====
+
====Heuristic Inclinations and Regulative Principles====
===8.2. Features of Inquiry Driven Systems===
+
===Features of Inquiry Driven Systems===
====8.2.1. The Pragmatic Theory of Signs====
+
====The Pragmatic Theory of Signs====
=====8.2.1.1. Sign Relations=====
+
=====Sign Relations=====
=====8.2.1.2. Types of Signs=====
+
=====Types of Signs=====
====8.2.2. The Pragmatic Theory of Inquiry====
+
====The Pragmatic Theory of Inquiry====
=====8.2.2.1. Abduction=====
+
=====Abduction=====
=====8.2.2.2. Deduction=====
+
=====Deduction=====
=====8.2.2.3. Induction=====
+
=====Induction=====
===8.3. Examples of Inquiry Driven Systems===
+
===Examples of Inquiry Driven Systems===
====8.3.1. “Index” : A Program for Learning Formal Languages====
+
====“Index” : A Program for Learning Formal Languages====
====8.3.2. “Study” : A Program for Reasoning with Propositions====
+
====“Study” : A Program for Reasoning with Propositions====
===8.4. Discussion and Development of Objectives===
+
===Discussion and Development of Objectives===
====8.4.1. Objective 1a : Propositions as Types====
+
====Objective 1a : Propositions as Types====
====8.4.2. Objective 1b : Proof Styles and Developments====
+
====Objective 1b : Proof Styles and Developments====
====8.4.3. Objective 1c : Interpretation and Authority====
+
====Objective 1c : Interpretation and Authority====
  
 
==Appendices==
 
==Appendices==
Line 400: Line 400:
 
----
 
----
 
<div align="center">
 
<div align="center">
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems|Contents]]
+
&bull; [[Inquiry Driven Systems|Contents]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1|Part 1]]
+
&bull; [[Inquiry Driven Systems : Part 1|Part 1]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 2|Part 2]]
+
&bull; [[Inquiry Driven Systems : Part 2|Part 2]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3|Part 3]]
+
&bull; [[Inquiry Driven Systems : Part 3|Part 3]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4|Part 4]]
+
&bull; [[Inquiry Driven Systems : Part 4|Part 4]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 5|Part 5]]
+
&bull; [[Inquiry Driven Systems : Part 5|Part 5]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6|Part 6]]
+
&bull; [[Inquiry Driven Systems : Part 6|Part 6]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 7|Part 7]]
+
&bull; [[Inquiry Driven Systems : Part 7|Part 7]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 8|Part 8]]
+
&bull; [[Inquiry Driven Systems : Part 8|Part 8]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Appendices|Appendices]]
+
&bull; [[Inquiry Driven Systems : Appendices|Appendices]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : References|References]]
+
&bull; [[Inquiry Driven Systems : References|References]]
&bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Document History|Document History]]
+
&bull; [[Inquiry Driven Systems : Document History|Document History]]
 
&bull;
 
&bull;
 
</div>
 
</div>
Line 417: Line 417:
  
 
[[Category:Artificial Intelligence]]
 
[[Category:Artificial Intelligence]]
 +
[[Category:Automated Research Tools]]
 +
[[Category:Charles Sanders Peirce]]
 
[[Category:Critical Thinking]]
 
[[Category:Critical Thinking]]
 
[[Category:Cybernetics]]
 
[[Category:Cybernetics]]
 +
[[Category:Differential Logic]]
 
[[Category:Education]]
 
[[Category:Education]]
 
[[Category:Hermeneutics]]
 
[[Category:Hermeneutics]]
 
[[Category:Information Systems]]
 
[[Category:Information Systems]]
 
[[Category:Inquiry]]
 
[[Category:Inquiry]]
 +
[[Category:Inquiry Driven Systems]]
 
[[Category:Intelligence Amplification]]
 
[[Category:Intelligence Amplification]]
 +
[[Category:Intelligence Augmentation]]
 +
[[Category:Intelligent Systems]]
 +
[[Category:Interpretation]]
 
[[Category:Learning Organizations]]
 
[[Category:Learning Organizations]]
 
[[Category:Knowledge Representation]]
 
[[Category:Knowledge Representation]]
 
[[Category:Logic]]
 
[[Category:Logic]]
 +
[[Category:Mathematics]]
 +
[[Category:Optimization]]
 
[[Category:Philosophy]]
 
[[Category:Philosophy]]
 +
[[Category:Planning]]
 
[[Category:Pragmatics]]
 
[[Category:Pragmatics]]
 +
[[Category:Problem Solving]]
 +
[[Category:Scientific Explanation]]
 
[[Category:Semantics]]
 
[[Category:Semantics]]
 
[[Category:Semiotics]]
 
[[Category:Semiotics]]
 +
[[Category:Software Engineering]]
 +
[[Category:Systems Engineering]]
 
[[Category:Systems Science]]
 
[[Category:Systems Science]]
 +
[[Category:Systems Theory]]

Latest revision as of 12:00, 15 April 2017

Author: Jon Awbrey


ContentsPart 1Part 2Part 3Part 4Part 5Part 6Part 7Part 8AppendicesReferencesDocument History


   
 

I put down the cup and turn to my mind. It is up to my mind to find the truth. But how? What grave uncertainty, whenever the mind feels overtaken by itself; when it, the seeker, is also the obscure country where it must seek and where all its baggage will be nothing to it. Seek? Not only that: create. It is face to face with something that does not yet exist and that only it can accomplish, and bring into its light.

  — Marcel Proust, In Search of Lost Time, [Pro, 1.48]
   

Introduction

Outline of the Project : Inquiry Into Inquiry

Problem

Method

The Paradigmatic and Process-Analytic Phase
The Paraphrastic and Faculty-Synthetic Phase
Reprise of Methods

Criterion

Application

Onus of the Project : No Way But Inquiry

A Modulating Prelude

A Fugitive Canon

Option of the Project : A Way Up To Inquiry

Initial Analysis of Inquiry : Allegro Aperto

Discussion of Discussion

Discussion of Formalization : General Topics

A Formal Charge
A Formalization of Formalization?
A Formalization of Discussion?
A Concept of Formalization
A Formal Approach
A Formal Development
A Formal Persuasion

Discussion of Formalization : Concrete Examples

Formal Models : A Sketch
Sign Relations : A Primer
Semiotic Equivalence Relations
Graphical Representations
Taking Stock
The “Meta” Question
Iconic Signs
The Conflict of Interpretations
Indexical Signs
Sundry Problems
Review and Prospect
Objective Plans and Levels
Formalization of OF : Objective Levels
Application of OF : Generic Level
Application of OF : Motive Level
The Integration of Frameworks
Recapitulation : A Brush with Symbols
C'est Moi
Entr'acte

Discussion of Formalization : Specific Objects

The Will to Form
The Forms of Reasoning
A Fork in the Road
A Forged Bond
A Formal Account
Analogs, Icons, Models, Surrogates
Steps and Tests of Formalization
A Puckish Referee
Partial Formalizations
A Formal Utility
A Formal Aesthetic
A Formal Apology
A Formal Suspicion
The Double Aspect of Concepts
A Formal Permission
A Formal Invention

Recursion in Perpetuity

Processus, Regressus, Progressus

Rondeau : Tempo di Menuetto

Part 2

Reconnaissance

The Informal Context

The Epitext

The Formative Tension

Recurring Themes

Preliminary Notions

Intermediary Notions

Propositions and Sentences

Empirical Types and Rational Types

Articulate Sentences

Stretching Principles

Stretching Operations

The Cactus Patch

The Cactus Language : Syntax

Grammar 1
Grammar 2
Grammar 3
Grammar 4
Grammar 5
Grammar 6

Generalities About Formal Grammars

The Cactus Language : Stylistics

The Cactus Language : Mechanics

The Cactus Language : Semantics

Stretching Exercises

Syntactic Transformations

Syntactic Transformation Rules

Derived Equivalence Relations

Digression on Derived Relations

Part 3

Outlook of the Project : All Ways Lead to Inquiry

The Matrix of Inquiry

Inquiry as Conduct
Types of Conduct
Perils of Inquiry
Forms of Relations
Models of Inquiry

The Moment of Inquiry

The Modes of Inquiry

Deductive Reasoning
Inductive Reasoning
Abductive Reasoning
Analogical Reasoning

Obstacles to the Project : In the Way of Inquiry

The Initial Unpleasantness

The Justification Trap

A Formal Apology

Category Double-Takes
Conceptual Extensions
Explosional Recombinations
Interpretive Frameworks

A Material Exigency

A Reconciliation of Accounts

Objections to Reflective Inquiry

Empirical Considerations

Computational Considerations

A Form of Recursion
A Power of Abstraction

Orientation of the Project : A Way Into Inquiry

Initial Description of Inquiry

Terms of Analysis

Digression on Signs
Empirical Status of ID

Expansion of Terms

Agency
Abstraction
Analogy
Accuracy
Authenticity

Anchoring Terms in Phenomena

A Mistaken ID
Phenomenology of Doubt
Modalities of Knowledge

Sets, Systems, and Substantive Agents

Interpretive Systems

Syntactic Systems
Semantic Systems
Pragmatic Systems

Inquiry Driven Systems

A Definition of Inquiry
The Faculty of Inquiry
A Definition of Determination
A Definition of Definition

Organization of the Project : A Way Through Inquiry

The Problem : Inquiry Found as an Object of Study

The Method : Inquiry Found as a Means of Study

Conditions for the Possibility of Inquiry into Inquiry
Conditions for the Success of Inquiry into Inquiry

The Criterion : Inquiry in Search of a Sensible End

The Irritation of Doubt, and The Scratch Test
Enabling Provision 1 : The Scenes and Context of Inquiry
Enabling Provision 2 : The Stages and Content of Inquiry

Objectives of the Project : Inquiry All the Way

Substantial Objective

Objective 1a : The Propositions as Types Analogy
Objective 1b : The Styles of Proof Development
Objective 1c : The Analysis of Interpreters, or A Problem with Authority

Instrumental Objective

Coordination of Objectives

Recapitulation — Da Capo, Al Segno

Discussion of Inquiry

Approaches to Inquiry

The Classical Framework : Syllogistic Approaches

The Pragmatic Framework : Sign-Theoretic Approaches

The Dynamical Framework : System-Theoretic Approaches

Inquiry and Computation
Inquiry Driven Systems

The Context of Inquiry

The Field of Observation

The Problem of Reflection

The Problem of Reconstruction

The Trivializing of Integration

Tensions in the Field of Observation

Problems of Representation and Communication

The Conduct of Inquiry

Introduction

The Types of Reasoning

Deduction
Induction
Abduction

Hybrid Types of Inference

Analogy
Inquiry

Details of Induction

Learning
Transfer
Testing

The Stages of Inquiry

Interlude : The Medium and Its Message

Reflective Expression

Casual Reflection

Ostensibly Recursive Texts
Analogical Recursion

Conscious Reflection

The Signal Moment
The Symbolic Object
The Endeavor to Communicate
The Medium of Communication
The Ark of Types : The Order of Things to Come
The Epitext
The Context of Interpretation
The Formative Tension
The Vehicle of Communication : Reflection on the Scene, Reflection on the Self
(7)
(6)
Recursions : Possible, Actual, Necessary
Ostensibly Recursive Texts
(3)
The Freedom of Interpretation
The Eternal Return
(1)
Information in Formation
Reflectively Indexical Texts
(4)
(5)
(6)
(7)
(8)
The Discursive Universe
(7)
(6)
(5)
(4)
(3)
(2)
(1)

Reflective Inquiry

Integrity and Unity of Inquiry

Apparitions and Allegations

A Reflective Heuristic

Either/Or : A Sense of Absence

Apparent, Occasional, and Practical Necessity

Approaches, Aspects, Exposures, Fronts

Synthetic A Priori Truths

Priorisms of Normative Sciences

Principle of Rational Action

The Pragmatic Cosmos

Reflective Interpretive Frameworks

Principals vs. Principals
The Initial Description of Inquiry
An Early Description of Interpretation
Descriptions of the Mind
Of Signs and the Mind
Questions of Justification
The Experience of Satisfaction
An Organizational Difficulty
Pragmatic Certainties
Problems and Methods

Reflection on Reflection

Looking Back

The Light in the Clearing

The Face in the Mirror

Points Forward

Reflective Interpretive Frameworks

The Phenomenology of Reflection

A Candid Point of View

A Projective Point of View

A Formal Point of View

Three Styles of Linguistic Usage

Basic Notions of Group Theory

Basic Notions of Formal Language Theory

A Perspective on Computation

Higher Order Sign Relations : Introduction

Higher Order Sign Relations : Examples

Higher Order Sign Relations : Application

Issue 1. The Status of Signs

Issue 2. The Status of Sets

Issue 3. The Status of Variables

Propositional Calculus

Recursive Aspects

Patterns of Self-Reference

Practical Intuitions

Examples of Self Reference

Three Views of Systems

Building Bridges Between Representations

Extensional Representations of Sign Relations

Intensional Representations of Sign Relations

Literal Intensional Representations

Analytic Intensional Representations

Differential Logic and Directed Graphs

Differential Logic and Group Operations

The Bridge : From Obstruction to Opportunity

Projects of Representation

Connected, Integrated, Reflective Symbols

Relations in General

Partiality : Selective Operations

Sign Relational Complexes

Set-Theoretic Constructions

Reducibility of Sign Relations

Irreducibly Triadic Relations

Propositional Types

Considering the Source

Prospective Indices : Pointers to Future Work

Dynamic and Evaluative Frameworks

Elective and Motive Forces

Sign Processes : A Start

Reflective Extensions

Reflections on Closure

Intelligence => Critical Reflection

Looking Ahead

Mutually Intelligible Codes

Discourse Analysis : Ways and Means

Combinations of Sign Relations

Revisiting the Source

Part 7

Divertimento : Eternity in Love with the Creatures of Time

Reflections on the Presentation of Examples

Searching for Parameters

Defect Analysis

The Pragmatic Critique

Pragmatic Operating Notions

Defects of Presentation

Dues to Process

Duties to Purpose

Computational Design Philosophy

Intentional Objects and Attitudes

Imperfect Design and Persistent Error

Propositional Reasoning About Relations

Dynamic and Evaluative Frameworks

Discussion of Examples

Information and Inquiry

Overview of the Domain : Interpretive Inquiry

Interpretive Bearings : Conceptual and Descriptive Frameworks

Catwalks : Flexible Frameworks and Peripatetic Categories

Eponymous Ancestors : The Precursors of Abstraction?
Reticles : Interpretive Flexibility as a Design Issue

Heuristic Inclinations and Regulative Principles

Features of Inquiry Driven Systems

The Pragmatic Theory of Signs

Sign Relations
Types of Signs

The Pragmatic Theory of Inquiry

Abduction
Deduction
Induction

Examples of Inquiry Driven Systems

“Index” : A Program for Learning Formal Languages

“Study” : A Program for Reasoning with Propositions

Discussion and Development of Objectives

Objective 1a : Propositions as Types

Objective 1b : Proof Styles and Developments

Objective 1c : Interpretation and Authority

Appendices

Logical Translation Rule 1

Geometric Translation Rule 1

Logical Translation Rule 2

Geometric Translation Rule 2

References

Document History


ContentsPart 1Part 2Part 3Part 4Part 5Part 6Part 7Part 8AppendicesReferencesDocument History