Está en la página 1de 12

Peirce, Virtualidad, y Semitica (*)

Peter Skagestad - Universidad de Massachussets - Lowell Peter_Skagestad@uml.edu (*) Traduccin del ingls para uso interno de la ctedra por Sergio F. Romero

ABSTRACT: El adjetivo 'virtual', casi desconocido hace unos aos, se ha convertido en uno de los principales trminos de moda de los 90. Sin embargo, la palabra "virtual" no es nada nuevo, a pesar de que su ubicuidad es nueva, como as tal vez su significado actual, o significados. En 1902, el trmino fue definido por Charles Peirce como sigue: Una X virtual (donde X es un sustantivo comn) es algo, no una" X ", que tiene la eficiencia (virtus) de una X.. Peirce tambin referencia el concepto de Escoto de conocimiento virtual, el concepto de velocidad virtual en la fsica, y la doctrina de Edmund Burke de la representacin virtual, que no es representacin, pero supuestamente es tan buena como ella. El concepto de la virtualidad est profundamente arraigado en la doctrina de Peirce de los signos y por lo tanto en su doctrina semitica de la mente. En esta doctrina de Peirce, de la que, recientemente, se hicieron eco los escritos de Wittgenstein y Popper, nos encontramos con el marco filosfico ms prometedor para el entendimiento y el avance del proyecto de aumentar el intelecto humano a travs del desarrollo y uso de tecnologas virtuales. El adjetivo "virtual", prcticamente desconocido hasta hace unos aos, se ha convertido sin duda en la palabra de moda de la dcada de los noventa. Realidad virtual se ha convertido en un clich para denominar las tecnologas multimedia interactivas que han suplantado a la autoedicin en la vanguardia de las tecnologas de grficos por ordenador. Las comunidades virtuales, que durante aos han florecido en confortable oscuridad en Internet, recientemente han sido ubicadas en el foco de la mirada de los medios como vas de acceso comercial, y han abierto la red al pblico, mientras que las empresas virtuales han transformado el mundo de los negocios. Sin embargo, la palabra "virtual" no es nada nuevo, aunque su ubicuidad es nueva, como as tal vez su significado actual, o significados. En su admirable glosario de ciber-trminos, el filsofo Michael Heim define "virtual" como: "un trmino filosfico que significa" en realidad no, pero como si ", y seala que el trmino en este sentido se remonta al siglo XIII, al filsofo John Duns Scotus. (1) La palabra "virtual" puede haber sido utilizado por primera vez para describir los sistemas informticos interactivos por Theodore Nelson (el inventor del trmino "hipertexto"), quien propuso esta definicin, en 1980: (2) Por la virtualidad de una cosa me refiero a la apariencia de la misma, a diferencia de su ms concreta "realidad", que puede no ser importante. (...) Yo uso el trmino "virtual" en su sentido tradicional, opuesto a "real". The reality of a movie includes how the scenery was painted and where the actors were repositioned between shots, but who cares? La realidad de una pelcula incluye cmo fue pintada la escenografa y donde los actores se reposicionado entre los disparos, pero a quin le importa? The virtuality of a movie is what

seems to be in it. La virtualidad de una pelcula es lo que parece estar en l. While this may at first blush seem equivalent to Heim's later definition, Nelson's definition is in fact somewhat more specific and represents a significant meaning shift from the traditional sense, as becomes clear when we contrast it with the definition offered in 1991 by the media philosopher Paul Levinson. Si bien esto puede a primera vista parecen equivalentes a la definicin despus de Heim, la definicin de Nelson es de hecho algo ms especficos y representa un cambio de significado importante el sentido tradicional, como se hace evidente cuando se contrastan con la definicin ofrecida en 1991 por el filsofo Paul medios de comunicacin Levinson. Paraphrasing Levinson slightly, we may say that he defines a "virtual" X as what you get when the information structure of X is detached from its physical structure. (3) Levinson's examples include virtual - ie electronic - classrooms, libraries, and books, and these certainly do not have the look and feel of actual classrooms, libraries, or books. Parafraseando un poco Levinson, podemos decir que define un "virtual" X como lo que pasa cuando la estructura de informacin de X es separado de su estructura fsica. (3) ejemplos de Levinson include virtual - es decir, electrnicos - aulas, bibliotecas, y libros, y que ciertamente no tienen el aspecto de los salones de clases real, las bibliotecas, o libros. As I have noted elsewhere, the two definitions coincide in the case of virtual reality the information structure of reality as a whole includes its look and feel - but this is a coincidence; the two definitions represent different concepts. (4) Como he sealado en otras partes, las dos definiciones coinciden en el caso de la realidad virtual - la estructura de informacin de la realidad como un todo incluye su apariencia - pero esto es una coincidencia, las dos definiciones representan conceptos diferentes (4). These two different concepts may, by the way, be taken to reflect two different types of virtuality, understood as cultural phenomena. Estos dos conceptos diferentes de mayo, por cierto, debe considerar que refleja dos tipos distintos de la virtualidad, entendida como fenmenos culturales. While Heim's definition is a perfectly general one, Levinson's definition takes virtuality to consists in functional equivalence, whereas Nelson's definition locates virtuality in equivalent appearance. Mientras que la definicin de Heim es perfectamente uno general, la definicin de Levinson tiene la virtualidad consiste en que la equivalencia funcional, mientras que la definicin de Nelson localiza la virtualidad en apariencia equivalentes. The former type of virtuality has for the past two decades been exemplified principally by online communications, in which a variety of social and cultural relations have been mediated by the "coolest" of media (using MacLuhan's classification), namely plain, unadorned, unformatted text. El primer tipo de virtualidad tiene para las dos ltimas dcadas ha ejemplificado principalmente por las comunicaciones en lnea, en el que una variedad de relaciones sociales y culturales han sido mediada por la ms fresca "de los medios de comunicacin (utilizando la clasificacin de Mac Luhan), es decir, simple, sin adornos, sin formato del texto . This, of course, is also a sphere in which Levinson has long been an active participant. (5) Nelson's virtuality, by contrast, may be exemplified by the increasing verisimilitude being built into computer user interfaces over the past decade. Esto, por supuesto, es tambin un mbito en el que Levinson ha sido un participante activo. (5) la virtualidad de Nelson, por el contrario, puede ser ejemplificada por la verosimilitud creciente que se est construyendo en las interfaces de usuario de la computadora en la

ltima dcada. Starting with WYSIWYG (What-you-see-is-what-you-get) word processing, evolving through GUIs (Graphical User Interfaces) and desktop publishing with sophisticated graphics capabilities, and ultimately culminating in "virtual reality," this type of virtuality has until recently existed exclusively off-line. A partir de WYSIWYG (whatyou-see-is-what-you-get) de procesamiento de textos, evolucionando a travs de interfaces de usuario grficas (Graphical User Interfaces) y de la autoedicin con capacidades avanzadas de grficos, y, finalmente, culmina en la "realidad virtual", este tipo de virtualidad hasta hace poco existan exclusivamente fuera de lnea. Now that the graphics revolution has gone online via web-browsers, it remains an open question whether we will be facing a fusion of the two types of virtuality and, if so, what will be the implications for the concept of virtuality. Ahora que la revolucin de los grficos ha ido en lnea a travs de navegadores de Internet, sigue siendo una cuestin abierta si nos enfrentaremos a una fusin de los dos tipos de virtualidad y, en caso afirmativo, cules sern las consecuencias para el concepto de la virtualidad. But I think it would be premature to tackle that question quite yet. Pero creo que sera prematuro abordar esta cuestin todava. Of the two definitions, Levinson's turns out to be closer to the traditional one, at least if we take as authoritative the dictionary definition of "virtual" in JM Baldwin's 1902 Dictionary of Philosophy and Psychology: "A virtual X (where X is a common noun) is something, not an X, which has the efficiency (virtus) of an X." (6) The dictionary entry also references Scotus's concept of virtual knowledge, the concept of virtual velocity in physics, and Edmund Burke's doctrine of virtual representation, which is not representation but is supposedly as good as. According to this definition, a thing has an "efficiency" or "virtus," a concept which may be problematic from various perspectives, but which is clear enough in the case of artifacts, be they classrooms, libraries, books, or typewriters, and which is clearly different from the seeming, the look, or the feel of these artifacts. De las dos definiciones, de Levinson resulta ser ms cercano a la tradicional, al menos si tomamos como autoridad de la definicin de diccionario de "virtual" en 1902, JM Baldwin Diccionario de Filosofa y Psicologa: "A Virtual X (donde X es un comn sustantivo) es algo, no una "X", que tiene la eficiencia (virtus) de un X "(6) La entrada de diccionario tambin referencias concepto de Escoto de conocimiento virtual, el concepto de velocidad virtual en la fsica, y la doctrina de Edmund Burke de la representacin virtual , que no es de representacin, pero supuestamente es tan bueno como el. De acuerdo con esta definicin, una cosa tiene una "eficacia" o "virtus", un concepto que puede ser problemtica desde distintas perspectivas, pero que est bastante claro en el caso de los artefactos, ya se trate de aulas, bibliotecas, libros, o mquinas de escribir, y que es claramente diferente de la apariencia, el look, o la sensacin de estos artefactos. It so happens, to give Nelson his due, that the efficiency or virtus of a movie is its seeming, but it does not follow that this is what we should in general take "virtuality" to mean. Sucede, Nelson para dar su merecido, que la eficiencia o la virtus de una pelcula es su apariencia, pero no quiere decir que esto es lo que se hagan "virtualidad" para decir. In what follows, then, we shall use the words "virtuality" and "virtual," in the sense given by Baldwin's dictionary definition, a definition which is consistent with Heim's general definition, although more precise. En lo que sigue, entonces, vamos a utilizar las palabras "virtualidad" y "virtual", en el sentido dado por la definicin del diccionario de Baldwin, una definicin que es consistente con la definicin general de

Heim, aunque de manera ms precisa. The dictionary definition of "virtual" was penned by none other than Charles Sanders Peirce, the universally acknowledged founder of modern semiotic, and it is to Peirce's semiotic - that is, his general doctrine of signs - that we shall turn as an interpretive framework for understanding the phenomenon of virtuality in contemporary culture and technology. La definicin de diccionario de "virtual", fue escrito por nada menos que Charles Sanders Peirce, el universalmente reconocido fundador de la semitica moderna, y es a la semitica de Peirce - es decir, su doctrina general de los signos - que a su vez como marco interpretativo para la comprensin del fenmeno de la virtualidad en la cultura contempornea y la tecnologa. By a "sign" Peirce meant, broadly speaking, anything capable of standing to somebody for something in some respect. (7) There is thus an irreducibly triadic relation among the sign, its object, and the somebody to whom the sign stands for its object. Por un "signo" de Peirce entiende, en trminos generales, cualquier cosa capaz de resistir a alguien por algo en algn aspecto. (7) Por consiguiente, es irreductiblemente tridica relacin entre el signo, su objeto, y el que alguien a quien representa el signo de su objeto. This somebody, by the way, need not be a person, but could be a nonhuman animal. Este alguien, por cierto, no necesita ser una persona, pero podra ser un animal no humano. To stand in this relation to somebody is to be subject to interpretation in this person's mind, and this process of interpretation, Peirce held, is the creation in the interpreter's mind of a new sign, which Peirce labeled the "interpretant" of the original sign. (8) For instance, if a particular sensation leads me to infer that a given object is red, the sensation will have served as a sign to me of the object in respect of color. Para estar en esta relacin con alguien que est sujeta a la interpretacin en la mente de esta persona, y este proceso de interpretacin, Peirce consider, es la creacin en la mente del intrprete de un signo nuevo, que Peirce la etiqueta el "interpretante" de la seal original (8). Por ejemplo, si una sensacin particular me lleva a inferir que un objeto dado es de color rojo, la sensacin que han servido como un signo para m del objeto en relacin con el color. To say that it has served as a sign to me is to say that I have interpreted it; ie it has been replaced, in my mind, by a different sign of its object, to wit, by the perceptual judgement: "The object is red". Decir que ha servido como seal para m, es decir que la he interpretado, es decir, ha sido sustituido, en mi mente, por un signo distinto de su objeto, a saber, la sentencia de percepcin: "El objeto es rojo ". This judgement is in turn a sign, capable of further interpretation by myself or, should I choose to utter it, by other minds. Este juicio es a su vez un signo, capaz de una interpretacin posterior por m mismo o, en caso de decidirme a pronunciarlo, por otras mentes. The capacity to be thus transformed into a new sign is an essential attribute of signhood. La capacidad de ser as, se transform en un nuevo signo es un atributo esencial de signhood. Peirce may not have coined the phrase "Every decoding is another encoding," but he certainly conceived the idea and made it a centerpiece of his theory of signification, cognition, and discourse. (9) Peirce no puede haber acuado la frase "Cada decodificacin es otra codificacin, pero sin duda concibi la idea y la hizo el eje central de su teora del discurso, la cognicin, y el discurso
(9).

Finally, in Peirce's view as in John Locke's before him, thoughts are signs, and semiotic thus implies a complete philosophy of mind, in which cognition is thematized as the development of signs, and not as a succession of conscious states of mind. Por ltimo, en vista de Peirce como en la de John Locke antes que l, los pensamientos son signos, y semitica implica una filosofa completa de la mente, la cognicin en la que se tematiza como el desarrollo de los signos, y no como una sucesin de estados de la mente consciente. (We should note in passing that this "semiotic model of the mind," and its bearing on the prospects of artificial intelligence, have in recent years been brilliantly articulated by James Fetzer, (10) Peirce never denied the existence of consciousness, and he did not deny that we may have introspective knowledge of our conscious mental states, but he simply did not regard cognition as consisting of such conscious states. Cognition consists in the manipulation of signs which may be externally embodied; as each sign is what it is by virtue of its possible later interpretations - ie virtually - so the mind itself is virtual. As Peirce put it in one of his classic 1868 articles in the Journal of Speculative Philosophy: (11) (Hay que sealar de paso que este "modelo semitico de la mente", y su influencia en las perspectivas de la inteligencia artificial, en aos recientes han sido brillantemente articulada por James Fetzer, (10) Peirce nunca neg la existencia de la conciencia, y no niega que podamos tener conocimiento introspectivo de nuestros estados mentales conscientes, pero l simplemente no consideraban que la cognicin como un conjunto de tales estados de conciencia. cognicin consiste en la manipulacin de signos que pueden ser incorporados en el exterior, ya que cada signo es lo que es por en virtud de sus posibles interpretaciones despus - es decir, prcticamente - por lo que la mente es virtual. Peirce Como lo puso en una de sus clsicas 1868 artculos en la Revista de Filosofa Especulativa: (11) Finally, no present actual thought (which is a mere feeling) has any meaning, any intellectual value; for this lies not in what is actually thought, but in what this thought may be connected with in representation by subsequent thoughts; so that the meaning of a thought is altogether something virtual. Por ltimo, ningn pensamiento real actual (que es un simple sentimiento) tiene un sentido, un valor intelectual, porque esto no est en lo que es en realidad el pensamiento, sino en lo que este pensamiento puede estar relacionado con la representacin de los pensamientos posteriores, de modo que el sentido de un pensamiento es algo totalmente virtual. ... ... At no instant in my state of mind is there cognition or representation, but in the relation of my states of mind at different instants there is. En ningn momento en mi estado de nimo es que la cognicin o representacin, sino en la relacin de mis estados de nimo en diferentes instantes que existe. In a letter to the editor, William T. Harris, Peirce elaborated: (12) En una carta al editor, William T. Harris, Peirce elabor: (12) I do not say that we are ignorant of our states of mind. Yo no digo que somos ignorantes de nuestros estados de nimo. What I say is that the mind is virtual, not in a series of moments, not capable of existing except in a space of time - nothing in so far as it is at any one moment. Lo que digo es que la mente es virtual, no en una sucesin de momentos, no es capaz de existir, salvo en un espacio de tiempo - no hay nada en la medida en que se

encuentra en un momento dado. Without wishing to venture deeply into the very tricky question of the relation of Peirce's thought to that of the later Ludwig Wittgenstein, I cannot forbear to note that Peirce is here making a point similar to one which Wittgenstein was later to make as follows: (13) Sin querer profundizar en la empresa en cuestin muy delicada de la relacin del pensamiento de Peirce a la de la Ludwig Wittgenstein, no puedo dejar de sealar que Peirce est aqu haciendo un punto similar a uno que Wittgenstein fue ms tarde para hacer lo siguiente: (13 ) We say "I am expecting him", when we believe that he will come, though his coming does not occupy our thoughts. Decimos "Estoy esperando que l", cuando creemos que va a venir, aunque su llegada no se ocupan nuestros pensamientos. (Here "I am expecting him" would mean "I should be surprised if he didn't come" and that will not be called the description of a state of mind.) (Aqu "Estoy esperando que l se entiende como" me sorprendera si l no viene "y que no se recurra a la descripcin de un estado de nimo.) As I understand Peirce, he would agree with Wittgenstein's parenthetical comment, but perhaps not with the sentence that precedes it. Even when NN's expected arrival does occupy my thoughts, Peirce's view is that what it means for his arrival to occupy my thoughts is my later surprise should NN not show up, and not the conscious state ("a mere feeling") experienced while expecting NN; in other words, what occupies my thoughts is not a state of mind. Segn tengo entendido Peirce, l estara de acuerdo con el comentario entre parntesis de Wittgenstein, pero quizs no con la frase que la precede. Aun cuando se espera la llegada de NN ocupa mis pensamientos, vista de Peirce es que lo que significa para su llegada a ocupar mis pensamientos es mi tarde sorpresa que NN no aparecen, y no el estado consciente ( "un simple sentimiento") con experiencia, mientras esperaba NN, en otras palabras, lo que ocupa mi pensamiento no es un estado de nimo. In Peirce's view, that is, thoughts are inherently dispositional, a view echoing that of Scotus and in turn later echoed by Karl Popper, who held knowledge to reside exosomatically, in books, articles, and the like, rather than in the conscious experience of the authors or readers of said books, etc. That conscious experience - in Popper's view as in Peirce's - was rendered dispensable for the analysis of knowledge or of mind by that inherently dispositional nature of knowledge which allows knowledge to be exosomatically embodied. En vista de Peirce, es decir, los pensamientos son inherentemente de disposicin, a fin de que hacindose eco de Escoto y, a su vez ms tarde repetida por Karl Popper, el conocimiento que tenan de residir exosomatically, en libros, artculos, y similares, en lugar de en la experiencia consciente de los autores o los lectores de dichos libros, etc que la experiencia consciente - en opinin de Popper como en Peirce - se hizo prescindible para el anlisis de conocimiento o de la mente que la naturaleza inherente de disposicin de los conocimientos que permite a los conocimientos que se exosomatically incorporada. In Popper's words, which strikingly recall Peirce's definition of 'sign', presented above: (14) En palabras de Popper, que sorprendentemente recordar la definicin de Peirce de 'signo', presentado anteriormente: (14) It is its possibility or potentiality of being understood, its dispositional character of being understood or interpreted, or misunderstood or misinterpreted, which makes a thing a book.

Es su posibilidad o potencialidad de ser comprendido, su carcter de disposicin de ser entendido o interpretado, o mal entendido o mal interpretado, lo que hace una cosa de un libro. And this potentiality or disposition may exist without ever being actualized or realized. Y esta potencialidad o disposicin puede existir sin ser actualizada o realizada. Finally, just as Wittgenstein emphasized - and perhaps exaggerated - the dependence of thought on the public rules of a language, and Popper emphasized the epistemic importance more specifically of written language, (15) so Peirce emphasized the dependence of thought on signs, and thus on external sign vehicles, both "hard" vehicles such as books, paper, and ink, and "soft" vehicles, such as alphabets, and mathematical and logical notations, as well as on external tools for sign production, as in this famous passage from 1905: (16) Por ltimo, al igual que Wittgenstein subray - y quiz exagerada - la dependencia del pensamiento sobre el rgimen pblico de una lengua, y Popper hizo hincapi en la importancia epistmica, ms concretamente, de la lengua escrita, (15) para Peirce hizo hincapi en la dependencia del pensamiento en las seales, y por lo tanto en los vehculos de signo externo, tanto "duras", los vehculos, tales como libros, papel y tinta, y "suaves" vehculos, como los alfabetos, y matemticas y la notacin lgico, as como de herramientas externas para la produccin de la seal, como en el famoso pasaje a partir de 1905: (16) A psychologist cuts out a lobe of my brain (nihil animale a me alienum puto) and then, when I find I cannot express myself, he says, 'You see, your faculty of language was localized in that lobe.' Un psiclogo de una reduccin del lbulo de mi cerebro (animale nihil a me alienum puto) y luego, cuando veo que no puedo expresarme, dice, "Mira, tu facultad del lenguaje se localiza en ese lbulo. No doubt it was; and so, if he had filched my inkstand, I should not have been able to continue my discussion until I had got another. No hay duda de que era, y as, si hubiera robado mi tintero, no habra podido continuar con mi anlisis, hasta yo tuviera otra. Yea, the very thoughts would not come to me. S, los pensamientos no vienen a m. So my faculty of discussion is equally localized in my inkstand. As que mi facultad de la discusin es igualmente localizados en mi tintero. I want to make two observations regarding this passage. Quiero hacer dos observaciones en relacin con este pasaje. First, I take it that Peirce is not only making the point that without ink he would not be able to express his thoughts, but rather the point that thoughts come to him in and through the act of writing, so that having writing implements is a condition for having certain thoughts - eg those thoughts that issue from trains of thought too long to be entertained in human consciousness. En primer lugar, considerar que Peirce no slo est haciendo el punto de que sin tinta no sera capaz de expresar sus pensamientos, sino ms bien el punto de que los pensamientos vienen a l en y por el acto de escribir, de modo que la escritura que implementa un requisito para tener ciertos pensamientos - por ejemplo, los pensamientos que salen de los trenes de pensamiento demasiado tiempo para entretenerse en la conciencia humana. This would seem to be the point of saying, "the very thoughts would not come to me," and it is also consistent with the central Peircean doctrine that thoughts are signs. Esto parecera ser el punto de decir, "los pensamientos no vienen a m", y tambin es coherente con la doctrina de Peirce central que los pensamientos son signos. In this respect Peirce's semiotic doctrine of mind gives aid and comfort to some version of the thesis,

articulated in various forms by Eric Havelock, Harold Innis, and Walter Ong, among others, that literacy enables modes of thought, and hence contents of thought, unavailable to a purely oral culture. En este sentido la doctrina semitica de Peirce de la mente le da ayuda y consuelo a alguna versin de la tesis, articulada en diversas formas por Eric Havelock, Harold Innis, Walter Ong, entre otros, que la alfabetizacin permite a los modos de pensar, y por lo tanto el contenido del pensamiento, disponible a una cultura puramente oral. Peirce's own frequent insistence on the cognitively empowering role of specific types of logical and mathematical notation is echoed in Havelock's insistence on the similar function of the Greek alphabet. Frecuente insistencia de Peirce propio sobre el papel cognitivamente potenciacin de determinados tipos de notacin de lgica y matemticas se refleja en la insistencia de Havelock en la funcin similar de los del alfabeto griego. I hasten to add that I am aware that the 'literacy' thesis is controversial, and that it probably still awaits a precise formulation that can withstand criticism without surrendering so much of its content as to rob the thesis of its interest. Me apresuro a aadir que soy consciente de que la tesis de la "alfabetizacin" es controvertida, y que probablemente todava espera una formulacin precisa que puede soportar la crtica sin renunciar a gran parte de su contenido, que privan a la tesis de su inters. Second, Peirce's quotation is echoed in Popper's claim, noted above, that human knowledge depends on the evolution of exosomatic organs, such as pens, pencils, typewriters, and computers; in Einstein's dictum, cited by Popper, that his pencil was smarter than he himself was; and in Douglas Engelbart's "Neo-Whorfian" hypothesis that our capability for intellectual activity is affected by the means by which we control the external manipulation of symbols. En segundo lugar, la cita de Peirce se refleja en la demanda de Popper, se ha sealado, que el conocimiento humano depende de la evolucin de los rganos exosomtica, tales como bolgrafos, lpices, mquinas de escribir y equipos, la mxima de Einstein, citado por Popper, que el lpiz era ms inteligente que l el mismo fue, y en "de Douglas Engelbart Neo-Whorf" hiptesis de que nuestra capacidad para la actividad intelectual se ve afectado por el medio por el cual el control de la manipulacin externa de los smbolos. Engelbart's own role as a pioneer of eg hypertext and networking highlights the relevance of current virtual technologies as a concretization of sign development as understood in the Peircean perspective. Engelbart propio papel como pionera, por ejemplo, el hipertexto y la creacin de redes pone de relieve la pertinencia de las actuales tecnologas virtuales como una concrecin de desarrollo signo como se entiende en la perspectiva de Peirce. Peirce's own reflections on the relationship between the mind and the logic machines of his day have been documented by Ketner, as well as by the present writer. (17) Suffice it here to note two salient features of Peirce's thinking on the subject. Reflexiones de Peirce sobre la relacin entre la mente y las mquinas de la lgica de su poca han sido documentados por Ketner, as como por el autor. (17) Baste sealar aqu dos caractersticas sobresalientes del pensamiento de Peirce sobre el tema. First, Peirce thought that some types of reasoningspecifically the drawing of simple inferencescould be observed not only in logic machines, but in any kind of machine, including blocks of wood dragged through water by yacht designers to determine hydrodynamic properties. En primer lugar, Peirce

cree que algunos tipos de dibujo reasoningspecifically de la simple inferencescould se observa no slo en la lgica de las mquinas, pero en cualquier tipo de mquina, incluidos los tacos de madera arrastrados por el agua por los diseadores del yate para determinar las propiedades hidrodinmicas. Second, though, he recognized that the logic of relations, ie the polyadic predicate logic, required a type of deduction he called "theorematic", which require imaginative experimentation and which are therefore not algorithmic. En segundo lugar, si bien, reconoci que la lgica de las relaciones, es decir, la lgica de predicados polidicos, requera un tipo de deduccin que l llam "teoremticos", que requieren la experimentacin imaginativa y que por tanto no algortmica. Jaakko Hintikka has noted, with particular reference to the predicate logic, that the realm in which theorematic deductions are made is the realm of mixed quantifiers, and he has defined a theorematic deduction as one which increases the number of layers of quantifiers. (18) While Peirce, as far as I know, did not actually prove the claim that predicate logic requires theorematic deductions in his sense, it has, of course, been proven independently by Church and by Turing, and is nowadays known as Church's Theorem. Jaakko Hintikka ha tomado nota, con especial referencia a la lgica de predicados, que el mbito en el que se hacen deducciones teoremticos es el reino de los cuantificadores mixtos, y se ha definido una deduccin teoremticos como uno que aumenta el nmero de capas de cuantificadores (18). Aunque Peirce, por lo que yo s, en realidad no probar la afirmacin de que la lgica de predicados requiere deducciones teoremticos en su sentido, tiene, por supuesto, ha demostrado de forma independiente por la Iglesia y por Turing, y es hoy en da se conoce como teorema de Iglesia. To say that the polyadic predicate logic requires theorematic deductions is to say that the construction of proofs in this system requires creative experimentation, ie that there is no algorithm for proof generation or, a fortiori, for determining provability. Decir que la lgica de predicados polidicos requiere deducciones teoremticos es decir, que la construccin de pruebas en este sistema requiere la experimentacin creativa, es decir, que no existe ningn algoritmo para la generacin de la prueba o, a fortiori, para la determinacin demostrativa. So, in Peirce's view, reasoning in the fullest sense of the word could not be represented by an algorithm, but involved observation and experimentation as essential ingredients. As que, en opinin de Peirce, el razonamiento en el sentido ms amplio de la palabra no poda ser representado por un algoritmo, pero que participan de observacin y la experimentacin como ingredientes esenciales. Peirce, who died in 1914, does not appear to have made up his mind whether a machine could ever be constructed which would be capable of reasoning in the full sense of making theorematic deductions, although Peirce did note that the logic machines of his day, including Babbage's Analytical Engine, were incapable of this feat. (19) The question whether future machines might be able to reason was explicitly left open by Peirce. (20) On the other hand, Peirce made it abundantly clear that human reasoning depends on a variety of machinery, including blocks of wood, cucurbits, alembics, pendulums, telescopes, and pens and ink. Peirce, que muri en 1914, no parecen haber tomado la decisin de si una mquina nunca podra construirse lo que sera capaz de razonar en el sentido pleno de hacer deducciones teoremticos, aunque Peirce se tenga en cuenta que las mquinas de la lgica de su poca, incluyendo Mquina Analtica de Babbage, fueron capaces de esta hazaa. (19) La cuestin de si las mquinas del futuro podran ser capaces de razonar de manera explcita dej abierta por Peirce. (20) Por otra parte, Peirce dej muy

claro que la razn humana depende de un gran variedad de maquinaria, incluidos los tacos de madera, cucurbitceas, alambiques, los pndulos, los telescopios, y las plumas y tinta. To sum up: Not only did Peirce clearly articulate the Scotistic concept of virtuality; he also made it a centerpiece of his semiotic doctrine of mind, knowledge, and language. En resumen: no slo Peirce articular claramente el concepto escotista de la virtualidad, sino que tambin hizo una pieza central de su doctrina semitica de la mente, el conocimiento y el lenguaje. In addition, he adumbrated a potential critique of artificial intelligence, and formulated an alternative conception of the cognitive role of machines. Adems, ha esbozado una crtica potencial de la inteligencia artificial, y formul una concepcin alternativa de la funcin cognitiva de las mquinas. In this conception human reasoning, being the manipulation of internal and external signs, essentially involves the use of machinery, including hard machinery, such as pens and inkstands, and soft machinery, such as alphabets and logical and mathematical notations. En esta concepcin el razonamiento humano, siendo la manipulacin de signos internos y externos, fundamentalmente el empleo de maquinaria, incluyendo maquinaria duro, tales como plumas y tinteros y maquinaria blandos, como los alfabetos y las notaciones lgicas y matemticas. In Peirce's thought, then, we find the most promising philosophical framework available for the understanding and advancement of the project of augmenting human intellect through the development and use of virtual technologies. En el pensamiento de Peirce, pues, nos encontramos con el marco filosfico ms prometedoras para el entendimiento y el avance del proyecto de aumentar el intelecto humano a travs del desarrollo y uso de tecnologas virtuales.

Notes Notas
(1) Michael Heim, The Metaphysics of Virtual Reality, Oxford University Press, Oxford 1993, p 160; cf. (1) Michael Heim, la metafsica de la realidad virtual, Oxford University Press, Oxford, 1993, p 160; cf. also p. tambin p. 132. 132. (2) Quoted in Howard Rheingold, Virtual Reality, Simon & Schuster, New York 1991, p. (2) Citado en Howard Rheingold, Realidad Virtual, Simon & Schuster, Nueva York, 1991, p. 177. 177. (3) Paul Levinson, Review of Harvey Wheeler's The Virtual Society, Journal of Social and Biological Structures, 14[3], 1991, pp. (3) Paul Levinson, revisin de la Harvey Wheeler Virtual de la Sociedad, Journal of Social and Biological Structures, 14 [3], 1991, pp. 363366. 363-366. (4) Peter Skagestad, 'Virtuality, in Reality and Knowledge', Review essay on Howard Rheingold, Virtual Reality, Journal of Social and Evolutionary Systems, 16[1], 1993, pp. (4) Peter Skagestad, 'la virtualidad, en la realidad y el conocimiento , el ensayo de Examen de Howard Rheingold, Realidad Virtual, Journal of Social and Evolutionary Systems, 16 [1], 1993, pp. 99-105. 99-105. (5) Levinson's participation in the online culture, eg through offering online courses, is one

of the themes covered in his Electronic Chronicles: Columns of the Changes in Our Time, Anamnesis Press, Tallahassee, FL 1992. (5) la participacin de Levinson en la cultura en lnea, por ejemplo, mediante la oferta de cursos en lnea, es uno de los temas tratados en sus Crnicas electrnica: Las columnas de los cambios en nuestro tiempo, Anamnesis Press, Tallahassee, FL 1992. (6) James Mark Baldwin, Dictionary of Philosophy and Psychology, Macmillan, New York 1902, vol. (6) James Mark Baldwin, Diccionario de Filosofa y Psicologa, Macmillan, Nueva York, 1902, vol. 2, p. 2, p. 763. 763. Reprinted in Charles Sanders Peirce, Collected Papers, edited by Charles Hartshorne, Paul Weiss, and Arthur Burks, The Belknap Press of the Harvard University Press, Cambridge, Massachusetts, 1935, 1958, Vol. Reproducido en Charles Sanders Peirce, Collected Papers, editado por Charles Hartshorne, Paul Weiss y Arthur Burks, The Belknap Press de la Editorial de la Universidad de Harvard, Cambridge, Massachusetts, 1935, 1958, vol. 6, 372. 6, 372. This paper follows the established convention of referencing the Collected Papers by volume and paragraph numbers. Este documento sigue la convencin establecida de referencia los Collected Papers, por volumen y nmero de prrafo. (7) Peirce, op.cit., 2.228. (7) Peirce, op.cit., 2,228. (8) Ibid. (8) Ibid. (9) David Lodge, Small World, 1985, pp. (9) David Lodge, Small World, 1985, pp. 25,28. 25,28. (10) James Fetzer, Artificial Intelligence: Its Scope and Limits, Kluwer 1990. (10) James Fetzer, Inteligencia Artificial: su alcance y sus lmites, Kluwer 1990. (11) Peirce, op.cit., 5.289. (11) Peirce, op.cit., 5,289. (12) Ibid., 8.248. (12) Ibid., 8,248. (13) Ludwig Wittgenstein, Philosophical Investigations, Third Edition, Macmillan 1958, p. (13) Ludwig Wittgenstein, Investigaciones filosficas, tercera edicin, Macmillan, 1958, p. 152E, (577. 152E, (577. (14) Karl R. Popper, Objective Knowledge: An Evolutionary Approach, Oxford 1972, p. (14) Karl R. Popper, Objective Knowledge: An Evolutionary Approach, Oxford, 1972, p. 116. 116. (15) Wittgenstein, op.cit., p. (15) Wittgenstein, op.cit, pg. 109E, (399; Popper, op.cit., p. 96. 109E, (399; Popper, op.cit., P. 96. (16) Peirce, op.cit., 7.366. (16) Peirce, op.cit., 7,366.

(17) Kenneth L. Ketner, 'The Early History of Computer Design: Charles Sanders Peirce and Marquand's Logical Machines with the assistance of Arthur F. Stewart,' The Princeton University Library Chronicle, 45(3), 1984, pp. (17), Kenneth L. Ketner, 'La historia temprana de la Informtica Diseo: Charles Sanders Peirce y la lgica Marquand mquinas con la ayuda de Arthur F. Stewart, "The Princeton University Library Chronicle, 45 (3), 1984, pp. 187-211; 'Peirce and Turing: Comparisons and Conjectures, Semiotica, 68(1/2), 1988, pp. Las comparaciones 187-211; "Peirce y de Turing, y conjeturas, Semiotica, 68 (1 / 2), 1988, pp. 33-61. 33-61. Peter Skagestad, 'Thinking With Machines: Intelligence Augmentation, Evolutionary Epistemology, and Semiotic,' Journal of Social and Evolutionary Systems, 16(2), 1993, pp. 157-180. Peter Skagestad, 'Pensar con Mquinas: Aumento de Inteligencia, Epistemologa evolutiva y Semitica,' Journal of Social and Evolutionary Systems, 16 (2), 1993, pp. 157-180. (18) Jaakko Hintikka, 'CS Peirce's 'First Real Discovery' and its Contemporary Relevance,' The Relevance of Charles Peirce, Eugene Freeman (ed.), The Monist Library of Philosophy, LaSalle, IL, 1983, pp. (18) Jaakko Hintikka, 'Primera CS Peirce' Real Discovery 'y su Vigencia actual, "la importancia de Charles Peirce, Eugene Freeman (ed.), La Biblioteca de Filosofa monista, LaSalle, IL, 1983, pp. 107-118. Cf. 107-118. Cf.. also Peirce, op.cit., 5.641. Tambin Peirce, op.cit., 5,641. (19) Peirce, op.cit., 3.618. (19) Peirce, op.cit., 3,618. (20) Peirce, 'Logical Machines,' American Journal of Psychology, 1(1), 1887, pp. (20) Peirce, "Logical Machines, 'American Journal of Psychology, 1 (1), 1887, pp. 165-170. 165170.