Difference between revisions of "Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 8"
Jon Awbrey (talk | contribs) |
Jon Awbrey (talk | contribs) |
||
Line 43: | Line 43: | ||
=====8.1.1.1. Eponymous Ancestors : The Precursors of Abstraction?===== | =====8.1.1.1. Eponymous Ancestors : The Precursors of Abstraction?===== | ||
+ | |||
+ | As one application of the flexible attitude just proposed, consider the following issue. | ||
+ | |||
+ | An important problem in the evolution or development of intelligence is the question how genuine concepts (categorical abstractions and hypothetical constructions) can be derived from particular percepts. The gap between individual acquaintance and comprehensive description always seems too vast to explain how incipient minds can vault it with any sense of security. | ||
+ | |||
+ | In formal language theory, this distinction corresponds to the difference between "terminal" and "non terminal" symbols in a formal grammar. That is, it signifies the contrast between lexical items with narrowly defined extensions and atomic instances as opposed to grammatical categories with infinite extensions and complex constituencies. Asking the question in this setting: How does a burgeoning language facility make the transition from finite state grammars, where terminals yield handles on non terminal symbols that obviate the need for a parser to backtrack, to higher level grammars, where a strategy of hypothetical trial and error is inevitable? | ||
+ | |||
+ | One way of visualizing a continuity in this transformation is by supposing that the potential to serve as an abstract sign is already available to interpreters in the flexible use of concrete signs. This suggests that generative categories and genuine hypotheses may arise by degrees in a gradual turning of phrases from fixed meanings to functional roles. Thus, authentic concepts can be derived from the interpretive recycling of individual names and nominal idioms into paradigmatic and schematic senses. | ||
+ | |||
+ | Peripatetically speaking, this illustrates a way that fledgling interpreters might pace themselves itself through the steps of this jump (the leap of abstraction) and trace a smooth progress over the intervening space: first, let them reposition discrete names in paradigmatic and schematic senses; then, allow them enough sense to recapture terminal and formulaic stereotypes as newly productive archetypes. | ||
=====8.1.1.2. Reticles : Interpretive Flexibility as a Design Issue===== | =====8.1.1.2. Reticles : Interpretive Flexibility as a Design Issue===== |
Revision as of 15:30, 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
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
In order to have a term that expresses both the conceptual and the descriptive aspects of these perspective standpoints, I have chosen to call them "interpretive frameworks". When analyzed in depth and fully formalized they might be recognized as "theoretical frameworks". But not every manner of intuition (or slant on the world) can survive the reflective process and persist under examination as a viable style of interpretation. And I need a term to underscore the fact that these heuristic frameworks are already in operation, shunting attention and shifting selection on an automatic and informal basis, long before anyone thinks to articulate their axioms in theory or to criticize their biases in action.
The reason I refer to interpretive frameworks rather than "ontologies" is to emphasize that many of the categories listed in these systems are inclusive or overlapping in their scopes. Thus, the circumstance that the same object can be contemplated under several different headings of the framework is not of necessity intended to say anything substantive about the object itself.
The reason I refer to interpretive frameworks rather than "hierarchies", even though I will often settle on a standard sequence for considering the attributes of a contemplated object, is that there is in general no uniquely best order for taking up these properties.
This may seem like a trivial point, taken for granted by everyone as a part of understanding the use of language, but it serves to highlight an important issue, one still lacking in universal agreement.
I will say that a logical distinction is "interpretive" to mean that it depends on the choice of an interpreter to determine how anything is classified with respect to it. This does not mean that every option of consideration will always be found equally fitting, but only that it is possible to contemplate the alternatives in a form of mental experiment.
As much as possible I will try to exploit the available degrees of interpretive freedom to view all conceptual and descriptive distinctions as being in relation to a framework of interpretation. For ease of discussion, if not for any more substantive reason, interpretive frameworks are often depicted as enacted by interpretive agents or embodied by interpretive communities, all of which conditions of practice can be summed up in a parametric reference to a single "interpreter".
8.1.1.1. Eponymous Ancestors : The Precursors of Abstraction?
As one application of the flexible attitude just proposed, consider the following issue.
An important problem in the evolution or development of intelligence is the question how genuine concepts (categorical abstractions and hypothetical constructions) can be derived from particular percepts. The gap between individual acquaintance and comprehensive description always seems too vast to explain how incipient minds can vault it with any sense of security.
In formal language theory, this distinction corresponds to the difference between "terminal" and "non terminal" symbols in a formal grammar. That is, it signifies the contrast between lexical items with narrowly defined extensions and atomic instances as opposed to grammatical categories with infinite extensions and complex constituencies. Asking the question in this setting: How does a burgeoning language facility make the transition from finite state grammars, where terminals yield handles on non terminal symbols that obviate the need for a parser to backtrack, to higher level grammars, where a strategy of hypothetical trial and error is inevitable?
One way of visualizing a continuity in this transformation is by supposing that the potential to serve as an abstract sign is already available to interpreters in the flexible use of concrete signs. This suggests that generative categories and genuine hypotheses may arise by degrees in a gradual turning of phrases from fixed meanings to functional roles. Thus, authentic concepts can be derived from the interpretive recycling of individual names and nominal idioms into paradigmatic and schematic senses.
Peripatetically speaking, this illustrates a way that fledgling interpreters might pace themselves itself through the steps of this jump (the leap of abstraction) and trace a smooth progress over the intervening space: first, let them reposition discrete names in paradigmatic and schematic senses; then, allow them enough sense to recapture terminal and formulaic stereotypes as newly productive archetypes.
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 />