Informatica. 17 (1993) 245-266 245 LOGOS OF THE INFORMATIONAL Anton P. Železni kar Volaričeva ulica 8, 61111 Ljubljana, Slovenia anton.p.zeleznikar@ijs.si Keywords: axiom, definition, externaiism, informational entity, informing, intemalism, logic, meta- physicalism, parallelism, phenomenalism Edited by: J. Dujmovie Received: June 9, 1993 Revised: August 23, 1993 Accepted: August 30, 1993 This paper is a preliminary study and presents a possibility how to begin the axioma-tizing of the phenomenon that we call the informational and how to deduce still other axioms from the basic axiomatic viewpoint. If we solve the problem of an adequate formalization—introducing a symbolic and symbolically open language—the question of the logical consistency may still remain open. This situation may or may not represent an inadmissible position within different sciences. For after all, sciences have to deal with questions that rise the level of the traditional logical views and scientific disci-plinability to a higher position of scientific cognition. Informational logic can offer a new and more critical view as it is customary in sciences rooting' in ciassicai logic. The logic of informational sets new standards that consider the active, also creative capabilities of informational entities in question. Decomposition and composition of entities in a parallel, spontaneous, circuiar, and intent ion a/ way can be the path on which parallelism, spontaneity, circularity, and intentionality become constructive capabilities of the informing of entities. Das Entwerfen des Verstehens hat die eigene Möglichkeit, sich abzubilden. Die Ausbildung des Vbt stehens nennen wir Auslegung. In ihr eignet sich das Verstehen sein Verstandenes verstehend zu. —Martin Heidegger [Heidegger 86] 148 1 Introduction This essay deals with the logic of language concerning a theory of the informational, having its roots in the realm of the extended notion of informing of information [Zeleznikar 92b, Zeleznikar 93]. The informational might enter into a logician's language as something that is not consistently structured yet; thus, an additional effort is necessary to construct logical foundations, from which scientifically rigorous informational theories could be deduced. As we shall show indirectly by the presented discussion, the general foundations of a traditional mathematical logic may not suffice such undertaking. Right at the beginning of our discussion, we must reconcile of going our own logical way, which requires informational self discipline m the realm, where entities inform and are informed in an arising, that is, spontaneous, circular, parallel, and interactive way. The main difference to traditional mathematical theories lies in the phenomena of informational arising, where entities (mathematical objects) perform and are performed in an active, that is, functionally arising way, which, in principle, is non-algorithmic, but only exceptionally algorithmic in a mathematical way. How to deduce logically (naturally, realistically, linguistically) the concept of an informational entity that develops (emerges, arises, exists) in a spontaneous, cyclic, parallel, and intentional way? This is the question that will be in the focus of this paper1 among other questions, which all concern a strict deductive (axiomatic) logical 'This paper is a private author's work and no part of it may be used, reproduced or translated in any manner whatsoever without written permission except in the case of brief quotations embodied in critical articles. 246 Informatica 17 (1993) 245-266 A.P. Železnikar approach. Our point of view will be to discuss the informational in terms of interacting (mutually impacting) informational entities (e.g. processes acting informationally upon informational entities), however, not to determine explicitly what by itself the informational might be. We shall axiomatize some basic phenomenal forms of things that we call informational entities. It is to understand that the following discussion is only a beginning on the way to a redefined, rethought, and broadened idea of the informational and its phenomenalism. This broadening view seems righteous if we consider the possibilities of the coming informational technology, for instance: parallel structured, networked and diversely performed processors; multimedia oriented memorizing and displaying devices; enormously information-supported designing and programming tools; and new philosophies of information use and development, Nothing very new or uncommon will be said about the informational phenomenalism if we distinguish the dualistic character of information in a computer: both the information processing form and the information processed form of data, programs, and systems. Yet, the boundaries between regular data (passive information) and working programs (active information) are clear, strict, and indispensable within the prevailing (ruling) philosophy of sciences. The new informational philosophy grasps these boundaries and already comprehends how they are hindering the shifting into the realm of dynamically performing informational processes—natural and also artificial ones. The formal discussion of informational phenomena in this paper will smartingly reopen this question. 2 The First Informational Axiom Alle theoretische Forschung, obschon sie sich keineswegs bloß in ausdrücklichen Akten oder gar in kompleten Aussagen bewegt, terminiert doch zuletzt in Aussagen. Nur in dieser Form wird die Wahrheit und speziell die Theorie zum bleibenden Besitztum der Wissenschaft, sie wird zum urkundlich verzeichneten und allzeit verfügbaren Schatz des Wissens und des weiterstrebenden Forschens. —Edmund Husserl [Husserl 80] II/l 3 The operand and operator view (concept) is a common approach in formal theories of sciences. This view separates two categories of entities: the passive and the active ones. To apply this view in an informational theory is not so simple since a strict distinction of both categories may be possible only in a time, matter, or phenomenon slice, that is, on an abstract and ideal level of recognition, In the real nature, situation is similar. For instance, actors can be permuted, destroyed, enforced, etc. traversing from active state into a passive position where they can be modified, developed, changed, etc. Similarly, passive items of something can become actors with the force to impact passive and also acting entities. This is the well-known phenomenon in the living world. As any other culturally based (abstract, idealized) cognition, the following one has its roots in human language. We search for a dynamic language category (e.g., verb, noun) that, on the general level, would be capable to cover a sufficiently broad realm of simultaneously (parallel) active and passive informational possibilities. On the route of our experience with the most sophisticated human tool, e.g., computer, we arrive to the verb to inform and to the noun information. In this respect, informing and information are candidates that may assure our needs, at least on the linguistic level, where we can say, for instance, information informs (something) [an active position], but also information is informed or is being informed (by something) [a passive position]. Thus, the active property of an informational entity may be called the informingness and the passive one the informedness. This view is in accord with even more general one, which is, for instance, any impacting(ness) and impactedness of something. After this introduction we are ready to set the most basic informational axiom, a sort of informa-tio prima that, from the linguistic point of view, will suffice our further intention of a broadened informational theory development. Definition 1 [Some Basic Operands and Operators] We mark informational entities, LOGOS OF THE INFORMATIONAL Informatica 17 (1993) 245-266 247 which are operands of an emerging (informational)1 theory, by small and some distinguished capital Greek letters, that is, a, /3,7, • ■ ■, lj, r, ■ ■ •, £1 (informing entities) The corresponding informings of these entities we mark by capital calligraphic letters, that is, or, explicitly, by Or 5 -Z/31 , • • • , Tw Further, we define the informational operators with the following meaning: (= 'informs' or 'is informed (by)' 'implies' or 'is implied (by)' We shall define other2 informational operands and operators simultaneously. □ An informational entity a informs in its own way. We can express this property of informing by the most general informational operator of informing, marked by |=. Axiom 1 (Informatio prima) [informational Externalism; Informingness; Informing for Others] An informational entity, marked by operand a, informs (informational operator \=); formally, a |=. An informational entity a implies (informational operator =>) that it informs. Formally, {a |=) From this axiom other axioms can be deduced in-formationally by a common logical procedure. □ In the last axiom, we can distinguish three informational formulas: a as a simple operand of formula marker, a |= as the entity a externalism, and Oi => (a as the basic implication pertaining to the entity a externalism. Expression a is an open informational formula* This formula (as any other informational formula), by 2Other markers for informational and informing operands can be the small and capital Fraktur letters, respectively, that is, o, 6, • ■ ■, 3 and 21", !S, • • •, 3. Such markers are characteristically distinguishable, especially the capital ones. itself, is an informational entity (operand). Thus, for instance, formula (a |=) |= is not only regular, but senseful. It says that entity informs, informs. The other view of the openness of Axiom 1 is operational (operator-like). On the empty right side of operator |= in formula a there could stay another operand, for instance, a |= /?. As we can see, the openness of an informational formula is recursive. Denotation (also marker of something) a is the most primitive formula, that is, a single operand itself. This mean that any formula a can be developed in an informational way as a |= and recursively, beyond this formula. 3 Axioms that Extend Beyond the First Axiom Die Auslegung von Etwas als Etwas wird wesenhaft durch Vorhabe, Vorsicht und Vorgriff fundiert. Auslegung ist nie ein voraussetzungsloses Erfassen eines vorgegebenen. —Martin Heidegger [Heidegger 86] 150 In human language, the statement something informs presupposes that something is being informed. If the first form is an active informing (for the sake of clarity, we introduce the term informingness), the second one represents a passive informedness. Thus, the informedness of an entity (informational operand) is a consequence of an entity's informingness. Axiom 2 (Informatio secunda) [Informational Internalism; Informedness; Informing for Itself] An informational entity (operand), a, is informed or is being informed (informational operator \=); formally, |= a. Informational entity (operand a) implies (informational operator ) that entity is informed (or is being informed). Formally, a ==> (|= a) This axiom is a logical (axiomatic) consequence of the previous one (in the sense that if something informs, something will be informed). □ In fact, informatio secunda is an axiomatic consequence of informatio prima. To be consequent, 248 Informatica 17 (1993) 245-266 A.P. Železnikar we can "prove" the last axiom in the following formal way: (a =► (a j=)) (a (|= a)) or, in short, (a (=) (j= a). Formula |= a is informationally open in several respects. For instance: formula (|= a) |= says that entity is being informed, informs; formula |= (|= a) says that entity is being informed, is being informed; and formula (3 |= a says that entity is being informed by another entity. We see how the openness of an entity can be closed in different ways and how the results of certain closing remain recursively open for further possibilities of closing. Both basic axioms generate consequences (lemmas, rules), which can still be comprehended as axiomatic since an ad hoc terminology concerning them is being introduced. In fact, Axiom 1 hides another axiom, which concerns a basic consequence, that is, a rule of deduction. Informing of something has its sense only in case if something is being informed through informing of something. Rule 1 (A consequence of informingness) [A Basic Deduction Concerning Informing] If entities inform then there exist entities, which are informed. In general, the following implication holds: (a |=) =► (h a) This is an axiomatic consequence of informingness, which is logically evident in an informational way. □ Rule 2 (A consequence of informedness) [A Basic Deduction Concerning Informedness] If entities are informed then there exist entities, which inform. Generally, (b a) (a H This is an axiomatic consequence of informedness, which is logically evident in an informational way. □ The last two rules are basic deduction rules for formulas development. They are essential development procedures in formulas decomposition and composition approaches, treated later on in this paper. Many other rules follow from axioms, consequences, and theorems and can be applied in cases of formula development. Axiom 3 (Informatio tertia) [Informational Metaphysicalism; Interior Cyclic-ity; informing in Itself] An informational entity (operand), a, informs and is being informed simultaneously (in parallel) in itself and by itself; formally, a (= a. Informational entity (operand a) implies that entity informs and is informed (being informed) in itself. Formally, a =>■ (a j= a) This axiom logically follows from the previous ones. □ The last axiom follows from the previous ones. In its open informingness (a j=) and open informedness (|= <*), entity a is a particular system per se, that is, (a a) being informationally closed into itself (e.g., into its own existing, changing, emerging, vanishing). Thus, an informing entity implies its metaphysicalism where it informs itself and is being informed by itself (that is, exists, changes, emerges, vanishes in itself). In a particular way, concerning the entity, the described metaphysical situation seems normal (physical, philosophically acceptable). An entity's internalism and metaphysicalism constitute together the attitude of the entity as observer. Internalism f= a is also an observing position of entity a. Internalism means that a might be capable of observing it concerning exterior and interior world, not only through j= a, but j= (a |= a), which considers a's metaphysicalism o; |= a. Thus, internalism, |= a, is a kind of a's observing metaphysicalism |= (a (= a). How objectively does a observe its exterior and interior world depends solely on the instantaneous state of a's metaphysical perception, that is on ((= (a b c))'s structure and organization. The recognition of a's true world remains in the framework of (|= (a |= a))'s capabilities, which consider the intricate internalism |= a as well as the intricate metaphysicalism a |= a. For example, irrespective of the superb theories (gravitation, electromagnetism, relativity, quantum theory), contradictions in the form of incompleteness, insufficiency, paradoxicalness, etc. arise and show how the inner models and simulations fail to cover the outer world in its entirety. LOGOS OF THE INFORMATIONAL Informatica 17 (1993) 245-266 249 Phenomena of informingness and informedness constitute the so-called phenomenalism of an informational entity. Axiom 4 (Informatio quarta) [informational Phenomenalism; Informational Openness; Informing as Such] An informational entity (operand), a, informs and is being informed openly (in parallel) in respect to itself and to its environment; formally, a |=; |= a is a formula system describing the phenomenalism of entity a. Informational entity (operand a) implies that entity informs and is informed (being informed) openly in any respect. Formally, a. (a |=; |= a) This is a system axiom that follows from the previous axioms. □ Phenomenalism is the most general property of informing of an entity. It includes (informational operator c) the phenomena of externalism, inter-nalism, and metaphysicalism. Thus, a |=, |= a, a |= a C (a H H <*) Informational entity behaves phenomenally, however, its phenomenalism is a particular form of informing characterizing the informational nature (Being, essence) of the entity in question. Informatio quarta unites all possible cases (externalism, internalism, metaphysicalism, and phenomenalism) of an entity appearance, occurrence, arising, coming into existence, etc. Thus, an adequate definition of entity a can be expressed considering the previous axiomatic origins. Definition 2 (Informational entity) [Phenomenal Determination of Informational Entity] An informational entity, marked by a, is informationally determined by formulas of its externalism, internalism, metaphysicalism, and phenomenalism. There is, a j=; externalism |= a; internalism a |= a; metaphysicalism (a |=; a) phenomenalism where informational operator ^Def has the meaning "informs (means) in the sense of a definition" or, simply, "means by definition□ Several facts have to be mentioned concerning the last definition. Firstly, the definition is a consequence (theorem) of four axioms. It would be necessary to prove that the definition pertaining to informational entity satisfies the concept of all entity-concerning informational phenomena. This seems to be true at least intuitively, that is, hypothetically. Secondly, the preceding definition is implicit in respect to a. The so-called definiendum (the defined-left side) means (informational operator ^Def) definiens (the defining-right side), in which genus proximum is informational operand a and differentia specifica is informational operator |= at the right and at the left position to operand en. The right side (definiens) is completely axiomatic ally determined. Operator ^Def may be understood as a particularization of the general informational operator |=, for instance, definitional t with the meaning informs in a definitional way. As we see, informational definitions will always inform implicitly, that is, in an informationally closed way within the realm of informational phenomenalism. Thirdly, the last definition possesses a parallel and an embedded parallel structure in the definiens part. Thus, we have to define the permissive parallel notations of informational formulas. Definition 3 (Parallel notations) Parallel informational entities (operands, formulas, and formula systems) can be formally expressed in different ways. The horizontal notation of parallel performing entities a, ¡3, • ■ ■, u is (a;/3;---;w) or, simply, Vertical notations of parallelism explicate the parallel informing of entities in an formally evident manner. The following vertical parallel informational expressions are permissible: ( a;\ w The semicolon simultaneously denotes the parallelism and the end of a particular entity in a parallel array. It is necessary when entities are presented by formulas, which exceed a single line. □ Definition 4 (Informational sets) Informational sets are collections of entities (operands, 250 Informatica 17 (1993) 245-266 A.P. Železnikar formulas, and formula systems), which may be comprehended as informationally isolated items, where the question of their mutual informational interaction is not relevant. An informational set of elements a,/3, •••,(*/ is denoted by a,/?,..or {a ,/3, A comma is the separator between isolated elements. Parallel notations of informational sets are permissible, that is, / \ a, a, a, /?, P, P, or , or , > WW w X \ / The comma has a similar function as the semicolon in the previous definition. □ 4 Axioms of Informing In this section we have to bring the duality of the presence (existing, arising) of an informational entity to the axiomatic surface. As a whole, in its entirety, or as an informational unit, informational entity a includes its own component of informing, marked by la or, in the functional (predicative) notation, by 1(a). The informational duality of q lies in its nature to be a form and process simultaneously, that is in the parallel nature of its operational activism and passivism within the same unity, on one side (expressions a |= and |= a), and the explicit expression of entity informing la, on the other side. That what we have to bring face to face are verbal phrases to inform and to be informed, on one side, and the integral property of informing of entity, on the other side. In fact, we have to decide between different kinds of expression of the phenomenon of informing. If a |= and ¡= a say that a informs and that a is being informed, respectively, than Xa represents the possibility of informing of a in cc's entirety. In this respect, informing Xa includes the expressive power of both a |= and |= a and introduces the informing of a as a distinguished operand within a, that is, informational entity. Axiom 5 (Informing of an entity) [existentialism of Informing] We have the following senseful axiomatic implicational consequence: Entity a implies that it informs and that it is informed (informational phenomenalism); inform-ingness and informedness imply that entity has the entity, called informing la as an information-ally active part of the entity. □ In mathematical terms, la seems legal as a predicative function of a, that is, 1(a), It represents the systemic (phenomenal) informing of a, expressed implicitly as (a f=; |= a). On the other hand, operand-operator expressions a (= and |= a as operator open entities may not fit the traditional mathematical agreement and function (mean) as a non-consistent novum. This situation becomes even more inconvenient in case of expressions of the form (•■•((<* 1=) Imagine, for instance, the following: both + a and a + may still represent a reasonable expression of a's additivity. But, what could be said in cases of + (-|-a), (a+)-f-, +(a+), etc. New terminology (meaning) of such algebraic open cases has to be introduced. Operator 4- always characterizes the operand, to which it belongs. Thus, in formula + (+ a), operator + characterizes the operand + a. Axiom 6 (Partitionism of informing) [In-clusiveness of an entity informing] Axiom let (Xa C a) says that informing of an entity implies that the informing is a part (i.e., an active part) of the entity. □ The last axiom sounds natural, so, no further discussion is necessary. Axiom 7 (Externalism of informing) [Entity Bounded Externalism of Informing] Externalism of on entity informing (informing's informingness) is closed to the entity. That is, Za (2« |= a) says that informing la informs its entity a in a closed way. □ (a => (a |=; |= a)) ==>■ la Informing Xa informs entity a. LOGOS OF THE INFORMATIONAL Informatica 17 (1993) 245-266 251 Axiom 8 (Internalism of informing) [Entity Bounded Internalism of Informing] Internalism. of an entity informing (informing!s informedness) is closed to the entity. That is, Xa (a |= Xa) says that the informedness of an entity informing is caused in an entity-closed way. □ Informing Xa is informed by entity a. Axiom 9 (Metaphysicalism of informing) [Informational Regularity of Metaphysicalism of Informing] As usually, la '' (2a Ia) Informing of an entity informs metaphysically (basic-cyclically) as any other informational entity. □ The last axiom assures that informing 2a can be metaphysically decomposed as a regular informational entity. Axiom 10 (Phenomenalism of informing) [Circular Bounding of Informing] Let us introduce four implications for the specific phenomenalism of an entity informing: Informing's first mode of phenomenal circularity: 2a => ((a Za) h a) Informing's second mode of phenomenal circularity: Ia=$. (ot (Xa (= a)) Informing's third mode of phenomenal circularity: Xa (^2a [^ tt) [^ Informing's fourth mode of phenomenal circularity: 2a => [2a \= (a |= ZQ)) The phenomenalism of an entity informing is closed to the entity itself. □ Let us interpret the last four modes of informing of an entity, which are characterized by specific cyclical ways. In the first mode, a informs 2a and, then, this process (subfoimula) as an entity informs a. While informing Xa is directly informed by a (subformula a \= 2a), it informs a indirectly through the entity a |= 2a [formula (a |= 2a) |= a]. In this mode, the a-cycle is evident. In the second - mode, a informs the process Ia b a, in which informing Xa directly informs entity a. On the other hand, informing Xa is informed indirectly by a through the entity Xa ¡= a [formula (a |= (Xa f= a)]. In this mode, the a-cycle is evident too. In the third mode, entity Ta \-a informs 2a. In this mode, the metaphysical cycle of the form 2a |= 2a is coming to the surface. In this cycle, 2a directly informs a, but entity a informs entity Xa indirectly, through the composed entity Xa a. In this mode, the so-called Ja-cycle is evident. In the fourth mode, entity 2a informs the composed entity a |= 2a. In this mode, informing 2a informs entity a indirectly, but entity a directly informs its informing Xa. In this mode, the 2a-cycle is evident too. Definition 5 (Informing of an entity) [Phenomenal Informing of an Entity] Informing Xa of an entity a is an a's phenomenalism, that is, an interweavement of different informational phenomena determined in the previous axioms. Formally, -Dej la C a; 2a \= a; a Xa\ ■%-a H 2at 'i (a \=Xa) \= a; a |= {Xa (= a); (Xa f=a)|= 2a; . 2a |= (a |= 2a) partitionism externalism internalism metaphysicalism phenomenalism 1 phenomenalism 2 phenomenalism 3 phenomenalism 4 This system of informing -{2a)-definitional formulas can be understood to be a set of independent single formulas or a system of arbitrarily informationally connected formulas. □ 5 Implicational Nature of Axioms Implication belongs to the information ally most common forms of expression. Implication means nothing else than a logical connection of informational entities, their implicitness in an informational context that always exists and informs 252 Informatica 17 (1993) 245-266 A.P. Železnikar in a spontaneously (intentionally, orient at ionally, worldly) interconnecting, interwoven, and cyclic way. Implication in informational axioms points to an artificial origin, which has its roots anywhere in the existing informational context and is posed by the observer or observer's intention, aim, truth, or belief. That is nothing else than a phenomenological reasoning or attitude, which pervades the today logic, sciences, and technological undertakings, By logical convention, informational implication a => (3 is read in the following sense: a as an informational operand (entity, formula) implies /3 as an informational operand (entity, formula). In this context, "a as an informational operand" has the meaning of the statement "it is true that a is an informational operand", which is in accordance with the implicational convention in ordinary (mathematical) logic. 6 How to Deduce Informational Consequences The informational is the most general term, which is not informationally particularized yet, The question is how to deduce the general and how the particular consequences (theorems) in the framework of a general and a particular informational theory. Some decomposition and composition philosophy, which concerns informational deduction, will be found in section 7. After that we have axiomatized and defined, the deduction of a general informational theory is a pure syntactic procedure, which never ends. There are infinitely many general informational consequences, which can be deduced by pure syntactic means from the previous axioms and definitions. But, that does not hold for particular informational theories, which are axiomatically bounded and correspond (model) particular informational cases. Thus, for instance, informational theories of discourse, time, understanding, a certain intelligence, etc. become senseful in an informational manner. Such particularized and complex informational entities are described by some initial informational formula systems, which develop and behave informationally. Consequence 1 (Informational Syntax) A general syntax of informational formulas follows from the previous axioms and definitions and is the following:

\=

p informational set\ tp-, tp-■ - ■ \

form («h; (=a) ^Def /(a b1 • b1 ai ' V." I particularly i I particularly ' (n 1—2 . |_2 \ I particularly' I particularly / I2- ot ' \(" h ' ^particularly °0 ^ ^a / The listed example is in no way a non-scientific case. For instance, in quantum theory, parallel occurrences of one and the same particle (photon) can appear in different places (two places at once), traveling different routes and being detected when they interfere with one another (Quantum Magic and Quantum Mystery in [Penrose 90]). On the other hand, arising of information in mind as described by parallel-decomposing processes lies outside of the conventional doubt and is consciously evident. Similar explanation schemes can hold for the remaining cases of Rule 3 (internalism, metaphys-icaJism, and phenomenalism). Consequence 3 (Parallelism of Informing) A consequence of Axiom 10 and Rule 3 is the parallelism of informing Xa. Thus, particularly' I particularly where a maintains its identity, but can inform in different (parallel) ways. Informational operators |= particularly! M particularly • " ' ' ^particularly are differently particularized forms of the general operator and read as 'inform(s) particularly'. This case is nothing other than an example of parallel decomposition of ct's informing. Definition 6 (A list of operands) Instead of a sequence of parallel formulas of the form «1 (= ¿8; «2 h■ ••; <*n 1= P the shortcut form ai,a2, - ■■ ,an j= /3 can be used, where oti,a2, ••• ,an is a list of operands separated by commas. □ Definition 7 (A list of parallel formulas) A formula system <*i J= a21= 02\ ■■■; -+ o =3))) 7 a -"-» means a O means a >-» means a =t means a informs spontaneously a informs circularly a informs intentionally a informs alternatively where ~+o(Oo(>->o=3)) ¿5 a notation of the so-called informational composition (operational unity or perplexity) of informational operators s and Token 'o' marks the operator of operator composition. □ 7,2.1 A Structure of Spontaneity Spontaneity as an informational entity is in no way a purely chaotic phenomenon without boundaries in the spontaneity itself. Spontaneity does not mean a chaotic informational arising, but physical, biologic, discursive, social, etc. persevering, directionality, or intentionality. Simultaneously (in parallel), spontaneity as an informational entity is cyclically and alternatively structured, where alternativity can be understood as a specific form of spontaneity. Our task is to capture spontaneity of informational entities as a regular informational faculty, to give the phenomenon an explicit formal character. For this purpose, a special informational operator (~+) was introduced. 29 Informatica 17 (1993) 245-266 A.P. Železnikar Consequence 5 (An implication of spontaneity) Informational spontaneity means a certain circularity, intentionality, and alternativity of an informational entity. Thus, {a or also, (a 0 0 (a -0 öl O; a >■ ,0! : (a O o(>-> o =j)) where O o (>-» o =}) is 0 notation of informational composition of informational operators O, >->, and =3. The duality of the first and the second expression is characteristic and can be observed elsewhere in the realm of the informational. □ Alternativity may be recognized as an explicit spontaneous faculty of choice among different possibilities of informing. However, circularity and intentionality may have their own characters of spontaneity in their circular and intentional possibilities. Thus, spontaneity stays in the background of any informational activity. 7.2.2 A Structure of Circularity Circularity (cyclicity) is one of the basic faculties of an informing entity. Circularity means recursiveness, metaphysical and other kinds of cycling, memorizing, maintaining of informational components, informational persevering which keeps a course of spontaneity, intentionality, alternativity, etc. Metaphysicalism is a basic interior mechanism of circularity. Cyclic processes can include parallel structures, representing circular-parallel forms of informing. Consequence 6 (Implications and a meaning concerning metaphysical circularity) Pertaining to metaphysicalism a |= a, there is, (a O) ==>■ (a |= a); (O a) => (a |= a); (a |= a) (a 0;C a) where informational operator ^ means 'means'. Obviously, (a O) => (0 a); (O a) (a 0) Consequence 7 (An implication concerning general circularity) Informational circularity means a certain spontaneity, intentionality, alternativity, metaphysicalism, cyclic parallelism of an informational entity. This property of informational circularity means (ao, Oa)=^ a a; ana; =$> (a » o(>—» o =j)) a =} a or also, i a a; I (a O, O a) a«a; \aUa (a v* 0(1—> 0 =})) □ Spontaneous, intentional, and alternative circularity is either metaphysical (that is, entity-interior) or entity-exterior (concerning entities outside the entity in question). 7.2.3 A Structure of Intentionality Intentionality of something belongs to the most basic virtues of physical things, informational entities, social processes, and other informationally structured phenomena. In intention, there is besides linguistically known meanings always something spontaneous, cyclic, and alternative. Intentionality proceeds in the direction of, for example, a goal, belief, physical structure, organization, and process, keeping as it seems, the validity of the so-called physical laws as the most general images of minds. Thus, let us set the following frame consequence. Consequence 8 (An implication concerning intentionality) Intentionality of something implies its spontaneity, circularity, and alternativity in its fragmental and composite form. Evidently, one can set (a ^o(Oo=t| Metaphysicalism is a specific circular form of informing. □ LOGOS OF THE INFORMATIONAL Informatica 17 (1993) 245-266 257 of operator-alternative-operator conventions are introduced: (a «o(Oou)) □ 7.2.4 A Structure of Alternativity When an informational entity informs, it informs alternatively to some extent, Within a kind of informing there is possible to observe the so-called counterinforming. Alternativity (alternative choice of possibilities) belongs to the phenomenalism of counterinforming. So, to a kind of informing there may exist an alternative informing. Alternativity means alternativeness, alternation, opposition, otherness, pluralism, parallelism, severalty, succession, etc, as a unity. To each informational operator there is possible to determine its alternative type. One of the most general informational alternativity is that which concerns an entity informing. Definition 10 (Alternative informing) Let us mark by =j the alternative operator to the general operator ¡=. We have the following reading convention: a (= ¡3 reads a informs /3 ¡3 =\ a reads 3 is informed by a □ The alternativity of the case is in the difference between 'to inform' and 'to be informed', where objects which inform and which are informed may have different functions. This difference lies in an entity's externalism and internalism. In the first case, a first entity informs something. In the second case, a second entity is informed by something. We can agree that, e.g. intention of the first entity might be different of the intention of the second entity. In this sense, to each informational operator its informational alternate can be introduced. The following convention seems to be appropriate. Definition 11 (Alternative operators) We can define a set of alternative operators corresponding to the original ones. The following pairs h H informs [alternatively] H does not [alternatively] inform IK HI informs [alternatively] in parallel Hi does not [alternativelyJ inform in parallel b, H informs cyclically [alternatively] 1/, -A does not cyclically inform [alternatively] IK HI informs [alternatively] parallel-cyclically IIA HI does not parallel-cyclically inform [alternatively] «-P informs spontaneous-circularly [alternatively] informs spontaneously [alternatively] 0, o informs circularly [alternatively] c informs intentionally [alternatively] □ i= informs alternatively [alternatively] Several other alternative operators can be introduced. Any particularized operator has its alternate. For example, ^particularized -.))) / \ (ar3;((=||o«~.)oQ)o~a) 7.3.1 Marking Decomposition Formulas In principle, decomposition proceeds from a topical theme, e.g., a marker, basic formula, or even formula system into greater details. On contrary, composition proceeds from particular detail themes and builds up a topical theme. Definition 12 (Markers of informational decomposition) For informational decomposition A of informational entity a, that is A (a) in general, we introduce the following particularized decompositional cases: HI a; 0 a; W ~ a ) ) There exist various other alternative consequences. □ 7.3 Serial, Parallel, Circular, and Metaphysical Modes of Informational Decomposition We shall now develop a systematic approach to the topical modes of informational decomposition which concern the information ally serial, parallel, circular, and metaphysical. For this purpose we introduce a standardized symbol A which is a mark for the formula of informational decomposition in general. Different superscripts and subscripts then determine the specific cases of the mentioned decompositions of an informational entity. As we shall recognize, informational decomposition concerns an entity, formula, or formula system as an entity (informational unity) in question. A(a) Aseriai(a) Aparallel{a) ^serial—parallel! ^ ) Aparallel- serial ( Ot ) Aparànd(Q) A circular ( ^ serial—parallel*. / ^parallel—serial( ® ) a metaphysical/ \ serial W KSr^«) parallel ^metaphysical serial—parallel , metaphysical (a) parallel—serial ,yslcal (rv\ —serial V ' informational decomposition A of entity a; serial decomposition; parallel decomposition; serial-parallel decomposition; parallel-serial decomposition; circular serial decomposition; circular parallel decomposition; circular serial-parallel decomposition; circular serial-parallel decomposition; metaphysical serial decomposition; metaphysical parallel decomposition; metaphysical serial-parallel decomposition; metaphysical parallel-serial decomposition 7.3.2 Serial Decomposition Serial decomposition of an entity a has to proceed in consequent steps from one decomposed state to another. The serial has the meaning of the consecutive. In this way, there exists an ordered sequence of possibiUties in which something can be decomposed in a serial way. By serial decomposition of an informational entity, the process of informing enters into informational details, that is, subentities concerning the entity in question. By decomposition, informational components of LOGOS OF THE INFORMATIONAL Informatica 17 (1993) 245-266 32 something come to the surface and the entity is being analyzed to the possible constitutional details. Thus, a decomposition procedure always concerns the chosen entity and its own components, which within the informational framework of the entity, arise to the informational existence. Consequence 11 (Serial decomposition of an entity) For a serial decomposition situation of entity a, marked by Aseriai(a), where entities /3,7, - - ■, w are a's components, there is, Aseriai(a) ^ /((3,7,-,wC a) \ Aparallel(a) ((( ai, a2, ■ ■ ■ ,ana,'\ ßl,ßi> ' ■•■>ßnß, (a M) 1= (7 1= ("■(*!= etc. Also other patterns (decompositional alternatives) of serial decomposition are possible.. □ 7.3.3 Parallel Decomposition A parallel decomposition of something anticipates a parallel set of autonomous and also information-ally (sequentially) connected formulas concerning the entity in question and its components. The needs for a parallel decomposition appear, for instance, in semantic and pragmatic analysis of an entity (e.g., headword, sentence, paragraph, text, etc.), where by parallel formulas an entity is additionally (in a detailed way) interpreted in various possible (also unforeseeable, counterinfor-mational) ways, according to the semantic and pragmatic linguistic conventions and innovations. Understanding of something represents a characteristic process of interpreting not only in parallel, but also in various serial, circular (tautological), and metaphysical ways. Parallelism is one of the semantically most powerful approaches of decomposition. Consequence 12 (Parallel decomposition of an entity) Let us have the following of one possible general structures (meanings) of the parallel decomposition of entity a: C a (/a\=ai; \ \0».-l t= anaJ (oc^ß i; \ ßl h ßil \ßn0-l \= ßnß) \ fa \ 1= b J II □ 7.3.4 Serial-parallel Decomposition Another logical situation is the so-called serial-parallel decomposition of something. In this case, within a serial decomposition some parallel blocks appear. One can express this possibility by the following consequence. Consequence 13 (Serial-parallel decomposition of an entity) For a serial-parallel decomposition situation of entity a, marked by ^serial-parallel(a), where entities /?par, 7par; • • Xpar> 4>par) ^Par mark a's parallel structured components, that is, ßi par f ßl',\ \ßj j 7par fr i;\ 72 V.7 ij Xpa LÜ, par \XiJ par MA fa] 260 Informatica 17 (1993) 245-266 A.P. Železnikar respectively, one of the serial-parallel decomposition schemes, marked by Aseriai-paraUei(aO, maf have the following form: ¿^serial—parallel^) ' /(/3par,7par,---,^par C û) (a\= (,3par N (îpar N (' ' " (^par N (a |= /3par) h (ipar (=('•• (V'par (= (((•" (O 1= par II a Another scheme, demonstrating the dominance of the parallel principle, the so-called parallel-serial decomposition, belongs to the category of the parallel type of decomposition. 7.3.5 Parallel-serial Decomposition As mentioned in the preceding subsection, another possible logical situation is the so-called parallel-serial decomposition of something. In this case, within a parallel decomposition various serial decompositions appear. One can express such a possibility by the following consequence. »parallel—seri alO) ((( 0ti,a2)"*.0!na-l,0!no,)\ C a fa j= (ai |= (••■(<*„„_! |= anJ •■•)); \ « 1= K 1= (■ ■ ■ h ■ ■ ■)); (a |= ai) h (■ • • (a»a_i (= anJ • ■ ■); (a |= Wi) 1= (■■■(wn„-l ((■••(a (= ax)---) |= anQ_i) f= 0i„o; \\((- ■ • (a N ■ ■ ■) N |= Unui J J This is only one of the possible cases of parallel-serial decomposition of entity a. □ 7.3.6 Circular Serial Decomposition Besides of the circular serial decomposition in this subsection, we shall discuss circular parallel, circular serial-parallel, and circular parallel-serial decompositions in the next subsections. Circular decomposition of something closes its decomposition circularly into something itself. From the view of the decomposed entity, circular decomposition is a kind of the self-reflexive analysis or also the top-down design, by which the informational components of the entity in question come to the formal surface, for instance, in the form of extended and new informational formulas and formula systems. Consequence 14 (Parallel-serial decomposition of an entity) For a parallel-serial decomposition situation of entity a, marked by ^parallel -serial ( } > there is, Consequence 15 (Serial circular decomposition of an entity) Serial circular decomposition of entity a follows the principle of serial decomposition with the condition that the system must be circularly (cyclically) closed in regard to a. According to serial decomposition in Consequence 11, the right-most operand in any serial LOGOS OF THE INFORMATIONAL Informatica 17 (1993) 245-266 261 formula, where the left-most operand is a, must be a too. Thus, /(/3,7,-C a) \ h (7 N (■ ■ ■ N N ■ ■ etc. where A^^'fo;) marks a serial circular scheme of a's decomposition. □ From the technical point of view, circular serial decomposition has the meaning of an internal insight into the successive functional structure of entity a. 7.3.7 Circular Parallel Decomposition Consequence 16 (Parallel circular decomposition of an entity) Parallel circular decomposition concerning entity a may perform indirectly (in an indirectly visible, 'subconscioushidden, or unrevealed way). So, instead of a serial structured formula system in Consequence 12, there can be an arbitrarily mixed structure of parallel formulas such that ASstec*) / a) V ß\=r, i> b w; \u\=a // .a natural picture of a thing's structure and organization. Pure serial and pure parallel situations and attitudes are a matter of an abstract or technological approaches within artificial and theoretical systems. Circular serial-parallel decomposition of an entity is a decomposition or a set of decompositions closed circularly into the entity itself. In this way, circular serial-parallel decomposition can be obtained from Consequence 13 by setting the last operands in serial sequences by a. Consequence 17 (Circular serial—parallel decomposition of an entity) For a circular serial-parallel decomposition situation of entity a, marked by ^sii^i-paralJcli°)> where entities PpstiTpar)"'' ><^par mark parallel a's components in Consequence 13, there is, A circular (Q\ serial—parallel^ / ^ (ßpari Tparj ' ' " i^par C 0<) \ ( (a 1= (/W |= (7par 1= (" " ' (V'par |= \ Wpar) H a)""); (a |= /V) 1= (7par f= (■ ■ • (^par |= Wpar) b «)'•'); (••"(ab ßpar) "Oh Xpar) h ^par) h wpar) \=a j} where ^p^alleK^) niarks a circular parallel scheme of a's decomposition. □ Circular parallel decomposition of an entity has its evident paragons in different physical and artificial systems, and in social informational systems. 7.3.8 Circular Serial-parallel Decomposition A circular serial-parallel decompositional scheme (concept) of a phenomenon seems to be close to The circular serial-parallel decomposition can be characterized also as a parallel type of circular-serial decomposition when considering various informing possibilities of a. □ 7.3.9 Circular Parallel-serial Decomposition Another possible logical situation is the so-called circular parallel-serial decomposition of something. In this case, within a parallel decomposition circular serial decompositions appear. One can express this possibility by the following consequence. Consequence 18 (A Circular parallel—serial decomposition of an entity) For a circular parallel-serial decomposition situation of entity a, marked by A^tUeriai(a), there is, 262 Informatica 17 (1993) 245-266 A.P. Železnikar A circular f Q\ parallel—seriaK / ({(ai,a2,- ■ - ,Q!na)\ C a \ / <* 1= (A l=(---(0«,l= «)•■■)); « h (^i h N «)■■•)); (a h ai) N (■■■(«na 1= «)■••); («1= A) !=(•••(** !=«)•■■); (a 1=^) \= (•••(wn„ (= a)---)i h «!)"■) 1= a«.) Mi This is only one of the possible cases of the circular parallel-serial decomposition of entity a. □ 7.3.10 Metaphysical Decomposition We can standardize a certain form of metaphysical decomposition of an informing entity a, saying that the informing process is a structure and organization of entity's informing, counter informing, and informational embedding. This decomposition standard carries a logical background—which considers the entity's intentional spontaneous-circular informing—by the informing of which information arrives and arises spontaneously, is accepted (embedded, interpreted, connected) in a certain amount and way, and all this processing runs in one or another circular way regarding the entity in question. A standardized and pragmatical metaphysical scheme was already discussed in [Zeleznikar 93]. For entity a, its standardized (metaphysically universalized or generalized) components are informing la, counterinforming Ca, counterinfor-mation informational embedding £alpha, and embedding information ea. For these components, including a, metaphysical serial, parallel, serial-parallel, and parallel-serial decomposi- tion can be determined in various possible ways. These standardized components can be pragma-tized (metaphysically particularized) according to the entity inner structure and organization, and according to the outer informational impacts. In this way, metaphysical decomposition is meant to be the a's own way of inner informational arising, its autonomous informing in the realm of a-influencing environment. Consequence 19 (Metaphysical decompositions by an entity's standardized components) Let us have to an entity belonging metaphysical entities marked in the following way: a for an informing entity, Ta for informing of entity a, Ca for counterinforming of entity a, 7q for a counterinforming entity within entity a, £a for informational embedding of entity a, ea for an embeddingly informing entity of entity a Then some of possible metaphysical decomposition schemes are, systematically, the following: * metaphysical serial ^ {3-ai Cç,, 7ori £<*) £a C Ct) \ /(a|=(î«h(C*K 7*1= (¿«h \ («• h «))))); (Û |= xa) |= (ca [= (7^ |= {£a h h «)))); (((((a|=Ia)|=Ca)|=7*)Ma)b £a) |= a JJ for the long-cycle metaphysical serial informing; a metaphysical / \ parallel W (2dn Ca, 7<>! £ai £a C 0?) V (a\=Ta\ \\ Ca 1= 7 en 7a \ \ea h ol JJ for a metaphysical parallel informing of entity a; LOGOS OF THE INFORMATIONAL Informatica 17 (1993) 245-266 263 * metaphysical _l serial—parallel V / 1 /(2a îCo^j'/a^15 j C £*) -r \ (er N (eS" N «))))); (« 1=12")!= (CS" NCTS" N (er h orr i= a))))- A \ (((((a h in h en H in i= en \= en h « } for the long-cycle metaphysical serial-parallel informing where, for example, -7-pat ^circu jinten ■jalter / . rpar 1 l'Or f> circu pinten falter / 7r (iTni\ ii 7, intcn rpar ca -, alter la J "a pinten "Ot -alter i Oa par feipoI,t\ c circu ? pinten ralter V } metaphysical parallel—serial ///T1 ... Tn? C1 ■ ■ ■ Cnc \ ¡¡ ai i a i^iïi i^d i\ cl ... pnt } /0 V\< .ne fl[a|=2j) 1=22)-) [=2?; \ «^hTäJhTäJ-ONT?; <(£2* Mi) Mä) ■■■)!=*?; l=a } ) for a metaphysical parallel-serial informing of entity a. □ 7.3.11 Marking Composition Formulas In principle, composition proceeds from given, also to the greatest detail particularized entities and builds up a topical entity, which represents a new operand T, coming into existence by a procedure of composition of sequentially informing components. Definition 13 (Markers of informational composition) For informational composition I of a set ip of informational entities ai, 012, ■••, an, that is rfc^ ), we introduce the fol- lowing particularized compositional cases: V / In this system of parallel structured metaphysical components, spont, circu, inten, alter, etc. mark spontaneous, circular, intentional, alternative, etc. parts, respectively which can be shaped pragmatically according to the situation and attitude of entity a. The pragmatical means sufficiently concretized, for instance, intelligent in a certain (intentional, understanding) way (informational-associa tive, counte rinfo rmational-creative, embedding-interpretative J (look at [Zeleznikar -93] where intelligence as an informational entity's metaphysicalism is discussed). Thus, lastly, rw rserial(^) Tparallelt^) ^serial—parallel ( $ ) ^parallel—serial ( ) [■circular serial—parallel^ rj pcircular (.i.\ 1 parallel-serial^ ) pmeUphysical^ ^metaphysical parallel (i>) informational composition r of entity set serial composition; parallel composition; serial-parallel composition; parallel-serial composition', circular serial composition; circular parallel composition; circular serial-parallel composition; circular serial-parallel composition; metaphysical serial composition; metaphysical parallel composition; 264 Informatica 17 (1993) 245-266 A.P. Železnikar (^) metaphysical serial-parallel composition; ^ffiSrialW metaphysical parallel-serial composition 7.3.12 Serial Composition In a serial composition rseriai of sequentially acting entities (components) ai, "" ! the procedure of composition runs from the left to the right by the informing insertion of operands, operators, and parentheses or, in the reverse direction, when alternative cases are composed. A serial composition may consider both the interior and exterior components in respect to a given informational components ai, ot2i ■ ■ ■ , an. If only some interior components are considered, the composition may follow a (partial) metaphysical concept, in which some components become cyclically informed. If exterior components are considered, the composed formula models a new exterior, that is, a non-metaphysical phenomenon in which component entities are involved, A serial composition has to proceed in consequent steps from one composed state to another. In this way, there exists an ordered sequence of possibilities in which something can be composed in a serial manner. Consequence 20 (Serial composition of an informational entity) For a serial composition, marked by rserjai(ai,£i2,■ • ■ ><*n)> where entities ai> a2> ' "i an ore components, there is, rserial(ai,tt2t«3,- ' ", «n-2t <*n-l, «n) ^ />iM«2K«S h (•••(«»-! h «»)■■•); \ (ai )= a2) |= (ck3 (=(-•■ (an_j (= an) ■ ■ •); ..(Ql |= a2) ■ • •) |= an_2) |= an-i) H a«,/ etc. Also other patterns (compositional alternatives) of serial composition are possible. 0 7.3.13 Parallel Composition We have to make a clear distinction between the processes of formula or formula system decomposition and composition. A decomposition is a top-down development (project, design) proceeding from a top idea (concept, basic structure) into more specific details in parallel, serial, and circular ways following some informational intention in such or another way. A composition means a combining of already existing entities (a kind of bottom-up development) into new entities, where, for instance, new relations, combinations, operations between entities are introduced. The introducing of new operand and operator entities is characteristic for both decomposition and composition, because it follows the so-called principle of informational spontaneity. Consequence 21 (Parallel composition of an informational entity) For a parallel composition, marked by rparanei(ai,a2, • • • ,an), where entities ai, a2, • • an are components, there is, rparaUel(oi, «2, ' " ", "n) ^ / ( <*»' 1= \ V «2Î K<*nJ) In this consequence only some ct{ aj may exist, so the composed system in not necessarily completely informationally connected. □ Other compositional (e.g. serial-parallel and parallel-serial) cases, analogous to the previously discussed decomposition cases, can easily be constructed by the reader according to the scheme of compositional markers in Definition 13. 7.3.14 Circular versus Metaphysical Composition While a common circular composition is a free case of circularly structured components, a metaphysical composition is actually a case of metaphysical decomposition. Certainly, the metaphysical composition can also consider the so-called internalization of exterior phenomena which impact the entity in question. But, this means nothing else than an internally occurring informational affair within the entity's metaphysicalism. Consequence 22 (Circular serial composition of an informational entity) For a circular serial composition, LOGOS OF THE INFORMATIONAL Informatica 17 (1993) 245-266 265 marked by r^rr™1lar(«, o^, a2, ■ ■ ■, an), where entities a, aij a2, • ■ ■, tt„ are components, and entity a is the cycling operand, there is, f(a f= (ai |= (d£2 (=(--* (an |= a) • • •); \ (a «l) |= (ai |= (...(an |= a) ■ ■ ■); V ("■(« 1= ai)-") N an-l) h On) h Oij etc. Also other patterns (compositional alternatives) of circular serial composition are possible. a Consequence 23 (Circular parallel composition of an informational entity) For a circular parallel composition, marked by rpard/id(a)Qi>Q2)---!«n); where entities a,au «2? - - £*„ are components and entity a is the cycling operand, there is, ( (a\= ai\ Oii \= Ctj ; aj h a; \*,j€ {1,2,- \ M) Û1Î «2; V«™// In this consequence only some sequences a [= oy; ai |=. ctj; aj a may exist, so the composed system in not necessarily uniquely circularly closed. □ The reader can easily construct the consequences which pertain to other circular and metaphysical compositions, following the ideas of the adequate (discussed) cases of decomposition (symbol A). In this way, the study of possible decomposition and composition cases is coming to a reasonable end. 8 Conclusion A very large-scale information processing technology has two aspects: one is to enlarge the amount of knowledge and the other to enlarge the capacity to process knowledge. (...) Very large-scale knowledge does not simply mean collecting knowledge in substantial amounts. Totally new technologies are required to automatically acquire and store massive knowledge as efficiently as possible. (...) Knowledge is varied, diversified, and comes in many forms. —[Knowledge 92] 3-5 The problem of a new informational theory is how to organize its structure and symbolism in a way (e.g. counterinformationally), that formal, discursive (mathematical, scientific), and semantic conventions remain preserved and that communication (informational embedding, interpreting) to existing theories is possible. The problem is how to keep the individual of the new theory and put it into the discourse of a new reality, for which it is believed that it will find a philosophical, scientific, and technological background (understanding). The question of a general informational theory is how to set the boundaries sufficiently wide, apart from conventional possibilities, enabling the informational fragmentation (decomposition) and, simultaneously, the synthe-sization (composition). In this view., a general informational theory is possibility-trivial, possessing an infinite set of consequences (theorems, lemmas, rules) which follow from basic axioms. For instance, we learned that symbol |= represents an extremely general (powerful) informational operator, which can replace any particular or universal operational concept and acts in an informational formula game (scenario) as an operator joker (trump-operator). Such a trivial situation of a general informational theory changes in case of a theory particular) zation where informational operands and operators become informationally closed (e.g. tau-tologically determined) entities. But, formal expressions (formulas, formula systems) carry their own stories, inform and counterinform surprisingly in regard to the traditional, that is, logical, mathematical, and linguistically abstract forms. There is much more informational background in that what is called info mi a. lion ally arising, coming to informational surface and much less of that what in traditional theories is reduced, neglected, unconscious, and simply eliminated as insignificant. The realm of the informational is meaningly broader, parallel, interconnected; in short, it is more complex, perplexed, interwoven, circular, and spontaneous; it corresponds better than 266 Informatica 17 (1993) 245-266 A.P. Železnikar the traditional philosophies do to that that approaches as evolution of man's abstract, circular, and spontaneous mind and what has to a reasonable extent been impacted by human informational tools where, for example, information processing of information processing became an evident and logically possible, manageable task. The concept of an informational machine implementation [Zeleznikar 92 c] remains one of the most challenging projects for the coming decades. It has to follow some essential changes in the design of both machine's hardware and software, where the informationally arising machine components are regularly supported by the machine system. It was shown, how understanding of text can become inform at ion ally arising in the framework of an informational environment [Zeleznikar 92d] (e.g., at the analysis and interpretation of the most lucid, comprehensive, and circularly perplexed philosophical texts and their translation from one natural language into another [Heidegger 86]). At the end, it seems evident that informational concepts in the form of machines and programs need an informational formalism which can guarantee sufficiently safe, error-free and efficient design. This experience is nothing new in the realm of computer design and use where mathematically rigorous techniques have been applied at the design of computer architecture, operating systems, structured programming and the like. In this view, mathematics seems to be only a specific mental technique which can assure the repeatability, efficiency, and safety (security) of computational processes (algorithms). So let us close with the following remarkable citation ([Husserl 80] I, p. 253) concerning also the phenomenon of construction of future informational machines and programs (written down at the very beginning of this century, in the year 1900): Hier ist zu beachten, daß der Mathematiker in Wahrheit nicht der reine Theoretiker ist, sondern nur der ingeniöse Techniker, gleichsam der Konstrukteur, welcher, in bloßem Hinblick auf die formalen Zusammenhänge, die Theorie wie ein technisches Kunstwerk aufbaut. So wie der praktische Mechaniker Maschinen konstruiert, ohne dazu letzte Einsicht in das Wesen der Natur überhaupt und in das Wesen ihrer sie bedingenden Begriffe und Gesetze besitzen zu müssen. Ähnlich verhält es sich ja bei allen „Spezialwissenschaften ". References [Heidegger 86] M. Heidegger: Sein und Zeit, Sechzehnte Auflage, Max Niemeyer Verlag, Tübingen, 1986. [Husserl 80] E. Husserl: Logische Untersuchungen, Erster Band (Prolegomena zur reiner Logik) (Sechste Auflage); Zweiter Band, I. Teil (Untersuchungen zur Phänomenologie und Theorie der Erkenntnis), (Sechste Auflage); Zweiter Band, II. Teil (Elemente einer phänomenologischen Aufklärung der Erkenntnis) (Fünfte Auflage); Max Niemeyer Verlag, Tübingen, 1980. [Penrose 90] R. Penrose: The Emperor's New Mind, Vintage, London, 1990. [Zeleznikar 92b] A.P. Zeleznikar: Basic Informational Axioms, Informatica 16 (1992), No. 3, pp. 1-16. [Zeleznikar 92c] A.P. Zeleznikar: An Introduction to Informational Machine, Informatica 16 (1992), No. 4, pp. 8-29. [Zeleznikar 92d] A.P. Zeleznikar: An Informational Approach of Being-there as Understanding (in three parts), Informatica 16 (1992), No.l, pp. 9-26; No.2, pp. 29-58; and No. 3, pp. 64-75. [Zeleznikar 93] A.P. Zeleznikar: Metaphysicaiism of Informing, Informatica 17 (1993), No. 1, pp. 65-80. [Knowledge 92] A Plan for the Knowledge Archives Project, The Economic Research Institute, Japan Society for the Promotion of Machine Industry, and Systems Research & Development Institute of Japan, Tokyo, March, 1992.