Line 7: |
Line 7: |
| 1.1.1 Problem | | 1.1.1 Problem |
| 1.1.2 Method | | 1.1.2 Method |
− | 1.1.2.1 The Paradigmatic & Process-Analytic Phase. | + | 1.1.2.1 The Paradigmatic and Process-Analytic Phase. |
− | 1.1.2.2 The Paraphrastic & 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 |
Line 38: |
Line 38: |
| 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 & Prospect | + | 1.3.4.11 Review and Prospect |
− | 1.3.4.12 Objective Plans & 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 |
Line 54: |
Line 54: |
| 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 & Tests of Formalization | + | 1.3.5.7 Steps and Tests of Formalization |
| 1.3.5.8 Puck, the Ref | | 1.3.5.8 Puck, the Ref |
| 1.3.5.9 Partial Formalizations | | 1.3.5.9 Partial Formalizations |
Line 74: |
Line 74: |
| 1.3.10.1 Preliminary Notions | | 1.3.10.1 Preliminary Notions |
| 1.3.10.2 Intermediary Notions | | 1.3.10.2 Intermediary Notions |
− | 1.3.10.3 Propositions & Sentences | + | 1.3.10.3 Propositions and Sentences |
− | 1.3.10.4 Empirical Types & Rational Types | + | 1.3.10.4 Empirical Types and Rational Types |
| 1.3.10.5 Articulate Sentences | | 1.3.10.5 Articulate Sentences |
| 1.3.10.6 Stretching Principles | | 1.3.10.6 Stretching Principles |
Line 136: |
Line 136: |
| 1.6.4.2 Phenomenology of Doubt | | 1.6.4.2 Phenomenology of Doubt |
| 1.6.4.3 Modalities of Knowledge | | 1.6.4.3 Modalities of Knowledge |
− | 1.6.5 Sets, Systems, & Substantive Agents | + | 1.6.5 Sets, Systems, and Substantive Agents |
| 1.6.6 Interpretive Systems | | 1.6.6 Interpretive Systems |
| 1.6.6.1 Syntactic Systems | | 1.6.6.1 Syntactic Systems |
Line 154: |
Line 154: |
| 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, and The Scratch Test. | | 1.7.3.1 The Irritation of Doubt, and The Scratch Test. |
− | 1.7.3.2 Enabling Provision 1 : The Scenes & Context of Inquiry. | + | 1.7.3.2 Enabling Provision 1 : The Scenes and Context of Inquiry. |
− | 1.7.3.3 Enabling Provision 2 : The Stages & Content of Inquiry. | + | 1.7.3.3 Enabling Provision 2 : The Stages and Content of Inquiry. |
| + | |
| 1.8 Objectives of the Project : Inquiry All the Way | | 1.8 Objectives of the Project : Inquiry All the Way |
| 1.8.1 Substantial Objective | | 1.8.1 Substantial Objective |
Line 166: |
Line 167: |
| | | |
| 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 and Computation |
| 2.1.3.2 Inquiry Driven Systems | | 2.1.3.2 Inquiry Driven Systems |
| + | |
| 2.2 The Context of Inquiry | | 2.2 The Context of Inquiry |
| 2.2.1 The Field of Observation | | 2.2.1 The Field of Observation |
Line 178: |
Line 181: |
| 2.2.4 The Trivializing of Integration | | 2.2.4 The Trivializing of Integration |
| 2.2.5 Tensions in the Field of Observation | | 2.2.5 Tensions in the Field of Observation |
− | 2.2.6 Problems of Representation & Communication | + | 2.2.6 Problems of Representation and Communication |
| | | |
| 2.3 The Conduct of Inquiry | | 2.3 The Conduct of Inquiry |
Line 195: |
Line 198: |
| 2.3.5 The Stages of Inquiry | | 2.3.5 The Stages of Inquiry |
| | | |
− | 3. The Medium & Its Message | + | 3. The Medium and Its Message |
| + | |
| 3.1 Reflective Expression | | 3.1 Reflective Expression |
| 3.1.1 Casual Reflection | | 3.1.1 Casual Reflection |
Line 235: |
Line 239: |
| | | |
| 3.2 Reflective Inquiry | | 3.2 Reflective Inquiry |
− | 3.2.1 Integrity & Unity of Inquiry | + | 3.2.1 Integrity and Unity of Inquiry |
− | 3.2.2 Apparitions & Allegations | + | 3.2.2 Apparitions and 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, and Practical Necessity |
| 3.2.6 Approaches, Aspects, Exposures, Fronts | | 3.2.6 Approaches, Aspects, Exposures, Fronts |
| 3.2.7 Synthetic A Priori Truths | | 3.2.7 Synthetic A Priori Truths |
Line 250: |
Line 254: |
| 3.2.11.3 An Early Description of Interpretation | | 3.2.11.3 An Early Description of Interpretation |
| 3.2.11.4 Descriptions of the Mind | | 3.2.11.4 Descriptions of the Mind |
− | 3.2.11.5 Of Signs & the Mind | + | 3.2.11.5 Of Signs and the Mind |
| 3.2.11.6 Questions of Justification | | 3.2.11.6 Questions of Justification |
| 3.2.11.7 The Experience of Satisfaction | | 3.2.11.7 The Experience of Satisfaction |
| 3.2.11.8 An Organizational Difficulty | | 3.2.11.8 An Organizational Difficulty |
| 3.2.11.9 Pragmatic Certainties | | 3.2.11.9 Pragmatic Certainties |
− | 3.2.11.10 Problems & Methods | + | 3.2.11.10 Problems and Methods |
| | | |
| 3.3 Reflection on Reflection | | 3.3 Reflection on Reflection |
| + | |
| 3.4 Reflective Interpretive Frameworks | | 3.4 Reflective Interpretive Frameworks |
| 3.4.1 The Phenomenology of Reflection | | 3.4.1 The Phenomenology of Reflection |
Line 284: |
Line 289: |
| 3.4.24 Literal Intensional Representations | | 3.4.24 Literal Intensional Representations |
| 3.4.25 Analytic Intensional Representations | | 3.4.25 Analytic Intensional Representations |
− | 3.4.26 Differential Logic & Directed Graphs | + | 3.4.26 Differential Logic and Directed Graphs |
− | 3.4.27 Differential Logic & Group Operations | + | 3.4.27 Differential Logic and 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 |
Line 298: |
Line 303: |
| 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 and Evaluative Frameworks |
− | 3.4.41 Elective & Motive Forces | + | 3.4.41 Elective and 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 |
Line 306: |
Line 311: |
| 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 and 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 : Eternity in Love with the Creatures of Time | | 3.5 Divertimento : 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 |
Line 318: |
Line 324: |
| 3.5.7 Dues to Process | | 3.5.7 Dues to Process |
| 3.5.8 Duties to Purpose | | 3.5.8 Duties to Purpose |
| + | |
| 3.6 Computational Design Philosophy | | 3.6 Computational Design Philosophy |
− | 3.6.1 Intentional Objects & Attitudes | + | 3.6.1 Intentional Objects and Attitudes |
− | 3.6.2 Imperfect Design & Persistent Error | + | 3.6.2 Imperfect Design and Persistent Error |
| 3.6.3 Propositional Reasoning About Relations | | 3.6.3 Propositional Reasoning About Relations |
− | 3.6.4 Dynamic & Evaluative Frameworks | + | 3.6.4 Dynamic and Evaluative Frameworks |
| 3.6.5 Discussion of Examples | | 3.6.5 Discussion of Examples |
− | 3.6.6 Information & Inquiry | + | 3.6.6 Information and Inquiry |
| | | |
| 4. Overview of the Domain : Interpretive Inquiry | | 4. Overview of the Domain : Interpretive Inquiry |
− | 4.1 Interpretive Bearings : Conceptual & Descriptive Frameworks | + | |
− | 4.1.1 Catwalks : Flexible Frameworks & Peripatetic Categories | + | 4.1 Interpretive Bearings : Conceptual and Descriptive Frameworks |
| + | 4.1.1 Catwalks : Flexible Frameworks and Peripatetic Categories |
| 4.1.1.1 Eponymous Ancestors : The Precursors of Abstraction? | | 4.1.1.1 Eponymous Ancestors : 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 and Regulative Principles |
| + | |
| 4.2 Features of Inquiry Driven Systems | | 4.2 Features of Inquiry Driven Systems |
| 4.2.1 The Pragmatic Theory of Signs | | 4.2.1 The Pragmatic Theory of Signs |
Line 340: |
Line 349: |
| 4.2.2.2 Deduction | | 4.2.2.2 Deduction |
| 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 and 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 and Developments |
− | 5.3 Objective 1c : Interpretation & Authority | + | 5.3 Objective 1c : Interpretation and Authority |
| </pre> | | </pre> |