Razonamiento diagramtico

1 Lingua y calculus

Camino del ser y diagrama total, Juan Jos Luetich (2008).[1]

El Camino del Ser (de color rojo) y el diagrama total (en escala
de grises): ambos, resultados del razonamiento diagramtico

El razonamiento diagramtico (tambin llamado razonamiento grco o conceptografa) es el que se lleva

adelante haciendo uso de representaciones visuales de los
conceptos.[2] En esta tcnica, los diagramas y los grcos
son ms importantes que las palabras y las expresiones
matemticas.[3]

Gottfried Wilhelm Leibniz (16461716), lsofo y matemtico

alemn de los tiempos del Sacro Imperio Romano Germnico, el
ltimo genio universal y el primer sabio en recurrir al razonamiento diagramtico

El origen de esta forma de razonamiento debe buscarse

en los grafos de Llul y Leibniz, las lneas de Leibniz y los
diagramas de Euler.[4] Sin embargo, una expresin equivalente a razonamiento diagramtico aunque aplicada especcamente a una notacin de dos dimensiones
recin aparece en 1879 con la publicacin del libro Begrisschrift de Gottlob Frege, que ha sido traducido al
castellano como Conceptografa.[5] La historia del razonamiento diagramtico incluye tambin la creacin por
parte de Peirce del sistema de grcos existenciales, una
notacin geomtrica-topolgica-lgica que Gardner consideraba el ms ambicioso sistema de lgica geomtrica
que se haya construido jams.[6] [7][8] Shin hizo luego
una extensin de esos grcos hasta convertirlos en una
herramienta equivalente a la tcnica clsica de operacin
con predicados mondicos de primer orden.[9] En la tradicin de considerar a la lgica como lenguaje universal
trabajaron Leibniz, Frege, Russell, Wittgenstein, Carnap,
Quine, Strawson y, ms recientemente, Luetich.[7][10] Se
ha mostrado que el lenguaje de diagramas y grcos permite establecer relaciones de largo alcance: por ejemplo,
entre las matemticas, la ontologa, la dialctica, la lgica, la semiologa y la fenomenologa.[11][12][13]

La characteristica universalis es el lenguaje formal universal que Leibniz imagin para expresar conceptos matemticos, cientcos y loscos.[10] En su vasta obra,
Leibniz formul el lenguaje universal de varias maneras,
un resumen de las cuales se encuentra en la serie de artculos editados por G. H. R. Parkinson.[14]
El objetivo de Leibniz era usar ese lenguaje en un sistema de clculo lgico universal de tipo computacional, el
calculus ratiocinator.[15] En palabras del propio Leibniz,
con un sistema tal, de surgir controversias, dos lsofos
no tendran que discutir ms que dos matemticos. Sera
suciente que tomaran papel y lpiz, se sentaran y dijeran: Calculemos!.[16] De ah que Russell haya traducido la expresin latina characteristica universalis como
matemtica universal.[16]
En resumen, la propuesta de Leibniz era: encontrar un
lenguaje que permita aplicar reglas de inferencia a conceptos matemticos y no matemticos.
1

LENGUAJE

El lenguaje tiene sus reglas de construccin, llamadas reglas sintcticas. Las demostraciones son hechas respetando reglas que establecen la direccin del razonamiento,
las reglas semnticas.

Diagramas de Leibniz En los primitivos diagramas

de Leibniz los conjuntos eran representados con lneas
continuas. Las mismas se superponan en las intersecciones (indicadas con segmentos discontinuos).

Muchos pensadores retomaron esta idea de Leibniz. Frege, por ejemplo, introdujo la Conceptografa como un
calculus ratiocinator con su lingua characteristica, y
segn Kluge esa obra estuvo conscientemente inspirada en las ideas de Leibniz.[17] Otros pensadores, en cambio, no la mencionaron. Tal es el caso de Peirce, quien
crea que todo razonamiento era, en ltima instancia,
diagramtico.[18]

Leibniz tambin us crculos, pero encontr que en ciertos casos stos requeran signos suplementarios. Las lneas de Leibniz constituyen una muestra de la lingua characteristica.[25]

El genio de Leibniz fue reconocido por Grassmann cuando, en la introduccin a su Anlisis Geomtrico, dej escrito que ideas como la de la characteristica ponan al lsofo por encima de otros pensadores de su tiempo.[19] Sobre este punto volvi mucho despus Heath.[20] Norbert
Wiener vea en la mquina de Leibniz un antecedente de
las computadoras actuales.

Lenguaje

Los diagramas constituyen el lenguaje de este tipo de razonamiento. Tambin son usados los grafos, que establecen conexiones y en muchos aspectos son equivalentes a
los diagramas.

2.1

Diagramas

El sistema universal de Leibniz tena dos componentes:

un lenguaje (characteristica) y un mtodo (calculus). Am- El gran matemtico suizo Leonhard Euler (17071783)
bos eran inseparables al punto que sus nombres son usados muchas veces como sinnimos. Este hecho se puede Diagramas de Euler En los diagramas de Euler (a veinterpretar de dos maneras:
ces llamados crculos de Euler), se muestran las lneas
de denicin de los conjuntos y cada regin (de elemen[21]
detrs de ambos est la lgica,
lo cual obliga a tos propios o de superposicin) contiene al menos un eledarle a la voz griega simultneamente los sig- mento.
nicados de palabra y razn,[22] o
Cuando no hay elementos que respondan a cierta combinacin de deniciones, la regin no se representa.
las deniciones son una cosa (ontologa) y las ope[23]
Los diagramas de Euler hicieron de puente entre los priraciones que con ellas se hace son otra (lgica).
mitivos diagramas de Leibniz y los diagramas de Venn,
Adoptando el segundo punto de vista, los diagramas pue- ampliamente usados hoy.
den ser clasicados en ontolgicos (los de Euler, los de
Venn de conjuntos y los totales), topolgicos (los diagramas de Peirce extendidos, los de Shin y los diagramas
con araas) o lgicos (los de Venn de enunciados y los
diagramas alfa y beta de Peirce).
2.1.1

Diagramas ontolgicos

Diagramas de Venn de conjuntos Los diagramas de

Venn de conjuntos muestran todas las regiones posibles
(en este caso, 7, dos de ellas sombreadas por estar vacas)
ms la regin de los elementos que no responden a ninguna denicin (totalizando 8).

El rectngulo del diagrama de Venn representa el conjunto de los elementos tomados en cuenta (conjunto univerSon los diagramas que muestran entes (elementos) sal, U). Venn nunca represent al universal en sus trabay las deniciones que a ellos se les ha aplicado jos, pero fue quien introdujo la expresin universo del
(conjuntos).[24]
discurso.

2.1

Diagramas

3
para usar una expresin de Leibniz una combinatio impossibilis. Se trata entonces de diagramas topolgicos.[28]
Topologa exible En un intento por exibilizar la topologa de los sistemas, Peirce introdujo en los diagramas
de Venn la notacin lgica correspondiente a la disyuncin. Con ello cre los diagramas de topologa exible.
A esta extensin de Peirce siguieron otras dos (Venn-I y
Venn-II), propuestas por Shin.[29]

El matemtico y lgico ingls John Venn (18341923)

Diagramas totales 2D Los diagramas totales de dos

dimensiones muestran los elementos denidos, los que no
responden a ninguna denicin y algunos de los que no
han sido considerados.
En el diagrama total en dos dimensiones se representa
la regin de las deniciones, el cosmos (blanca), y la
de lo no denido, el caos (gris); ambas constituyen el
Todo.[12] El diagrama total permite resolver de manera
elegante el problema que Humpty Dumpy le plante a
Alicia en la obra A travs del espejo de Lewis Carroll. Este
problema no es tan sencillo como lo hace parecer el formato de cuento infantil elegido por el autor porque plan- Charles Sanders Peirce (18391914), lgico americano considetea a un mismo tiempo el dilema matemtico ser A-ser rado el padre de la semitica moderna
no A" y la cuestin losca mostrarse-ocultarse.[26]
Extensin de Peirce La extensin de Peirce de los diagramas de Euler-Venn introduce tres smbolos:
2.1.2 Diagramas topolgicos
o para reemplazar al sombreado,
Son los diagramas que muestran la posicin relativa de los
x para indicar importacin existencial, y
conjuntos, pero no los elementos. La forma, el tamao y
la posicin de las lneas cerradas no tienen importancia.
Regiones posibles En los diagramas de conjuntos de
Euler y de Venn se pone nfasis en indicar las regiones
posibles. En los diagramas de Euler, solamente son representadas las regiones en las que puede haber elementos.
En los diagramas de Venn, a las regiones que no contienen
elementos se las anula sombrendolas.[27]

"" (lnea) para unir los dos anteriores e indicar

disyuncin.[29]
As, por ejemplo, el siguiente diagrama representa la proposicin: Todo elemento de B es de A o algunos elementos de B son de A.

Esta proposicin topolgica no se podra representar con

un diagrama de Euler: sera necesario usar dos y buscar
En estos ejemplos se muestra que no hay elementos que alguna manera de indicar la disyuncin.
pertenezcan a A y C que no sean tambin de B, ni tampoco Las ventajas de la notacin de Peirce, en este caso, son
elementos que pertenezcan exclusivamente a C. En el dia- grandes. Sin embargo, cuando las proposiciones son ms
grama de Venn de conjuntos cada regin sombreada es complejas, la lectura del diagrama se torna dicultosa.[29]

LENGUAJE

Primera extensin de Shin (Venn-I)

tiene las siguientes caractersticas:

Esta extensin y contiene slo 2 elementos. El diagrama contiene 3 araas: 2 de un pie cuyo hbitat es la zona de los elementos
de A que no pertenecen a B y 1 articulada, en la regin
[27]
vuelve al sombreado de regiones para indicar que de los elementos que son de B pero no de A.
stas no pueden ser ocupadas,
usa el smbolo x de Peirce, y

2.1.3 Diagramas lgicos

usa el smbolo "", introducido por Peirce.[29]

Son los diagramas que muestran los resultados de operaciones lgicas.

En estos diagramas (equivalentes), las dos premisas son:

Diagramas de Venn de enunciados Los diagramas
de Venn de enunciados muestran el resultado de una operacin con enunciados (en este caso, A B) con colores,
B tiene algn elemento.
que en este caso son: verde, cuando la regin corresponde
al resultado; rojo, cuando no. ste es el cdigo del semLa conclusin, por lo tanto, es: Algn elemento perteforo de dos colores.
nece simultneamente a B y A.
Ningn elemento es slo de B, y

Grcos existenciales alfa de Peirce En los grcos existenciales alfa de Peirce (grcos que conectan enunciados), la conjuncin se representa colocando
los enunciados sin solucin de continuidad y la negacin
se representa como un recorte de la hoja de enunciados (una lnea curva cerrada). En el siguiente diagrama
La proposicin, en este caso, es: O todo elemento de A se muestra la proposicin ((A) (B)), equivalente a
es elemento de B y algn elemento de A es de B, o ningn A B.[6]
elemento de A es de B y algn elemento de B no es de A. Al hacer demostraciones o cuando los diagramas son
El diagrama simple de Peirce es de lectura ms difcil que complejos, es conveniente sombrear las zonas encerrael correspondiente diagrama doble de Shin.
das por un nmero impar de recortes, como se ha hecho
Segunda extensin de Shin (Venn-II) Esta extensin
tiene las mismas caractersticas que el anterior, pero agrega la posibilidad de conectar dos diagramas que en este
caso tienen representado el conjunto universal con una
lnea de disyuncin.[29]

ms abajo.
Araas Los diagramas con araas son una extensin
de los diagramas de Euler, y por lo tanto en ellos hay informacin topolgica. Se los obtiene introduciendo restricciones de dos tipos: agregando araas (secuencias x
de Peirce generalizadas) y sombreando regiones. La presencia de una araa indica la existencia de un elemento
en su hbitat (la regin donde se encuentra). Una regin sombreada es la que no contiene ms elementos que
los que indican las araas correspondientes. Si una regin
sombreada no tiene araas, est vaca. Dos araas unidas
por una lnea indican la existencia de por lo menos un elemento en las regiones involucradas. El nombre araa se
ha elegido porque en diagramas complejos muchas lneas
pueden salir de cada punto, como los hilos de un nodo de
una telaraa.[27]
El diagrama de la gura indica que:
C est contenido en B;
A B tiene exactamente dos elementos;
hay al menos un elemento en B A.
El diagrama tiene 3 lneas limite de conjuntos (deniciones), indicadas con los rtulos A, B y C, y 6 regiones, por
ejemplo la regin cuyo contorno es B pero que no contiene elementos ni de A ni de C. Una zonas est sombreada

Grcos existenciales beta de Peirce En los grcos existenciales beta de Peirce (grcos que conectan
predicados), hay cuanticadores aplicados a entes, no a
deniciones. A estas expresiones Peirce las llam de primer orden. En estos grcos, el autor introdujo la lnea
de identidad o lnea de importacin existencial ():
la expresin A se lee algo [o alguien] es A, es
decir, x | x A;
la expresin AB se lee algo [o alguien] es A y B,
es decir, x | x A x B.
Del mismo modo que en los grcos alfa, las conexiones de dos predicados pueden ser hechas recurriendo a
recortes.[18]
La notacin de la columna izquierda evita que los recortes
ocupen tanto espacio.
2.1.4 Diagrama total 3D
El diagrama total de tres dimensiones es una extensin
de los diagramas de Venn que forma parte de la teora
del conocimiento presentada en una serie de artculos loscos por Juan Jos Luetich.[24] Su estructura es la de

2.2

Grafos

un rbol con tres bifurcaciones.[30] Las dos primeras sur- de juicios de Aristteles quedara entonces representagieron de un anlisis de la obra Sobre la Naturaleza de do como se muestra en la gura.
Parmnides.[30] La ltima corresponde a un diagrama de
Venn de una sola denicin.[31]
2.2.2 Diamante de Leibniz
De todos los entes que la mente humana puede concebir
(reales, imaginarios, concretos, abstractos), el Todo, unos
pocos forman parte de su universo, U. De esos entes, a
su vez, slo algunos se corresponden con una denicin o
concepto, A. Los entes denidos por responder a una
denicin o por oponerse a ella (A o ~A) forman parte
de la regin blanca, el universo o cosmos, ya que han
sido ordenados por la denicin. Los entes no denidos
existen, pero estn ocultos en la regin gris, forman parte
del caos, del lugar donde no hay conceptos ni orden.[12]

2.2

Grafos

Los grafos son construcciones que surgen de representar

elementos y sus conexiones.[32] La teora de grafos, como la teora de conjuntos, est ntimamente ligada a la
topologa.[33][34]
2.2.1

Cuadrado de oposicin
Una muestra de razonamiento diagramtico: grabado del libro
de Leibniz De Arte Combinatoria de 1666

En el grabado de la portada del libro De Arte Combinatoria de 1666, Leibniz habra dado otra muestra de su
lenguaje universal.[36] En l se representa la idea de los
antiguos de que todas las cosas materiales estn hechas
de tierra, agua, aire y fuego, elementos que combinan
las cualidades de: fro, hmedo, caliente y seco. Entre elementos, entre cualidades, y entre elementos y cualidades,
han sido dibujadas lneas, cada una con un rtulo. As,
por ejemplo, a los nodos SICCITAS y HVMIDITAS (sequedad y humedad) se los ha conectado con una lnea
rotulada Combinatio impossibilis (combinacin imposible). En otros trminos, de los elementos de estos dos
conjuntos, el grabado muestra las conexiones, objeto de
estudio de la topologa. La characteristica es, en este caso, una notacin topolgica.[37] El siguiente grafo es una
variante del Diamante de Leibniz, que muestra la relacin entre elementos y cualidades a la manera de un grafo
bipartido.[37]
Cuando dos cualidades concurren en un elemento es porque su combinacin es posible. Por ejemplo, CALIDITAS y HVMIDITAS concurren en AER. Cuando dos
cualidades no se encuentran en ningn elemento, su combinacin es imposible. Tal es el caso de HVMIDITAS y
Aristteles (384 a.C.322 a.C.), lsofo griego fundador de la
SICCITAS.[37] Con estos elementos y cualidades, sujelgica clsica
tas a las restricciones mencionadas, se puede deducir la
Aristteles, al fundar la lgica, puso su atencin en al- cantidad de combinaciones posibles.
gunos cuanticadores usados en el lenguaje natural: to- El diamante de Leibniz puede ser representado sin recudo, algn, ningn, no todo.[35] stos pueden ser expresa- rrir a un grafo partido, simplemente usando cuatro condos usando la notacin de Peirce de predicados (grcos juntos. En este caso, a menos que a los conjuntos se los
existenciales beta). El clsico cuadrado de oposicin dibuje como rectngulos, quedaran regiones vacas. Para

DEMOSTRACIONES

Friedrich Ludwig Gottlob Frege (18481925), matemtico alemn considerado por muchos el fundador de la lgica moderna
ignis - aer - aqua - terra (Leibniz, Germn Schultze - Luventicus)

Este esquema representa la disyuncin lgica A B, o

mejor, A B.[40]

indicar esa situacin se puede hacer uso de un diagrama

En su trabajo sobre los axiomas del clculo proposicional,
con araas.[37]
Frege recurra slo a las operaciones negacin e implicaEstas representaciones actuales del tema que Leibniz tocin.
m de los antiguos para ilustrar su libro de anlisis combinatorio muestran lo que ha sido la historia del razona- Obsrvese que la notacin de los diagramas beta de
miento diagramtico, un rea de trabajo en la que se ha Peirce con recortes abreviados o no tambin es bivuelto siempre sobre los mismos complejos problemas, dimensional, como se puede ver claramente en la lista de
desde la perspectiva de especialistas en las materias ms reglas de inferencia.
diversas.[37]
2.2.3

rboles

3 Demostraciones

Los rboles son unos grafos especiales con estructura je- Las deducciones sirven son operaciones que se realizan
rrquica, que pueden ser usados para dar la misma in- con los diagramas o grafos para obtener resultados o conformacin topolgica que los diagramas de Euler y de clusiones.
Venn.[31][38]
Cada rbol muestra las regiones posibles del diagrama
que est a su derecha. Las primeras 2 ramas corresponden
al conjunto A; las restantes 4, al conjunto B. En el diagrama de Euler, la rama de no pertenencia () a A aparece
de color gris, ya que no es una regin posible. En consecuencia, tambin estn de ese color las ramas derivadas.
En el diagrama de Venn, dado que se dene un conjunto
universal, la no pertenencia a A es posible, exceptuando
el caso de pertenencia () simultnea a B.[31]
2.2.4

Notacin bidimensional

La notacin bidimensional de Frege permite representar

las operaciones lgicas con conexiones.[39]

3.1 Reglas de inferencia de Peirce

Las siguientes reglas permiten obtener nuevas proposiciones en la forma de diagramas alfa o beta a
partir de proposiciones dadas.[18]
1. Regla de borrado e insercin: Cualquier expresin
(enunciado, proposicin o parte de lnea de identidad) encerrada por un nmero par de recortes o por
ningn recorte puede ser borrada; cualquier expresin puede ser colocada en un rea encerrada por un
nmero impar de recortes.
Borrado en los diagramas alfa
A(B(C))(B(C))

3.2

Sistema de demostraciones de Shin

A (B C) (B C)
La regla de borrado permite reducir una conjuncin a uno de sus constituyentes.
Insercin en los diagramas alfa
(A)(AB)
A (A B)
Esta regla est justicada porque una conjuncin es falsa con la sola condicin de que uno
de sus constituyentes sea falso.
Borrado en los diagramas beta
algn A no es B algo [o alguien] es A y
algo [o alguien] no es B algo [o alguien]
no es B
Una lnea de identidad encerrada por un
nmero par de recortes o por ningn recorte
puede ser cortada.
Insercin en los diagramas beta
algo [o alguien] es A y nada [o nadie] es B
algn A no es B
Dos lneas de identidad encerradas por un
nmero impar de recortes pueden ser unidas.

2. Regla de iteracin y desiteracin: Cualquier expresin puede ser copiada en el rea abarcada por todos
los recortes que encierran a la original o en un nivel
ms profundo, pero no en el interior o exterior de
ella misma; cualquier expresin puede ser borrada
si puede haber resultado de una iteracin.
Iteracin en los diagramas alfa
A(B)A(AB)
A B A (A B)
Aqu se ha iterado A en un nivel ms profundo.
En cambio, sera incorrecto deducir A ( B ( B
) ) o A B ( B ).
Desiteracin en los diagramas alfa
A(AB)A(B)
A (A B) A B
Aqu se ha desiterado A de un nivel ms profundo.
En cambio, sera incorrecto deducir A ( B ) de
A ( B ( B ) ) o A B ( B ).
Iteracin en los diagramas beta

Esta deduccin parte de la armacin: No

es el caso que (algn A es B y nada [o nadie]
es C). En la segunda transformacin, una
lnea de identidad se ramica, lo cual es lcito
siempre que el extremo libre ingrese a un
crculo, aunque puede apoyarse en l. La
iteracin tambin habilita a crear una lnea
con un extremo libre dentro de dos crculos y

7
a unirla luego a la lnea correspondiente de la
expresin iterada. Por otra parte, la iteracin
tambin permite unir los extremos libres de
las partes ms internas de dos lneas, como se
vio en la regla de insercin.
Desiteracin en los diagramas beta
La desiteracin permite revertir todas las
transformaciones mencionadas en el punto anterior.
3. Regla de asercin: Cualquier expresin verdadera
puede ser representada en la hoja sin lneas que la
encierren.
Esta regla permite introducir premisas. Las premisas deben ser representadas una al lado de la otra y
constituyen una conjuncin.
4. Regla de doble recorte: Alrededor de cualquier expresin se puede insertar un par de crculos; dos
crculos que rodean a una expresin pueden ser eliminados. No debe haber nada entre los crculos.
Doble recorte en los diagramas alfa
ABA((B))
Doble recorte en los diagramas beta
algn A es B algn A no es no B
5. Regla de deformacin: Cualquier expresin puede
ser deformada siempre que las conexiones no sean
alteradas.
Esta regla muestra el carcter topolgico de la notacin de Peirce.
Ejemplos de aplicacin de estas reglas son: para los diagramas alfa, la demostracin del Teorema Brillante
de Leibniz; para los diagramas beta, la deduccin silogstica.

3.2 Sistema de demostraciones de Shin

El razonamiento humano es heterogneo, en el sentido de
que involucra palabras y smbolos, pero tambin imgenes, diagramas y modelos. Por otra parte, para procesar
esa informacin, el ser humano usa relaciones semnticas entre proposiciones (similitud intuitiva) y procedimientos no deductivos (como la abduccin). Desde
reas de trabajo diversas, han sido hechas distintas aproximaciones al razonamiento multimodal.[41]
En cuanto a la comparacin del razonamiento simblico
con el razonamiento diagramtico, se ha mostrado que no
hay diferencia entre ambos en lo que a estatus lgico se
reere. En 1994, Shin present los diagramas Venn-I y
Venn-II como un sistema de representacin formal con
su propia sintaxis y semntica. Las reglas sintcticas indican si un diagrama es aceptable, en el sentido de si est
bien formado y qu transformaciones estn permitidas.

4 APLICACIONES

La semntica se ocupa de las consecuencias lgicas. As

se comprueba que los sistemas mencionados son robustos
y completos, en el mismo sentido que lo son algunos sistemas lgicos simblicos.[9] Este resultado da por tierra con
la arraigada creencia de que los sistemas de diagramas
pueden llevar a deducciones errneas y que por lo tanto
hay que abstenerse de usarlos en demostraciones.[9][42][29]

Aplicaciones

A implica C y B implica D, entonces A y B implican C y

D.[47] En smbolos, la tesis es la siguiente.
(A C) (B D)) ((A B) (C D))
La demostracin se puede hacer aplicando las reglas indicadas ms arriba para los diagramas alfa de Peirce.
Para facilitar la lectura y el uso de las reglas 1 y 2, las
regiones rodeadas por un nmero impar de recortes aparecen de color gris; las regiones rodeadas por un nmero
par de recortes o por ningn recorte estn en blanco.[47]

El razonamiento diagramtico ha encontrado aplicacin en diversas reas de trabajo: mquinas de calcular, algoritmos de demostracin de proposiciones, semitica, ciencias de la cognicin, inteligencia articial
(IA), teora del conocimiento, losofa del lenguaje,
ontologa.[24][13][3]

4.1

Machina ratiocinatrix

Teorema Brillante - Leibniz

Mquina de Leibniz
(Staelwalze)

Aqu se ha aplicado primero la regla de doble recorte (4)

a la hoja de enunciados en blanco. Luego han sido insertadas dos expresiones en la regin gris (regla 1). Luego
han sido aplicadas sucesivamente las reglas de: iteracin
(2), insercin (1), iteracin (2) y desiteracin (2). Por ltimo, eliminando un doble recorte (regla 4), se lleg al
diagrama correspondiente a la tesis del teorema.

Con el calculus ratiocinator, Leibniz tena un objetivo

ms ambicioso que el de Pascal, ya que l no tena en
mente un dispositivo mecnico para hacer clculos arit- 4.3 Deduccin silogstica
mticos sino una machina ratiocinatrix.[43][44] El calculus ratiocinator era un algoritmo que, aplicado a una ex- La siguiente deduccin se hace aplicando las reglas copresin simblica escrita con la characteristica universa- rrespondientes a los diagramas beta de Peirce.[18]
lis, determinara si dicha frmula es o no verdadera.[45]
Sin embargo Leibniz con los medios disponibles en su
1. Dos premisas son introducidas usando la regla de
tiempo slo logr construir la mquina de calcular llaasercin (3): Todo A es B y todo B es C.
mada Staelwalze ("cilindro dentado", por la forma del
dispositivo mecnico de clculo que utiliza), conocida
hoy como Mquina de Leibniz. La computadora digital
es para muchos la materializacin de la machina ratioci2. Se hace la iteracin de la segunda premisa usando la
natrix.[46]
regla 2.

4.2

Demostracin del Teorema Brillante

La siguiente es la demostracin del resultado que Leibniz

llam Praeclarum Theorema (Teorema Brillante): Si

3. Se borra la segunda premisa usando la regla 1.

9
4. Se aplica la regla de iteracin (2).

5. Se aplica la regla de insercin (1).

el razonamiento inexacto (los factores de certeza

y las redes bayesianas), y
el razonamiento lgico,
que han encontrado aplicaciones en las ciencias fsicas, la
medicina, la macroeconoma, las nanzas y la logstica.

6. Se aplica la regla de desiteracin (2).

5 Vase tambin
7. Se aplica la regla de deformacin (5).

6 Referencias
8. Se aplica la regla de doble recorte (4).

9. Se aplica la regla de borrado (1).

[1] Camino del ser y diagrama total, Actas Editoriales, Rosario, Academia Luventicus, 2013
[2] Gerard Allwein y Jon Barwise (editores), Logical Reasoning with Diagrams, Studies in Logic and Computation,
Nueva York, Oxford University Press, 1996

10. Se aplica la regla de deformacin (5).

[3] Michael Anderson, Reasoning with Diagrammatic Representations, AI Magazine, Vol. 19 No. 2, Palo Alto,
Association for the Advancement of Articial Intelligence, 1998

La conclusin es entonces: Todo A es C.

Usando la notacin de recortes completos, la misma deduccin quedara representada como sigue.

[4] Margaret E. Baron, A Note on the Historical Development of Logic Diagrams: Leibniz, Euler and Venn, The
Mathematical Gazette, Vol. 53 No. 384, Leicester, The
Mathematical Association, 1969

4.4

[5] Friedrich Ludwig Gottlob Frege, Begrisschrift. Eine Der

Arithmetischen Nachgebildete Formelsprache Des Reinen
Denkens, Halle, Louis Nebert, 1879

Animaciones del pensamiento

Las deducciones de los dos puntos anteriores son una serie de guras que, mostradas una a continuacin de otra,
constituyen animaciones. Dau las llama animaciones del
pensamiento.[48] En efecto, son una representacin abstracta de los procesos mentales que conducen a una conclusin. Si bien la interpretacin de estas animaciones
requiere el conocimiento de las convenciones de Peirce,
tambin es cierto que un ser inteligente podra descubrir
las reglas a partir de la observacin de varias secuencias.

4.5

Interfaces grcas de usuario

Nakatsu mostr cmo el uso de diagramas ha facilitado el diseo de sistemas de inteligencia articial del tipo
interfaz de usuario para tareas de toma de decisin y resolucin de problemas.[49] En estas interfaces los diagramas
facilitan la interaccin de los operadores con las cada vez
ms complejas tecnologas de la informacin. En particular, permiten comprender y visualizar sistemas de IA.
Con el razonamiento diagramtico es posible programar
usando tcnicas que emulan el pensamiento humano y la
capacidad de resolucin de problemas. Entre estas tcnicas, cabe mencionar:
los sistemas expertos,
el razonamiento basado en modelos,

[6] Charles Hartshorne Paul Weiss (compiladores), captulo

IV: Symbolic Logic Existential Graphs On Existential Graphs, Eulers Diagrams, and Logical Algebra,
The Collected Papers of Charles Sanders Peirce, Cambridge, Harvard University Press, 19315
[7] Joo Queiroz Frederik Stjernfelt, Introduction: Diagrammatical reasoning and Peircean logic representations, Semiotica, Vol. 186 No. 1/4, Berln, Walter de
Gruyter, 2011
[8] Martin Gardner, Logic machines and diagrams, Chicago,
University of Chicago Press, 1982
[9] Sun-Joo Shin, The logical status of diagrams, Cambridge,
Cambridge University Press, 1994
[10] Diagramas ontolgicos: de Leibniz a Luetich, Actas
Editoriales, Rosario, Academia Luventicus, 2013
[11] Juan Jos Luetich, Ontologa y dialctica, Actas Suplemento 1, 1 (1) 2, Rosario, Academia Luventicus, 2003
[12] Juan Jos Luetich, Glosario de ontologa, Actas Suplemento 1, 1 (2) 1, Rosario, Academia Luventicus, 2003
[13] Frederik Stjernfelt, The Diagrammatology: An investigation on the borderlines of phenomenology, ontology, and
semiotics, Dordrecht, Springer Verlag, 2007
[14] G. H. R. Parkinson, Leibniz: Logical Papers, Oxford, Clarendon, 1966

10

[15] Nicholas Rescher, Review of On the Project of a Universal Character by Jonathan Cohen, Journal of Symbolic
Logic, Vol. 19 No. 133, Newton, Association for Symbolic Logic, 1969
[16] Bertrand Russell, A critical exposition of the philosophy of
Leibniz, with an appendix of leading passages, Cambridge,
Cambridge University Press, 1900
[17] E. H. W. Kluge, Frege, Leibniz and the notion of an ideal
language, Studia Leibnitiana, 12, Stuttgart, Franz Steiner,
1980.
[18] P. N. Johnson-Laird, Peirce, logic diagrams, and the elementary operations of reasoning, Thinking and reasoning, Vol. 8 No. 1, Abingdon, Psychology Press, 2002
[19] Hermann Gnther Grassmann, Geometrische Analyse geknpft an die von Leibniz erfundene geometrische Charakteristik, Leipzig, Weidmannsche Buchhandlung, 1847
[20] A. E. Heath, The geometrical analysis of Grassmann and
its connection with Leibnizs characteristic, The Monist,
Vol. 27 No. 1, Bfalo, Hegeler Institute, 1917
[21] Jean van Heijenoort, Logic as calculus and logic as language, Synthese, 17, Dordrecht, Springer, 1967
[22] Juan Jos Luetich, Ser y pertenecer, Actas Suplemento
1, 1 (2) 1, Rosario, Academia Luventicus, 2008
[23] Juan Jos Luetich, Logos: inteligencia, palabra, sentido,
razn, Actas Suplemento 1, 1 (6) 1, Rosario, Academia
Luventicus, 2004
[24] Volumen I: Filosofa y Humanidades Actas Suplemento 1, Rosario, Academia Luventicus
[25] L. Couturat (editor), Generales Inquisitiones de Analysi
Notionum et Veritatum, Opuscules et Fragments Indits
de Leibniz, Pars, Alcan, 1903

REFERENCIAS

[33] J. L. Gross T. W. Tucker, Topological graph theory,

Nueva York, Wiley Interscience, 1987
[34] Kenneth Kunnen Jerry E. Vaughan (editores), Handbook of Set-Theoretic Topology, msterdam, North Holland, 1985
[35] Duilio D'Alfonso, Generalized Quantiers: Logic and
Language"], Logic and Philosophy of Science, Vol. 9 No.
1, Trieste, Dipartimento di Studi Umanistici Universit
degli Studi di Trieste, 2011
[36] Gottfried Wilhelm Leibniz, Dissertatio de Arte Combinatoria, 1666
[37] El Diamante de Leibniz, Actas Editoriales, Rosario,
Academia Luventicus, 2013
[38] Reinhard Diestel, Graph Theory, 3a. edicin, Berln
Nueva York, Springer, 2005
[39] Dov M. Gabbay John Woods, The Rise of Modern Logic:
From Leibniz to Frege, Handbook of the History of Logic,
Vol. 3, msterdam, Elsevier North Holland, 2004
[40] Edward N. Zalta Uri Nodelman Colin Allen (editores), artculo: Gottlob Frege, Stanford Encyclopedia of
Philosophy, Stanford, Metaphysics Research Lab Center for the Study of Language and Information Stanford
University, 20012013
[41] Selmer Bringsjord Yingrui Yang, Human reasoning is
heterogeneousas Jon Barwise informed us, Journal of
Experimental & Theoretical Articial Intelligence, Taylor
& Francis, 2006.
[42] E. Hammer, Reasoning with Sentences and Diagrams,
Notre Dame Journal of Formal Logic, Vol. 35 No. 1, 1995

[26] El no cumpleaos de Humpty Dumpty, Actas Editoriales, Rosario, Academia Luventicus, 2013

[43] Norbert Wiener, The Human Use of Human Beings,

Cybernetics and Society, Vol. 20, Boston, Houghton Mifin, 1950

[27] John Howse Gem Stapleton John Taylor, Spider diagrams, Journal of Computation and Mathematics, 8, Londres, London Mathematical Society, 2005

[44] Norbert Wiener, Cybernetics, Second Edition: or the Control and Communication in the Animal and the Machine,
Boston, MIT Press, 1965

[28] Juan Jos Luetich, Operaciones con tres onjuntos, Luventicus Universidad, 15, Rosario, Academia Luventicus, 2003

[45] Hartley Rogers Jr., An Example in Mathematical Logic, The American Mathematical Monthly, Vol. 70 No. 9,
Washington, The Mathematical Association of America,
1963

[29] Edward N. Zalta Uri Nodelman Colin Allen (editores), artculo: Diagrams, Stanford Encyclopedia of Philosophy, Stanford, Metaphysics Research Lab Center for
the Study of Language and Information Stanford University, 20012013

[46] Norbert Wiener, Time, communication, and the nervous

system, Teleological mechanisms, Annals of the New
York Academy of Sciences, Vol. 50 No. 4, Nueva York,
John Wiley, 1948

[30] Juan Jos Luetich, Las tres bifuraciones del Camino del
Ser, Actas Suplemento 1, 1 (2) 3, Rosario, Academia
Luventicus, 2003

[47] Charles Sanders Peirce, Existential Graphs with commentary by John F. Sowa, MS514, 1909

[31] Diagramas y rboles, Actas Editoriales, Rosario, Academia Luventicus, 2013

[48] Frithjof Dau, Leibniz' splendid theorem as moving-picture

of Thought, 2014

[32] W. T. Tutte, Graph Theory, Cambridge, Cambridge University Press, 2001

[49] Robbie Nakatsu, Diagrammatic Reasoning in AI, Nueva

York, John Wiley & Sons, 2010

11

Enlaces externos
Suplemento de la revista Actas de la Academia Luventicus dedicado a la difusin de la obra de Juan
Jos Luetich (ISSN 1666-7581).
Pgina ocial de la revista Studia Leibnitiana en el
sitio de la editorial Franz Steiner.

12

8 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

Origen del texto y las imgenes, colaboradores y licencias

8.1

Texto

Razonamiento diagramtico Fuente: https://es.wikipedia.org/wiki/Razonamiento_diagram%C3%A1tico?oldid=78612006 Colaboradores: Mariano Deheza, Marcus Cyron, Eduardosalg, Arjuno3, Grillitus, El Ayudante, NahidSultan, Cl6rk, Balles2601, -revi y Annimos:
7

8.2

Imgenes

Archivo:Aristotle_Altemps_Inv8575.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/a/ae/Aristotle_Altemps_Inv8575.

jpg Licencia: Public domain Colaboradores: Jastrow (2006) Artista original: Copy of Lysippus
Archivo:Camino_del_Ser_y_diagrama_total_-_Juan_Jos_Luetich_(2008).png Fuente: https://upload.wikimedia.org/wikipedia/
commons/a/a6/Camino_del_Ser_y_diagrama_total_-_Juan_Jos%C3%A9_Luetich_%282008%29.png Licencia: CC BY-SA 3.0
Colaboradores: http://www.luventicus.org/actas/editoriales/caminodelserydiagramatotal.html Artista original: Mariano Deheza
Archivo:Charles_Sanders_Peirce_theb3558.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/a/a4/Charles_Sanders_
Peirce_theb3558.jpg Licencia: Public domain Colaboradores: ? Artista original: ?
Archivo:Deartecombinatoria.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/1/14/Deartecombinatoria.jpg Licencia:
CC0 Colaboradores: Trabajo propio Artista original: Mariano Deheza
Archivo:Gottfried_Wilhelm_von_Leibniz.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/6/6a/Gottfried_Wilhelm_
von_Leibniz.jpg Licencia: Public domain Colaboradores: /gbrown/philosophers/leibniz/BritannicaPages/Leibniz/LeibnizGif.html Artista
original: Christoph Bernhard Francke
Archivo:Ignis_-_aer_-_aqua_-_terra_(Leibniz,_Germn_Schultze_-_Luventicus).png Fuente: https://upload.wikimedia.org/
wikipedia/commons/4/42/Ignis_-_aer_-_aqua_-_terra_%28Leibniz%2C_Germ%C3%A1n_Schultze_-_Luventicus%29.png Licencia:
CC BY-SA 3.0 Colaboradores: http://www.luventicus.org/actas/editoriales/eldiamantedeleibniz.html Artista original: Mariano Deheza
Archivo:John_Venn.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/0/03/John_Venn.jpg Licencia: Public domain Colaboradores: ? Artista original: ?
Archivo:Leibnitzrechenmaschine.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/9/92/Leibnitzrechenmaschine.jpg Licencia: CC-BY-SA-3.0 Colaboradores: recorded by me in de:Technische Sammlungen der Stadt Dresden (with photo permission) Artista
original: User:Kolossos
Archivo:Leonhard_Euler_2.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/6/60/Leonhard_Euler_2.jpg Licencia: Public domain Colaboradores:
2011-12-22 (upload, according to EXIF data)
Artista original: Jakob Emanuel Handmann
Archivo:Peirce_reglas_-_1a.png Fuente: https://upload.wikimedia.org/wikipedia/commons/7/7f/Peirce_reglas_-_1a.png Licencia: CC
BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Mariano Deheza
Archivo:Peirce_reglas_-_1b.png Fuente: https://upload.wikimedia.org/wikipedia/commons/7/7d/Peirce_reglas_-_1b.png Licencia: CC
BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Mariano Deheza
Archivo:Peirce_reglas_-_2a.png Fuente: https://upload.wikimedia.org/wikipedia/commons/e/ea/Peirce_reglas_-_2a.png Licencia: CC
BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Mariano Deheza
Archivo:Peirce_reglas_-_2b.png Fuente: https://upload.wikimedia.org/wikipedia/commons/d/d6/Peirce_reglas_-_2b.png Licencia: CC
BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Mariano Deheza
Archivo:Peirce_reglas_-_4a.png Fuente: https://upload.wikimedia.org/wikipedia/commons/e/e0/Peirce_reglas_-_4a.png Licencia: CC
BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Mariano Deheza
Archivo:Silogismo_Peirce_1.png Fuente: https://upload.wikimedia.org/wikipedia/commons/1/1e/Silogismo_Peirce_1.png Licencia: CC
BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Mariano Deheza
Archivo:Silogismo_Peirce_10.png Fuente: https://upload.wikimedia.org/wikipedia/commons/6/6b/Silogismo_Peirce_10.png Licencia:
CC BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Mariano Deheza
Archivo:Silogismo_Peirce_2.png Fuente: https://upload.wikimedia.org/wikipedia/commons/b/ba/Silogismo_Peirce_2.png Licencia: CC
BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Mariano Deheza
Archivo:Silogismo_Peirce_3.png Fuente: https://upload.wikimedia.org/wikipedia/commons/c/c4/Silogismo_Peirce_3.png Licencia: CC
BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Mariano Deheza
Archivo:Silogismo_Peirce_4.png Fuente: https://upload.wikimedia.org/wikipedia/commons/0/05/Silogismo_Peirce_4.png Licencia:
CC BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Mariano Deheza
Archivo:Silogismo_Peirce_5.png Fuente: https://upload.wikimedia.org/wikipedia/commons/7/75/Silogismo_Peirce_5.png Licencia:
CC BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Mariano Deheza
Archivo:Silogismo_Peirce_6.png Fuente: https://upload.wikimedia.org/wikipedia/commons/e/eb/Silogismo_Peirce_6.png Licencia: CC
BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Mariano Deheza
Archivo:Silogismo_Peirce_7.png Fuente: https://upload.wikimedia.org/wikipedia/commons/7/78/Silogismo_Peirce_7.png Licencia:
CC BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Mariano Deheza
Archivo:Silogismo_Peirce_8.png Fuente: https://upload.wikimedia.org/wikipedia/commons/3/32/Silogismo_Peirce_8.png Licencia:
CC BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Mariano Deheza

8.3

Licencia del contenido

13

Archivo:Silogismo_Peirce_9.png Fuente: https://upload.wikimedia.org/wikipedia/commons/9/97/Silogismo_Peirce_9.png Licencia:

CC BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Mariano Deheza
Archivo:Teorema_Brillante_-_Leibniz.png Fuente: https://upload.wikimedia.org/wikipedia/commons/9/9a/Teorema_Brillante_-_
Leibniz.png Licencia: CC BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Mariano Deheza
Archivo:Young_frege.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/9/99/Young_frege.jpg Licencia: Public domain
Colaboradores: ? Artista original: ?

8.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0