Line 1: |
Line 1: |
| {{DISPLAYTITLE:Inquiry Driven Systems}} | | {{DISPLAYTITLE:Inquiry Driven Systems}} |
| + | '''Author: [[User:Jon Awbrey|Jon Awbrey]]''' |
| + | |
| + | ---- |
| + | <div align="center"> |
| + | • [[Inquiry Driven Systems|Contents]] |
| + | • [[Inquiry Driven Systems : Part 1|Part 1]] |
| + | • [[Inquiry Driven Systems : Part 2|Part 2]] |
| + | • [[Inquiry Driven Systems : Part 3|Part 3]] |
| + | • [[Inquiry Driven Systems : Part 4|Part 4]] |
| + | • [[Inquiry Driven Systems : Part 5|Part 5]] |
| + | • [[Inquiry Driven Systems : Part 6|Part 6]] |
| + | • [[Inquiry Driven Systems : Part 7|Part 7]] |
| + | • [[Inquiry Driven Systems : Part 8|Part 8]] |
| + | • [[Inquiry Driven Systems : Appendices|Appendices]] |
| + | • [[Inquiry Driven Systems : References|References]] |
| + | • [[Inquiry Driven Systems : Document History|Document History]] |
| + | • |
| + | </div> |
| + | ---- |
| + | |
| {| width="100%" cellpadding="0" cellspacing="0" | | {| width="100%" cellpadding="0" cellspacing="0" |
| | width="40%" | | | | width="40%" | |
Line 14: |
Line 34: |
| |} | | |} |
| | | |
− | ---- | + | ==Introduction== |
− | <div align="center" ><big>
| + | ===Outline of the Project : Inquiry Into Inquiry=== |
− | • [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1|Part 1]]
| + | ====Problem==== |
− | • [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 2|Part 2]]
| + | ====Method==== |
− | • [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3|Part 3]]
| + | =====The Paradigmatic and Process-Analytic Phase===== |
− | •
| + | =====The Paraphrastic and Faculty-Synthetic Phase===== |
− | </big></div>
| + | =====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==== |
| | | |
− | <div class="nonumtoc">__TOC__</div>
| + | ==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==== |
| | | |
− | ==1. Introduction== | + | ==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==== |
| | | |
− | ===1.1. Outline of the Project : Inquiry Into Inquiry=== | + | ==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==== |
| | | |
− | ====1.1.1. Problem==== | + | ==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==== |
| | | |
− | ====1.1.2. Method==== | + | ==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=== |
| | | |
− | =====1.1.2.1. The Paradigmatic and Process-Analytic Phase===== | + | ==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==== |
| | | |
− | =====1.1.2.2. The Paraphrastic and Faculty-Synthetic Phase===== | + | ==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==== |
| | | |
− | =====1.1.2.3. Reprise of Methods===== | + | ==Appendices== |
| + | ===Logical Translation Rule 1=== |
| + | ===Geometric Translation Rule 1=== |
| + | ===Logical Translation Rule 2=== |
| + | ===Geometric Translation Rule 2=== |
| | | |
− | ====1.1.3. Criterion==== | + | ==References== |
| | | |
− | ====1.1.4. Application==== | + | ==Document History== |
− | | |
− | ===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.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. The 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====
| |
− | | |
− | ======Grammar 1======
| |
− | | |
− | ======Grammar 2======
| |
− | | |
− | ======Grammar 3======
| |
− | | |
− | ======Grammar 4======
| |
− | | |
− | ======Grammar 5======
| |
− | | |
− | ====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. Outlook of the Project : All Ways Lead to Inquiry==
| |
− | | |
− | ===3.1. The Matrix of Inquiry===
| |
| | | |
| ---- | | ---- |
− | <div align="center" ><big> | + | <div align="center"> |
− | • [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1|Part 1]] | + | • [[Inquiry Driven Systems|Contents]] |
− | • [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 2|Part 2]] | + | • [[Inquiry Driven Systems : Part 1|Part 1]] |
− | • [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3|Part 3]] | + | • [[Inquiry Driven Systems : Part 2|Part 2]] |
| + | • [[Inquiry Driven Systems : Part 3|Part 3]] |
| + | • [[Inquiry Driven Systems : Part 4|Part 4]] |
| + | • [[Inquiry Driven Systems : Part 5|Part 5]] |
| + | • [[Inquiry Driven Systems : Part 6|Part 6]] |
| + | • [[Inquiry Driven Systems : Part 7|Part 7]] |
| + | • [[Inquiry Driven Systems : Part 8|Part 8]] |
| + | • [[Inquiry Driven Systems : Appendices|Appendices]] |
| + | • [[Inquiry Driven Systems : References|References]] |
| + | • [[Inquiry Driven Systems : Document History|Document History]] |
| • | | • |
− | </big></div>
| + | </div> |
| ---- | | ---- |
− |
| |
− | ==References==
| |
− |
| |
− | * Aristotle, "On The Soul", in ''Aristotle, Volume 8'', W.S. Hett (trans.), William Heinemann, London, UK, 1936, 1986.
| |
− |
| |
− | * Charniak, E., and McDermott, D.V. (1985), ''Introduction to Artificial Intelligence'', Addison-Wesley, Reading, MA.
| |
− |
| |
− | * Charniak, E., Riesbeck, C.K., and McDermott, D.V. (1980), ''Artificial Intelligence Programming'', Lawrence Erlbaum Associates, Hillsdale, NJ.
| |
− |
| |
− | * Dewey, John (1910/1991), ''How We Think'', Prometheus Books, Buffalo, NY. Originally published 1910.
| |
− |
| |
− | * Holland, J.H., Holyoak, K.J., Nisbett, R.E., and Thagard, P.R. (1986), ''Induction : Processes of Inference, Learning, and Discovery'', MIT Press, Cambridge, MA.
| |
− |
| |
− | * O'Rorke, P. (1990), "Review of AAAI 1990 Spring Symposium on Automated Abduction", SIGART Bulletin, Vol. 1, No. 3, ACM Press, October 1990, pp. 12–17.
| |
− |
| |
− | * Pearl, J. (1991), ''Probabilistic Reasoning in Intelligent Systems : Networks of Plausible Inference'', Revised 2nd printing, Morgan Kaufmann, San Mateo, CA.
| |
− |
| |
− | * Peng, Y., and Reggia, J.A. (1990), ''Abductive Inference Models for Diagnostic Problem-Solving'', Springer-Verlag, New York, NY.
| |
− |
| |
− | * Proust, Marcel (1913–1927), ''In Search of Lost Time'', Christopher Prendergast (general editor), Penguin Books, London, UK, 2002, 6 volumes:
| |
− | # ''The Way by Swann's'' (1913), Lydia Davis (trans.)
| |
− | # ''In the Shadow of Young Girls in Flower'' (1919), James Grieve (trans.)
| |
− | # ''The Guermantes Way'' (1920–1921), Mark Treharne (trans.)
| |
− | # ''Sodom and Gomorrah'' (1921–1922), John Sturrock (trans.)
| |
− | # <p>''The Prisoner'' (1923), Carol Clark (trans.)</p><p>''The Fugitive'' (1925), Peter Collier (trans.)</p>
| |
− | # ''Finding Time Again'' (1927), Ian Patterson (trans.)
| |
− |
| |
− | * Shakespeare, William (1988), ''William Shakespeare : The Complete Works'', Compact Edition, S. Wells and G. Taylor (eds.), Oxford University Press, Oxford, UK.
| |
− |
| |
− | * Sowa, J.F. (1984), ''Conceptual Structures : Information Processing in Mind and Machine'', Addison-Wesley, Reading, MA.
| |
− |
| |
− | * Sowa, J.F. (ed., 1991), ''Principles of Semantic Networks : Explorations in the Representation of Knowledge'', Morgan Kaufmann, San Mateo, CA.
| |
− |
| |
− | ==Document History==
| |
− |
| |
− | {| cellpadding="2"
| |
− | | Title:
| |
− | | colspan="3" | Inquiry Driven Systems : An Inquiry Into Inquiry
| |
− | |-
| |
− | | Author:
| |
− | | Jon Awbrey
| |
− | |
| |
− | |
| |
− | |-
| |
− | | Revised:
| |
− | | May-Jun 2004
| |
− | | Draft 11.00
| |
− | | Inquiry List: [http://stderr.org/pipermail/inquiry/2004-May/thread.html#1434 1] [http://stderr.org/pipermail/inquiry/2004-May/thread.html#1564 2] [http://stderr.org/pipermail/inquiry/2004-June/thread.html#1574 3]
| |
− | |-
| |
− | | Revised:
| |
− | | 14 Apr 2004
| |
− | | Draft 10.04
| |
− | |-
| |
− | | Revised:
| |
− | | 07 Apr 2003
| |
− | | Draft 10.01
| |
− | |-
| |
− | | Revised:
| |
− | | 02 Mar 2003
| |
− | | Draft 10.00
| |
− | |-
| |
− | | Revised:
| |
− | | 23 Jun 2002
| |
− | | Draft 8.76
| |
− | |-
| |
− | | Revised:
| |
− | | 10 Jun 2002
| |
− | | Draft 8.75
| |
− | |-
| |
− | | Revised:
| |
− | | 06 Jan 2002
| |
− | | Draft 8.70
| |
− | |-
| |
− | | Revised:
| |
− | | 26 Nov 2001
| |
− | | Draft 8.63
| |
− | | Arisbe List, SUO List
| |
− | |-
| |
− | | Revised:
| |
− | | 08 Jan 2001
| |
− | | Draft 8b
| |
− | |-
| |
− | | Revised:
| |
− | | 30 Jun 2000
| |
− | | Draft 8.2
| |
− | | Arisbe Site: [http://www.cspeirce.com/menu/library/aboutcsp/awbrey/inquiry.htm 1]
| |
− | |-
| |
− | | Revised:
| |
− | | 11 Feb 2000
| |
− | | Draft 8a
| |
− | |-
| |
− | | Revised:
| |
− | | 01 Oct 1999
| |
− | | Draft 7e
| |
− | |-
| |
− | | Revised:
| |
− | | 23 Jun 1999
| |
− | | Draft 7b
| |
− | |-
| |
− | | Created:
| |
− | | 23 Jun 1996
| |
− | |-
| |
− | | Advisor:
| |
− | | M.A. Zohdy
| |
− | |-
| |
− | | Setting:
| |
− | | colspan="3" | Oakland University, Rochester, Michigan, USA
| |
− | |}
| |
− |
| |
− | <br><sharethis />
| |
| | | |
| [[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]] |