12,089
edits
Changes
no edit summary
Inquiry Driven Systems
Inquiry Driven Systems
1. Research Proposal
1. Research Proposal
1.1 Outline of the Project: Inquiry Driven Systems
1.1 Outline of the Project : Inquiry Driven Systems
1.1.1 Problem
1.1.1 Problem
1.1.2 Method
1.1.2 Method
1.1.2.1 The Paradigmatic &
1.1.2.1 The Paradigmatic & Process-Analytic Phase.
Process-Analytic Phase.
1.1.2.2 The Paraphrastic & Faculty-Synthetic Phase.
1.1.2.2 The Paraphrastic &
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.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.11 Review & Prospect
1.3.4.11 Review & Prospect
1.3.4.12 Objective Plans & Levels
1.3.4.12 Objective Plans & 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.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
1.3.9 Reconnaissance
1.3.9 Reconnaissance
1.3.9.1 The Informal Context
1.3.9.1 The Informal Context
1.3.10.7 Stretching Operations
1.3.10.7 Stretching Operations
1.3.10.8 The Cactus Patch
1.3.10.8 The Cactus Patch
1.3.10.9 The Cactus Language: Syntax
1.3.10.9 The Cactus Language : Syntax
1.3.10.10 The Cactus Language: Stylistics
1.3.10.10 The Cactus Language : Stylistics
1.3.10.11 The Cactus Language: Mechanics
1.3.10.11 The Cactus Language : Mechanics
1.3.10.12 The Cactus Language: Semantics
1.3.10.12 The Cactus Language : Semantics
1.3.10.13 Stretching Exercises
1.3.10.13 Stretching Exercises
1.3.10.14 Syntactic Transformations
1.3.10.14 Syntactic Transformations
1.3.10.16 Digression on Derived Relations
1.3.10.16 Digression on Derived Relations
1.4 Outlook of the Project: All Ways Lead to Inquiry
1.4 Outlook of the Project : All Ways Lead to Inquiry
1.4.1 The Matrix of Inquiry
1.4.1 The Matrix of Inquiry
1.4.1.1 Inquiry as Conduct
1.4.1.1 Inquiry as Conduct
...
...
1.5 Obstacles to the Project: In the Way of Inquiry
1.5 Obstacles to the Project : In the Way of Inquiry
1.5.1 The Initial Unpleasantness
1.5.1 The Initial Unpleasantness
1.5.2 The Justification Trap
1.5.2 The Justification Trap
1.5.8.2 A Power of Abstraction
1.5.8.2 A Power of Abstraction
1.6 Orientation of the Project: A Way Into Inquiry
1.6 Orientation of the Project : A Way Into Inquiry
1.6.1 Initial Description of Inquiry
1.6.1 Initial Description of Inquiry
1.6.2 Terms of Analysis
1.6.2 Terms of Analysis
1.6.7.4 A Definition of Definition
1.6.7.4 A Definition of Definition
1.7 Organization of the Project: A Way Through Inquiry
1.7 Organization of the Project : A Way Through Inquiry
1.7.1 The Problem: Inquiry Found as an Object of Study
1.7.1 The Problem : Inquiry Found as an Object of Study
1.7.2 The Method: Inquiry Found as a Means of Study
1.7.2 The Method : Inquiry Found as a Means of Study
1.7.2.1 Conditions for the Possibility
1.7.2.1 Conditions for the Possibility
of Inquiry into Inquiry
of Inquiry into Inquiry
1.7.2.2 Conditions for the Success
1.7.2.2 Conditions for the Success
of Inquiry into Inquiry
of Inquiry into Inquiry
1.7.3 The Criterion: Inquiry in Search of a Sensible End
1.7.3 The Criterion : Inquiry in Search of a Sensible End
1.7.3.1 The Irritation of Doubt,
1.7.3.1 The Irritation of Doubt, and The Scratch Test.
and The Scratch Test.
1.7.3.2 Enabling Provision 1 : The Scenes & Context of Inquiry.
1.7.3.2 Enabling Provision 1:
1.7.3.3 Enabling Provision 2 : The Stages & Content of Inquiry.
The Scenes & Context of Inquiry.
1.8 Objectives of the Project : Inquiry All the Way
1.7.3.3 Enabling Provision 2:
The Stages & Content of Inquiry.
1.8 Objectives of the Project: Inquiry All the Way
1.8.1 Substantial Objective
1.8.1 Substantial Objective
1.8.1.1 Objective 1a:
1.8.1.1 Objective 1a : The Propositions as Types Analogy.
The Propositions as Types Analogy.
1.8.1.2 Objective 1b : The Styles of Proof Development.
1.8.1.2 Objective 1b:
1.8.1.3 Objective 1c : The Analysis of Interpreters, or A Problem with Authority.
The Styles of Proof Development.
1.8.1.3 Objective 1c:
The Analysis of Interpreters,
or A Problem with Authority.
1.8.2 Instrumental Objective
1.8.2 Instrumental Objective
1.8.3 Coordination of Objectives
1.8.3 Coordination of Objectives
1.8.4 Recapitulation Da Capo, Al Segno
1.8.4 Recapitulation : Da Capo, Al Segno
2. Discussion of Inquiry
2. Discussion of Inquiry
2.1 Approaches to Inquiry
2.1 Approaches to Inquiry
2.1.1 The Classical Framework: Syllogistic Approaches
2.1.1 The Classical Framework : Syllogistic Approaches
2.1.2 The Pragmatic Framework: Sign-Theoretic Approaches
2.1.2 The Pragmatic Framework : Sign-Theoretic Approaches
2.1.3 The Dynamical Framework: System-Theoretic Approaches
2.1.3 The Dynamical Framework : System-Theoretic Approaches
2.1.3.1 Inquiry & Computation
2.1.3.1 Inquiry & Computation
2.1.3.2 Inquiry Driven Systems
2.1.3.2 Inquiry Driven Systems
3.1.2.3 The Endeavor to Communicate
3.1.2.3 The Endeavor to Communicate
3.1.2.4 The Medium of Communication
3.1.2.4 The Medium of Communication
3.1.2.5 The Ark of Types:
3.1.2.5 The Ark of Types : The Order of Things to Come.
The Order of Things to Come.
3.1.2.6 The Epitext
3.1.2.6 The Epitext
3.1.2.7 The Context of Interpretation
3.1.2.7 The Context of Interpretation
3.1.2.8 The Formative Tension
3.1.2.8 The Formative Tension
3.1.2.9 The Vehicle of Communication:
3.1.2.9 The Vehicle of Communication :
Reflection on the Scene,
Reflection on the Scene,
Reflection on the Self.
Reflection on the Self.
3.1.2.10 (7)
3.1.2.10 (7)
3.1.2.11 (6)
3.1.2.11 (6)
3.1.2.12 Recursions: Possible, Actual, Necessary
3.1.2.12 Recursions : Possible, Actual, Necessary
3.1.2.13 Ostensibly Recursive Texts
3.1.2.13 Ostensibly Recursive Texts
3.1.2.14 (3)
3.1.2.14 (3)
3.2.2 Apparitions & Allegations
3.2.2 Apparitions & Allegations
3.2.3 A Reflective Heuristic
3.2.3 A Reflective Heuristic
3.2.4 Either/Or: A Sense of Absence
3.2.4 Either/Or : A Sense of Absence
3.2.5 Apparent, Occasional, & Practical Necessity
3.2.5 Apparent, Occasional, & Practical Necessity
3.2.6 Approaches, Aspects, Exposures, Fronts
3.2.6 Approaches, Aspects, Exposures, Fronts
3.4.7 Basic Notions of Formal Language Theory
3.4.7 Basic Notions of Formal Language Theory
3.4.8 A Perspective on Computation
3.4.8 A Perspective on Computation
3.4.9 Higher Order Sign Relations: Introduction
3.4.9 Higher Order Sign Relations : Introduction
3.4.10 Higher Order Sign Relations: Examples
3.4.10 Higher Order Sign Relations : Examples
3.4.11 Higher Order Sign Relations: Application
3.4.11 Higher Order Sign Relations : Application
3.4.12 Issue 1: The Status of Signs
3.4.12 Issue 1 : The Status of Signs
3.4.13 Issue 2: The Status of Sets
3.4.13 Issue 2 : The Status of Sets
3.4.14 Issue 3: The Status of Variables
3.4.14 Issue 3 : The Status of Variables
3.4.15 Propositional Calculus
3.4.15 Propositional Calculus
3.4.16 Recursive Aspects
3.4.16 Recursive Aspects
3.4.26 Differential Logic & Directed Graphs
3.4.26 Differential Logic & Directed Graphs
3.4.27 Differential Logic & Group Operations
3.4.27 Differential Logic & Group Operations
3.4.28 The Bridge: From Obstruction to Opportunity
3.4.28 The Bridge : From Obstruction to Opportunity
3.4.29 Projects of Representation
3.4.29 Projects of Representation
3.4.30 Connected, Integrated, Reflective Symbols
3.4.30 Connected, Integrated, Reflective Symbols
3.4.31 Generic Orders of Relations
3.4.31 Generic Orders of Relations
3.4.32 Partiality: Selective Operations
3.4.32 Partiality : Selective Operations
3.4.33 Sign Relational Complexes
3.4.33 Sign Relational Complexes
3.4.34 Set-Theoretic Constructions
3.4.34 Set-Theoretic Constructions
3.4.37 Propositional Types
3.4.37 Propositional Types
3.4.38 Considering the Source
3.4.38 Considering the Source
3.4.39 Prospective Indices: Pointers to Future Work
3.4.39 Prospective Indices : Pointers to Future Work
3.4.40 Dynamic & Evaluative Frameworks
3.4.40 Dynamic & Evaluative Frameworks
3.4.41 Elective & Motive Forces
3.4.41 Elective & Motive Forces
3.4.42 Sign Processes: A Start
3.4.42 Sign Processes : A Start
3.4.43 Reflective Extensions
3.4.43 Reflective Extensions
3.4.44 Reflections on Closure
3.4.44 Reflections on Closure
3.4.46 Looking Ahead
3.4.46 Looking Ahead
3.4.47 Mutually Intelligible Codes
3.4.47 Mutually Intelligible Codes
3.4.48 Discourse Analysis: Ways & Means
3.4.48 Discourse Analysis : Ways & Means
3.4.49 Combinations of Sign Relations
3.4.49 Combinations of Sign Relations
3.4.50 Revisiting the Source
3.4.50 Revisiting the Source
3.5 Divertimento:
3.5 Divertimento : Eternity in Love with the Creatures of Time
Eternity in Love with the Creatures of Time
3.5.1 Reflections on the Presentation of Examples
3.5.1 Reflections on the Presentation of Examples
3.5.2 Searching for Parameters
3.5.2 Searching for Parameters
3.6.6 Information & Inquiry
3.6.6 Information & Inquiry
4. Overview of the Domain: Interpretive Inquiry
4. Overview of the Domain : Interpretive Inquiry
4.1 Interpretive Bearings: Conceptual & Descriptive Frameworks
4.1 Interpretive Bearings : Conceptual & Descriptive Frameworks
4.1.1 Catwalks: Flexible Frameworks & Peripatetic Categories
4.1.1 Catwalks : Flexible Frameworks & Peripatetic Categories
4.1.1.1 Eponymous Ancestors:
4.1.1.1 Eponymous Ancestors : The Precursors of Abstraction?
The Precursors of Abstraction?
4.1.1.2 Reticles : Interpretive Flexibility as a Design Issue.
4.1.1.2 Reticles:
Interpretive Flexibility as a Design Issue.
4.1.2 Heuristic Inclinations & Regulative Principles
4.1.2 Heuristic Inclinations & Regulative Principles
4.2 Features of Inquiry Driven Systems
4.2 Features of Inquiry Driven Systems
4.2.2.3 Induction
4.2.2.3 Induction
4.3 Examples of Inquiry Driven Systems
4.3 Examples of Inquiry Driven Systems
4.3.1 "Index": A Program for Learning Formal Languages
4.3.1 "Index" : A Program for Learning Formal Languages
4.3.2 "Study": A Program for Reasoning with Propositions
4.3.2 "Study" : A Program for Reasoning with Propositions
5. Discussion & Development of Objectives
5. Discussion & Development of Objectives
5.1 Objective 1a: Propositions as Types
5.1 Objective 1a : Propositions as Types
5.2 Objective 1b: Proof Styles & Developments
5.2 Objective 1b : Proof Styles & Developments
5.3 Objective 1c: Interpretation & Authority
5.3 Objective 1c : Interpretation & Authority
</pre>
</pre>