Une relation structurée par laquelle les concepts, lois ou résultats d'une théorie sont systématiquement traduits, dérivés ou expliqués par une autre théorie au moyen de mappages explicites, d'injections ou de relations de déductibilité qui préservent les relations inférentielles et explicatives.

Principe

La réduction fonctionne en fournissant une correspondance entre le vocabulaire et l'appareil démonstratif de la théorie réduite et ceux de la théorie réductrice, de sorte que les revendications empiriques et les rôles théoriques de la théorie réduite soient récupérables et de préférence expliqués dans le cadre de niveau inférieur.

Démonstration

La géométrie analytique réduit la géométrie euclidienne synthétique en représentant points et droites par des paires de coordonnées et des équations linéaires ; les théorèmes sur la congruence et l'incidence se dérivent en termes algébriques, de sorte que les faits géométriques apparaissent comme conséquences de relations algébriques dans le système réducteur.

Mauvaise application

Considérer toute traduction formelle comme une réduction complète sans vérifier si les rôles explicatifs ou fonctionnels de la théorie sont préservés. Une inclusion syntaxique qui reproduit des théorèmes peut ne pas saisir les liens explicatifs visés (p. ex. causaux, modaux ou méthodologiques) et échouer ainsi comme réduction authentique.

Conséquence

Une réduction interthéorique réussie produit une unification et un éclaircissement explicatif : les résultats de la théorie de niveau supérieur se dérivent d'hypothèses plus fondamentales, permettant le transfert de méthodes et parfois la consolidation des ontologies et des vertus théoriques.

Inversion

L'inverse de la réduction est l'autonomie théorique ou l'émergence, où la théorie réduite présente des caractéristiques (nouvelles lois, cadres explicatifs ou régularités de haut niveau) qui résistent à la dérivation depuis la base proposée et exigent donc des principes autonomes.

Limite

La réduction présuppose des mappages explicites et un jugement quant aux rôles théoriques qui doivent être préservés ; elle ne s'applique pas automatiquement lorsqu'il n'existe que des inclusions partielles, lorsque la théorie réductrice manque de ressources pour reproduire les distinctions explicatives, ou lorsque des contraintes pragmatiques (calculabilité, complexité) empêchent une récupération fidèle.

Tension sémantique

Elle se confronte à des notions comme la traduction méthodologique et le programme éliminativiste : la traduction préserve la forme, la réduction préserve les relations explicatives et justificatives. La tension porte sur la question de savoir si la déductibilité des théorèmes suffit pour une réduction ou si la préservation de la fonction explicative est requise.

Synthèse

La réduction interthéorique est un mappage discipliné d'une théorie dans une autre qui vise à montrer comment les affirmations et explications de la première découlent de, ou se réalisent dans, la seconde, accomplissant ainsi une unification et une compréhension plus profonde sous réserve des limites sur ce qui doit être préservé.