Inquiry Driven Systems : Part 8

MyWikiBiz, Author Your Legacy — Thursday November 28, 2024
< Directory:Jon Awbrey‎ | Papers
Revision as of 02:22, 20 August 2011 by Jon Awbrey (talk | contribs) (<div class="nonumtoc">__TOC__</div>)
Jump to navigationJump to search

ContentsPart 1Part 2Part 3Part 4Part 5Part 6Part 7Part 8AppendicesReferencesDocument History


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


ContentsPart 1Part 2Part 3Part 4Part 5Part 6Part 7Part 8AppendicesReferencesDocument History



<sharethis />