{"id":"df0cc077-12e8-44af-bba5-8212fda68875","arxiv_id":"2507.20313","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Non-modal properties may be understood as features that appear only from an internal perspective on an underlying modal, relational structure.","lead":"This philosophy of physics paper argues that the 'internal view' used in relational observables and quantum reference frame formalisms can explain how non-modal facts, like positions or properties, could arise from an underlying modal structure. A generalist might read it because it offers a new way to defend structural realism about physics while addressing old puzzles about laws and possibility.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The modal reading of complete observables rests on an unsupported inference from derivation order to ontological priority; Section 3.1 does not rule out an actualist, non-modal reading of gauge-invariant correlations.","rationale":"The reader's weakest_assumption identifies the same core issue: the paper moves from the structure of diffeomorphism-invariant formalisms to modal ontology via an undefended priority claim. I agree with that assessment. My stress-test sharpens it by pointing out that complete observables in classical GR are gauge-invariant functions on the reduced phase space, and such functions can be read as actual relational magnitudes without any modal commitment. The paper anticipates this worry by insisting that coincidence events 'cannot be defined prior to' the correlation, but that is a claim about definitional or representational dependence, not about ontological dependence. The suppressed premise—that mathematical derivation order in a gauge-theoretic formalism reveals the order of being—is precisely what needs independent defense. This is not a technical error in the physics; it is an interpretive leap. The paper is honest about the unsettled status of the quantum formalisms and about the clock ambiguity and preferred-basis problems, which further limits the evidential weight of Section 3.2. These limitations reduce the force of the strongest claim but do not make the proposal incoherent; a revised defense could supply the missing argument. Hence I would keep the existing conditional verdict rather than reject or accept outright.","tokens_in":19842,"tokens_out":5046,"duration_ms":71648,"concrete_test":"Apply the argument of Section 3.1 to a finite-dimensional reparametrization-invariant toy model, such as a parametrized harmonic oscillator, with partial observables q and clock t and complete observable q(t). Construct the same complete observable in two ways: (i) directly as a gauge-invariant function on the reduced phase space, and (ii) as a set of actual coincidence events along a unique reduced-phase-space trajectory. If both constructions yield the same physical content, then the derivation order in (i) does not establish ontological priority, and the conclusion that q(t) is modal rather than an actual relational fact would overgenerate to ordinary relational Hamiltonian mechanics. This would settle whether Section 3.1's priority inference carries the weight the paper places on it.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is in Section 3.1, where the paper argues that because in a diffeomorphism-invariant theory we cannot write down individual trajectories, the correlation expressed by αV(αS) is 'ontologically prior to the actual events' and hence modal. This inference is not forced by the formalism. A complete observable such as 'the value of αV when αS = 5' is a gauge-invariant function on the reduced phase space; it can equally be read as an actual relational fact about a particular solution, not as a modal connection. The inability to write gauge-dependent trajectories is a feature of the representation, not evidence that the represented world is modal. The suppressed premise is that the order in which quantities are introduced in a gauge-fixed or reduced formalism mirrors ontological priority. That premise is asserted, not defended, and it is exactly what modal ontic structural realism needs. Without it, Sections 3.1–3.2 and the Newman-objection response in Section 4.2 lose their foundation: the response depends on non-modal features being only internal views on a fundamentally modal structure, but the formalism alone does not show complete observables are modal rather than relational-actual. The paper's own acknowledgment in Section 4.3 of clock ambiguity and preferred-basis problems further weakens the evidential support for the modal interpretation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that modern spacetime physics—especially diffeomorphism-invariant theories and quantum-gravity formalisms—creates serious problems for contingentist accounts of the modal/non-modal distinction, particularly those that avoid quiddities by privileging spacetime. It then proposes that the partial/complete observables formalism and the quantum reference frame (QRF) formalism support a modal ontic structural realism: complete observables are fundamentally modal relational structure, while partial observables and apparent categorical properties arise as 'internal views' on that structure. The final sections draw consequences for lawhood, arguing that the view fits constraint-based accounts and that the Newman objection to structural realism cannot be posed in its standard form.","tokens_in":20091,"tokens_out":4426,"duration_ms":59654,"significance":"If the central inference were secured, the paper would be a significant and original contribution: it offers a concrete, physics-grounded model for modal ontic structural realism, a response to the 'relations without relata' and manifest-image objections, and a new route around the Newman objection. The paper has real strengths: it engages specific technical formalisms (Rovelli's partial observables, Page-Wootters, perspective-neutral QRF) rather than a strawman; it is explicit about its own scope and limitations (Section 1.1 and Section 4.3); and it does not pretend the science is settled. The value is programmatic and conceptual rather than demonstrative, and the main weakness is the underdefended inference from the order of mathematical derivation to ontological priority.","major_comments":[{"comment":"The central inference from representational order to ontological priority is asserted rather than defended. The text moves from 'we cannot write down the individual trajectories' to the claim that the correlation expressed by αV(αS) 'is ontologically prior to the actual events.' But a complete observable such as 'the value of αV when αS = 5' is a gauge-invariant function on the reduced phase space; it can be read equally well as an actual relational fact about a particular solution, not as a modal connection. The suppressed premise is that the order in which quantities are introduced in the formalism mirrors ontological priority. Since the modal reading of complete observables and the Newman-objection response in Section 4.2 both depend on this premise, the author needs either to supply an argument for it or to weaken the claim to an interpretive proposal.","section":"Section 3.1"},{"comment":"The quantum case is said to give 'even stronger reasons' for a modal reading because canonical quantization identifies states rather than whole histories. But Section 4.3 concedes that the QRF/Page-Wootters program suffers from the clock ambiguity and the preferred-basis problem, and Section 3.2 notes that an interpretation of the quantum state is needed before relational statements can be connected to observations. If different clock choices produce radically different evolution laws, then the relational states and apparent categorical properties generated by taking an internal view are representation-dependent in a way that threatens the ontological conclusion. The author needs to explain why the modal reading is robust across clock choices, or to restrict the modal claim to the classical case.","section":"Section 3.2 and Section 4.3"},{"comment":"The claim that the connection between partial observables is metaphysically necessary is supported by the statement that 'by definition partial observables exist only as aspects of the relations encoded in complete observables.' This supports an analytic or definitional necessity within the formalism, not a metaphysical necessity. The subsequent argument that partial observables would be different if the relational structure were different is a counterpart-theoretic move that needs independent metaphysical defense. As written, the section conflates 'this formalism defines x by relation R' with 'x could not exist without R as a matter of metaphysical necessity.' Please clarify the modal status and the criteria for cross-world identity of partial observables.","section":"Section 4.1"},{"comment":"The paper says that adopting an internal view 'brings new kinds of properties into being,' while footnote 3 disclaims that this is a real temporal process. This is a crucial ontological claim, not a harmless turn of phrase: without an account of what makes an internal view ontologically significant rather than merely a choice of representation, the emergence of non-modal features from modal structure remains metaphorical. The manifest-image response and the Newman-objection response in this section depend on this emergence being real in some sense, so the author should specify what 'bringing into being' amounts to and why it is not just a change of description.","section":"Section 4.2"}],"minor_comments":[{"comment":"There are several typos and inconsistencies: 'the the partial/complete observables' in the Introduction, 'total/partial observables' in Section 4.2, 'participatns' in the Acknowledgements, 'spacetiotemporal' and 'manifest spacetiotemporal structure' in Sections 3.2 and 4.2, and 'beteen' in Section 4.","section":"Throughout"},{"comment":"Some references are incomplete: Baker (2019) lacks a venue or publication details, Ruyant (2017) lacks issue and page numbers, and Kabel et al. (2024) and Vanzella and Butterfield (2024) are cited as preprints without a publication status. Please complete these entries.","section":"References"},{"comment":"The terms 'internal view,' 'internal perspective,' and 'first-person perspective' are used interchangeably, but they may carry different commitments. It would help to define the intended notion and state whether the formalism requires a conscious observer or only a physical reference system.","section":"Sections 3 and 4"}],"recommendation":"major_revision","confidential_remarks":"This is a philosophy paper that fits the scope of physics.hist-ph. The author's self-citations to her own prior work on constraints and the Page-Wootters formalism are appropriate given the topic, but the modal interpretation would be strengthened by engaging more recent critics of modal structural realism and additional responses to the Newman objection. I see no grounds for questioning scholarly integrity; the main issue is the underdefended central inference from derivation order to ontological priority."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe thing to know: Adlam has a genuinely new idea here. She uses the 'internal view' from the partial/complete observables and QRF formalisms to explain how non-modal features could arise from a fundamentally modal structure. That application to Newman's objection and to the convergence of dispositional essentialism and constraint-based lawhood is not in the earlier literature. But the central argument, as stated in Section 3.1, doesn't force the conclusion. The paper deserves a serious referee, but the referee should push on one step.\n\nWhat the paper does well: it gives a clear account of why contingentist views that avoid quiddities tend to privilege spacetime, and why dynamical spacetime and quantum gravity make that uncomfortable. The discussion of Rovelli's partial observables and the perspective-neutral QRF formalism is careful and accessible. The Newman response is genuinely clever: if non-modal features are internal views on modal structure, you cannot separate observable and unobservable parts, so the Ramsey-sentence collapse is blocked. And the paper is honest about the unresolved status of the formalisms, the clock ambiguity, and the preferred basis problem.\n\nThe soft spot is in proportion to how soft it actually is: the inference from 'we cannot write down individual trajectories' to 'the correlation is ontologically prior to the actual events.' A complete observable such as 'the value of αV when αS=5' is a gauge-invariant function on the reduced phase space. It can be read as an actual relational fact about a particular solution, not as a modal connection. The inability to write gauge-dependent trajectories is a feature of the representation, not evidence that the world is modal. The paper asserts rather than defends the suppressed premise that derivation order mirrors ontological priority. The quantum case adds weight, since canonical quantization forces identities between states rather than whole histories, but that relies on contested quantization choices and on the very technical problems the paper acknowledges. So the modal reading is one way to interpret the formalism, but it is not forced.\n\nThat said, this is a clear, well-researched piece that advances the debate and is candid about its limitations. It should go to peer review. I would ask the author to either defend the Section 3.1 inference or moderate the conclusion to a conditional proposal. I'd bring it to a reading group; it would generate a good discussion.\n\nBest,\n[Your name]","headline":"Adlam's internal-view proposal is new and worth engaging, but the modal reading of complete observables rests on an unforced inference from derivation order to ontology; still deserves peer review.","tokens_in":20587,"tokens_out":4291,"would_cite":true,"duration_ms":49518,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Modern spacetime physics supports modal ontic structural realism: positions, spins, and other categorical properties are internal views on a fundamentally relational modal structure.","keywords":["relational observables","modal ontic structural realism","internal view","partial and complete observables","diffeomorphism invariance","quantum reference frames","quiddities","Newman objection"],"falsifier":"Construct a non-trivial diffeomorphism-invariant model—say a two-variable relational toy model in the style of Rovelli's Venus/Sun example—in which the same complete observable can be derived as a summary of pre-existing actual coincidence events, without first choosing a frame and without positing the correlation function as primitive. If such a derivation can be given, the paper's inference from 'we cannot write individual trajectories' to 'correlations are ontologically prior' fails.","tokens_in":1919,"feed_emoji":"🌌","tokens_out":2186,"duration_ms":131086,"temperature":0.7,"pith_summary":"This paper argues that modern spacetime physics points toward a specific metaphysics: reality at bottom is modal relational structure, and what we experience as non-modal features—positions, spins, categorical properties—are 'internal views' on that structure. The argument draws on the partial/complete observables formalism and the quantum reference frame formalism, where only gauge-invariant correlations are fully real and individual quantities exist only relative to a chosen frame. In such theories one cannot write down individual trajectories first and then read correlations off them; one starts from the correlation and derives the events, so the paper reads the correlation as ontologically prior to the events. The internal-view idea is then used to show how non-modal features could emerge from purely modal structure without quiddities and without a privileged role for spacetime, and to argue that the standard Newman objection to structural realism cannot even be posed. If the paper is right, modal ontic structural realism is a viable position and laws can be understood as constraints on modal structure itself.","feed_headline":"Properties are just internal views of a relational world","feed_subtitle":"Relativity suggests positions and spins exist only relative to a frame, so the world's furniture is modal structure.","key_machinery":"The load-bearing mechanism is the notion of an 'internal view': choosing a subsystem of the universe (often a clock) as a reference frame, relative to which the remaining degrees of freedom take on the appearance of intrinsic, evolving properties. In the partial/complete observables formalism, complete observables are diffeomorphism-invariant correlations between partial observables; partial observables are defined on a configuration space and then constrained out of the reduced phase space, so they are extra 'unphysical' degrees of freedom that only become well-defined properties when an internal view is adopted. In the quantum reference frame formalism, the same idea appears as the perspective-neutral state $\\Psi$, from which relational states $|\\psi_i\\rangle$ relative to clock readings $t_i$ are derived. These formalisms carry the argument because they show, in mathematical detail, relations existing without independently real relata, and because the order of derivation—from global correlation to local event—is taken as evidence that modal structure is ontologically prior to non-modal features.","core_discovery":"The paper's central claim is that the partial/complete observables formalism of general relativity and the quantum reference frame formalism instantiate a robust modal ontic structural realism: the physically real content of a diffeomorphism-invariant world is a holistic network of modal relations—complete observables or a perspective-neutral quantum state—while partial observables and relative states are not individually real but are aspects of that network brought into being by adopting an internal view. In the classical example of Venus and the Sun, one cannot write down the individual trajectories; one starts from the correlation $\\alpha_V(\\alpha_S)$, and the coincidence events are derived from it, so the correlation is ontologically prior to the actual events. In the quantum case, canonical quantization forces identities between states rather than whole histories, so manifest spatiotemporal structure cannot be retained as perspective-independent reality; only correlational structure survives. From a third-person view there is only modal structure; from an internal view—say, relative to a clock—quantum states and categorical properties appear as intrinsic features and evolve by the Schrödinger equation. The paper argues that this gives a concrete, mathematically articulated answer to how non-modal features could emerge from a purely modal reality, avoids quiddities, and blocks the Newman objection because observations cannot be separated from the structure that defines them.","pith_inferences":["My inference: if the internal-view mechanism generalizes, then any theory formulated as constraints on a configuration space with gauge redundancy will exhibit apparent categorical properties that are artifacts of frame choice, so the same explanatory move could be applied outside spacetime physics.","My inference: the fibre-bundle and Yoneda-based generalisations the paper mentions suggest a broader moral—that relational structure can generate objects and properties whenever a 'perspective' is chosen—but this moral is not established by the paper itself.","My inference: if non-modal features are frame-relative views, then the distinction between modal and non-modal features is itself relative to a description level, which would dissolve some of the traditional debates the paper starts from.","My inference: the clock ambiguity noted in the paper is the natural stress test for this metaphysics; if different internal frames yield incompatible apparent laws, then the modal structure alone does not single out the physics we observe, and additional frame-selection principles would be needed."],"forward_implications":["If the paper is right, modal ontic structural realism is a viable metaphysics for worlds governed by diffeomorphism-invariant theories: non-modal features are not fundamental but arise as internal views on modal structure.","The Newman objection to structural realism cannot be posed in its standard form, because observable content cannot be separated from the global modal structure that defines it, so the view does not collapse into modal empiricism.","Laws of nature in such worlds should be understood as constraints on modal structure itself—e.g., the Einstein equations or the Wheeler-DeWitt equation—rather than as descriptions or governors of a non-modal mosaic.","Position, spin, and other apparent categorical properties are not fundamental or world-independent; they exist only relative to internal views, so no quiddity is needed to individuate them and spacetime need not be given a privileged fundamental role.","Cross-world identity claims about partial observables must be treated carefully: a partial observable is individuated by its place in its actual relational structure, so it could not exist in a world with different modal structure."],"supporting_citations":[{"why":"Supplies the partial/complete observables formalism and the Venus/Sun example; it is the paper's central mathematical resource.","marker":"Rovelli (2002)"},{"why":"Contributes the ontic-structural-realist reading of the formalism: complete observables are relations and partial observables are non-real relata.","marker":"Rickles (2008)"},{"why":"Provides the perspective-neutral quantum reference frame framework that gives the 'internal view' its precise form.","marker":"Vanrietvelde et al. (2020)"},{"why":"Shows how clock-relative states recover Schrödinger evolution, making relational observables look like ordinary physics.","marker":"Page and Wootters (1983)"},{"why":"Establishes that restoring determinism under diffeomorphism symmetry in canonical quantization requires identities between states, which supports the modal reading.","marker":"Wallace (2002)"},{"why":"Supplies the point that already kinematical structures in quantum gravity are 'steeped in laws,' which motivates the lawhood conclusion.","marker":"Lam and Wüthrich (2023)"},{"why":"Poses the classic objection to structural realism that the paper claims its internal-view account blocks.","marker":"Newman (1928)"},{"why":"Provides the modal-structuralist response to Newman that the paper builds on.","marker":"Melia and Saatsi (2006)"},{"why":"Presents the modal-empiricism challenge that the paper argues its account avoids.","marker":"Ruyant (2017)"},{"why":"Supplies the constraint-based account of laws that the paper extends to constraints on modal structure.","marker":"Adlam (2022a)"}],"fun_headline_variants":["Reality is modal; internal views make it categorical","Relational observables: correlation first, objects derived","Structural realism gets concrete via internal views","Physics says: properties exist only relative to a frame"],"cache_read_input_tokens":22784,"weakest_assumption_plain":"The argument's load-bearing premise is that the order in which the math lets you calculate—correlation first, individual events second—tells you which is more fundamental; if that order is only a representational convenience, the main conclusion does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Reality is modal; internal views make it categorical","Relational observables: correlation first, objects derived","Structural realism gets concrete via internal views","Physics says: properties exist only relative to a frame"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000195,"raw_usage":{"total_tokens":1335,"prompt_tokens":903,"completion_tokens":432,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":519,"completion_tokens_details":{"reasoning_tokens":372}},"tokens_in":519,"tokens_out":432,"duration_ms":6699,"temperature":1.0,"reasoning_tokens":372,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T13:41:10.823685+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a non-trivial diffeomorphism-invariant model—say a two-variable relational toy model in the style of Rovelli's Venus/Sun example—in which the same complete observable can be derived as a summary of pre-existing actual coincidence events, without first choosing a frame and without positing the correlation function as primitive. If such a derivation can be given, the paper's inference from 'we cannot write individual trajectories' to 'correlations are ontologically prior' fails.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Presents the modal-empiricism challenge that the paper argues its account avoids."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Contributes the ontic-structural-realist reading of the formalism: complete observables are relations and partial observables are non-real relata."},{"cited_title":"A., Giacomini, F., and Castro-Ruiz, E","cited_arxiv_id":null,"evidence_quote":"Provides the perspective-neutral quantum reference frame framework that gives the 'internal view' its precise form."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Shows how clock-relative states recover Schrödinger evolution, making relational observables look like ordinary physics."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes that restoring determinism under diffeomorphism symmetry in canonical quantization requires identities between states, which supports the modal reading."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Poses the classic objection to structural realism that the paper claims its internal-view account blocks."},{"cited_title":"and Saatsi, J","cited_arxiv_id":null,"evidence_quote":"Provides the modal-structuralist response to Newman that the paper builds on."}],"review_version":1}