Visualizar y manipular. Sobre el razonamiento diagramático y la naturaleza de la deducción

JAVIER LEGRIS

Visualização nas Ciências Formais

College Publications

Lugar: Londres; Año: 2011; p. 89 - 103

Si se acepta que existen deducciones sustantivamente diagramáticas, entonces debe desarrollarse una teoría lógica que considere a los diagramas como una representación admisible de inferencias deductivas en el mismo nivel, por lo menos, que las representaciones lingüísticas. Dos cuestiones son centrales para una teoría semejante: (1) la construcción de cálculos formales con diagramas, (2) una definición de deducción que se aplique a diagramas. Los grafos existenciales de Peirce ofrecen un marco para discutir ambas cuestiones. La primera cuestión ha sido tratada mediante la introducción de reglas de construcción y transformación de diagramas, tal como se hace con los sistemas formales. Respecto de la segunda cuestión, el concepto peirceano de ícono resulta fundamental: La deducción consiste en la construcción de un ícono o diagrama, cuyas relaciones son análogas a las existentes en el “objeto del razonamiento