Line 3,236: |
Line 3,236: |
| <li>ESR</li></ol></ol> | | <li>ESR</li></ol></ol> |
| | | |
− | <pre>
| + | In the rest of this section I put aside the question of defining a thing, symbol, or concept in terms of itself, which promises to be an exercise in futility, and consider only the possibility of explaining, explicating, or elaborating a thing, symbol, or concept in terms of itself. In this connection I attach special importance to a particular style of exposition, one that reformulates one's initial idea of an object in terms of the active implications or the effective consequences that its presence in a situation or its recognition and use in an application constitutes for the practical agent concerned. This style of ''pragmatic reconstruction'' can serve a useful purpose in clarifying the information one possesses about the object, sign, or idea of concern. Properly understood, it is marks the effective reformulation of ideas in ways that are akin to the more reductive sorts of ''operational definition'', but overall is both more comprehensive and more pointedly related to the pragmatic agent, or the actual interpreter of the symbols and concepts in question. |
− | In the rest of this section I put aside the question of defining a thing, symbol, or concept in terms of itself, which promises to be an exercise in futility, and consider only the possibility of explaining, explicating, or elaborating a thing, symbol, or concept in terms of itself. In this connection I attach special importance to a particular style of exposition, one that reformulates one's initial idea of an object in terms of the active implications or the effective consequences that its presence in a situation or its recognition and use in an application constitutes for the practical agent concerned. This style of "pragmatic reconstruction" can serve a useful purpose in clarifying the information one possesses about the object, sign, or idea of concern. Properly understood, it is marks the effective reformulation of ideas in ways that are akin to the more reductive sorts of "operational definition", but overall is both more comprehensive and more pointedly related to the pragmatic agent, or the actual interpreter of the symbols and concepts in question. | |
| | | |
− | The pending example of a POSR is, of course, the system composed of a pair of sign relations {A, B}, where the nouns and pronouns in each sign relation refer to the hypostatic agents A and B that are known solely as embodiments of the sign relations A and B. But this example, as reduced as it is, already involves an order of complexity that needs to be approached in more discrete stages than the ones enumerated in the current account. Therefore, it helps to take a step back from the full variety of sign relations and to consider related classes of POSRs that are typically simpler in principle. | + | The pending example of a POSR is, of course, the system composed of a pair of sign relations <math>\{ L(\text{A}), L(\text{B}) \},\!</math> where the nouns and pronouns in each sign relation refer to the hypostatic agents <math>\text{A}\!</math> and <math>\text{B}\!</math> that are known solely as embodiments of the sign relations <math>L(\text{A})\!</math> and <math>L(\text{B}).\!</math> But this example, as reduced as it is, already involves an order of complexity that needs to be approached in more discrete stages than the ones enumerated in the current account. Therefore, it helps to take a step back from the full variety of sign relations and to consider related classes of POSRs that are typically simpler in principle. |
| | | |
| + | <pre> |
| 1. The first class of POSRs I want to consider is diverse in form and content and has many names, but the feature that seems to unite all its instances is a "self commenting" or "self documenting" character. Typically, this means a "partially self documenting" (PSD) character. As species of formal structures, PSD data structures are rife throughout computer science, and PSD developmental sequences turn up repeatedly in mathematics, logic, and proof theory. For the sake of euphony and ease of reference I collect this class of PSD POSRs under the name of "auto graphs" (AGs). | | 1. The first class of POSRs I want to consider is diverse in form and content and has many names, but the feature that seems to unite all its instances is a "self commenting" or "self documenting" character. Typically, this means a "partially self documenting" (PSD) character. As species of formal structures, PSD data structures are rife throughout computer science, and PSD developmental sequences turn up repeatedly in mathematics, logic, and proof theory. For the sake of euphony and ease of reference I collect this class of PSD POSRs under the name of "auto graphs" (AGs). |
| | | |