Entidades subrogatorias: La sala de máquinas de la inferencia matemática
Hoy vamos a detenernos en una cuestión fundamental de la filosofía de la práctica matemática contemporánea: cómo logramos asir aquello que, por su propia naturaleza abstracta, resulta inalcanzable. Hablo del concepto de entidades subrogatorias y su imprescindible papel inferencial.
(En un trabajo fin de master abordé precisamente esto, bajo el título: las entidades subrogatorias y su papel inferencial en la emergencia de los objetos matemáticos)
En matemáticas, rara vez manipulamos el "objeto en sí". A menudo es demasiado abstracto, inabarcable o se encuentra en pleno proceso de definición formal. En su lugar, operamos con sustitutos cognitivos, representaciones intermedias como símbolos, diagramas o modelos. Es a través de la manipulación directa, disciplinada y formal de estos sustitutos que emergen las propiedades y, en última instancia, la existencia misma de los nuevos objetos matemáticos.
La naturaleza de la entidad subrogatoria
El término bebe del concepto de razonamiento subrogatorio de filósofos como Chris Swoyer y la semiótica de los diagramas de Peirce. Cuando un sistema es inmanejable por su complejidad, construimos un andamiaje de signos que lo represente. No estamos ante el objeto final, sino ante un "avatar" funcional que hereda fielmente sus relaciones estructurales. Una matriz actuando como entidad subrogatoria de una transformación lineal, un diagrama de flechas en teoría de categorías representando functores abstractos, o la propia letra "x" en el álgebra elemental sustituyendo a una cantidad desconocida pero operable, son ejemplos perfectos de esta sustitución funcional.
El papel inferencial y la generación de conocimiento
El valor de estas entidades no reside en la estética de la pizarra ni en el mero almacenamiento de información; su función es estrictamente inferencial. Nos permiten deducir, operar y descubrir mediante un ciclo estructurado de tres pasos:
Subrogación (Codificación): Mapeamos las propiedades del problema abstracto en la entidad subrogatoria, traduciendo, por ejemplo, un problema geométrico a un sistema de ecuaciones algebraicas.
Derivación (Manipulación): Aplicamos reglas lógicas o sintácticas de forma rigurosa y exclusiva sobre el sustituto. Esto automatiza el cálculo y alivia enormemente la carga de la memoria de trabajo, permitiendo que la cognición se centre en la operativa.
Validación (Decodificación): El resultado obtenido en el avatar se traduce de vuelta al dominio original, revelando una verdad matemática que antes permanecía oculta.
La emergencia de nuevos objetos matemáticos
Históricamente, la matemática no siempre ha partido de definiciones formales prístinas. Muchos objetos nacieron del propio uso inferencial de estas entidades. Pensemos en los números complejos. Inicialmente, la raíz cuadrada de -1 no era un objeto aceptado, sino un artefacto, una mera entidad subrogatoria en las fórmulas de Cardano para resolver ecuaciones de tercer grado. Al operar con este ente "imposible" siguiendo las reglas del álgebra, emergían resultados reales y correctos. Fue la abrumadora consistencia y potencia de estas inferencias lo que obligó a formalizar la emergencia de un nuevo objeto de pleno derecho: el cuerpo de los números complejos. Lo mismo ocurrió con los diagramas conmutativos en la Teoría de Categorías, que pasaron de ser ayudas visuales para seguir el flujo de los mapeos a permitir la cristalización de conceptos hipercomplejos, como los límites.
Las tres dimensiones de la práctica matemática
El impacto de operar con estos portadores subrogatorios se despliega en tres niveles fundamentales:
Dimensión Cognitiva: Transforma los conceptos abstractos en manipulación perceptual, ya sea visual o sintáctica, liberando la memoria de trabajo de la sobrecarga que supondría retener el concepto puro.
Dimensión Epistémica: Actúa como motor de descubrimiento, permitiendo destapar propiedades que la definición abstracta inicial era incapaz de mostrar por sí sola.
Dimensión Ontológica: Facilita esa transición crítica en el aprendizaje matemático, pasar de concebir una estructura matemática como un mero proceso o cálculo algorítmico a considerarla un objeto sustantivo e independiente.
