“Formal” Versus “Empirical” Approaches to Quantum–Classical Reduction

Joshua Rosaler

Research output: Contribution to journalArticlepeer-review

4 Scopus citations


I distinguish two types of reduction within the context of quantum-classical relations, which I designate “formal” and “empirical”. Formal reduction holds or fails to hold solely by virtue of the mathematical relationship between two theories; it is therefore a two-place, a priori relation between theories. Empirical reduction requires one theory to encompass the range of physical behaviors that are well-modeled in another theory; in a certain sense, it is a three-place, a posteriori relation connecting the theories and the domain of physical reality that both serve to describe. Focusing on the relationship between classical and quantum mechanics, I argue that while certain formal results concerning singular $$\hbar \rightarrow 0$$ħ→0 limits have been taken to preclude the possibility of reduction between these theories, such results at most provide support for the claim that singular limits block reduction in the formal sense; little if any reason has been given for thinking that they block reduction in the empirical sense. I then briefly outline a strategy for empirical reduction that is suggested by work on decoherence theory, arguing that this sort of account remains a fully viable route to the empirical reduction of classical to quantum mechanics and is unaffected by such singular limits.

Original languageEnglish (US)
Pages (from-to)325-338
Number of pages14
Issue number2
StatePublished - Oct 22 2015


  • Classical
  • Decoherence
  • Empirical
  • Formal
  • Limits
  • Quantum
  • Reduction
  • Semiclassical


Dive into the research topics of '“Formal” Versus “Empirical” Approaches to Quantum–Classical Reduction'. Together they form a unique fingerprint.

Cite this