Pith. sign in

REVIEW 3 major objections 4 minor 35 references

Shape space as a conceptual space

T0 review · 3 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Shape space is a conceptual space, not a physical arena.

desk verdict A clean, modest interpretive paper that explicitly links shape space to Gärdenfors-style conceptual spaces; the identification is suggestive but under-specified, and the paper is honest about its own limits. read the letter →

arxiv 2505.08913 v1 pith:XJLACFCN submitted 2025-05-13 physics.hist-ph

Antonio Vassallo This is my paper · ORCID
classification physics.hist-ph
keywords shapespaceconceptualpuredynamicsrelationalismMachianLeibniziansphereepistemicrepresentation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper argues that shape space—the space of all possible relative configurations of a system, formed by quotienting out translations, rotations, and scalings—is not a self-standing physical entity but a particular case of a conceptual space in the sense of cognitive science. In pure shape dynamics, a fully relational and scale-invariant description of physics, shape space would then serve only as an epistemic tool: it is how we categorize and compare shapes, not a metaphysical arena where the universe moves. If this is right, the Leibnizian/Machian relationalist program can reject ontic commitment to a space of all possible configurations, avoiding the modal problem that besets shape space realism (Barbour's 'Platonia'). The paper thus converts a technical dispute about the interpretation of a mathematical space into a question about how physical possibility is represented and understood.

What carries the argument

The key machinery is the identification of shape space with Gärdenfors-style conceptual spaces. Shape space is the quotient of configuration space by the similarity group of translations, rotations, and scalings; for the three-body problem it is the shape sphere, a unit sphere in Hopf coordinates where each point is a triangle up to similarity. The metric on this space measures similarity between shapes rather than distance, and its subspaces (poles for equilateral configurations, great circles for isosceles triangles, the equator for collinear shapes) play the role of concepts and prototypes. This structural mapping does the work: it shows that shape space has exactly the features that make a space conceptual, so it can play an epistemic role without ontic commitment.

What would settle it

A systematic study of human similarity judgments for triangles would settle the claim: if perceived similarity between triangles fails to match geodesic distance on the shape sphere, or if categorization into types (isosceles, scalene, etc.) does not follow the sphere's regions, then shape space would lack the similarity structure required for a genuine conceptual space.

Watch

Extended reading notes

Core claim

The central claim is that shape space, exemplified by the shape sphere for the three-body problem, is a clear case of a conceptual space. Like color space, the shape sphere possesses quality dimensions (internal angles), a similarity metric, regions (for instance, isosceles triangles), and prototypes (such as the 45–45–90 triangle); it is a structure for categorization and comparison rather than a physical world. The dynamical curve in shape space is therefore not a trajectory in an actual space but a representation of the evolving relational configuration as we experience and measure it. The modal asymmetry between the actual curve and merely possible curves is explained by our epistemic perspective: we experience what is actual, not what is possible. This reading grounds the Leibnizian/Machian claim that we know the physical world through its intrinsic relational structure without reifying shape space.

Load-bearing premise

The argument's load-bearing premise is that any space with the right geometric structure—dimensions, a similarity metric, regions, and prototypes—counts as a conceptual space, even if its dimensions are not perceptual or cognitive qualities in the way the conceptual-spaces framework originally demanded.

Editorial extensions

If this is right

  • Pure shape dynamics can make the relational world intelligible without treating shape space as a physical entity or a container of possible worlds.
  • The modal asymmetry between the universe's actual curve and merely possible curves in shape space is explained by our epistemic perspective, not by an ontological distinction among shapes.
  • The status of shape space becomes representationally flexible: for example, treating particles as indistinguishable simply changes the topology of the conceptual space, with no change in the world's ontology.
  • The conceptual-space reading extends beyond Newtonian N-body models, applying to classical field theory and to the reduced superspace of general relativity, whose conformal 3-geometries can be categorized and compared in the same way.
  • For quantum physics, the main open challenge is whether the wave function can be represented within the quality dimensions of a conceptual space.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The paper's structural criterion could in principle apply to any symmetry-reduced configuration space in physics, suggesting that many quotient spaces are epistemic representational tools rather than physical arenas.
  • A testable extension is that human triangle categorization should mirror the metric and regional structure of the shape sphere; this is an empirical prediction that behavior experiments could check.
  • If shape space is only conceptual, the modal realism of 'Platonia' loses its ground, which may also undermine modal-realist readings of other configuration spaces in physics.
  • The identification relies on a purely geometric notion of similarity; connecting it to actual human similarity judgments would either confirm or destabilize the conceptual-space claim.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper situates pure shape dynamics (PSD) within Leibnizian/Machian relationalism and asks what kind of entity shape space is. It presents PSD's construction of shape space as the quotient of configuration space by translations, rotations, and dilations, and then contrasts two readings: shape space realism, which treats shape space as a physical arena populated by all possible configurations, and a conceptual-space reading, which treats shape space as a representational tool for classifying and comparing shapes. The central thesis, stated in Section 3.2, is that shape space is 'just a particular case of a conceptual space' in Gärdenfors's sense, supported by three structural parallels: multidimensionality, a similarity-ordering metric, and grounding in perceptual experience. The paper argues that this reading avoids the modal asymmetry problem faced by realism and better accommodates changes such as particle indistinguishability.

Significance. If the thesis can be made rigorous, the paper would contribute to the interpretation of shape space in relational physics by connecting it to a well-developed framework in cognitive science, and it would support an epistemic rather than ontic reading of shape space. The paper is clearly written, gives an accessible account of PSD, and makes a genuine attempt to engage with the conceptual-space literature. Its main strength is the explicit identification of three structural features shared by shape spaces and conceptual spaces, and the demonstration that the conceptual-space reading handles the modal asymmetry worry more naturally. However, the central claim is currently an analogy supported by selected structural parallels, not a fully argued identity; the paper does not yet meet the stricter criteria of Gärdenfors's framework, and the triangle example contains an internal tension between 'region' and the actual geometry of the shape sphere. These issues are localizable and fixable, so the manuscript is a promising but not yet complete contribution.

major comments (3)
  1. [§3.2] The identification of the shape sphere with a Gärdenfors-style conceptual space is supported only by three structural parallels (multidimensional representation, similarity-ordering metric, grounding in perceptual experience), but Gärdenfors's framework imposes additional load-bearing constraints that the paper does not address. In particular, concepts in conceptual space theory are standardly required to be convex regions, and quality dimensions are supposed to represent psychologically real similarity relations. The paper's own example highlights the gap: the 'region' corresponding to isosceles triangles is described on p. 15 as three great circles, which are codimension-one, measure-zero subsets of the shape sphere, not convex regions. The paper also asserts without demonstration that the shape-sphere metric tracks human similarity judgments for triangles, as when it claims that a 43°–62°–75° triangle is 'less regular' than a 50°–45°–85° triangle. Unless these criteria are either met or explicitly relaxed, the conclusion that the shape sphere is 'a clear case of a conceptual space' (p. 15) is not established.
  2. [§3.2, p. 16] The modal-asymmetry argument for preferring the conceptual-space reading appears to relocate rather than dissolve the problem. The paper says that under the conceptual-space reading, 'the trajectory corresponding to the actual universe is distinguished by the fact that it embodies the evolving relational configuration we observe—trivially, we directly experience what is actual, not what is possible.' But the same can be said under shape-space realism: the actual curve is the one we observe, and the other curves are not actual. If the worry for realism was that all shapes are 'actual' in the sense of real, then the conceptual-space reading avoids that only by denying reality to all shapes; however, it still retains a space containing all possible configurations, and the distinction between the observed curve and unobserved curves is still a distinction within that space. The paper should specify what notion of modality is at stake and how conceptual spaces, as psychological representations, bear on it.
  3. [§3.2] The argument appears to commit a category mistake: even if shape space is usefully modeled as a conceptual space, it does not follow that shape space is not a physical space. Classificatory overlap is not exclusion. The paper needs an argument that the two categories are mutually exclusive, or at least that the conceptual-space status undermines the specific ontic commitments of shape-space realism. Without such an argument, the conclusion 'Shape space, far from being a sui generis physical entity, is just a particular case of a conceptual space' (p. 13) is stronger than the evidence supports.
minor comments (4)
  1. [§2, p. 7] There is a typographical issue in the sentence containing 'right-handsidesmustbedescribedintermsofdimensionless'; spacing is missing.
  2. [§3.2] The three 'quality dimensions' for triangles are initially described as internal angles, but the actual construction uses Hopf coordinates; the connection between these two descriptions is not made explicit and should be clarified.
  3. [§3.1] The sentence 'shape space realism claims that all triangular shapes are real and actual' is potentially misleading, since 'actual' is normally contrasted with 'merely possible' rather than with 'non-existent'; consider reformulating to say that all shapes are ontologically on a par.
  4. [§3.2] The 'grue' example is under-specified; the term is used in philosophy of language in a specific way that may differ from the intended meaning here, so a clarifying remark or reference would help.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the conclusion is an interpretive application of Gärdenfors's conceptual-space framework to Kendall shape space, not a derivation from fitted inputs or self-citations.

full rationale

The paper's derivation chain runs from the PSD framework to the shape sphere and then argues that the sphere qualifies as a conceptual space. No parameter is fitted and no quantity is predicted from data, so the fitted-input pattern does not apply. The self-citations (Koslowski et al. 2022; Vassallo et al. 2022a,b; Farokhi et al. 2024) are used to present PSD as a technical framework and to point to further work; they do not carry the conceptual-space claim. The load-bearing step is Section 3.2, where the shape sphere is said to be a clear case of a conceptual space because it has multidimensional structure, a similarity metric, and regions with prototypes. That is an application of Gärdenfors's definition to a new domain, not a reduction of the conclusion to its own inputs. The paper's construction of the triangle conceptual space is literally the same quotienting procedure used to build the shape sphere, so the identification is made by explicit construction rather than by circular inference. The main weakness—that the shape-space metric's correspondence to human similarity judgments and the status of its dimensions as quality dimensions are asserted rather than demonstrated—is a substantive philosophical gap, not a circularity. Likewise, the observation that isosceles 'regions' are measure-zero great circles marks a possible disanalogy, but that is a correctness concern, not a self-referential derivation. The quantum case is explicitly flagged as unresolved, which further indicates the paper is not masking a circular move. Overall, the paper is self-contained for the purpose of the circularity audit: its conclusion is independent of any self-citation chain and is not equivalent to an input by construction.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters or invented entities. The paper's central claim rests on the soundness of the PSD framework, Gärdenfors's conceptual spaces framework, and a broadened operative definition of 'conceptual space' that is not strictly Gärdenfors's.

assumptions (4)
  • domain assumption Pure shape dynamics (PSD) is a viable technical framework for relational dynamics that reproduces standard physics.
    The paper relies on Koslowski et al. (2022) and related work for the validity of PSD; the central interpretive question presupposes the technical framework.
  • domain assumption Gärdenfors's conceptual spaces framework is an adequate model of human conceptual representation.
    The paper imports the framework from cognitive science without critical assessment.
  • standard math The shape sphere (quotient of configuration space by Sim(3)) is the correct shape space for the 3-body problem.
    This is a standard mathematical result, cited to Montgomery (2002), Moeckel and Montgomery (2015), and Barbour et al. (2013).
  • ad hoc to paper A multidimensional similarity space with regions and prototypes is sufficient for being a conceptual space.
    The paper's operative reading of 'conceptual space' is broader than Gärdenfors's original criteria (which emphasize psychological quality dimensions); this broadening is not flagged.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Shape space as a conceptual space." pith.science (2026). https://pith.science/paper/XJLACFCN

@misc{pith2026250508913,
  author       = {Pith},
  title        = {Pith review of: Shape space as a conceptual space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XJLACFCN}},
  note         = {Machine review of arXiv:2505.08913}
}
read the original abstract

The notion of shape space was introduced in the second half of the 20th Century as a useful analytical tool for tackling problems related to the intrinsic spatial configuration of material systems. In recent years, the geometrical properties of shape spaces have been investigated and exploited to construct a totally relational description of physics (classical, relativistic, and quantum). The main aim of this relational framework - originally championed by Julian Barbour and Bruno Bertotti - is to cast the dynamical description of material systems in dimensionless and scale-invariant terms only. As such, the Barbour-Bertotti approach to dynamics represents the technical implementation of the famous Leibnizian arguments against the reality of space and time as genuine substances. The question then arises about the status of shape space itself in this picture: Is it an actual physical space in which the fundamental relational dynamics unfolds, or is it just a useful mathematical construction? The present paper argues for the latter answer and, in doing so, explores the possibility that shape space is a peculiar case of a conceptual space.

Figures

Figures reproduced from arXiv: 2505.08913 by the authors.

Figure 1
Figure 1. In the simple case of three particles arranged in an equilateral triangle con [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Operation of mirror conjugation in the simple case of an equilateral con [PITH_FULL_IMAGE:figures/full_fig_p011_2.png] view at source ↗
Figure 3
Figure 3. Schematic representation of the shape sphere for the equal-mass [PITH_FULL_IMAGE:figures/full_fig_p012_3.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

35 extracted references · 34 canonical work pages

  1. [1]

    Anderson, E. (2016). Configuration spaces in fundamental physics. Preprint available at http://arxiv.org/abs/1503.01507

    work page Pith review arXiv 2016

  2. [2]

    (Ed.) (2000)

    Ariew, R. (Ed.) (2000). G.W. Leibniz and Samuel Clarke - Correspondence . Hackett Publishing Company, Inc

    work page 2000

  3. [3]

    Barbour, J. (1974). Relative-distance M achian theories. Nature\/ 249 , 328--329

    work page 1974

  4. [4]

    (1982, September)

    Barbour, J. (1982, September). Relational concepts of space and time. British Journal for the Philosophy of Science\/ 33\/ (3), 251--274

    work page 1982

  5. [5]

    Barbour, J. (1994). The timelessness of quantum gravity: II . the appearance of dynamics in static configurations. Classical and quantum gravity\/ 11 , 2875--2897

    work page 1994

  6. [6]

    Barbour, J. (1999). The End of Time. T he Next Revolution in Physics . Oxford University Press

    work page 1999

  7. [7]

    Barbour, J. and B. Bertotti (1977, March). Gravity and inertia in a M achian framework. Il nuovo cimento B\/ 38\/ (1), 1--27

    work page 1977

  8. [8]

    Barbour, J. and B. Bertotti (1982). M ach's principle and the structure of dynamical theories. Proceedings of the royal society A\/ 382 , 295--306

    work page 1982

Show all 35 references
  1. [9]

    Koslowski, and F

    Barbour, J., T. Koslowski, and F. Mercati (2013). A gravitational origin of the arrows of time. arXiv:1310.5167v1\/ . https://arxiv.org/abs/1310.5167v1

    2013 arXiv

  2. [10]

    Koslowski, and F

    Barbour, J., T. Koslowski, and F. Mercati (2014). Identification of a gravitational arrow of time. Physical Review Letters\/ 113 , 181101

    2014

  3. [11]

    Bookstein, F. (1978). The measurement of biological shape and shape change , Volume 24 of Lecture notes in biomathematics . Springer-Verlag

    1978

  4. [12]

    Koslowski, P

    Farokhi, P., T. Koslowski, P. Naranjo, and A. Vassallo (2024). A de Broglie--Bohm Model of Pure Shape Dynamics: N -Body system . Foundations of Physics\/ 54 , 40. DOI 10.1007/s10701-024-00776-4

    2024 doi

  5. [13]

    G\"ardenfors, P. (2000). Conceptual spaces: the geometry of thought . MIT Press

    2000

  6. [14]

    G\"ardenfors, P. and F. Zenker (Eds.) (2015). Applications of Conceptual Spaces . Springer

    2015

  7. [15]

    Gryb, and T

    Gomes, H., S. Gryb, and T. Koslowski (2011). Einstein gravity as a 3 D conformally invariant theory. Classical and Quantum Gravity\/ 28 , 045005. http://arxiv.org/abs/1010.2481

    2011 arXiv

  8. [16]

    Kendall, D. (1977). The diffusion of shape. Advances in Applied Probability\/ 9\/ (3), 428--430

    1977

  9. [17]

    Barden, C

    Kendall, D., D. Barden, C. T.K., and H. Le (1999). Shape and shape theory . John Wiley & Sons LTD

    1999

  10. [18]

    Klingenberg, C. (2020). Walking on Kendall's Shape Space: Understanding Shape Spaces and Their Coordinate Systems . Evolutionary Biology\/ . DOI 10.1007/s11692-020-09513-x

    2020 doi

  11. [19]

    Naranjo, and A

    Koslowski, T., P. Naranjo, and A. Vassallo (2022). Pure shape dynamics: G eneral framework. Classical and Quantum Gravity\/ 39\/ (21), 215017

    2022

  12. [20]

    Marchal, C. and D. Saari (1976). On the final evolution of the n -body problem. Journal of Differential Equations\/ 20 , 150--186

    1976

  13. [21]

    Maudlin, T. (1993). Buckets of water and waves of space: Why spacetime is probably a substance. Philosophy of Science\/ 60 , 183--203

    1993

  14. [22]

    Mercati, F. (2018). Shape dynamics . Oxford University Press

    2018

  15. [23]

    Mercati, F. and P. Reichert (2021). Total collisions in the n -body shape space. Symmetry\/ 13\/ (9), 1712

    2021

  16. [24]

    Thorne, and J

    Misner, C., K. Thorne, and J. Wheeler (1973). Gravitation . W.H. Freeman and Company

    1973

  17. [25]

    Moeckel, R. and R. Montgomery (2015). Realizing all reduced syzygy sequences in the planar three-body problem. Nonlinearity\/ 28 , 1919--1935

    2015

  18. [26]

    Montgomery, R. (2002). Infinitely many syzygies. Archive for Rational Mechanics and Analysis\/ 164 , 311--340

    2002

  19. [27]

    Nerlich, G. (2003). Space-time substantivalism. In D. Loux, M.J. Zimmerman (Ed.), The Oxford Handbook of Metaphysics , Chapter 10, pp.\ 281--314. Oxford University Press

    2003

  20. [28]

    Poincar\'e, H. (2017). Science and Hypothesis . Bloomsbury Publishing. First Edition 1902

    2017

  21. [29]

    Pooley, O. (2001). Relationalism rehabilitated? II: R elativity. Manuscript available at http://philsci-archive.pitt.edu/221/. Retrieved on September 2021

    2001

  22. [30]

    Pooley, O. (2013). Substantivalist and relationalist approaches to spacetime. In R. Batterman (Ed.), The O xford handbook of philosophy of physics , pp.\ 522--586. Oxford University Press

    2013

  23. [31]

    uthrich (Eds.), Thinking about space and time , Einstein Studies Vol. 15, pp.\ 227--246. Birkh\

    Vassallo, A. and C. Hoefer (2020). The metaphysics of M achian frame-dragging. In C. Beisbart, T. Sauer, and C. W\"uthrich (Eds.), Thinking about space and time , Einstein Studies Vol. 15, pp.\ 227--246. Birkh\"auser. http://arxiv.org/abs/1901.10766

    2020 arXiv

  24. [32]

    Vassallo, A. and P. Naranjo (2025a). On the prospects of a de Broglie-Bohm-Barbour-Bertotti theory. In A. Oldofredi (Ed.), Guiding Waves in Quantum Mechanics: One Hundred Years of de Broglie-Bohm Pilot-Wave Theory , pp.\ 297--314. Oxford University Press

    2025

  25. [33]

    Vassallo, A. and P. Naranjo (2025b). Pure shape dynamics, self-subsisting structures, and the nature of time. Journal for General Philosophy of Science\/ . DOI 10.1007/s10838-024-09690-9

    2025 doi

  26. [34]

    Naranjo, and T

    Vassallo, A., P. Naranjo, and T. Koslowski (2022a). The physics and metaphysics of pure shape dynamics. In A. Vassallo (Ed.), The Foundations of Spacetime Physics: Philosophical Perspectives , Chapter 4, pp.\ 108--132. Routledge. Preprint available at https://arxiv.org/abs/2203.02773

    2022 arXiv

  27. [35]

    Naranjo, and T

    Vassallo, A., P. Naranjo, and T. Koslowski (2022b). A proposal for a metaphysics of self-subsisting structures. I . C lassical physics. Synthese\/ 200 . DOI 10.1007/s11229-022-03865-x

    2022 doi

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.