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