We Have Never Been Sophisticated
Pith reviewed 2026-05-17 21:58 UTC · model grok-4.3
The pith
There is no physically or philosophically important distinction between reduction and internal sophistication.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Re-examining the distinction as Dewar draws it shows there is no physically or philosophically important distinction between what he calls reduction and what he calls internal sophistication, while multiple notions of reduction in the literature ought to be distinguished both in motivation and in outcome.
What carries the argument
Dewar's distinction between reduction and internal sophistication as alternative responses to excess structure in physical theories that exhibit symmetries.
Load-bearing premise
Dewar's specific framing of the contrast between reduction and sophistication captures the key difference discussed in the literature on symmetries.
What would settle it
A concrete case where applying reduction versus internal sophistication produces different physical predictions or different philosophical evaluations of a given theory would show the distinction matters.
read the original abstract
Many philosophers of physics maintain that a physical theory that exhibits (certain kinds of) symmetries is flawed, on the grounds that such theories posit "excess structure". In an influential paper, Dewar [2019, "Sophistication about Symmetries", \emph{Brit. J. Phil. Sci.} \textbf{70}: 485-521] introduces a distinction between "reduction" and "sophistication" as alternative ways of removing excess structure. In this paper we re-examine the distinction as Dewar draws it, and we argue that there is no physically or philosophically important distinction between what Dewar calls "reduction" and what he calls "internal sophistication". We then argue that there are multiple notions of "reduction" in the literature that ought to be distinguished, both in motivation and in outcome.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript re-examines Dewar's 2019 distinction between 'reduction' (quotienting by symmetry orbits to eliminate excess structure) and 'sophistication' as alternative responses to symmetries in physical theories. It argues that there is no physically or philosophically important distinction between reduction and what Dewar calls 'internal sophistication'. The paper then claims that multiple distinct notions of reduction exist in the literature, differing in motivation and outcome.
Significance. If the central claim holds, the work would clarify conceptual tools in philosophy of physics by collapsing one distinction while sharpening others, potentially streamlining analyses of excess structure in gauge theories and similar contexts. The targeted engagement with an influential paper provides a focused contribution that could guide subsequent literature on symmetries.
major comments (1)
- [re-examination of Dewar's distinction] The central claim that reduction and internal sophistication produce no important differences requires showing equivalence of physical outcomes (identical observables, solution space up to isomorphism, and implications for determinism or locality). The re-examination compares them primarily at the level of general motivation rather than through an explicit mapping or shared concrete example, leaving the equivalence unverified.
minor comments (1)
- Clarify the precise criteria used to judge whether a distinction is 'physically or philosophically important' to avoid ambiguity in the comparison.
Simulated Author's Rebuttal
We thank the referee for their careful reading and for identifying an opportunity to strengthen the presentation of our central claim. We address the major comment below and indicate where we will revise the manuscript.
read point-by-point responses
-
Referee: The central claim that reduction and internal sophistication produce no important differences requires showing equivalence of physical outcomes (identical observables, solution space up to isomorphism, and implications for determinism or locality). The re-examination compares them primarily at the level of general motivation rather than through an explicit mapping or shared concrete example, leaving the equivalence unverified.
Authors: We agree that an explicit concrete example would make the equivalence of outcomes more transparent. In the revised manuscript we will add a shared example (electromagnetism in the presence of gauge symmetry) that maps the two procedures onto one another, showing that they yield identical observables, solution spaces up to isomorphism, and the same implications for determinism and locality. At the same time, we continue to hold that the distinction is not physically or philosophically important: both procedures remove precisely the same excess structure for the same reasons, so the outcomes coincide by construction once the shared target of eliminating surplus structure is fixed. The manuscript already establishes this at the level of motivation and result (Sections 3–4); the added example will simply render the mapping explicit. revision: partial
Circularity Check
No significant circularity; direct critique of external cited work
full rationale
The paper re-examines and critiques the distinction drawn in Dewar's 2019 external paper, arguing there is no important difference between reduction and internal sophistication while distinguishing multiple notions of reduction in the literature. This is a logical and philosophical analysis of an outside source rather than any derivation from self-referential definitions, fitted parameters renamed as predictions, or load-bearing self-citations. The central claim rests on independent examination of the cited framing and outcomes, making the argument self-contained against external benchmarks with no reduction to the paper's own inputs by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Symmetries in physical theories can indicate excess structure that should be addressed by reduction or sophistication.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
there is no physically or philosophically important distinction between what Dewar calls 'reduction' and what he calls 'internal sophistication'
-
IndisputableMonolith/Foundation/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Dewar introduces a distinction between 'reduction' and 'sophistication' as alternative ways of removing excess structure
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
author Baez, J. , author Bartel, T. , author Dolan, J. , year 2004 . title Property, structure, and stuff . note Available at: http://math.ucr.edu/home/baez/qg-spring2004/discussion.html
work page 2004
-
[2]
author Barrett, T.W. , year 2022 . title How to count structure . journal No\^ u s volume 56 , pages 295--322
work page 2022
-
[3]
author Belot, G. , year 1995 . title New work for counterpart theorists: Determinism . journal The British Journal for the Philosophy of Science volume 46 , pages 185--195
work page 1995
-
[4]
author Belot, G. , year 2003 . title Symmetry and gauge freedom . journal Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics volume 34 , pages 189--225
work page 2003
-
[5]
author Belot, G. , author Earman, J. , year 1999 . title Pre-socratic quantum gravity , in: editor Callender, C. , editor Huggett, N. (Eds.), booktitle Physics Meets Philosophy at the Planck Scale . publisher Cambridge University Press , address New York , pp. pages 213--255
work page 1999
-
[6]
author Bleecker, D. , year 1981 . title Gauge Theory and Variational Principles . publisher Addison-Wesley , address Reading, MA . note Reprinted by Dover Publications in 2005
work page 1981
-
[7]
author Bradley, C. , year 2021 . title The non-equivalence of einstein and lorentz . journal The British Journal for Philosophy of Science volume 72 , pages 1039--1059
work page 2021
-
[8]
author Bradley, C. , year 2024 . title The representational role of sophisticated theories . journal Philosophy of Science volume 91 , pages 1478--1487
work page 2024
-
[9]
author Bradley, C. , year 2025 . title Excess structure in the constrained hamiltonian formalism . journal Philosophy of Science note (forthcoming)
work page 2025
-
[10]
author Bradley, C. , author Weatherall, J.O. , year 2020 . title On representational redundancy, surplus structure, and the hole argument . journal Foundations of Physics volume 50 , pages 270--293
work page 2020
-
[11]
author Brighouse, C. , year 1994 . title Spacetime and holes . journal PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, Volume 1: Contributed Papers , pages 117--125
work page 1994
-
[12]
author Butterfield, J. , year 1989 . title The hole truth . journal The British Journal for Philosophy of Science volume 40 , pages 1--28
work page 1989
-
[13]
author Chen, L. , year 2024 . title Symmetry as isomorphism . journal The British Journal for Philosophy of Science note Forthcoming. DOI:10.1086/733266
-
[14]
author Dewar, N. , year 2019 . title Sophistication about symmetries . journal The British Journal for the Philosophy of Science volume 70 , pages 485--521
work page 2019
-
[15]
author Earman, J. , author Norton, J. , year 1987 . title What price spacetime substantivalism? the hole story . journal The British Journal for the Philosophy of Science volume 38 , pages 515--525
work page 1987
-
[16]
author Gomes, H. , year 2025 a. title Gauge Theory and the Geometrization of Physics . publisher Cambridge University Press , address Cambridge, UK
work page 2025
-
[17]
author Gomes, H. , year 2025 b. title Representational schemes for theories with symmetry . journal Synthese volume 206 , pages 22
work page 2025
-
[18]
author Halvorson, H. , author Manchak, J. , author Weatherall, J.O. , year 2025 . title Defining determinism . note ArXiv:2503.05681
-
[19]
author Henneaux, M. , author Teitelboim, C. , year 1994 . title Quantization of Gauge Systems . publisher Princeton University Press
work page 1994
-
[20]
author Hoefer, C. , year 1996 . title The metaphysics of space-time substantivalism . journal The Journal of Philosophy volume 93 , pages 5--27
work page 1996
-
[21]
author Jacobs, C. , author March, E. , year 2025 . title Kinematical equivalence and cosmic conspiracies . journal The British Journal for Philosophy of Science note Forthcoming
work page 2025
-
[22]
author March, E. , year 2025 . title What is the value in an intrinsic formulation? note Https://philsci-archive.pitt.edu/26049/
work page 2025
-
[23]
author March, E. , author Read, J. , author Chen, L. , year 2025 . title Equivalence, reduction, and sophistication in teleparallel gravity . journal European Journal for Philosophy of Science volume 15
work page 2025
-
[24]
author Martens, N.C.M. , author Read, J. , year 2020 . title Sophistry about symmetries? journal Synthese volume 199 , pages 315--344
work page 2020
-
[25]
author Maudlin, T. , year 1988 . title The essence of spacetime . journal PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, Volume 2: Symposia and Invited Papers , pages 82--91
work page 1988
-
[26]
author Muller, F.A. , year 2011 . title How to defeat w\" u thrich's abysmal embarrassment argument against space-time structuralism . journal Philosophy of Science volume 78 , pages 1046--1057 . :10.1086/662634
-
[27]
author Nguyen, J. , author Teh, N.J. , author Wells, L. , year 2020 . title Why surplus structure is not superfluous . journal British Journal for Philosophy of Science volume 71 , pages 665--695
work page 2020
-
[28]
author Palais, R.S. , year 1981 . title The Geometrization of Physics . publisher Institute of Mathematics, National Tsing Hua University , address Hsinchu, Taiwan . note Available at http://vmm.math.uci.edu/
work page 1981
-
[29]
author Pooley, O. , year 2006 . title Points, particles and structural realism , in: editor Rickles, D. , editor French, S. , editor Saatsi, J. (Eds.), booktitle The Structural Foundations of Quantum Gravity . publisher Oxford University Press , address New York , pp. pages 83--120
work page 2006
-
[30]
author Pooley, O. , year 2013 . title Substantivalist and relationalist approaches to spacetime , in: editor Batterman, R. (Ed.), booktitle The Oxford Handbook of Philosophy of Physics . publisher Oxford University Press , address Oxford, UK , pp. pages 522--586
work page 2013
-
[31]
author Read, J. , year 2025 . title Good vibes only . journal Synthese volume 206 , pages 1--16 . :10.1007/s11229-025-05290-2
-
[32]
author Rovelli, C. , year 2002 . title Partial observables . journal Physical Review D volume 65 , pages 124013
work page 2002
-
[33]
author Rovelli, C. , year 2014 . title Why gauge . journal Foundations of Physics volume 44 , pages 91--104
work page 2014
-
[34]
author Weatherall, J.O. , year 2016 a. title Are newtonian gravitation and geometrized newtonian gravitation theoretically equivalent? journal Erkenntnis volume 81 , pages 1073--1091
work page 2016
-
[35]
author Weatherall, J.O. , year 2016 b. title Fiber bundles, Yang-Mills theory, and general relativity . journal Synthese volume 193 , pages 2389--2425
work page 2016
-
[36]
author Weatherall, J.O. , year 2016 c. title Regarding the ‘hole argument’ . journal The British Journal for the Philosophy of Science volume 69 , pages 329--350
work page 2016
-
[37]
author Weatherall, J.O. , year 2016 d. title Understanding gauge . journal Philosophy of Science volume 83 , pages 1039--1049
work page 2016
-
[38]
author Weatherall, J.O. , author March, E. , year 2025 . title Natural theories . note ArXiv:2504.05703
-
[39]
author W\" u thrich, C. , year 2009 . title Challenging the spacetime structuralist . journal Philosophy of Science volume 76 , pages 1039--1051 . :10.1086/605825
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.