VISUALIZAR Y MANIPULAR:

SOBRE EL RAZONAMIENTO
DIAGRAMTICO Y LA NATURALEZA
DE LA DEDUCCIN

JAVIER LEGRIS
Versin preliminar. La versin final fue publicada en el volumen
Visualizao nas Cincias Formais. comp. por Abel Lassalle
Cassanave y Frank Thomas Sautter. Londres, College Publications,
2012, pp. 89-103. ISBN 978-1-84890-069-1.

Si se acepta que existen deducciones sustantivamente diagramticas, entonces debe desarrollarse una teora lgica que considere a los diagramas como
una representacin admisible de inferencias deductivas en el mismo nivel,
por lo menos, que las representaciones lingsticas. Dos cuestiones son centrales para una teora semejante: (1) la construccin de clculos formales con
diagramas, (2) una definicin de deduccin que se aplique a diagramas. La
primera cuestin consiste en formular reglas adecuadas para la construccin
y transformacin de diagramas, tal como se hace con los sistemas formales.
Respecto de la segunda cuestin, la semntica de Peirce proporciona un
marco conceptual til y apropiado, segn el cual la deduccin consiste en la
construccin de un cono o diagrama, cuyas relaciones son anlogas a las
existentes en el objeto del razonamiento. En lo que sigue se discuten ambas cuestiones, sugiriendo adems algunas ventajas de la concepcin icnica

Este trabajo fue realizado en el marco del proyecto PIP 112-200801-01334

financiado por el CONICET (Argentina). Quiero agradecer a Oscar Esquisabel, Abel Lassalle Casanave, Frank Sautter y especialmente a Jos Seoane
por sus comentarios a versiones previas del trabajo.

Visualizao nas Cincias Formais.

Abel Lassalle Casanave & Frank Thomas Sautter (eds.).
Copyright 2011.

Javier Legris

de Peirce acerca de la deduccin. Los ejemplos que se mencionan son tomados de los Grficos Existenciales de Peirce.

1. Diagramas y Teora Lgica

La lgica matemtica presupone una concepcin lingstica de la lgica.
Desde luego, existen excepciones, pero este presupuesto es predominante.
Las ideas fundamentales que caracterizan a esta concepcin pueden sintetizarse rpidamente en los dos puntos siguientes:
(1) La relacin de deduccin se da entre entidades lingsticas (en particular, enunciados).
(2) La relacin de deduccin se define para frmulas de un lenguaje formal, que se considera (a veces con limitaciones) una traduccin de los aspectos del lenguaje ordinario relevantes para caracterizar la inferencia deductiva.
Estas ideas sirvieron para desarrollar una teora de la lgica coherente y
razonablemente exitosa, que es la que se transmite, en diferentes versiones y
variantes, en muchos de los tratados y libros de texto usuales. Esta teora
incluye problemas sintcticos y semnticos y ha servido de referencia para
diferentes caracterizaciones de los conceptos lgicos, que ha conducido a la
formulacin de diferentes lgicas. En los resultados de la teora de modelos
y la teora de la demostracin quedan ejemplificados tambin los alcances de
esta concepcin.
En esta concepcin lingstica, representaciones de otro tipo tales
como diagramas, figuras, etc., cumplen nicamente un papel auxiliar y tienen una finalidad heurstica o pedaggica, tal como seal Martin Gardner
medio siglo atrs en su libro clsico sobre el tema:
En lgica, un buen diagrama tiene varias virtudes. Muchos individuos
piensan con facilidad cuando pueden visualizar pictricamente un razonamiento, y con frecuencia resulta que un diagrama les aclara cuestiones que
hubieran comprendido con dificultad en forma verbal o algebraica. Por esta
razn, los diagramas lgicos son dispositivos pedaggicos extremadamente
valiosos. (Gardner 1958: 28)
Entre los muchos ejemplos existentes, tal vez el ms familiar sean los
diagramas introducidos por John Venn en 1880 que constan de crculos intersecados, a los que se aaden diferentes marcas. Estos son aplicables tanto

Visualizar y manipular

a la silogstica como a la lgica de enunciados, y se suelen ofrecer en cursos

iniciales de lgica.
De todos modos, ms all de este valor pedaggico, se supone que los
diagramas expresan informacin cuya genuina representacin se da a travs
del lenguaje sin ms - y de manera ms exacta en un lenguaje formal. Como
consecuencia, en las exposiciones tradicionales de la historia de la lgica
matemtica las representaciones y procedimientos diagramticos ocupan un
lugar muy secundario. El pasaje siguiente de Neil Tennant es citado frecuentemente como ejemplo de esta posicin:
[El diagrama] es tan slo una heurstica para sugerir determinadas cadenas de inferencia [], es prescindible como recurso de la teora de la demostracin; ms an no tiene un lugar propio en la demostracin como tal. Pues
la demostracin es un objeto sintctico que consiste nicamente en enunciados organizados en un conjunto finito e inspeccionable. (Tennant 1986:
304)
As, puede hablarse aqu de una suerte de logocentrismo, en el sentido de
que toda teora de la deduccin es una teora acerca de estructuras lingsticas, que tiene aspectos sintcticos y semnticos. La filosofa de la lgica del
siglo XX ha girado, con muchas variantes sin duda, en torno de teoras de
este tipo.1
Por el contrario, el creciente inters en el estudio de la prctica matemtica, y ms en general, la prctica deductiva en las diferentes empresas racionales, el desarrollo de procedimientos grficos en las ciencias de la computacin y el estudio de la visualizacin en la inteligencia artificial y las ciencias cognitivas, han llevado a tomar en serio las demostraciones diagramticas. Ejemplos de esto son tanto la idea de razonamiento heterogneo, ejemplificada en la Hyperproof de Barwise y Etchemendy, en la que tanto diagramas como smbolos lingsticos aparecen conjuntamente en una deduccin, como tambin la idea de fundamentar la matemtica sobre la base de
criterios cognitivos. Estas nuevas perspectivas tambin han auspiciado tanto
una reinterpretacin de algunas ideas de los iniciadores de la lgica simblica como un examen atento de sus sistemas diagramticos. Claramente, esta
perspectiva no es logocntrica en el sentido de que no privilegia la represen1

Este punto de vista ha sido discutido extensamente por Jos Seoane como
la concepcin de la dispensabilidad de los diagramas, quien defiende, por
el contrario, la indispensabilidad del razonamiento diagramtico, si bien
limitada al plano argumental y epistmico (vase Seoane 2006: 107).

Visualizao nas Cincias Formais.

Abel Lassalle Casanave e Frank Thomas Sautter (eds.).
Copyright 2011.

Javier Legris

tacin lingstica; ambas formas de representacin van a la par y con la

misma jerarqua. Como consecuencia, la concepcin lingstica de la lgica
es puesta en tela de juicio.
Si se acepta que hay deducciones sustantivamente diagramticas, entonces debe desarrollarse una teora lgica que, a diferencia de la usual,
considere a los diagramas como una forma de representacin de inferencias
deductivas por derecho propio, que no tiene que reducirse a una representacin lingstica.
Indagando en el panorama actual, uno encuentra al menos dos marcos
generales a partir de los cuales desarrollar una teora semejante: (1) teora de
la informacin, (2) semitica. El primer marco parte de considerar la extraccin de informacin como rasgo caracterstico de la deduccin y aspira a un
concepto de informacin que sea independiente de la forma de representacin (vase Barwise & Etchemendy 1996: 22). As, unidades de informacin constituyen elementos semnticos bsicos, a partir de los que se definen
conceptos como el de verdad.2 El segundo marco es la teora del signo formulada por Charles S. Peirce y que incluye la conocida clasificacin de los
signos en ndices, conos y smbolos.3

2. Qu es un diagrama?
En un sentido amplio, un diagrama es una representacin geomtrica de
relaciones entre entidades. Estas relaciones son espaciales y tienen un carcter topolgico. As, la idea de diagrama implica necesariamente un concepto
de espacio. La siguiente es una caracterizacin ms exacta:
Un diagrama es un conjunto de objetos en el plano que denotan objetos
en una situacin [una estructura], cuyas mutuas relaciones espaciales y grficas denotan relaciones en aquella estructura. (Lemon & Pratt 1997).
En este nivel de generalidad, un diagrama puede estar constituido por entidades cualesquiera. No obstante, la representacin es nicamente bidimensional, de modo que se excluye cosas como los modelos a escala. Su rasgo
ms peculiar reside en que las relaciones entre los objetos del diagrama representan o denotan relaciones externas al diagrama mismo. En otras pala2
3

Esta idea es la que se encuentra, por ejemplo, en Devlin 1991.

De acuerdo con Sun-Joo Shin, Peirce fue el primero en presentar un marco

terico abarcativo para sistemas heterogneos (Shin 2004: 34)

Visualizar y manipular

bras, la estructura del diagrama pretende ser semejante a la estructura que el

diagrama representa. Esta semejanza estructural a veces se ha calificado
como un isomorfismo entre el diagrama y aquello que representa, o sea ambos comparten una misma estructura. Por ejemplo, para Gardner la relacin
de isomorfismo es esencial para definir un diagrama (vase Gardner 1958:
28). En todo caso, con esta semejanza estructural se ponen de relieve las
diferencias entre la representacin diagramtica y la lingstica.
La referencia a relaciones espaciales y grficas sugiere la complejidad
que puede presentar la construccin de un diagrama en comparacin con los
smbolos de un lenguaje formal. Por ejemplo, son bien conocidas las dificultades de extender los diagramas de Venn a un nmero grande de trminos.
De hecho, estos diagramas se vuelven irrealizables desde el punto de vista
grfico, y esto aparece como una importante limitacin para el razonamiento
diagramtico (aunque, por cierto, no exclusivo de este). Asimismo, la formulacin exhaustiva de las reglas de construccin de diagramas exige explicitar
relaciones y propiedades espaciales de las figuras, como el hecho de estar
arriba, o a la izquierda unas de otras. Da la impresin de que la naturaleza
misma de los diagramas presupone de hecho una enorme cantidad de presupuestos y limitaciones, que tornan difcil plasmar en ellos los ideales de claridad y exactitud que guiaban la construccin de lenguajes formales y que
arrojan sombras de duda a una teora diagramtica de la inferencia deductiva.

3. Clculos Formales con Diagramas

En la lgica matemtica los sistemas lgicos se construyen como clculos
formales. Esta construccin se basa en una gramtica lgica, una sintaxis,
especificada por medio de reglas para generar toda configuracin de smbolos o figuras admisibles, y el clculo mismo tambin contiene reglas para
generar las expresiones vlidas del sistema. En el caso de los clculos lgicos usuales el lenguaje permite generar frmulas, que representan enunciados, y los clculos dan lugar a teoremas, que representan leyes lgicas. Las
reglas de generacin de frmulas y de teoremas son recursivas y las estructuras sintcticas a las que dan lugar son, consiguientemente, recursivas. Al
clculo formal se le proporciona una semntica mediante reglas de designacin y de verdad que asignan a las figuras del clculo entidades externas al
mismo. En la especificacin, tanto del lenguaje como del clculo, los problemas relativos al tamao de las expresiones y a la construccin efectiva de
expresiones con una longitud muy grande no son tenidos en cuenta. Basta
aceptar que en principio son construibles a partir de las reglas del clculo,
que presuponen un nmero infinito de smbolos. De este modo, la sintaxis no
Visualizao nas Cincias Formais.
Abel Lassalle Casanave e Frank Thomas Sautter (eds.).
Copyright 2011.

Javier Legris

se ocupa en realidad de las figuras como objetos concretos, sino de entidades

abstractas, las que pueden dar lugar a un conjunto infinito. En este sentido,
las estructuras sintcticas no son ms que estructuras matemticas de cierto
tipo.4
Ahora bien, es comn que los lenguajes formales adopten, en su realizacin fctica, una estructura lineal para sus expresiones, y que incluso hagan
uso del alfabeto latino para algunos de sus smbolos. En este sentido parecen
imitar a la escritura de las lenguas occidentales, dando la impresin de formalizar los contenidos expresados en estas lenguas y su escritura. Efectivamente, esta idea subyace a algunas de las concepciones de la lgica. Sin
embargo, no es una condicin necesaria del concepto de clculo formal, sino
que es un aspecto de la presentacin grfica (notacin) del clculo, que obedece a preferencias pragmticas.
Los sistemas diagramticos pueden presentarse a la manera de un clculo
formal, sobre la base de introducir los diagramas por medio de reglas sintcticas y semnticas. Las reglas sintcticas determinarn cundo un smbolo
complejo es aceptado como un diagrama, es decir, est bien formado y qu
transformaciones pueden tener lugar dentro de los diagramas o entre diagramas, segn el caso. As se llega a una definicin de derivabilidad respecto de
un sistema diagramtico. Las reglas semnticas indicarn las entidades a las
que se refieren los diagramas, y establecern una relacin de consecuencia
lgica para el sistema lgico diagramtico. Sobre esta base puede establecerse la adecuacin del sistema diagramtico con una nocin semntica de validez (el caso de los diagramas de Venn, ya mencionado, es tratado en profundidad en Shin 1994).
Esta perspectiva supone una nocin general de clculo formal como un
procedimiento para la produccin de figuras a partir de figuras bsicas de
acuerdo con ciertas prescripciones, las reglas bsicas. Toda figura se compone de un repertorio de figuras o signos bsicos. Las figuras resultan a partir
de la composicin de signos conforme a un conjunto de reglas con la mayor
generalidad posible. Nada se presupone acerca de la naturaleza de estas
figuras o de aquello que representan. Tal como suceda en el caso de clculos para los lenguajes formales, se est aqu frente a una sintaxis que genera
entidades abstractas, que se especifican grficamente en los diagramas. Obviamente, estos se construyen de acuerdo con la sintaxis recursiva.

Un comentario semejante (aunque en funcin de un objetivo diferente) ha

formulado Oswaldo Chateaubriand en la segunda parte de sus Logical Forms
y lo ha llevado a afirmar que la concepcin lingstica de la lgica implica
un idealismo sintctico (vase Chateaubriand 2005: 74 y s.).

Visualizar y manipular

En suma, los lenguajes formales son casos de estructuras sintcticas de

carcter abstracto. Diferentes presentaciones grficas, es decir, notaciones,
ejemplifican una misma estructura sintctica. Pinsese sencillamente en los
casos de la notacin polaca y la notacin de Hilbert, cuyas diferencias se
encuentran en cuestiones prcticas.5 En cierto sentido, estas notaciones formalizan, en principio, maneras de normalizar o regimentar partes del lenguaje ordinario con la finalidad de desarrollar una teora lgica. Lo mismo suceder con los clculos formales construidos sobre la base de diagramas. La
diferencia estar en que formalizan formas no lingsticas de representacin
(que expresan un nivel de abstraccin seguramente mayor que el lenguaje
ordinario), y en estas la disposicin y apariencia espaciales son decisivas.
4. Los Grficos Existenciales de Peirce
Como ejemplo de sistema diagramtico al que se pueden aplicar todas las
consideraciones precedentes se adoptar el de los grficos existenciales concebidos por Charles Sanders Peirce. Estos grficos revestirn especial inters
para presentar la semitica como marco general para una teora de la lgica
que abarque razonamientos tanto lingsticos como diagramticos. No hay
dudas de que Peirce es uno de los fundadores de la lgica matemtica. A
partir de sus estudios sobre lgica de relaciones y al extender los resultados
de Boole y sus contemporneos, formul uno de los prototipos de lo que
conocemos ahora como lgica de primer orden. Los primeros trabajos lgicos de Peirce, confeccionados a partir de la dcada de 1860, son estrictamente algebraicos y se basan en el lgebra de la lgica desarrollada por Boole y
en las ideas acerca de las relaciones formuladas por De Morgan. Simultneamente Peirce comenz a desarrollar su semitica, como una teora general de los signos. Dividi esta teora en tres grandes partes: (i) gramtica
especulativa, (ii) lgica crtica y (iii) retrica formal (Peirce CP 1.444,
2.093). La lgica en sentido estricto es la segunda de estas partes. En esta
perspectiva semitica se enmarcan los grficos de Peirce, y en esto se diferencia de otros autores de la misma poca (por ejemplo Venn y Carroll) que
tambin formularon mtodos diagramticos para la lgica.
Peirce comenz a trabajar en sus grficos existenciales prcticamente sobre el filo del siglo XX. Para esta poca ya haba hecho lo que en la historia
tradicional de la lgica matemtica aparecen como sus contribuciones ms
importantes. No obstante, l consider a estos grficos existenciales su chef

La escritura conceptual de Frege ofrece un ejemplo ms interesante, por su

carcter bidimensional.

Visualizao nas Cincias Formais.

Abel Lassalle Casanave e Frank Thomas Sautter (eds.).
Copyright 2011.

Javier Legris

doeuvre; en una carta le escribi a William James que esta deba ser la lgica del futuro (vase Roberts 1973: 11).
Cualquier sistema diagramtico puede ser reconstruido como un clculo formal. En el caso de los grficos existenciales se obtiene una versin
diagramtica de la lgica de primer orden. Peirce desarroll su sistema de
grficos existenciales Alpha para la lgica de conectivas y el sistema Beta para la cuantificacin (en Hilpinen 2004: 5 se hace una presentacin
resumida; una exposicin detallada se encuentra en Roberts 1973).6 Dicho
muy sucintamente, los grficos alpha parten de suponer una hoja en blanco,
la hoja de aseveracin sobre la que se inscriben letras de enunciado y tambin crculos o elipses, a los que Peirce llama cortes. Todo enunciado que
aparece en la hoja se afirma como verdadero (vase Peirce CP 4.421 y
4.431). Los cortes representan negaciones y dos o ms enunciados inscriptos
dentro un corte se interpretan como su conjuncin. Con estos elementos se
representan las funciones de verdad. Por ejemplo, un condicional Si P entonces Q como la negacin de la conjuncin de P y la negacin de Q, lo que
queda expresado por el grfico siguiente:

(vase Peirce CP 4.378).

No es difcil concebir reglas de formacin para estos grficos. El vocabulario estara dado letras de enunciado P, Q, R, S, etc. y los crculos o elipses,
los cortes, presuponiendo la hoja de aseveracin:
(1) Cualquiera de las letras P, Q, R, S, T, eventualmente con subndices,
inscriptas en la hoja de aseveracin son grficos Alpha.

Aqu se sigue la interpretacin de los grficos existenciales como una presentacin de la lgica de predicados. Los textos de Peirce hacen admisible
esta interpretacin. No obstante, existen otras interpretaciones, segn la cual
representan una lgica de conceptos.

Visualizar y manipular

(2) Si A1, , An son grficos de Alpha dispuestos en la hoja de aseveracin, entonces todos ellos conjuntamente son un grfico Alpha.
(3) Si A es un grfico de Alpha, entonces el corte de A es un grfico
Alpha.
(4) Slo son grficos los producidos por las clusulas (1) (3).
As se obtiene una definicin recursiva del concepto de ser grfico
Alpha. Adems, Peirce proporcion una serie de reglas para realizar deducciones lgicas con los grficos, que bsicamente son reglas de insercin o
borrado en la hoja de aseveracin (vase Peirce CP 4.505-508). Estas reglas
pueden formularse como las reglas de un clculo formal, que requieren adems especificar las reas anidadas dentro de los cortes y la hoja vaca.
Como ejemplo, tenemos las tres siguientes, presentadas de un modo simplificado:
(R1) Regla de insercin: Dada un rea con un nmero impar de cortes,
puede insertarse cualquier grfico.
(R2) Regla de iteracin: Si un caso de un grfico A aparece en un rea,
entonces puede insertarse otro caso de A en el rea o en un rea anidada en
A.
(R3) Regla de doble corte: Dos cortes pueden ser inscriptos o removidos
de cualquier grfico, suponindose que ningn grfico aparece entre ambos
cortes.
Con reglas de este tipo puede definirse el concepto de derivacin en
Alpha de un grfico (la conclusin) a partir de un nmero finito de grficos
(las premisas) como una sucesin de grficos que parte de las premisas y
llega a la conclusin y en el que los sucesivos grficos diferentes de las premisas resultan de la aplicacin de las reglas del sistema Alpha. Un teorema
en Alpha ser una derivacin a partir de la hoja vaca.
La siguiente es una derivacin de la ley lgica Si P entonces P
como un teorema en el sistema Alpha a partir de la hoja de aseveracin vaca
que consta de cuatro pasos

Visualizao nas Cincias Formais.

Abel Lassalle Casanave e Frank Thomas Sautter (eds.).
Copyright 2011.

Javier Legris

(vase Hilpinen 2004: 635). El smbolo
representa la hoja vaca y la

doble flecha indica la aplicacin de reglas. El segundo grfico se obtiene del
primero por (R3), el tercero resulta del segundo por (R1) y el ltimo por
(R2).7
Observando los sistemas diagramticos existentes, parece viable clasificarlos en dos grandes grupos: de un lado, aquellos en los que la conclusin
queda diagramada al diagramar las premisas y, de otro lado, aquellos en los
que los diagramas correspondientes a las premisas requieren ser transformados mediante reglas a fin de obtener la conclusin. Usando una terminologa
que aparece en Peirce, los primeros son estticos, los segundos son dinmicos. Obviamente, los diagramas alpha pertenecen al segundo tipo.8
Sobre esta base, puede pensarse en resolver problemas lgicos tales
como la consistencia del sistema e incluso establecer su adecuacin con la
semntica usual de valores de verdad.9 El anlisis y la resolucin de estos
problemas no ofrecen diferencias sustanciales con el caso de sistemas formales no diagramticos. Desde ya, pueden advertirse algunas dificultades en la
explicitacin de todas las reglas, dado que se emplean convenciones espaciales implcitas. Por lo dems, el sistema Alpha no es exclusivamente diagramtico, pues las letras maysculas representan enunciados. Sin embargo, es
interesante observar que los conceptos lgicos tienen una representacin
diagramtica. Los conceptos lgicos son visualizados mediante lneas dispuestas en la hoja de aseveracin. En el caso del sistema Alpha, todas las
7

Ntese que el grfico resultante tambin representa al principio de no contradiccin P y no P.

8

Esta clasificacin tiene importancia y est emparentada con a la distincin

entre sistemas de decisin y sistemas de demostracin. En los sistemas estticos, las reglas sirven para construir diagramas que representan informacin.
En los sistemas dinmicos las reglas prescriben sobre la transformacin de
diagramas ya dados, y seran sistemas que representan el proceso de deduccin.
9
Una semntica tarskiana para los grficos existenciales est desarrollada en
Hammer 1998.

Visualizar y manipular

funciones de verdad de la lgica clsica pueden representarse mediante grficos, siendo los cortes y la disposicin de las letras dentro y fuera de los
cortes los elementos bsicos para construir los diagramas (en este sentido no
muy lejos de las barras de la escritura conceptual de Frege). En el sistema
Beta, otros signos se aaden para expresar los cuantificadores. Ntese tambin que la conversin del sistema Alpha en un sistema lineal es muy sencilla, pensando en corchetes en lugar de crculos o elipses para los cortes. Por
ejemplo [P] representara la negacin de P. En el caso del sistema Beta para
la lgica cuantificacional esta conversin es ms difcil pues la representacin que exigen los predicados relativos y la cuantificacin mltiple parece
ser necesariamente bidimensional.10
Esta reconstruccin de los razonamientos diagramticos como clculos,
los asimila a los sistemas usuales en lgica simblica. Por consiguiente, sus
peculiaridades, tal como se comentaba en la primera seccin, no parecen ir
ms all de cuestiones didcticas y perceptivas. Si esto es as, los sistemas
diagramticos no presentan rasgos que los tornen indispensables en la elucidacin del concepto de deduccin, y, en todo caso, el problema a discutir es
la funcin de los lenguajes y sistemas formales en esta elucidacin. Sin embargo, Peirce, con su perspectiva semitica, vio en el razonamiento diagramtico la deduccin par excellence.

5. Diagramas y la Naturaleza Icnica de la Deduccin

Una de las clasificaciones semiticas de los signos (tal vez la ms difundida)
distingue entre conos, ndices y smbolos (vase Peirce CP: 2.247 y ss.). Los
diagramas caen dentro de la categora de conos. La idea que se tiene de un
cono es, en general, la de un signo que se refiere a su objeto mediante una
relacin de similaridad. Para entender los rasgos distintivos de los diagramas
en tanto conos es indispensable aclarar en qu consiste esta relacin de similaridad.
Peirce consideraba diagramtica a toda forma de razonamiento necesariamente vlido (es decir, razonamientos deductivos, vase, por ejemplo,
Peirce CP: 4.431). Los diagramas son un tipo de conos. Para Peirce los co10

Los grficos existenciales tornan visuales interesantes propiedades de los

conceptos lgicos, como por ejemplo, la vinculacin entre corte e hiptesis o
supuesto, que ha llevado a comparar los grficos existenciales con la deduccin natural. Tambin la nocin de contradiccin y el principio del ex falso
quodlibet quedan sugerentemente representados. Finalmente, la comparacin
con la notacin conceptual de Frege pone de relieve el fuerte carcter diagramtico de este ltimo sistema

Visualizao nas Cincias Formais.

Abel Lassalle Casanave e Frank Thomas Sautter (eds.).
Copyright 2011.

Javier Legris

nos son esencialmente signos que pueden ser manipulados con el fin de extraer informacin acerca de sus denotados. Esta caracterizacin implica la
observacin de signos y tambin acciones sobre estos, acciones que forman
parte de lo que se denomina visualizacin. En este marco, la deduccin
consiste para Peirce en la construccin de un cono o diagrama, cuyas relaciones son anlogas a las existentes en el objeto del razonamiento. Por lo
tanto, la funcin del cono es en este caso hacer visible (o visualizar) la
estructura del razonamiento (y esto es algo que no es posible hacer en el
lenguaje ordinario). En un pasaje de su obra The New Elements of Mathematics, Peirce afirma:
Un diagrama es un cono de un conjunto de objetos racionalmente relacionados. [] El diagrama no slo representa los correlatos vinculados, sino
tambin, y de manera mucho ms definida, la relacin entre ellos. [] El
razonamiento necesario lleva a una conclusion evidente. Qu es esta evidencia? Ella consiste en el hecho de que la verdad de la conclusin es percibida, en toda su generalidad, y en la generalidad del cmo y por qu la
conclusin es percibida. [] Es [] un rasgo muy extraordinario de los
diagramas que ellos muestran [] que se sigue una consecuencia. [] De
todos modos, no es el diagrama-cono esttico que muestra directamente
esto, sino el diagrama-cono construido con una intencin. (Peirce, NEM
IV: 316)
As, la idea de Peirce acerca del carcter icnico de la deduccin puede
reconstruirse del modo siguiente. La relacin de similaridad entre significante y significado que vale para el caso de los diagramas es el de una similaridad estructural; una similaridad exclusivamente entre las relaciones. El diagrama es una estructura compleja que puede ser manipulada, de modo de
hacer lo que Peirce llama experimentos sobre ella. En estos experimentos
se va determinando aquello que determina la construccin del diagrama. Es
decir, al ver y manipular el diagrama se aprende sobre las reglas de su construccin.11 De estas operaciones resulta un signo que muestra informacin
implcita en el diagrama. Esta idea ya est presente en obras anteriores de
Peirce. En su conocido trabajo de 1885 sobre lgebra de la lgica puede
leerse:

11

Frederik Stjernfelt ha sealado que esta es una concepcin operacional de

similaridad, bien diferente de la semejanza psicolgica perceptiva o la mera
identidad (vase Stjernfelt 2006 y 2007: 90).

Visualizar y manipular

Todo razonamiento deductivo [] contiene un elemento de observacin, a saber, la deduccin consiste en construir un icono o diagrama, la
relacin de cuyas partes presentan una completa analoga con aquellas de las
partes del objeto de razonamiento, del experimentar sobre esta imagen en la
imaginacin y de observar el resultado, de modo de descubrir relaciones no
advertidas y ocultas entre las partes. (Peirce CP: 5.165; 3.363)
Tanto los diagramas como las expresiones del lgebra son conos y los
sistemas construidos respectivamente en ambos casos realizan un anlisis
del proceso de deduccin en sus elementos bsicos (vase Peirce CP: 4.424).
Como consecuencia, el sistema del lgebra para la lgica tiene tambin un carcter icnico. La diferencia entre los signos algebraicos y los
diagramas reside en que los aspectos icnicos son preponderantes en los
diagramas; estos hacen visible la informacin lgica. Y este hecho es una
ventaja que los diagramas tienen respecto del lgebra.
Se mencion que el sistema diagramtico de Peirce es dinmico: Los
pasos determinados por la aplicacin de reglas son pasos de un proceso, al
que l llamaba curso de pensamiento:
Me refiero a un Sistema de diagramatizacin por medio del cual cualquier curso de pensamiento puede ser representado con exactitud. (Peirce
CP: 4.530)
Vale concebir esta representacin como un dibujo animado: imgenes en
movimiento del pensamiento. Para entender mejor su funcionamiento, Peirce
los compara con el uso de mapas en una campaa militar (ibid.): en el mapa
se van sealando las diferentes ubicaciones posibles e hipotticas segn los
diferentes cursos o caminos que vaya tomando una batalla. As se entiende
que los diagramas permitan hacer experimentos, es decir manipular los
diagramas de manera tal que sea posible visualizar las situaciones hipotticas, y en este punto Peirce recurre a la analoga con los experimentos en
qumica y fsica (ibid.). En estos casos los objetos de la investigacin son
estructuras fsicas tales como estructuras moleculares y la experimentacin
concierne a las relaciones dentro y entre estructuras moleculares. En el caso
de los diagramas lgicos, el objeto est constituido por la forma de una relacin, y esta forma de la relacin es la misma que la que se da entre dos elementos del diagrama. En suma, los diagramas representan formas lgicas.
Las reglas de los grficos existenciales son reglas formales, por medio de
las cuales un grfico puede ser transformado en otro sin peligro de pasar de
la verdad a la falsedad y sin hacer referencia a interpretacin alguna de los
grficos (Peirce CP: 4.423).
Visualizao nas Cincias Formais.
Abel Lassalle Casanave e Frank Thomas Sautter (eds.).
Copyright 2011.

Javier Legris

6. Conclusiones
En el siguiente texto, Peirce resume sus ideas sobre el razonamiento diagramtico:
Por razonamiento diagramtico entiendo el razonamiento que construye
un diagrama de acuerdo con un precepto expresado en trminos generales,
realiza experimentos sobre este diagrama, toma nota de sus resultados, se
asegura de que experimentos realizados sobre cualquier razonamiento que
sea construido con el mismo precepto tengan los mismos resultados, y expresa esto en trminos generales. (Peirce NEM 4: 47-48)
De acuerdo con esto, el razonamiento diagramtico es antes que nada un
mtodo de deduccin. Como se mencion antes, este mtodo es el que representa mejor el curso del razonamiento, esto es, la estructura de la deduccin. La deduccin se define como un operar con diagramas. Los diagramas
son un modo de representacin estructural (representa estructuras) que privilegia aspectos visuales. La faceta operativa y la estructural son ambas esenciales para caracterizar la deduccin tal como Peirce lo hace, y es en los
diagramas que ambos aspectos se ponen de manifiesto ms expresamente.
Las deducciones algebraicas son tambin diagramticas, slo que en mucha
menor medida (es decir, el aspecto icnico, en sus dos facetas, es menos
evidente). Sobre esta base, queda claro que no hay problema alguno en concebir clculos formales con diagramas.
Desde el punto de vista semitico, los lenguajes formales son sistemas de
naturaleza muy diferente a la del lenguaje ordinario (o, mejor, a su escritura),
de modo que no es posible establecer comparaciones exactas entre ambos.
Como consecuencia, la teora lgica resultante no es una reconstruccin de
la lgica del lenguaje ordinario (aunque, obviamente, en el lenguaje ordinario tambin se representen las estructuras lgicas). A fines ilustrativos, la
relacin entre la representacin diagramtica y el lenguaje ordinario puede
equipararse con la relacin entre los sistemas de escritura y la lengua oral.
En general, la escritura no es nicamente una transcripcin de la lengua oral.
Tal es claramente el caso de las escrituras llamadas ideogrficas, las que son
independientes de la lengua oral.
Ahora bien, los textos de Peirce no explicitan claramente la naturaleza de
las entidades que los diagramas y su proceso de construccin representan.

Visualizar y manipular

Frente a la opcin de un platonismo simpliciter, que considere las formas

lgicas como entidades abstractas visualizadas mediante los diagramas, la
definicin de razonamiento diagramtico presupone prima facie una concepcin pragmtica. La elucidacin de la relacin entre el diagrama y lo que
representa hace referencia a las acciones de quien construye el diagrama y
de quien lo interpreta, y adems es propio de los diagramas el hecho de tener
una pluralidad de interpretaciones. En esta concepcin son decisivos los
aspectos cognitivos y las cuestiones semnticas se tornan inseparables de las
pragmticas. Ahti-Veikko Pietarinen lamenta que Peirce no ofrezca una explicacin de cmo los grficos nos dan a conocer visualmente el curso del
pensamiento (v. Pietarinen 2006: 104-105). A modo de conjetura, las herramientas de la semntica basada en la teora general de la demostracin podran ser tiles para completar esta teora pragmtica.12

7. Referencias
Barwise, Jon & John Etchemendy (1996). Visual Information and Valid Reasoning. En Logical Reasoning with Diagrams. comp. por Allwein, Gerard & Jon
Barwise. Nueva York Oxford: Oxford University Press, 1996, pp. 3-22.
Chateaubriand, Oswaldo (2005). Logical Forms. Part II. Logic, Language and
Knowledge. Campinas: UNICAMP, Centro de Lgica, Epistemologia e Histria
da Cincia.
Devlin, Keith (1991). Logic and Information. Cambridge et a.l: Cambridge University Press.
Gardner, Martin (1958). Logic Machines and Diagrams. Nueva Cork Toronto
Londres: McGraw-Hill.
Hammer, Eric M. (1998). Semantics for Existential Graphs. Journal of Philosophical Logic XXVII, pp. 489-503.
Hilpinen, Risto (2004). Peirces Logic. Handbook of the History of Logic, volumen 3. The Rise of Modern Logic: From Leibniz to Frege. Compilado por Dov
M. Gabbay & John Woods. Amsterdam et al.: Elsevier, pp. 611-658.
Lemon, Oliver & Ian Pratt (1997). Spatial Logic and the Complexity of Diagrammatic Reasoning. Machine Graphics and Vision VI (1), pp. 89-108.
Peirce, Charles Sanders. CP. Collected Papers. 8 volmenes, vols. 1- 6 compilados
por Charles Hartshorne & Paul Weiss, vols. 7-8 compilados por Arthur W.
Burks. Cambridge (Mass.): Harvard University Press, 1931-1958.
Peirce, Charles Sanders. NEM. The New Elements of Mathematics by Charles S.
Peirce, 4 vols., comp. por Carole Eisele. The Hague: Mouton, 1976.
12

Pietarinen mismo sigue un camino diferente y aplica la semntica basada

en teora de juegos desarrollada por Jaakko Hintikka, que tiene algunos puntos en comn con la semntica basada en el concepto de demostracin.
Visualizao nas Cincias Formais.
Abel Lassalle Casanave e Frank Thomas Sautter (eds.).
Copyright 2011.

Javier Legris

Peirce, Charles Sanders. W. Writings of Charles Sanders Peirce. A Chronological

Edition, comp. por Peirce Edition Project. Bloomington & Indianapolis, Indiana
University Press, 1981, 6 vols.
Pietarinen, Ahti-Veikko (2006). Signs of Logic. Peircean Themes on the Philosophy
of Language, Games and Communication. Dordrecht: Springer.
Roberts, Don (1973). The Existential Graphs of Charles. S. Peirce. The Hague:
Mouton.
Seoane, Jos (2006). Representar y demostrar. Observaciones preliminaries sobre
diagramas. Representaciones. Revista de Estudios sobre Representaciones en
Arte, Ciencia y Filosofa II (2), pp. 105-125.
Shin, Sun-Joo (1994). The Logical Status of Diagrams. Cambridge, et al.: Cambridge University Press.
Shin, Sun-Joo (2004). The Iconic Logic of Peirces Graphs .
Cambridge, MA: MIT Press.
Stjernfelt, Friederik (2006). Two Inconicity Notions in Peirces Diagrammatology. ICCS 2006, comp. por H. Schrfe, P Hitzer y P. hrstrm, Berlin Heidelberg: Springer.
Stjernfelt, Friederik (2007). Diagramatology. An Investigation on the Boderlines of
Phenomenology, Ontology and Semiotics. Berlin Heidelberg: Springer.

Visualizar y manipular