Difference between revisions of "Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 8"

MyWikiBiz, Author Your Legacy — Saturday April 27, 2024
Jump to navigationJump to search
(+ Part 8)
 
(+ TOC)
Line 18: Line 18:
 
----
 
----
  
==Part 8.==
+
==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====
  
 
----
 
----

Revision as of 02:21, 20 August 2011


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 />