Razonamiento Diagramatico

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 8

El razonamiento diagramático (también llamado razonamiento

gráfico o conceptografía) es el que se lleva adelante haciendo uso de representaciones


visuales de los conceptos.2 En esta técnica, los diagramas y los gráficos son más
importantes que las palabras y las expresiones matemáticas.3
El origen de esta forma de razonamiento debe buscarse en los grafos de Llull y Leibniz,
las líneas de Leibniz y los diagramas de Euler.4 Sin embargo, una expresión equivalente a
"razonamiento diagramático" —aunque aplicada específicamente a una notación de dos
dimensiones— recién aparece en 1879 con la publicación del
libro Begriffsschrift de Gottlob Frege, que ha sido traducido al castellano
como Conceptografía.5 La historia del razonamiento diagramático incluye también la
creación por parte de Peirce del sistema de gráficos existenciales, una notación geométrica-
topológica-lógica que Gardner consideraba "el más ambicioso sistema de lógica geométrica
que se haya construido jamás".678 Shin hizo luego una extensión de esos gráficos hasta
convertirlos en una herramienta equivalente a la técnica clásica de operación con
predicados monádicos de primer orden.9 En la tradición de considerar a la lógica como
"lenguaje universal" trabajaron Leibniz,
Frege, Russell, Wittgenstein, Carnap, Quine, Strawson y, más recientemente, Luetich.710 Se
ha mostrado que el lenguaje de diagramas y gráficos permite establecer relaciones de largo
alcance: por ejemplo, entre las matemáticas, la ontología, la dialéctica, la lógica, la
semiología y la fenomenología.111213

Índice

 1Lingua y calculus
 2Lenguaje
o 2.1Diagramas
 2.1.1Diagramas ontológicos
 2.1.1.1Diagramas de Leibniz
 2.1.1.2Diagramas de Euler
 2.1.1.3Diagramas de Venn de conjuntos
 2.1.1.4Diagramas totales 2D
 2.1.2Diagramas topológicos
 2.1.2.1Regiones posibles
 2.1.2.2Topología flexible
 2.1.2.2.1Extensión de Peirce
 2.1.2.2.2Primera extensión de Shin
(Venn-I)
 2.1.2.2.3Segunda extensión de Shin
(Venn-II)
 2.1.2.2.4Arañas
 2.1.3Diagramas lógicos
 2.1.3.1Diagramas de Venn de enunciados
 2.1.3.2Gráficos existenciales "alfa" de Peirce
 2.1.3.3Gráficos existenciales "beta" de Peirce
 2.1.4Diagrama total 3D
o 2.2Grafos
 2.2.1Cuadrado de oposición
 2.2.2Diamante de Leibniz
 2.2.3Árboles
 2.2.4Notación bidimensional
 3Demostraciones
o 3.1Reglas de inferencia de Peirce
o 3.2Sistema de demostraciones de Shin
 4Aplicaciones
o 4.1Machina ratiocinatrix
o 4.2Demostración del "Teorema Brillante"
o 4.3Deducción silogística
o 4.4Animaciones del pensamiento
o 4.5Interfaces gráficas de usuario
 5Véase también
 6Referencias
 7Enlaces externos

Lingua y calculus[editar]

Gottfried Wilhelm Leibniz (1646–1716), filósofo y matemático alemán de los tiempos del Sacro Imperio Romano
Germánico, "el último genio universal" y el primer sabio en recurrir al razonamiento diagramático

La characteristica universalis es el lenguaje formal universal que Leibniz imaginó para


expresar conceptos matemáticos, científicos y filosóficos.10 En su vasta obra, Leibniz
formuló el lenguaje universal de varias maneras, un resumen de las cuales se encuentra en
la serie de artículos editados por G. H. R. Parkinson.14
El objetivo de Leibniz era usar ese lenguaje en un sistema de cálculo lógico universal de
tipo computacional, el calculus ratiocinator.15 En palabras del propio Leibniz, con un
sistema tal, «de surgir controversias, dos filósofos no tendrían que discutir más que dos
matemáticos. Sería suficiente que tomaran papel y lápiz, se sentaran y dijeran:
‹¡Calculemos!›».16 De ahí que Russell haya traducido la expresión latina characteristica
universalis como "matemática universal".16
En resumen, la propuesta de Leibniz era: encontrar un lenguaje que permita aplicar reglas
de inferencia a conceptos matemáticos y no matemáticos.
lenguaje characteristica universalis
razonamiento diagramático
demostraciones calculus ratiocinator

El lenguaje tiene sus reglas de construcción, llamadas reglas sintácticas. Las


demostraciones son hechas respetando reglas que establecen la dirección del razonamiento,
las reglas semánticas.
Muchos pensadores retomaron esta idea de Leibniz. Frege, por ejemplo, introdujo
la Conceptografía como un calculus ratiocinator con su lingua characteristica, y —según
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 creía que todo
razonamiento era, en última instancia, diagramático.18
El genio de Leibniz fue reconocido por Grassmann cuando, en la introducción a su Análisis
Geométrico, dejó escrito que ideas como la de la characteristica ponían al filósofo por
encima de otros pensadores de su tiempo.19 Sobre este punto volvió mucho después
Heath.20 Norbert Wiener veía en la máquina de Leibniz un antecedente de las computadoras
actuales.

Lenguaje[editar]
Los diagramas constituyen el lenguaje de este tipo de razonamiento. También son usados
los grafos, que establecen conexiones y en muchos aspectos son equivalentes a los
diagramas.
Diagramas[editar]
El sistema universal de Leibniz tenía dos componentes: un lenguaje (characteristica) y un
método (calculus). Ambos eran inseparables al punto que sus nombres son usados muchas
veces como sinónimos. Este hecho se puede interpretar de dos maneras:

 detrás de ambos está la lógica,21 lo cual obliga a darle a la voz griega λóγος
simultáneamente los significados de "palabra" y "razón",22 o
 las definiciones son una cosa (ontología) y las operaciones que con ellas se hace
son otra (lógica).23
Adoptando el segundo punto de vista, los diagramas pueden ser clasificados en ontológicos
(los de Euler, los de Venn de conjuntos y los totales), topológicos (los diagramas de Peirce
extendidos, los de Shin y los diagramas con arañas) o lógicos (los de Venn de enunciados y
los diagramas "alfa" y "beta" de Peirce).
Diagramas ontológicos[editar]
Son los diagramas que muestran entes ("elementos") y las definiciones que a ellos se les ha
aplicado ("conjuntos").24
Diagramas de Leibniz[editar]
En los primitivos diagramas de Leibniz los conjuntos eran representados con líneas
continuas. Las mismas se superponían en las intersecciones (indicadas con segmentos
discontinuos).

diagrama de Leibniz

Leibniz también usó círculos, pero encontró que en ciertos casos estos requerían signos
suplementarios. Las líneas de Leibniz constituyen una muestra de la lingua
characteristica.25
Diagramas de Euler[editar]

El gran matemático suizo Leonhard Euler (1707–1783)

En los diagramas de Euler (a veces llamados "círculos de Euler"), se muestran las líneas de


definición de los conjuntos y cada región (de elementos propios o de superposición)
contiene al menos un elemento.

diagrama de Euler

Cuando no hay elementos que respondan a cierta combinación de definiciones, la región no


se representa.
Los diagramas de Euler hicieron de puente entre los primitivos diagramas de Leibniz y los
diagramas de Venn, ampliamente usados hoy.
Diagramas de Venn de conjuntos[editar]
El matemático y lógico inglés John Venn (1834–1923)

Los diagramas de Venn de conjuntos muestran todas las regiones posibles (en este caso, 7,
dos de ellas sombreadas por estar vacías) más la región de los elementos que no responden
a ninguna definición (totalizando 8).

diagrama de Venn de conjuntos

El rectángulo del diagrama de Venn representa el conjunto de los elementos tomados en


cuenta (conjunto universal, U). Venn nunca representó al universal en sus trabajos, pero fue
quien introdujo la expresión "universo del discurso".
Diagramas totales 2D[editar]
Los diagramas totales de dos dimensiones muestran los elementos definidos, los que no
responden a ninguna definición y algunos de los que no han sido considerados.

diagrama total 2D

En el diagrama total en dos dimensiones se representa la región de las definiciones, el


"cosmos" (blanca), y la de lo no definido, 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 través 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
plantea a un mismo tiempo el dilema matemático "ser A-ser no A" y la cuestión filosófica
"mostrarse-ocultarse".26
Diagramas topológicos[editar]
Son los diagramas que muestran la posición relativa de los conjuntos, pero no los
elementos. La forma, el tamaño y la posición de las líneas cerradas no tienen importancia.
Regiones posibles[editar]
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 sombreándolas.27

diagrama de Euler diagrama de Venn

En estos ejemplos se muestra que no hay elementos que pertenezcan a A y C que no sean
también de B, ni tampoco elementos que pertenezcan exclusivamente a C. En el diagrama
de Venn de conjuntos cada región sombreada es —para usar una expresión de Leibniz—
una combinatio impossibilis. Se trata entonces de diagramas topológicos.28
Topología flexible[editar]
En un intento por flexibilizar la topología de los sistemas, Peirce introdujo en los diagramas
de Venn la notación lógica correspondiente a la disyunción. Con ello creó los diagramas de
topología flexible. A esta extensión de Peirce siguieron otras dos (Venn-I y Venn-II),
propuestas por Shin.29
Extensión de Peirce[editar]
Charles Sanders Peirce (1839–1914), lógico americano considerado el padre de la semiótica moderna

La extensión de Peirce de los diagramas de Euler-Venn introduce tres símbolos:

 "o" para reemplazar al sombreado,


 "x" para indicar importación existencial, y
 "–" (línea) para unir los dos anteriores e indicar disyunción.29
Así, por ejemplo, el siguiente diagrama representa la proposición: «Todo elemento de B es
de A o algunos elementos de B son de A».

extensión de Peirce

Esta proposición topológica no se podría representar con un diagrama de Euler: sería


necesario usar dos y buscar alguna manera de indicar la disyunción.

«Todo elemento de B es


«Algunos elementos de B son de A»
de A»

Las ventajas de la notación de Peirce, en este caso, son grandes. Sin embargo, cuando las
proposiciones son más complejas, la lectura del diagrama se torna dificultosa.29
Primera extensión de Shin (Venn-I)[editar]
Esta extensión tiene las siguientes características:

 vuelve al sombreado de regiones para indicar que éstas no pueden ser ocupadas,
 usa el símbolo "x" de Peirce, y
 usa el símbolo "–", introducido por Peirce.29

diagrama de Shin (Venn-


diagrama de Peirce
I)

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

 «Ningún elemento es sólo de B», y


 «B tiene algún elemento».
La conclusión, por lo tanto, es: «Algún elemento pertenece simultáneamente a B y A».
Segunda extensión de Shin (Venn-II)[editar]
Esta extensión tiene las mismas características que el anterior, pero agrega la posibilidad de
conectar dos diagramas —que en este caso tienen representado el conjunto universal— con
una línea de disyunción.29

También podría gustarte