Difference between revisions of "Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 8"
MyWikiBiz, Author Your Legacy — Friday December 27, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) (+ Part 8) |
Jon Awbrey (talk | contribs) (+ TOC) |
||
Line 18: | Line 18: | ||
---- | ---- | ||
− | == | + | ==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
• 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
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
• Contents • Part 1 • Part 2 • Part 3 • Part 4 • Part 5 • Part 6 • Part 7 • Part 8 • Appendices • References • Document History •
<sharethis />