Line 716: |
Line 716: |
| the sign domain or it may construct functions from the sign domain to ranges | | the sign domain or it may construct functions from the sign domain to ranges |
| of qualitative meaning or quantitative measure. | | of qualitative meaning or quantitative measure. |
| + | </pre> |
| | | |
− | 1.2.1 Functions of Observation | + | ====1.2.1. Functions of Observation==== |
| | | |
| + | <pre> |
| An observation preserved in a permanent record marks the transience of a certain | | An observation preserved in a permanent record marks the transience of a certain |
| compound event, the one that an observational account creates in conjunction | | compound event, the one that an observational account creates in conjunction |
Line 835: |
Line 837: |
| such models. An off-the-shelf facility for categorical computing would of | | such models. An off-the-shelf facility for categorical computing would of |
| course have many other uses in theoretical and applied mathematics. | | course have many other uses in theoretical and applied mathematics. |
| + | </pre> |
| | | |
− | 1.2.1.1 Observation and Action | + | =====1.2.1.1 Observation and Action===== |
| | | |
| + | <pre> |
| It seems clear that observations are a special type of action, and that actions | | It seems clear that observations are a special type of action, and that actions |
| are a special type of observable event. At least, actions are events that may | | are a special type of observable event. At least, actions are events that may |
Line 853: |
Line 857: |
| scatter peripherally, resolving into simple elements that distinctively belong | | scatter peripherally, resolving into simple elements that distinctively belong |
| to one category or another. | | to one category or another. |
| + | </pre> |
| | | |
− | 1.2.1.2 Observation and Observables | + | =====1.2.1.2. Observation and Observables===== |
| | | |
| + | <pre> |
| Independently of their distinctness as categories, what is the relation of the | | Independently of their distinctness as categories, what is the relation of the |
| observing and the observable as roles played out in the theater of observation? | | observing and the observable as roles played out in the theater of observation? |
Line 870: |
Line 876: |
| logical part that represents the elementary reception and pure contingency of | | logical part that represents the elementary reception and pure contingency of |
| simply noting without altering what's under one's nose (or read head). | | simply noting without altering what's under one's nose (or read head). |
| + | </pre> |
| | | |
− | 1.2.1.3 Observation and Interpretation | + | =====1.2.1.3. Observation and Interpretation===== |
| | | |
| + | <pre> |
| The foregoing discussion of observation and observables seems like such a | | The foregoing discussion of observation and observables seems like such a |
| useless exercise in hair-splitting that a forward declaration of its eventual | | useless exercise in hair-splitting that a forward declaration of its eventual |
Line 930: |
Line 938: |
| between observation and interpretation will no doubt continue to arise in the | | between observation and interpretation will no doubt continue to arise in the |
| synthesis of physical and intelligent dynamics. | | synthesis of physical and intelligent dynamics. |
| + | </pre> |
| | | |
− | 1.2.2 Symbolic Media | + | ====1.2.2. Symbolic Media==== |
| | | |
| + | <pre> |
| A critical transition in the development of a system is reached when components | | A critical transition in the development of a system is reached when components |
| of state are set aside internally or assimilated from the environment to make | | of state are set aside internally or assimilated from the environment to make |
Line 944: |
Line 954: |
| accumulates all the words coined and spent on sights and deeds? What mint | | accumulates all the words coined and spent on sights and deeds? What mint |
| guarantees the content and determines the form of their first impressions? | | guarantees the content and determines the form of their first impressions? |
| + | </pre> |
| | | |
− | 1.2.2.1 Papyrus, Parchment, Palimpsest | + | =====1.2.2.1. Papyrus, Parchment, Palimpsest===== |
| | | |
| + | <pre> |
| Starting from the standpoint of systems theory a sizable handicap must be | | Starting from the standpoint of systems theory a sizable handicap must be |
| overcome in the quest to figure out: "What's in the brain that ink may | | overcome in the quest to figure out: "What's in the brain that ink may |
Line 973: |
Line 985: |
| insight. It looks like another one of those problem areas that will need to be | | insight. It looks like another one of those problem areas that will need to be |
| revisited on the way to integrating AI and systems theory. | | revisited on the way to integrating AI and systems theory. |
| + | </pre> |
| | | |
− | 1.2.2.2 Statements, Questions, Commands | + | =====1.2.2.2. Statements, Questions, Commands===== |
| | | |
| + | <pre> |
| When signs are created that can be placed in reliable association with the | | When signs are created that can be placed in reliable association with the |
| results of observations and the onsets of actions, these signs are said to | | results of observations and the onsets of actions, these signs are said to |
Line 1,029: |
Line 1,043: |
| one: What character in the dynamics of a system would cause it to be called a | | one: What character in the dynamics of a system would cause it to be called a |
| sign-using system, one that acts as an interpreter in a non-trivial sense? | | sign-using system, one that acts as an interpreter in a non-trivial sense? |
| + | </pre> |
| | | |
− | 1.2.2.3 Pragmatic Theory of Signs | + | =====1.2.2.3. Pragmatic Theory of Signs===== |
| | | |
| + | <pre> |
| The theory of signs that I find most useful was developed | | The theory of signs that I find most useful was developed |
| over several decades in the last century by C.S. Peirce, | | over several decades in the last century by C.S. Peirce, |
Line 1,198: |
Line 1,214: |
| more complex constructions that are accessible from the moving platforms | | more complex constructions that are accessible from the moving platforms |
| of these tangent spaces. | | of these tangent spaces. |
| + | </pre> |
| | | |
− | 1.2.3 Architecture of Inquiry | + | ====1.2.3. Architecture of Inquiry==== |
| | | |
| + | <pre> |
| The outlines of one important landmark can already be seen from this station. | | The outlines of one important landmark can already be seen from this station. |
| It is the architecture of inquiry, in the style traced out by C.S. Peirce and | | It is the architecture of inquiry, in the style traced out by C.S. Peirce and |
Line 1,241: |
Line 1,259: |
| intelligence and knowledge in analogy with system attributes like momentum and | | intelligence and knowledge in analogy with system attributes like momentum and |
| frequency may turn out to be based on deeply common principles. | | frequency may turn out to be based on deeply common principles. |
| + | </pre> |
| | | |
− | 1.2.3.1 Inquiry Driven Systems | + | =====1.2.3.1. Inquiry Driven Systems===== |
| | | |
| + | <pre> |
| One goal of this work is to develop a formalism adequate to the description of | | One goal of this work is to develop a formalism adequate to the description of |
| knowledge-oriented inquiry-driven systems in logical and differential terms, to | | knowledge-oriented inquiry-driven systems in logical and differential terms, to |
Line 1,279: |
Line 1,299: |
| From these uses of images two kinds of differences crop up in the process of | | From these uses of images two kinds of differences crop up in the process of |
| inquiry. | | inquiry. |
| + | </pre> |
| | | |
− | 1.2.3.2 Surprises to Explain | + | =====1.2.3.2. Surprises to Explain===== |
| | | |
| + | <pre> |
| One of the uses of a knowledge base is to support the generation of | | One of the uses of a knowledge base is to support the generation of |
| expectations. In return, one of the inputs to the operators which edit and | | expectations. In return, one of the inputs to the operators which edit and |
Line 1,294: |
Line 1,316: |
| system would have to detail this relation between states of uncertainty and | | system would have to detail this relation between states of uncertainty and |
| resultant actions. | | resultant actions. |
| + | </pre> |
| | | |
− | 1.2.3.3 Problems to Resolve | + | =====1.2.3.3. Problems to Resolve===== |
| | | |
| + | <pre> |
| Since a system's determination of its own goals is a special case of knowledge | | Since a system's determination of its own goals is a special case of knowledge |
| in general, it is convenient to allocate a place for this kind of information in | | in general, it is convenient to allocate a place for this kind of information in |
Line 1,310: |
Line 1,334: |
| difference between its active intentions and the observations that record actual | | difference between its active intentions and the observations that record actual |
| conditions. | | conditions. |
| + | </pre> |
| | | |
− | 1.2.4 Simple Minded Systems | + | ====1.2.4. Simple Minded Systems==== |
| | | |
| + | <pre> |
| Of course, not every total manifold need have a nice factorization. It might be | | Of course, not every total manifold need have a nice factorization. It might be |
| thought to dispense with such spaces immediately, to put them aside as not being | | thought to dispense with such spaces immediately, to put them aside as not being |
Line 1,369: |
Line 1,395: |
| error-controlled feedback process that allows a system to converge gradually | | error-controlled feedback process that allows a system to converge gradually |
| upon the goals of knowledge. | | upon the goals of knowledge. |
| + | </pre> |
| | | |
− | 1.3 Telos: Horizons and Further Applications | + | ===1.3. Telos : Horizons and Further Applications=== |
| | | |
| + | <pre> |
| In its etymology, intelligence suggests a capacity that contains its goal | | In its etymology, intelligence suggests a capacity that contains its goal |
| (telos) within itself. Of course, it does not initially grasp that for which it | | (telos) within itself. Of course, it does not initially grasp that for which it |