12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 8 (view source)
Revision as of 02:21, 20 August 2011
, 02:21, 20 August 2011+ TOC
----
----
==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====
----
----