Inquiry Driven Systems : Part 8

• Contents • Part 1 • Part 2 • Part 3 • Part 4 • Part 5 • Part 6 • Part 7 • Part 8 • Appendices • References • Document History •

8. Overview of the Domain : Interpretive Inquiry

Interpretive Stance, Initial Theory, Concrete Examples

8.1. Interpretive Bearings : Conceptual and Descriptive Frameworks

In this section I review the conceptual and descriptive frameworks that I will deploy throughout this work. In passing, I explain my overall attitude toward the use of any theoretical outlook (scaffold or catwalk), namely, that it needs to be as flexible and as reflective as possible.

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