Eine strukturierte Relation, bei der die Begriffe, Gesetze oder Ergebnisse einer Theorie systematisch in eine andere Theorie übersetzt, aus ihr abgeleitet oder durch sie erklärt werden mittels expliziter Abbildungen, Einbettungen oder Ableitungsbeziehungen, die inferentielle und erklärende Relationen bewahren.

Prinzip

Reduktion arbeitet dadurch, dass eine Abbildung vom Vokabular und dem Beweisapparat der reduzierten Theorie in die der reduzierenden Theorie bereitgestellt wird, sodass die empirischen Aussagen und theoretischen Rollen der reduzierten Theorie rekonstruierbar und idealerweise im niedrigeren Rahmen erklärbar sind.

Demonstration

Die analytische Geometrie reduziert die euklidische synthetische Geometrie, indem Punkte und Geraden als Koordinatenpaare und lineare Gleichungen repräsentiert werden; Sätze über Kongruenz und Inzidenz lassen sich in Koordinatentermen ableiten, so dass geometrische Tatsachen als Folgen algebraischer Relationen im reduzierenden System erscheinen.

Fehlanwendung

Jede formale Übersetzung als volle Reduktion zu behandeln, ohne zu prüfen, ob erklärende Rollen oder theoretische Funktionen bewahrt werden. Eine syntaktische Einbettung, die Theoreme reproduziert, kann versagen, die intendierten erklärenden Zusammenhänge (z. B. kausale, modale oder methodologische Rollen) zu erfassen und damit als echte Reduktion unzureichend sein.

Konsequenz

Eine erfolgreiche intertheoretische Reduktion führt zu Vereinheitlichung und erklärendem Einblick: Ergebnisse der höheren Theorie lassen sich aus fundamentaleren Annahmen ableiten, wodurch Methoden übertragen und manchmal Ontologien und theoretische Tugenden konsolidiert werden können.

Umkehrung

Das Gegenteil der Reduktion sind Fälle theoretischer Autonomie oder Emergenz, in denen die reduzierte Theorie Merkmale (neue Gesetze, Erklärungsrahmen oder hochrangige Regularitäten) enthält, die sich der Ableitung aus der vorgeschlagenen Basis widersetzen und daher autonome Prinzipien verlangen.

Abgrenzung

Reduktion setzt explizite Abbilder voraus und eine Entscheidung darüber, welche theoretischen Rollen erhalten bleiben müssen; sie gilt nicht automatisch, wenn nur partielle Einbettungen existieren, wenn der reduzierende Rahmen nicht die Ressourcen hat, erklärende Unterschiede zu reproduzieren, oder wenn pragmatische Beschränkungen (Berechenbarkeit, Komplexität) eine treue Rekonstruktion verhindern.

Semantische Spannung

Sie konkurriert mit Begriffen wie methodologischer Übersetzung und eliminativem Programm: Übersetzung bewahrt Form, Reduktion bewahrt erklärende und rechtfertigende Relationen. Die Spannung besteht darin, ob die Ableitbarkeit von Theoremen für eine Reduktion genügt oder ob die Bewahrung der Erklärungsfunktion erforderlich ist.

Synthese

Intertheoretische Reduktion ist ein disziplinierter Abbildungsprozess einer Theorie in eine andere, der zeigen will, wie die Behauptungen und Erklärungen der ersteren aus der letzteren folgen oder in ihr realisiert werden, und dadurch unter Berücksichtigung dessen, was bewahrt werden muss, Vereinheitlichung und tiefere Einsicht schafft.