¿Cuándo decimos que un diagrama es un diagrama lógico? Un estudio comparativo

Aunque las ventajas representativas de los diagramas han sido ampliamente reconocidas, sus virtudes inferenciales no siempre han recibido la misma atención. Existe una tradición que sostiene que el razonamiento basado en pruebas lingüísticas es esencial en lógica y matemáticas, pero que el razonamiento basado en diagramas no lo es; sin embargo, gracias a ciertos proyectos de investigación sobre razonamiento diagramático, hoy tenemos modelos que nos ayudan a comprender de manera más precisa los conceptos de diagrama lógico e inferencia diagramática. Siguiendo algunos de los planteamientos de estos modelos, en esta contribución llevamos a cabo un estudio comparativo de diez sistemas diagramáticos en términos lógicos y representativos con el propósito de ofrecer una respuesta a la pregunta de qué es lo que hace que un diagrama sea un diagrama lógico. Nuestra respuesta preliminar es que un diagrama lógico es un diagrama dentro de un sistema diagramático que es correcto y completo con respecto a una clase de inferencias válidas dada una base deductiva. Esta definición parece ser adecuada porque nos permite incluir a aquellos sistemas de diagramas que, por sus propiedades, típicamente consideramos como diagramas lógicos bona fide, pero excluye diagramas que no solo son incorrectos o incompletos, sino aquellos que ni siquiera son inferenciales.