El razonamiento diagramático es el razonamiento por medio de representaciones visuales . El estudio del razonamiento diagramático trata sobre la comprensión de conceptos e ideas, visualizados mediante el uso de diagramas e imágenes en lugar de medios lingüísticos o algebraicos .
Un diagrama es una representación simbólica geométrica en 2D de información según alguna técnica de visualización . En ocasiones, la técnica utiliza una visualización en 3D que luego se proyecta sobre la superficie 2D. El término diagrama en el sentido común puede tener dos significados:
En el ámbito científico, el término se utiliza de ambas maneras. Por ejemplo, Anderson (1997) afirmó de forma más general que "los diagramas son representaciones gráficas, aunque abstractas, de información, y los mapas , los gráficos de líneas , los diagramas de barras , los planos de ingeniería y los bocetos de los arquitectos son ejemplos de diagramas, mientras que las fotografías y los vídeos no lo son". [2] Por otra parte, Lowe (1993) definió los diagramas específicamente como "representaciones gráficas abstractas del tema que representan". [3]
En sentido específico, los diagramas y gráficos contrastan con los gráficos de computadora , las ilustraciones técnicas, las infografías , los mapas y los dibujos técnicos , al mostrar "representaciones abstractas en lugar de literales de la información". [1] Las esencias de un diagrama pueden verse como: [1]
O como escribió Bert S. Hall, "los diagramas son figuras simplificadas, caricaturas en cierto modo, destinadas a transmitir un significado esencial". [4] Según Jan V. White (1984), "las características de un buen diagrama son la elegancia, la claridad, la facilidad, el patrón, la simplicidad y la validez". [1] Para White, la elegancia significa que lo que se ve en el diagrama es "la solución más simple y adecuada a un problema". [5]
Un gráfico lógico es un tipo especial de estructura de teoría de gráficos en cualquiera de varios sistemas de sintaxis gráfica que Charles Sanders Peirce desarrolló para la lógica .
En sus artículos sobre lógica cualitativa , grafos entitativos y grafos existenciales , Peirce desarrolló varias versiones de un formalismo gráfico, o un lenguaje formal de teoría de grafos , diseñado para ser interpretado por la lógica.
En el siglo transcurrido desde que Peirce inició esta línea de desarrollo, una variedad de sistemas formales se han ramificado a partir de lo que es abstractamente la misma base formal de estructuras de teoría de grafos.
Un grafo conceptual (CG) es una notación para lógica basada en los grafos existenciales de Charles Sanders Peirce y las redes semánticas de inteligencia artificial . En el primer artículo publicado sobre grafos conceptuales, John F. Sowa los utilizó para representar los esquemas conceptuales utilizados en los sistemas de bases de datos. Su primer libro [6] los aplicó a una amplia gama de temas en inteligencia artificial, informática y ciencia cognitiva. Una notación lineal, llamada Formato de Intercambio de Gráficos Conceptuales (CGIF) , se ha estandarizado en el estándar ISO para Lógica Común .
El diagrama de la derecha es un ejemplo de la forma de visualización de un gráfico conceptual. Cada cuadro se denomina nodo de concepto y cada óvalo se denomina nodo de relación . En CGIF, este CG se representaría con la siguiente declaración:
En CGIF, los corchetes encierran la información dentro de los nodos de concepto, y los paréntesis encierran la información dentro de los nodos de relación. Las letras x e y, que se denominan etiquetas de correferencia , muestran cómo se conectan los nodos de concepto y relación. En el formato de intercambio lógico común (CLIF) , esas letras se asignan a variables, como en la siguiente declaración:
Como muestra este ejemplo, los asteriscos en las etiquetas de correferencia *x e *y en CGIF corresponden a variables cuantificadas existencialmente en CLIF, y los signos de interrogación en ?x e ?y corresponden a variables ligadas en CLIF. Un cuantificador universal, representado @every*z en CGIF, se representaría como forall (z) en CLIF.
Un grafo entitativo es un elemento de la sintaxis gráfica para la lógica que Charles Sanders Peirce desarrolló bajo el nombre de lógica cualitativa a partir de la década de 1880, tomando la cobertura del formalismo solo en lo que respecta a los aspectos proposicionales o oracionales de la lógica. [7]
La sintaxis es:
La semántica es:
Una "prueba" manipula un gráfico, utilizando una lista corta de reglas, hasta que el gráfico se reduce a un corte vacío o a una página en blanco. Un gráfico que se puede reducir de esta manera es lo que ahora se llama una tautología (o su complemento). Los gráficos que no se pueden simplificar más allá de cierto punto son análogos de las fórmulas satisfacibles de la lógica de primer orden .
Un gráfico existencial es un tipo de notación diagramática o visual para expresiones lógicas, propuesta por Charles Sanders Peirce , quien escribió su primer artículo sobre lógica gráfica en 1882 y continuó desarrollando el método hasta su muerte en 1914. Peirce propuso tres sistemas de gráficos existenciales:
Alfa se anida en beta y gamma . Beta no se anida en gamma , siendo la lógica modal cuantificada algo más de lo que Peirce podría imaginar.
En alfa la sintaxis es:
Cualquier parte bien formada de un gráfico es un subgráfico .
La semántica es:
Por lo tanto, los grafos alfa son una notación minimalista para la lógica oracional , basada en la adecuación expresiva de And y Not . Los grafos alfa constituyen una simplificación radical del álgebra booleana de dos elementos y los funtores de verdad .
Characteristica universalis , comúnmente interpretada como característica universal o carácter universal en español, es un lenguaje universal y formal imaginado por el filósofo alemán Gottfried Leibniz capaz de expresar conceptos matemáticos, científicos y metafísicos. Leibniz esperaba así crear un lenguaje utilizable en el marco de un cálculo lógico universal o calculus ratiocinator .
Dado que la characteria universalis es diagramática y emplea pictogramas (abajo a la izquierda), los diagramas de la obra de Leibniz merecen un estudio minucioso. En al menos dos ocasiones, Leibniz ilustró su razonamiento filosófico con diagramas. Uno de ellos, el frontispicio de su De Arte Combinatoria (Sobre el arte de las combinaciones) de 1666, representa la teoría aristotélica de cómo todas las cosas materiales se forman a partir de combinaciones de los elementos tierra, agua, aire y fuego.
Estos cuatro elementos forman las cuatro esquinas de un diamante (ver la imagen de la derecha). Los pares opuestos de estos elementos están unidos por una barra rotulada "contrarios" (tierra-aire, fuego-agua). En las cuatro esquinas del cuadrado superpuesto están las cuatro cualidades que definen los elementos. Cada par adyacente de estos elementos está unido por una barra rotulada "combinación posible"; las diagonales que los unen están rotuladas "combinación imposible". Empezando desde arriba, el fuego se forma a partir de la combinación de sequedad y calor; el aire a partir de humedad y calor; el agua a partir de frío y humedad; la tierra a partir de frío y sequedad. [8]
A principios de los años 1990, Sun-Joo Shin presentó una extensión de los grafos existenciales llamada Venn-II. [9] La sintaxis y la semántica se dan formalmente, junto con un conjunto de reglas de transformación que se demuestra que son sólidas y completas. Las demostraciones se realizan aplicando las reglas (que eliminan o añaden elementos sintácticos a los diagramas o desde ellos) de forma secuencial. Venn-II es equivalente en poder expresivo a un lenguaje monádico de primer orden.