When Do We Say That a Diagram is a Logic Diagram? A Comparative Study
¿Cuándo decimos que un diagrama es un diagrama lógico? Un estudio comparativo
Author
Castro-Manzano, J-Martin
Abstract
Although the representative advantages of diagrams have been widely recognized, their inferential virtues have not always received the same attention. There is a tradition that holds that reasoning based on linguistic proofs is essential in logic and mathematics, but that reasoning based on diagrams is not; however, thanks to some research projects on diagrammatic reasoning, today we have models that help us understand the concepts of logic diagram and diagrammatic inference with more precision. By following the tenets of these models, in this contribution we perform a comparative study of ten diagrammatic systems in logical and representative terms with the purpose of offering an answer to the question of what makes a diagram a logic diagram. Our preliminary answer is that a logic diagram is a diagram within a diagrammatic system that is correct and complete with respect to a class of valid inferences given a deductive base. This definition seems to be adequate because it allows us to include those systems of diagrams that, due to their properties, we typically consider as bona fide logic diagrams, but it excludes diagrams that are not only incorrect or incomplete, but those that are not even inferential. 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.