Line 566: |
Line 566: |
| Propositions associated with a POD are often found in organized bodies, forming more or less logical systems of more or less logical statements. Whatever their type or modality with respect to a POD, “propositions of a feather gather together”. That is, they tend to collect into organized bodies of propositions that share compatible types of association and comparable modes of assertion. In logic, an arbitrary collection of propositions is called a ''theory'', no matter how coherent, complete, or consistent it turns out to be when subjected in time to critical review. Taking up this liberalized notion of a theory in the present setting, a bunch of ''propositions at or in a POD'' forms a ''theory at or in a POD'', while a bunch of ''propositions about or on a POD'' forms a ''theory about or on a POD''. | | Propositions associated with a POD are often found in organized bodies, forming more or less logical systems of more or less logical statements. Whatever their type or modality with respect to a POD, “propositions of a feather gather together”. That is, they tend to collect into organized bodies of propositions that share compatible types of association and comparable modes of assertion. In logic, an arbitrary collection of propositions is called a ''theory'', no matter how coherent, complete, or consistent it turns out to be when subjected in time to critical review. Taking up this liberalized notion of a theory in the present setting, a bunch of ''propositions at or in a POD'' forms a ''theory at or in a POD'', while a bunch of ''propositions about or on a POD'' forms a ''theory about or on a POD''. |
| | | |
− | <pre>
| |
| A reasonably organized system is amenable to having its propositions sorted further, forming collections of propositions that are intended to be interpreted in the same light, and constellating theories that bear on single modes of contemplation or declaration among their propositions. | | A reasonably organized system is amenable to having its propositions sorted further, forming collections of propositions that are intended to be interpreted in the same light, and constellating theories that bear on single modes of contemplation or declaration among their propositions. |
| | | |
| With respect to the propositions at a POD, the present inquiry into inquiry is mainly concerned with the modalities of expectation, intention, and observation. This is due to a couple of differential modalities, derived in pairs from among these three, that appear to drive every form of inquiry, at least, to some degree. | | With respect to the propositions at a POD, the present inquiry into inquiry is mainly concerned with the modalities of expectation, intention, and observation. This is due to a couple of differential modalities, derived in pairs from among these three, that appear to drive every form of inquiry, at least, to some degree. |
| | | |
− | 1. There is the moment of doubt or uncertainty that is encountered in a surprising phenomenon, providing an impulse for the component of inquiry that seeks an explanation to relieve the shock. This factor driving inquiry can be analyzed as deriving from the differences that occur between one's expectations and one's observations.
| + | # There is the moment of doubt or uncertainty that is encountered in a surprising phenomenon, providing an impulse for the component of inquiry that seeks an explanation to relieve the shock. This factor driving inquiry can be analyzed as deriving from the differences that occur between one's expectations and one's observations. |
| + | # There is the moment of desire or difficulty that is countenanced in a problematic situation, providing an impulse for the component of inquiry that seeks a plan of action to resolve the trouble. This factor driving inquiry can be analyzed as deriving from the differences that occur between one's intentions and one's observations. |
| | | |
− | 2. There is the moment of desire or difficulty that is countenanced in a problematic situation, providing an impulse for the component of inquiry that seeks a plan of action to resolve the trouble. This factor driving inquiry can be analyzed as deriving from the differences that occur between one's intentions and one's observations.
| + | It should be obvious that these conceptions represent another attempt to formalize the relationship between dynamic and symbolic approaches to intelligent systems. Once again, the paradigms that are established for dealing with propositions at or about PODs are typically specialized to consider one or the other but seldom both. This leads to the familiar sorts of dichotomies being imposed on a subject matter where the types are more complementary and generative than exclusive and exhaustive. Thus, one finds methodologies in the field that can work well either from an “external” (dynamic, model-theoretic, empirical) perspective or from an “internal” (symbolic, proof-theoretic, rational) perspective, but that are seldom able to incorporate both technologies into an integrated methodology. |
− | | |
− | It should be obvious that these conceptions represent another attempt to formalize the relationship between dynamic and symbolic approaches to intelligent systems. Once again, the paradigms that are established for dealing with propositions at or about PODs are typically specialized to consider one or the other but seldom both. This leads to the familiar sorts of dichotomies being imposed on a subject matter where the types are more complementary and generative than exclusive and exhaustive. Thus, one finds methodologies in the field that can work well either from an "external" (dynamic, model theoretic, empirical) perspective or from an "internal" (symbolic, proof theoretic, rational) perspective, but that are seldom able to incorporate both technologies into an integrated methodology. | |
| | | |
| + | <pre> |
| The concept of a POD in the history of a system, with its associated division of propositions into those that apply exterior to it and those that attach interior to it, is yet another way of approaching a recurring subject, "the being and the role of the interpreter", that the general concept of an "objective concern" (OC), broached at an earlier point of development in this text, is also intended to capture. Advancing as if from a pair of complementary and convergent directions, the notion of a POD, in the way it supplies a footing to the propositions about or on it and serves to encapsulate the propositions at or in it, equips a growing SOI with all the pivotal, trophic, and vital functions that the notion of an "objective motif" (OM) realized in an "interpretive moment" (IM) is likewise meant to provide. | | The concept of a POD in the history of a system, with its associated division of propositions into those that apply exterior to it and those that attach interior to it, is yet another way of approaching a recurring subject, "the being and the role of the interpreter", that the general concept of an "objective concern" (OC), broached at an earlier point of development in this text, is also intended to capture. Advancing as if from a pair of complementary and convergent directions, the notion of a POD, in the way it supplies a footing to the propositions about or on it and serves to encapsulate the propositions at or in it, equips a growing SOI with all the pivotal, trophic, and vital functions that the notion of an "objective motif" (OM) realized in an "interpretive moment" (IM) is likewise meant to provide. |
| | | |