Razonamiento Diagramatico
Razonamiento Diagramatico
Razonamiento Diagramatico
Í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
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]
diagrama de Euler
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 total 2D
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
extensión de Peirce
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