Abstract:The relationship according to which one physical theory encompasses the domain of empirical validity of another is widely known as "reduction." Here it is argued that one popular methodology for showing that one theory reduces to another, associated with the so-called "Bronstein cube" of physical theories, rests on an over-simplified characterization of the type of mathematical relationship between theories that typically underpins reduction. An alternative methodology, based on a certain simple geometrical relationship between dis- tinct state space models of the same physical system, is then described and illustrated with examples. Within this approach, it is shown how and under what conditions inter-model reductions involving distinct model pairs can be composed or chained together to yield a direct reduction between theoretically remote descriptions of the same system. Building on this analysis, we consider cases in which a single reduction between two models may be effected via distinct composite reductions differing in their intermediate layer of description, and motivate a set of formal consistency requirements on the mappings between model state spaces and on the subsets of the model state spaces that characterize such reductions. These constraints are explicitly shown to hold in the reduction of a non-relativistic classical model to a model of relativistic quantum mechanics, which may be effected via distinct composite reductions in which the intermediate layer of description is either a model of non-relativistic quantum mechanics or of relativistic classical mechanics. Some brief speculations are offered as to whether and how this sort of consistency requirement between distinct composite reductions might serve to constrain the relationship that any unification of the Standard Model with general relativity must bear to these theories.

What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory

Reduction Free Normalisation for a proof irrelevant type of propositions

On the convergence of reduction-based and model-based methods in proof theory

Abstract Effects and Proof-Relevant Logical Relations

A Philosophical Analysis of the Concept of "Reduction"

What is the meaning of proofs? A Fregean distinction in proof-theoretic semantics

Logical reduction of relations: from relational databases to Peirce's reduction thesis

A theory of cut-restriction: first steps

Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality

The Geometry of Reduction: Model Embedding, Compound Reduction, and Overlapping State Space Domains

Defining Logical Systems via Algebraic Constraints on Proofs

Initial Semantics for Reduction Rules

Semantic Foundations of Reductive Reasoning

Specification and Automatic Verification of Computational Reductions

Even shorter proofs without new variables

Proof Theory for Positive Logic with Weak Negation

Comparison of Reduction in Formal Decision Contexts

An Acceptance Semantics for Stable Modal Knowledge

Generalized Effective Reducibility

Model-Equivalent Reductions

Cut elimination for Zermelo set theory