Una relación estructurada en la que los conceptos, leyes o resultados de una teoría se traducen sistemáticamente en otra, se derivan de ella o se explican por medio de mapeos explícitos, empotramientos o relaciones de derivabilidad que preservan relaciones inferenciales y explicativas.

Principio

La reducción opera proporcionando un mapeo del vocabulario y del aparato de demostración de la teoría reducida al de la teoría reductora tal que las afirmaciones empíricas y los roles teóricos de la teoría reducida sean recuperables y preferentemente explicados dentro del marco de nivel inferior.

Demostración

La geometría analítica reduce la geometría euclidiana sintética representando puntos y rectas por pares de coordenadas y ecuaciones lineales; los teoremas sobre congruencia e incidencia se derivan en términos coordenados, de modo que los hechos geométricos resultan consecuencias de relaciones algebraicas en el sistema reductor.

Aplicación incorrecta

Tratar cualquier traducción formal como una reducción completa sin comprobar si se preservan los roles explicativos o las funciones teóricas. Un empotramiento sintáctico que reproduce teoremas puede no captar las conexiones explicativas previstas (p. ej., causales, modales o metodológicas) y por tanto fracasar como reducción genuina.

Consecuencia

Una reducción interteórica exitosa produce unificación y aporte explicativo: los resultados en la teoría de orden superior se pueden derivar de supuestos más fundamentales, permitiendo transferencia de métodos y a veces consolidación de ontologías y virtudes teóricas.

Inversión

El reverso son casos de autonomía teórica o emergencia, donde la teoría reducida contiene rasgos (leyes novedosas, marcos explicativos o regularidades de alto nivel) que resisten la derivación desde la base propuesta y exigen principios autónomos.

Límite

La reducción presupone mapeos explícitos y un juicio sobre qué roles teóricos deben preservarse; no se aplica automáticamente cuando solo existen empotramientos parciales, cuando la teoría reductora carece de recursos para reproducir distinciones explicativas o cuando restricciones pragmáticas (computabilidad, complejidad) bloquean una recuperación fiel.

Tensión semántica

Compite con nociones como traducción metodológica y programas eliminativistas: la traducción preserva la forma, la reducción preserva las relaciones explicativas y justificativas. La tensión surge sobre si la derivabilidad de teoremas basta para la reducción o si se requiere la preservación de la función explicativa.

Síntesis

La reducción interteórica es un mapeo disciplinado de una teoría a otra que pretende mostrar cómo las afirmaciones y explicaciones de la primera se siguen de, o se realizan en, la segunda, logrando así unificación y entendimiento más profundo, sujeto a límites sobre lo que debe preservarse.