Semiotic Machine By Mihai Nadin© A semiotic machine has to reflect the various understandings of what the knowledge domain of semiotics is. It has also to reflect what the methods and means are that support the further acquisition of semiotics knowledge. Furthermore, it has to express ways in which knowledge of semiotics is tested, improved, and evaluated. Given the scope of the endeavor of defining the semiotic machine, it is necessary to realize that the methodological approach must be anchored in the living experience of semiotics. Accordingly, the cultural historic perspective, which is the backbone of any encyclopedic endeavor, is very much like a geological survey for a foundation conceived from a dynamic perspective.. The various layers could shed light on a simple aspect of the subject: At which moment in the evolution of semiotics does it make sense to make the association (in whatever form) to what became the notion of a machine. But, reciprocally, we would have to see how the various understandings of the notion of machine are pertinent to whatever was the practice of semiotics. Yet another reference cannot be ignored: The reductionist-deterministic view, celebrated in what is known as the Cartesian Revolution. Since that particular junction in our understanding of the world, the reduction of semiotic processes to machine descriptions is no longer a matter of associations (literal or figurative), but a normative dimension implicitly or explicitly expressed in semiotic theories. Given this very intricate relation, our approach will be to systematize the variety of angles from which various understandings of the compound expression semiotic machine can be defined. In our days, such understandings cover a variety of aspects ranging from the desire to build machines that can perform particular semiotic operations to a new understanding of the living in view of our acquired knowledge of genetics, molecular biology, and information biology. That the computer-a particular form of machine-as an underlying element of a civilization defined primarily as one of information processing, could be and has been considered a semiotic machine deserves further consideration. Cultural-historic perspective Whether the implicit semiotics of the earliest forms of human interaction (pre-language) or the more identifiable semiotics of the most rudimentary representations (in found object, artifacts, or notations) conjures even the thought of a device associated with it is a matter of conjecture. Let us agree that a mold, the most rudimentary medium for reproduction of any form of expression, contributes to the change from the unique (such as in sound, or footprints) to the shared and repeatable. For all practical purposes, such a mold is a semiotic machine to the extent that it is deployed to stabilize the nature of human interaction (cf. historic reference......). Sameness in expression (regardless of whether we refer to images, objects, alphabets, for example) is conducive and supportive of sameness in action. The timeframe referred to is in the order of 50,000 years, eventually leading to language and writing. Semiotic awareness-that is, the awareness of distinctions between what is represented and why a certain representation (to give but one example, the concreteness of hieroglyphic signs, around ........ BCE)-better serves a certain purpose (contracts, teaching and learning, memory) is expressed in the tools utilized for reaching the respective goal. And when semiotic means , in their most rudimentary form, become part of what we call learning, the semiotic machine takes new forms, some better adapted to the task than others. While we do not suggest that at that time there is an awareness of the machine-a concept to emerge well after writing is acknowledged- there is definitely an understanding of how to transcend differences in order to achieve sameness, based on which a more effective pragmatics is possible. The emphasis is on operations that make something possible, that enable, that assist. When the words that eventually lead to machine appear, as an expression of the pragmatics they will embody, such words-as in the Ionic Greek machos, or machama in the Doric Greek-will refer to way (of doing something), assist, be able. Eventually the Greek words were assimilated into the Latin (machina), and from there to our days in many cultures and languages. As testimony of that particular time makes plentifully clear, the emphasis on the use of means (what today is called media) is on making sameness possible, and ensuring that learning is facilitated. Epistemological perspective What leads to progressive awareness of the role of what eventually will become semiotics (in its many variations and flavors) is actually what leads to the practice of dealing not only with the reality experienced, but also with its representations. We focus precisely on what individuals and groups do, to their practical activity. This unfolds predominantly in the physical object and direct action domain; but it also extends over a relatively long time (anthropologists count ca. 10,000 years between the first rudimentary tools and the initial use of representations, cf. .......) in the realm of sign-based activities (without an underlying concept of sign, of course). The evolutionary advantage of any form of mediation-the "something," material or non-material between the subject of activity and the individual(s) involved in an activity –is not self-evident. Therefore, the process through which sign-based practice expands is also relatively slow. But in each representation, those generating and using it express knowledge. This knowledge is mainly short-lived and circumstantial. But this does not change the fundamental fact that what we call epistemological motivation is dominant among many other factors, such as communication intent, initial social instinct, and sexuality. The dominant epistemological motivation is also confirmed by the need to share, a major factor in the progressive increase in the efficiency of human activity, and thus, again, of evolutionary impact. If indeed knowledge acquisition drives, in very limited ways, the semiotic animal (zoon semiotikon, cf........), it follows that the sign gains the status of a conceptual tool. Moreover, every tool, as an expression of knowledge, pertinent to the action in which it is utilized, is en avant la lettre a machine, at least in the sense of the very initial understanding expressed in the words from which our concept derived. The assistance provided by a conceptual tool, its way of helping, of assisting in the action, is easy to assess, even in retrospect, if we consider how imagery, sound (rhythms, in particular), tactility, smell, and taste partake in the "semiotic in action" of our ancestors. Each semiotic instance is one of knowledge-explicit or implicit-and of interaction, including the interactions that result from sharing, stabilizing, comparing, learning, and teaching. The quipu (the Incan........) or the ........ (.....) cannot be compared to the ........... Neither can the semiotic machine embodied by a mold, or later, by an abacus be compared to the computer. Still, they have in common the epistemological status of the practical human activity that made them possible at a certain moment in time. They testify to the knowledge of the persons using them. That there is a definite connection between the ontological and the epistemological dimensions of human existence need not be further elaborated here. Gnoseological perspective The abstraction of knowledge and the ways of acquiring knowledge are not the same as knowledge as such. The difference is more evident when the knowledge is generated not only in interaction with the surrounding world, but also from the semiotic effort per se. In the process of deriving knowledge from representations, human beings not only become aware of their own abilities, they also affect these abilities. They witness their own change, since working with signs affects their own cognitive condition. The fact that human beings are existentially their own signs leads to a genetically enforced cognitive and neuro-anatomical condition that makes the semiotic component part of the thinking identity of the species (homo sapiens). But to think is to process and in hindsight, a machine is nothing other than an embodied processing function. Among the first sign-tools, the lever, like the wheel, enables those conceiving them not only to perform some operations otherwise close to impossible (e.g., lifting heavy objects), but also to reproduce such operations for the same or similar purposes, in different locations, using different levers or wheels. The lever as a sign stands not for similar pieces of wood, but for similar actions (of leveraging). The entire history of early semiotics (cf. ............, evidently documented in this Encyclopedia) is one of repeated confirmations of the practical nature of the sign-focused experience. Water, fire, and wind afford the energy that drives elementary tools as they turn into semiotic devices, too. They are the "elements" making up the world and the subject of all those changes brought about since ancient times to the living environment. When relatively late in time (1673) machine means "a device for applying mechanical power," and "appliance" (for military purposes), the semiotics is embodied in various parts (levers, wheels, ..........) synthesized in an entity that never existed before. It was produced with the help of a form of thinking impossible without the underlying semiotics of representations. Again, the many meaning variations- around the same time, machine even defines the components of a sexual act-are ultimately a testimony to the gnoseological effort and to what it actually afforded in terms of new knowledge and new practical experiences. The pendulum is a machine that compresses knowledge on gravity, the close cosmos (day and night cycle), levers, wheels, transmissions, and friction, among many others aspects. It is also a semiosis (sign process) that embodies a characteristic of the abstraction of time, i.e., duration. The pendulum serves many functions. It can be programmed (even its most primitive form), and it can even learn, as the most ambitious clocks of the time show. Still, there are many layers of discontinuity between such very early machines and our new understanding of the machine. Moreover, a fundamental gap, represented by a conception of the world as ambitious as that expressed in Descartes' Method, along with the animistic view of the world expressed by Aristotle and his followers, marks the change from an intuitive understanding to a systematic gnoseological approach A beginning and an end Documented amply (in encyclopedias, but even more in a variety of publications), the Cartesian Revolution can be summarized as 1) a method-reductionism-for dealing with complexity 2) a conception-determinism embodied in the cause-and-effect sequence 3) a unifying view-the machine as a prototype for the living. In this respect, Julien Offray de La Mettrie, L'homme machine (Man a Machine) 1748, goes even farther than Descartes. These aspects need to be understood in their unity. They seem to be as far as possible from semiotics; and upon superficial examination, they might appear irrelevant to it. Indeed, in projecting an understanding of the world that corresponds to an advanced model of physical reality, Descartes deals with knowledge, and its acquisition, from a deterministic perspective. The reader of his work is eventually confronted with what Descartes called mathesis universalis (in the "Fourth Rule for the Direction of the Mind;" from the Greek mathesis: science, and the Latin universalis:), which "explains everything," involving in the procedure not only numbers, but also shapes, sounds and any object whatsoever. The philosopher and mathematician let us know that he hoped "that posterity will judge me kindly." This continues to be the case, even as science reaches the limits of his encompassing conception of all that is and criticism of the Method increases.. Indeed, when things become complex, reduction to constitutive parts helps. Again indeed, many sequences of a clear-cut cause followed by an effect confirm his conception. Moreover, the machine metaphor successfully guided humankind into the Industrial Revolution, and into the civilization that benefited from the "machine of literacy." //source for this quote???// But within this encompassing model, semiotics was either integrated in the mathesis universalis or in logic, or reduced to linguistics. And the implicit understanding of the semiotic machine as an instantiation of knowledge acquisition and dissemination was subjected to the exigencies of mechanical functioning as opposed to living processes. This is by no means the place to restate the various forms of criticism to which reductionism and determinism are exposed in our days. This is, however, the place where one can and should realize that the notion of machine since Descartes is very convincing in respect to physical functions related to the physical, but void of the fundamental characteristics of living processes. Semiotics-based human activities are representative of the entire being, not only of its physical substratum. In fighting for the emancipation of philosophy and science from the force vitale that explained the living at least since Aristotle, Descartes and the scientists who followed him adopted a view of the world based on a rather limited form of rationality. This limited understanding of causality was acceptable in a context of limited interactions. After Descartes, signs could not be more than or different from what the senses conveyed to a mind-he did not know of the brain; his drawings point to the pineal gland-that would operate like the machines of his time. In this respect, the Cartesian is a beginning, anchored in the world perceptions and apparent causality. Descartes' mind could not conceive of comprehensive sign-based processes reflecting the complexity of human interactions. For those who might disagree, the sign processes in the Cartesian tradition cannot be other than those we associate with the rudimentary machines of his time. This is why, in examining semiotics and its epistemological condition, we must realize that the entire development of a theory and practice of signs shaped by Descartes is unavoidably reductionist and deterministic; and the semiotic machine associated with it is accordingly limited in scope. This statement does not exclude the various attempts, known from the history of science and philosophy, in particular the history of semiotics, to render the Cartesian view relative, or even to attempt alternate views (reference is made here to developments such as quantum mechanics, .............., or the to views advanced by ...........NAME SOME semioticians). In the Encyclopedic tradition (name semioticians), acknowledgment of the Cartesian perspective is a necessary condition for understanding the successive definitions of semiotics, machine, and semiotic machine. Within the same line of thinking, we need to take note of the elimination of the final cause (causa finalis) from among those pursued in the rationalism inspired by Aristotle's work. While the analytic dimension of semiotics is marginally affected by the elimination of a teleological dimension of the sign (the possible causations), the generative dimension becomes rather limited. Purpose is removed from the realm of the possible to that of the contingent. The machine, in its physical embodiment, accepts the future only in the form of failure. The breakdown of any part of the machine brings the whole to a stop; that is, the future state affects the machine's current state as a potential action, not as an effective factor. In this respect, the Cartesian view is an end. While we can indeed explain, to a satisfactory degree at least, the physical world as one determined by its past, the living is determined by its future, as well. Diversity in the living is never the exclusive result of deterministic processes. Nondeterminism explains the implicit creativity of the living as a never-ending process of producing identities that never existed before (Elsasser, 19...: pp.). All these consideration are meant to guide the reader in further examining the many different understandings of semiotic machine within the variety of semiotic endeavors leading to current semiotics. History //you want to use a different word// See your written MS .............. .............. //name them and short notes on MS// Along the diachronic axis of semiotic doctrine, the focus continuously changes from the sign in its generality (reflecting the variety of sensory perception) to the sign of language. The most impressive progress was actually made in linguistics, to the detriment of any domain involving or facilitating sign processes. For this entire development, it makes sense to point out that the syncretic semiotic machine becomes a linguistic machine. When Ferdinand de Saussure-whose admirable work in linguistics guided him towards the observation that the sign might be a concept of an abstraction higher than the abstractions he used in dealing with language- introduced semiology (at the end of the 19th century and the beginning of the 20th, he took a decisive step best defined in his own scarce words. (It is not a bad idea to take a look at Bouissac's text on Social Psychology as the domain where semiology should be anchored.) OR: The admirable work in linguistics of Ferdinand de Saussure guided him towards the observation that the sign might be a concept of an abstraction higher than the abstractions he used in dealing with language. He introduced semiology (at the end of the 19th century and the beginning of the 20th, taking a decisive step best defined in his own scarce words. Today, cognitive scientists are hard at work in dealing with semiotic matters (even when they are not explicitly identified as such. See Bouissac's text, 19...., on Social Psychology as the domain where semiology should be anchored.) It might not have crossed de Saussure's mind that there could be a science whose knowledge domain would transcend the various kinds of signs on whose basis the human being engages in practical experiences. But he was aware that, at least from his linguistic perspective, the language system of signs was dominant: B?????? The paradoxical nature of the relation between the two sides of a coin, one signifying and the other being the signified, leads to an unexpected view, not necessarily beyond the Cartesian model, but definitely challenging it. The arbitrariness of the signs and their mutual formal relations-making up a language-are sources of change in the system. In some unexpected ways, this two-sided relation can be associated with a machine yet to be defined-the Turing theoretical construct (of .... years later), a hypothetical computer with an infinitely long memory tape. But we do not want to add to Sausurrean mythology. The scientific condition of linguistic elaborations, for which he argued in a context in which language was mainly a subject of historybased analysis, justifies the thought expressed above. Furthermore, the many contributions that his initial ideas prompted (the famous Prague school of Functional Structuralism, the Tartu School, Russian Formalism, among others) justify a postieri the suggestion made in relation to the Turing machine. That this aspect will eventually lead to a "cultural machine" or "text machine" endowed with self-control functions (inspired by Wiener's cybernetics) should not come as a surprise. Yuri Lotman (Tartu School) paid quite a bit of attention to modalities of cultural productions, i.e., generative procedures. Indeed, when using the metaphor of the machine after Descartes, we no longer relate to assistance, means, or enabling procedures, but to generative processes. More than anyone else, Noam Chomsky (definitely not inclined to acknowledge any intellectual affiliation with semiology or semiotics) gave the notion of generative procedure a more effective embodiment. To rewrite the history of semiotics from the perspective of the semiotic machine might afford some surprises. One is the realization that de Saussure's paradoxical metaphor is in nuce equivalent to a Turing machine. Another is that generative thought, extended from the sign to vast sign systems (such as culture, or text) suggests that, epistemologically, the machine metaphor remains a powerful representation that can assist us in a constructivist understanding of such complex systems. But in the end, the historic account of variations changes the focus from the semiotic machine as such to the variety of embodiments practiced over time, frequently without questioning the premises on which such embodiments were practiced. In retrospect, the tradition of semiology reveals that its implicit dualistic structure leads to a synchronic perspective, and therefore the semiological machine is of limited dynamics. Without bunching together what remains distinct in many ways, neither Hjelmslev nor Greimas, or the French school (Barthes et al) transcended this model in their elaborations. There is one semiotician, Roman Jakobson, with a tent set up both on the continent of synchronic semiology and on the dynamic semiotics of C.S. Peirce, who realized the need to bridge between the two. We can only suggest that in order to deal with the implications of the semiotic machine that emerges from Peirce's semiotics, every effort should be made not to repeat the error of making his ideas less complex and more palatable. Morris was the first to trivialize Peirce, and since the time of his elaborations, many scientists (some of undisputed reputation) worked on a version that resembles the original as much as articles in the Readers Digest resemble those from which they were derived. The triadic-trichotomic sign definition (and structure) makes references to the icon, or symbol (the representamen domain) absurd. There is no such thing in Peirce. A semiotic procedure, described in detail, is used to generate the ten classes of signs (cf. ........). Accordingly, the semiotic machine is actually available in the Peircean text. Marty and ....... gave formal descriptions to the procedure, thus providing all there is necessary for actually constructing such a semiotic machine. Parallel to this line of thinking, there are dimensions of the Peircean system, in particular, Peirce's phaneroscopic categories, and moreover his diagrammatic thinking elaborations, conducive to different types of machines. And there are various articles inspired by the early attempts (by ......) to build actual machines (as inference engines or logical machines), in respect to which Piece articulated a position of principle impossible to ignore in our age of infatuation with machines. In some ways, with Peirce's semiotics we reach the core of the subject with the still vague realization that the age of computation-of the dominance of a certain machine-is the age of the semiotic engine. Of equal interest, although of less notoriety among semioticians, is the contribution of George Boole. In a chapter dedicated to the notion of the sign in general ("Of signs in general, and of the signs appropriate to the science of logic in particular; also of the Laws to which that class of signs are subject," cf. An Investigation of the Laws of Thought, ........), Boole started with what he perceived to be an undisputed statement: "That Language is an instrument of human reason, and not merely a medium for the expression of thought, is a truth generally admitted" (cf p. ......). It is a system "adapted to an end or purpose," he wrote, suggesting the systematic approach to signs, regardless of whether we regard them as "representative of things and of their relations, or as representative of the conceptions and operations of human intellect." The formal equivalence between these two conceptions points to a "deep foundation" exemplified, as he put it, in the "unnumbered tongues and dialects of the earth, against the reassuring background of the "laws of the mind itself." His definition is constitutive of the mind as the semiotic machine: A sign is an arbitrary mark, having a fixed interpretation, and susceptible to combinations with other signs in subjection to fixed laws dependent upon their mutual interpretation (cf p. ......). The three classes Boole defined make the operational nature of his semiotics even more evident. Class I: Appelative or descriptive signs, expressing either the name of a thing or some quality or circumstance belonging to it. Class II: Signs of those mental operations whereby we collect parts into a whole, or separate a whole into its parts Class III: Signs by which relations are expressed, and by which we form propositions. Not unlike the mind, any machine modeled on Boole's Propositions (which are rules) turn out to be semiotic machines operating in a universe of clear-cut distinctions between Truth and False (conveniently symbolized by 1 and 0). As we know by now, computers are the unity between a language consisting of only two letters and the logic describing the relation between any statements in this very precise, but minimally expressive, language. It is, no doubt, yet again a case of reductionism, from natural language to one of the strictest mathematical formalisms. But it is also the threshold between the materially embodied machines of the Cartesian viewpoint and the first immaterial machine. This machine processes not things, but information, representing "in some form or capacity" (to allude to Peirce's sign definition) things, or even, as our knowledge advances, information about a lower level of information and so forth (ad infinitum). At this juncture, it becomes evident that the four letters of the DNA alphabet (cf. Crick and .......) represent yet another modality to describe processes (in this case, the intriguing genetic code) and to model the "fabrication" of entities (in the realm of the living) with known or desired characteristics. Descartes abolished the teleological dimension; the genetic engine-yet another embodiment of a particular semiotic engine (coupled to a knowledge domain expressed in the four letters of the genetic alphabet and the generative rules that guarantee the coherence of the genetic semantics)-while not explicitly affirming a final causation, cannot exclude it either. Many other specialized semiotic engines are articulated, as more generative mechanisms, such as the ones characteristic of unfolding stem cells, are discovered and put to practical use. Accordingly, we have an interesting question to address: If semiotics is a universal science (THE universal science, a statement that of course irritates mathematicians), shouldn't the semiotic engine be universal? Or can we consider the variety of semiotic engines corresponding to particular semiotic descriptions, as part of an open-ended set of machines, each embodying the particular knowledge to be deployed in a particular field? This is not a trivial question, to be addressed circumstantially /lightly, not to be skimmed over //not everyone will understand this word//. The methodological aspects to follow will serve as a guide as we further investigate the subject. Computers are semiotic machines driven by semiotic engines There are machines that are cranked manually; others are activated by falling water, steam, or gravity; others are activated by electricity. There are biological machines, where processing is the result of biological processes. Given //According to // the law of thermodynamics, machines are not reversible. Processing takes energy; reverse processing would contradict the laws of energy conservation (to use a simple description). Together with the expectation of processing, embodied in the machine, comes the expectation of automation-processing that takes place on its own, without the participation of the human being. By no accident the most abstract machine-the mathematical machine-is expressed in automata theory. An automaton is a mathematical machine that accepts an input, has a set of inner states, and produces an output. For all practical (and theoretical) purposes, this machine is reversible on account of cognitive energy: it can work in both directions. In proving the equivalence between automata and sign processes (in (Peirce's defnition, since all other known definitions are particular cases), a methodological foundation for the entire discussion regarding the semiotic machine has been established (cf. Nadin, ..........; Zeichen und Wert .....). In a summary of the proof, we can establish that the definition (Peirce) ........ can be formally expressed as S = S (cf. Bense), in which ............ An automaton is defined as A = A(X,Y, ...) ...... The (cf. article by Nadin) formal equivalence can be further detailed ................ A generative semiotics, which is the same as describing a machine that can output sentences, texts, visual, or acoustic semiotically meaningful sequence or configurations (Nadin, Sequence and Configuration, .......) can be conceived as a formal descriptions of a variety of alphabets, syntactic and semantic rules; the validity of its output is always pragmatic, i.e., in reference to the practical performance of a human being. If a physician, well versed in the semiotic identifiers of an illness, as expressed in its systems, can perform effective pattern recognition, we have as output the semiotically relevant entity called a diagnosis. Alternative examples: the legal diagnosis (performed by officers of the justice system), the meteorological forecast, evaluation of the political situation. That all kinds of analytical performance (such as literary or art criticism, real estate appraisal, mechanical diagnostic of cars or very complicated machinery, military actions, etc.) fit within the same procedure is by no means surprising. The more complex operations of generative semiotics (such as, how to convey a message using multimedia; how to generate a story, what it takes to make a good game, for one player or for massively distributed situations) also belong to the functioning of the semiotic engine. Synthetic semiotics-such as synthesizing new materials while working with chemical symbolism and symbolic processing methods, or in synthesizing life from the inanimate, if at all possible-falls within the scope of the subject. After this broad image of everything that the discussion of the semiotic engine encompasses, it is time, for the sake of implicit goal of any encyclopedic attempt, to focus on the characteristic ways in which computation can be understood as the concrete functioning of a semiotic engine. Subtitle???? From What Kind of Sign is a Bit? Computation comes in many forms: digital, analog, algorithmic, non-algorithmic, serial (von Neumann's paradigm), parallel, interactive, numeric, symbolic, centralized, distributed. To leave these distinctions to scientists and engineers and to focus exclusively on the outcome of computation is probably appropriate, as long as one positions himself or herself in the now established role of user. It should be remarked from the outset that 80% of what is defined as computation concerns users. Word-processing is the user application that leads by far; but desktop publishing (which involves text, layout, and computer graphics), database applications (from pre-programmed tax return calculations to keeping records such as addresses, recipes, financial information, to advanced datamining), and more recently networking (e-mail, Web presence/Websites, Web-publication, remote teaching, cooperative projects, and so much more) make up an increasing complementary set of applications. Some of these applications assume a user different from the one limited to word-processing, but in the end still not a computation professional. Embedded computation (or ubiquitous computing) effectively overwrites the role of the user, and extends the significance of the semiotic machine into the realm of the artificial. Again, one would be better off leaving a comprehensive evaluation of these particular applications in the hands of those who invented them, since for better or worse, all users have to say is that one or the other program still does not work as well as expected, or that the priceperformance ratio is in some cases better than in others. Computation users are merely the most cost-efficient quality control agents ("debuggers") of a very interesting science and technology that the term computation denotes, but by no means describes. Ideally, computation is an expression of knowledge (in the forms of algorithms, processing procedures, interactions, programs, etc.) subjected to a wide variety of tests. It embodies the positivist expectation of validity, effectively erasing the distinction between science and humanities. It claims universality and is, together with its twin sibling genetics, constitutive of an epistemological horizon of unprecedented characteristics. As has been established so far, a semiotic engine drives the computer. Boole's contribution to this was already highlighted. If the assertion that the computer is a semiotic engine should be of any consequence for both semiotics and computer science, the initial limitations of the proof of equivalence between the most general sign description and the automaton need to be overcome. Moreover, the consequences of such a statement should become clear, if indeed there are consequences to be expected beyond giving semiotics that much needed boost of credibility without which its future relevance outside academic endeavors remains, as always, doubtful. Let us address these two requirements, not only for the sake of addressing them-intellectual goals often end up becoming relevant in themselves, but of no consequence for anything else-but foremost because if they can be clearly pursued, neither semiotics nor computer science will remain the same. This assertion is of a tall order and poses many challenges to those interested in and willing to pursue its consequences. Computation is knowledge Regardless of the type of computation considered, there is one characteristic that they all share: the outcome is an expression of something that could not be explicitly identified before the process took place. All the ingredients in the process-digital alphabet, Boolean logic, data, instructions, memory management, process and user interface-can be described in detail, and still the outcome cannot be predicted. (Otherwise, we would not go through the effort of producing it.) What matters is the process. Therefore, to compute means to design a type of processes fundamentally different from those we are familiar with from physics, chemistry, biology, and other sciences. Computation can unfold on virtual or on real machines, in machinebased time or in (almost) real time, in single or multiprocessing sequences in sequential or parallel machines, in neural networks or in a genetic medium (DNA or genetic computation). What counts is its inherent dynamic condition, as well as the fact that knowledge is generated at the intersection between the semiotics leading to human cognition and the semiotics underlying machine-based cognitive functions. This knowledge can be of various kinds, like human knowledge itself. To be more specific: word-processing is the knowledge of all the elements involved in generating and disseminating texts. It is, in the first place, a comprehensive theory of all the variables involved in the human or machine experience of generating texts in a context of acknowledged rules that embody grammar, syntax, etymology, linguistics, as well as rules for structuring and presenting ideas in written form. This theory, still in the making, is embodied in particular programs that allow for spell checking, for instance, or stylistic refinement, or for various visual forms of structuring (through layout rules, for instance). Its use is neither more no less than the test of the text knowledge embodied in the model of a specific computational word-processing implementation. As people use this knowledge, they test it beyond everything a particular person or group (developers) could even imagine. Howev er, at this moment in the development of computation-a relatively young discipline, whose main products are still rudimentary-knowledge generated in computation processes is predominantly acknowledged outside the process, i.e., in the interaction between human beings and the machines supporting these processes. In other words, like the abacus, the computer does not know right from wrong, and even less, significant from insignificant, meaningful from meaningless. Instead of revisiting the formal descriptions of the various types of computation known so far (many more will come, if we consider the extraordinary multiplication of means and methods dedicated to computation), and inferring from such descriptions to sign processes (in Peirce's sense, or in some alternative fundamental concepts of semiosis) and vice versa, let us take an alternative path. Under the assumption that computation is knowledge pertinent to a new moment in the evolution of the species, and in the knowledge that there are no known cognitive processes whose underlying principle is not semiotic, it follows that the statement, "The computer is a semiotic machine," needs not to be further formally pursued, since it is the necessary consequence of the condition of computation. Granted, the assertion might be weakened if someone could come up with a type of computation that is not knowledge-based, but even if one could produce such an example, it would not automatically exclude semiotic processes, but rather prompt more adequate definitions of what we call semiosis. The point we are trying to make is far from trivial. Many scientists, technologists, semioticians consider computers a technology, and what happens in a computer, a matter of moving electrons, heat dissipation, and electromagnetism, i.e., physical processes. They are not totally wrong. After all, computation as process does not happen in a vacuum (after the disappearance of vacuum tubes, this sentence holds true even in the literal sense), but with the participation of matter (organic or anorganic), or better yet, at the meeting point between matter and human cognitive capabilities. In one of his famous statements (probably quoted as frequently as his theory of relativity), Einstein declared: "It would be possible to describe everything scientifically, but it would make no sense. It would be without meaning, as if you described a Beethoven symphony as a variation of wave pressure." Up to a certain point, Einstein was right. Indeed, electronics-the science and technology of all that made computers possible-is a necessary but no sufficient condition for computation. All the circuits can be perfectly designed and produced, the power supply in good order, and the input and output devices correctly integrated, and still there would be no computation at this stage. Something else, of a higher order (if we agree to accept that abstraction is of a higher order than the concreteness of matter) makes the function of computation possible. Alternatively, a situation in which we have no machine whatsoever, but in which we conceive a program and execute it mentally or on paper (granted, slowly, step-by-step, with many intermediate steps), can be seen as computation, insofar it is part of a cognitive process involving a representation, a logic, data, and instructions applied to them. Again //???// , no machine whatsoever // "No machine whatsoever" does not mean that the biological machine-to use the old machine metaphor-which we humans are, is not the substratum of the process. The Turing machine is an example. The demonstration (Nadin, 1977) that the mathematical category describing it is equivalent to the mathematical category describing sign processes only confirms why one can claim that the engine of the Turing computation is semiotic. Our subject is computation, not only as process, but as semiotic process. The qualifier semiotic means that a sequence of interpretations is generated in each and every computation. By this, we understand that much more than permutations, even more than tractability, that is, whether, in order to compute, one transcends the time limitations by which we humans live (finite intervals), need to be considered. If computation, regardless of its nature (algorithmic or interactive), is not reducible to electric, or quantum, or DNA processes but involves semiotic entities, the question is: What are they? A short answer would be: The same entities that make cognitive processes possible. Somewhere along the line, we end up at the one and only culprit of semiotics – the sign. Thus we close the infamous circle: The sign as an underlying element of thinking = The sign as a product of thinking, which Boole alluded to while describing language. Computation has it easier. Bits and bytes (which are only strung-together bits) are processed but not necessarily defined through computation; rather, they are defined beforehand, as a condition of computation. As a measure of information, the bit describes quantities. As a unity among what is represented, the representational means, and the infinite process of interpretation, the sign emerges as individuals constitute themselves through whatever they do. The bit itself was generated in such an experience of generating, transmitting, and receiving information. As a sign, the bit can be seen at the syntactic level as the string of letters b, i, t, or as whatever the syntax of the information it embodies is; at the semantic level, as the univocally defined unit of information pertinent to the simplest imaginable choice (heads or tails); at the pragmatic level, as the relation between the information it describes, the many ways in which it can be expressed, and the infinity of actions it can trigger, or, alternatively, inhibit. Insistence on clarifying concepts at this juncture stems not from a pedantic instinct typical of the Encyclopeadia, but from a pragmatic necessity: If the relevance of semiotics to computation is to be established, then it is obvious that one more analytical tool will be exactly what other analytical tools are, i.e., maybe an instrument of validation, a method for evaluating, or, at best, an optimizing procedure. There is nothing against such possibilities, which semioticians took advantage of, producing lectures, articles, even books about them (REFS about analytical semiotics). However, the nature of computation is such that semiotics belongs to its premises, and accordingly, a legitimate semiotic approach can and should be part of the computation, not only of its validation after it was finished. In more detail, what this means is nothing else than the rethinking of computation in semiotic terms, and their effective integration in the means and methods through which knowledge is computationally expressed. That involves transcending the quantitative level of the bit and the integration of qualitative signs, with the implicit understanding that quality is not reducible to quantity. This major understanding is far from being trivial, especially in a context of technological innovation within which some aspects of qualitative distinctions were successfully translated into quantitative distinctions. Point in case: music. Thus Einstein's assertion on representing Beethoven digitally comes back to haunt us. Indeed, the high generality of the bit, as opposed to the concreteness of wave pressure differences, explains the perfect digital rendition of a Beethoven symphony, without, of course, making it identical or equivalent to a live performance (in a studio or before an audience). We can even imagine an automated performance, by virtual musicians, directed by a virtual conductor, faithful to Beethoven's musical text to any extremes we can think of. But that again is Beethoven as quantity, measurable and controllable, while a performance, with its implicit deviations, results as a living product and ceases in this definition once the performance has taken place. This is not an elaboration on music, or on the arts. It is an elaboration on what happens when the semiotic engine human being is replaced or complemented by a semiotic engine of a different nature. Feigenbaum's confessions to calculations he performed in his mind, and which resulted in valid outcomes different from that of computation by powerful computers, is but one example of how the means of representation are not a passive constituent of the semiotic processes in which they are used. Semiotics brings to computation the awareness of the fact that sign processes depend on the nature of the signs, that they are constitutive of new realities, and as such, not unlike notation systems (e.g., numbers, letters, colors, shapes), they are present not only in the input (what goes into a sign process, what goes into computation), but also in the output. A digital rendition of a Beethoven symphony could be as fascinating as any other we can think of, provided that it can make possible the closure through which representamina are integrated in an interpretant process. Circumstances for this to happen are provided. We experience a fundamentally new pragmatic framework, i.e., that of semiotically driven human experiences. Indeed, the species moved another notch away from its natural condition to its human, i.e., semiotic condition. To elaborate on this, as the many aspects of the semiotic engine are described, would be presumptuous. We are actually trying to determine how computation can be grounded not only in electronics, logic, algorithms, mathematics, etc., but can also integrate the enormous semiotic experience that the species has acquired so far. Computation as semiosis To nobody's surprise, semiotic considerations in respect to computation were first articulated in respect to so-called man-machine interaction. Considerable experience originating from past challenges posed by all kinds of artifacts used by individuals was brought to table. Even line editors-precursors of the current interfaces-were subjected to semiotic scrutiny. Commands had to be abbreviated, made as clear and univocal as possible, presented in legible form, and according to cognitive principles pertinent to the human processing of words. But this is prehistory. Iconic interface was a definite semiotic statement, inspired, as we know, by trivialized semiotic terminology. To its fame, and to its shame, semiotics contributed to the desktop metaphor – a huge step forward in making new forms of computation available to a large number of users, but also a dead-end street in which computation has remained stuck to our day. Much more interesting was the attempt to enlarge the notion of computation itself to include varieties of signs extending from those elements making up the elusive domains of the visual, the aural, and multimedia. In the virtual realm, much more than in the pseudo-3D realm, all kinds of semiotic devices found their usefulness in, or contributed to, the periodical moments of confusion that mires computation. To a lesser extent, semiotic considerations were present in neural networking, biocomputing, molecular and quantum computation, to name a few. But it remains to be seen whether this situation will eventually change. In some areas, extremely intricate semiotic considerations are a dominant, though rarely identified as such, component. Datamining, the magic formula of the networked computation dedicated to the use of information leading to more individualized forms of interaction (dissemination of the new, ecommerce, healthcare, culture, etc.) is, after all, the embodiment of abductions, in the strictest sense of Peirce's definition, carried out by the semiotic engine. Almost all known inference engines deployed today encode semiotic elements, although at times, those who designed them are rather driven by semiotic intuition than by semiotic knowledge. To start a search on the Web today is to literally start sign processes, to either watch how these unfold or to affect their unfolding by controlling the syntax level, the semantic involved – still the dominant dimension of any Web activity, or the pragmatics – in cooperative projects, remote learning, and interactive publishing. These forms of computation as semiosis will continue to attract more and more people. Their efficiency can be improved only if more methodical, and more professional, semiotic elements will be integrated and finetuned in their use. As we know, semioses, regardless of their nature, are dynamic sign processes. Through semioses, minds interact, and thus become identified in a course of action (pragmatics) definitory of their characteristics (cf. Nadin, 1991). As we move towards evolutionary computation, with evolvable hardware, we need to make sure that the semiotic engine on which they are by nature based is designed having in mind the requirements of semiotic processes as we know them from human interaction. That new classes of such semiotic processes might evolve is probably beyond dispute. However, as sign-based, they will reflect the epistemological nature of the sign, and thus replicate semiotic awareness. Indeed, a semiotic engine is not pure and simple an engine, but one with a certain self-awareness. The bits processed are bits that know where they are and to which string they belong. More precisely, the operation to which they belong is not mechanical, but semiotic, that is, with the mechanism of self-interpretation embedded in the process. When representations of digital circuits are placed at the level of the chromosome-as it takes place in our days-a foundation is laid for computation that involves and facilitates self-awareness. References Nadin, Mihai -. (1977). Sign and Fuzzy Automata (Max Bense, Ed.). In Semiosis, Heft 1,5, 19-26. -. (1988). Interface design: A semiotic paradigm. >> PDF In Semiotica 69-3/4, 269-302. -. (1991). Mind – Anticipation and Chaos. Zurich/Stuttgart: Belser Presse. -. (1997). The Civilization of Illiteracy. Dresden: Dresden University Press. -. (1997) Navigation tools for dissemination of knowledge via interactive multimedia. Project of the German National Science Foundation (DFG). Stein, Andrea (1996). Rethinking CS101: Or, How Robots Revolutionize Introductory Computer Programming.