{"id":"bffd37b5-f8f1-476d-bde3-d65dd25eb303","arxiv_id":"2505.15627","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper argues that the non-individuals interpretation of quantum mechanics must adopt a 'Crisp axiom' to explain our world of experience, that this axiom should not be tied to the standard collapse postulate, and that Everettian and collapse interpretations are the viable homes for it.","lead":"A philosophy of physics chapter argues that the 'non-individuals' interpretation of quantum mechanics needs a rule for converting quantum non-individual entities into classical individuals, and surveys four interpretations of quantum mechanics that could supply that rule. It maps which interpretations are compatible with the view and which are not, offering a roadmap for future metaphysical work.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The compatibility survey overstates support: attaching QMNI to Everett or collapse theories supplies a trigger for the Crisp axiom but not the composition story required by the Phenomenological principle, so the central recommendation remains unsupported.","rationale":"The reader's weakest_assumption focused on whether Shimony's Phenomenological principle is binding; my concern is different and, I think, more directly load-bearing for the chapter's positive conclusion. Even if one fully grants the Phenomenological principle, the paper's move from 'QMNI needs a Crisp axiom' to 'QMNI should be attached to Everettian quantum mechanics or spontaneous collapse theories' relies on a further assumption: that solving the measurement problem suffices to supply a principled content for Crisp. That assumption is not defended. The paper explicitly identifies the composition problem—how a collection of non-individual m-atoms composes an individual M-atom—as the key outstanding issue, and says an answer to it 'would be an answer to the Phenomenological principle.' But the compatibility survey does not answer it. Everett's branching and GRW collapse are solutions to the measurement problem; they explain when superpositions disappear or split, but they do not explain why macroscopic objects are individuals or how non-individual constituents compose them. Thus the classification of Everett and collapse as 'open venues' is weaker than the conclusion 'the job is fairly easy.' This is a genuine soft spot, not a manufactured one: the author is honest about leaving the composition problem to future work, but the central recommendation is presented as following from the survey. The concern is not that the claim is false—it may be that QMNI can eventually be attached to Everett or collapse in a way that solves composition—but that the argument as written does not establish it. Because the paper is already framed as a programmatic chapter and the reader's verdict was CONDITIONAL, this concern reinforces the conditionality rather than overturning it. Verdict should remain UNCHANGED: the stress-test found a real gap but not a reason to move from CONDITIONAL to REJECT, since the author does not claim to have completed the composition story and the positive recommendation is explicitly a task for future metaphysics. The reader and I differ on where the weakest point lies, but the resulting verdict is the same.","tokens_in":8796,"tokens_out":4621,"duration_ms":45417,"concrete_test":"Ask the author to produce an explicit quasi-set-theoretic model of a physically motivated Crisp transition in either the Everett or GRW setting: for example, define C(x) as 'x is a record in a decohered branch' or 'x belongs to a system that has undergone a collapse event,' and then show that a finite collection of m-atoms satisfying C has a well-defined M-object as its composition, without invoking hidden labels or primitive M-identity. If the transition can be derived from the branching or collapse dynamics, the compatibility claim is supported; if it must be added as an extra postulate, then the central recommendation does not follow from the measurement-problem solutions alone.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central inference is that QMNI can satisfy Shimony's Phenomenological principle by replacing the SQM-dependent Crisp trigger with branching (Everett) or spontaneous collapse. But the Phenomenological principle requires that an ontology 'suffice to account for appearances,' not merely that a predicate C be applicable at some event. The Crisp axiom is a formal transition m(x) → M(x); it stipulates that a non-individual becomes an individual. The hard question, acknowledged in §2 and left open in §5, is how a collection of m-atoms with no identity conditions composes a single M-atom. Neither Everett's branching nor GRW collapse addresses this composition question. In Everett, decoherence may select branches, but it does not by itself yield the M-atom/M-object metaphysics; one still needs a principled account of why branch-relative records constitute individual macroscopic objects and how non-individual constituents compose them. In spontaneous collapse theories, a high collapse rate explains definite measurement outcomes, but a collapsed wave packet is not obviously a collection of M-atoms; the transition to individuality remains as stipulative as before. Thus the claim that 'the job is fairly easy' with these two interpretations is unsupported. The survey classifies theories as 'open' on the basis of not postulating particle trajectories or objective objects—evidence of absence of conflict, not evidence that the Crisp transition can be made principled. This is load-bearing because the paper's positive conclusion—detach QMNI from SQM and attach to Everett or collapse—would not follow if the composition problem is independent of the measurement problem. The paper itself says an answer to the m→M question 'would be an answer to the Phenomenological principle,' and that answer is not given.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The chapter argues that the “non-individuals” interpretation of quantum mechanics (QMNI), which treats quantum entities as objects lacking an individuality profile within quasi-set theory, faces a challenge from Shimony's Phenomenological principle: any acceptable ontology must suffice to account for appearances, and our world of experience is populated by individuals. The paper's thesis is that QMNI requires the Crisp axiom (C) of quasi-set theory — the predicate that turns m-atoms into M-atoms — or an analog of it, but that C as originally conceived is triggered by the undefined notion of “measurement” in standard quantum mechanics (SQM). The chapter therefore recommends detaching QMNI from SQM and attaching it to a principled solution to the measurement problem. Section 4 surveys four interpretations: Bohmian mechanics and the Modal-Hamiltonian Interpretation are presented as closed venues (though MHI is said to admit a future “bridge”), while Everettian quantum mechanics and spontaneous collapse theories are proposed as viable alternatives, with the Crisp trigger replaced by branching or by the GRW collapse rate, respectively. Section 5 concludes that QMNI must adopt the Crisp axiom, must abandon SQM, and that attaching QMNI to Everett or collapse theories makes “the job fairly easy,” while leaving detailed articulation to future work.","tokens_in":8933,"tokens_out":23778,"duration_ms":179166,"significance":"If the diagnosis holds, the chapter advances the QMNI program: identifying the Crisp axiom's dependence on SQM's undefined “measurement” is a substantive contribution to the recent literature on C (Macías-Bustos and Martínez-Ordaz 2023), and reframing the task as finding a principled trigger for C is a useful research directive. The chapter is commendably honest: §2 states explicitly that the composition question (how a collection of non-individual m-atoms composes an individual M-atom) remains unanswered, and §5 concedes that C “won't do the entire job.” The survey connects QMNI to the interpretation wars and yields a testable commitment: empirical vindication of Bohmian mechanics would, on the paper's trajectory-based individuality claim, falsify QMNI. The chapter credits adjacent recent work (Lombardi 2023; Holik et al. 2022) and identifies concrete candidate triggers for C. The significance is programmatic rather than definitive — the chapter reframes a known gap and charts routes forward without closing the gap — but that reframing is valuable both for the non-individuality school and for its critics.","major_comments":[{"comment":"The paper's central recommendation — that attaching QMNI to Everettian quantum mechanics or to spontaneous collapse theories makes “the job fairly easy” (§5) — is not supported by the argument offered. The paper itself acknowledges in §2 that “the crucial question that remains unanswered is that, even if we fix the Phenomenological principle, how come an individual (a M-atom) can be formed by a collection of non-individuals (m-atoms)?” The Crisp axiom stipulates the formal transition m(x) → M(x), but neither the Everett discussion (“the non-individuality of m-atoms would, as soon as the world branches, become M-atoms”) nor the GRW discussion (“there is no problem with the Phenomenological principle here”) supplies an account of how the composition is effected. Replacing the trigger of C (measurement by branching or by collapse rate) leaves the m → M transition as stipulative as before; the survey's evidence that these interpretations are “open” is an absence of conflict (no trajectories, no objective objects), which is not positive evidence that the Crisp transition can be made principled. Because the Phenomenological principle requires the ontology to “suffice to account for appearances,” the unanswered composition question is load-bearing: the compatibility claim asserted in §5 is weaker than the conclusion requires, and the paper should either restrict its claim to the trigger problem (with the composition problem explicitly deferred) or show, in outline, how branching or collapse bears on composition.","section":"§4 (Everett, GRW); §5"},{"comment":"The paper's central necessity claim — that QMNI “must have the Crisp axiom (C), or some analog of it” (§5) — rests on Shimony's Phenomenological principle as quoted in §1, and the principle is not defended beyond the citation to Shimony (1997). The only additional support offered, the appeal to French (2018) on new metaphysical devices needing to relate to familiar ones, is explicitly subsumed by the author under the same principle (“I take that French's claim can be read as an instance of Shimony's Phenomenological principle”). The paper explicitly declines to use the principle to falsify QMNI outright, yet still deploys it as the standard that generates the Crisp requirement and that makes the measurement problem a problem in §3. A reader who rejects the principle (for instance, a philosopher who denies that fundamental ontology must “account for appearances,” or an eliminativist about the manifest image) will see no reason for the Crisp axiom at all, and the entire compatibility survey loses its force. The chapter should either provide an independent argument for the principle or explicitly conditionalize the thesis: if the Phenomenological principle is accepted, then QMNI requires C or an analog, and C requires a principled trigger. As written, the modal strength of the conclusion (“must”) exceeds the support provided, although the paper is transparent about the reliance.","section":"§1; §5"},{"comment":"There is an internal tension in the classification of the Modal-Hamiltonian Interpretation. The abstract announces “two closed venues” (Bohmian mechanics and MHI), and §5 says QMNI is “incompatible” with both. But the MHI subsection of §4 argues that recent MHI's elimination of the category of “object” creates only “a tension” with QMNI “as it presently stands,” that “some modifications in the ontological categories of QMNI are needed,” and §5 itself concedes that “a bridge might be built” if QMNI adopts eliminativism about objects. Since the paper describes a concrete path to compatibility, and since Holik et al. (2022) have already built an MHI on quasi-set theory, grouping MHI with the “irreconcilable” Bohmian case obscures the survey's structure. Either MHI should be classified as a separate conditional case, or the paper should explain why the required modification to QMNI's ontology counts as disqualifying for the “as it currently stands” claim.","section":"Abstract; §4; §5"}],"minor_comments":[{"comment":"In §3, “QM NI stand or fall with the SQM collapse postulate” should read “QMNI stands or falls with the SQM collapse postulate” (subject–verb agreement).","section":"§3"},{"comment":"In §2, “it let to an instance of the (in)famous measurement problem” should read “it led to an instance.”","section":"§2"},{"comment":"In the Everett subsection, the sentence “the non-individuality of m-atoms would, as soon as the world branches, become M-atoms” conflates a property (non-individuality) with its bearers (m-atoms); the intended claim is presumably that m-atoms become M-atoms while losing their non-individuality.","section":"§4 (Everett)"},{"comment":"The verdict that Bohmian mechanics is “not a venue for QMNI” rests on the claim that trajectories confer individuality, which is asserted with citations (Brown, Dewdney and Horton 1994; Redhead 1983; French and Bigaj 2024) but not defended against known dissent in the literature; since the conditional falsification claim in §5 depends on this premise, a sentence of argument would materially strengthen the chapter.","section":"§4 (Bohmian)"},{"comment":"The GRW subsection says “the more complex the system is, the more likely to collapse”; stating the effective rate scaling (roughly the single-particle rate times the number of constituents) would make the trigger story more precise.","section":"§4 (GRW)"},{"comment":"The reference entry for Brown, Dewdney and Horton (1994) lists “Foundations of Physics A 25,” and the Krause and Jorge (2024) entry contains a malformed URL with stray spaces (“https ://philpapers.org/rec/KRASUT”); both need cleanup.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"This is an invited chapter for a Springer volume edited from within the QMNI school (Krause and Arenhart, forthcoming), and it reads as an internal, programmatic contribution rather than a critical survey. The literature engagement is almost entirely within the school (Krause, Arenhart, French, Lombardi, Holik, Macías-Bustos and Martínez-Ordaz); external critics of quasi-set-theoretic QMNI — for example, those who argue that quantum statistics can be accommodated without abandoning classical identity, or those who reject Shimony's principle as a constraint on fundamental metaphysics — are not engaged. That narrowness is appropriate for the target volume, but a general-journal referee should weigh it against the journal's scope. I do not see circularity in the paper: it evaluates QMNI against an external principle and against external interpretations. The stress-test concern about the composition problem, however, does land: the paper's own §2 concession shows that the m → M transition remains a stipulation, and §5's “fairly easy” overstates the support provided."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Know this paper for its diagnosis, not its prescription. It points out that QMNI's Crisp axiom, as originally conceived, leans on the undefined 'measurement' of standard QM, and that QMNI should therefore find a principled collapse trigger. That is a real and useful observation, and the compatibility survey—Bohm closed, MHI closed unless objects are dropped, Everett and GRW open—is a genuinely new synthesis that will help organize future work.\n\nThe paper is honest about its limits. It openly says the composition question (how a collection of m-atoms becomes one M-atom) is unanswered, and that answering it would be answering the Phenomenological principle. That is the right note to strike, and it keeps the piece from overclaiming.\n\nThe soft spot is the positive recommendation. 'The job is fairly easy when QMNI is attached to either Everettian quantum mechanics or spontaneous collapse theories' is not supported by what precedes it. A trigger for C is not the same as a story of composition. Branching gives you a decoherence-based selection of branches; GRW gives you a high collapse rate for complex systems. Neither tells you why a branch-relative record or a collapsed wave packet should be a collection of M-atoms, nor how non-individual constituents compose an individual. The survey classifies those interpretations as 'open' mainly because they do not postulate particle trajectories or objective objects—absence of conflict, not presence of a mechanism. So the central inference from 'no obvious obstacle' to 'fairly easy' is weaker than the chapter's own caution elsewhere.\n\nThe reliance on Shimony's Phenomenological principle is also an assumption rather than an argued premise. That is fine in context—the paper says it will not use it to falsify QMNI—but it means the argument has force only for readers who accept that principle. I would call that a minor issue, not a fatal one, because most parties in this debate do accept something like it.\n\nWho is this for? Readers working on QMNI, quasi-set theory, or the metaphysics of quantum mechanics. It is a programmatic piece, not a derivation, and it does not solve the composition problem. But it frames the problem correctly and gives the debate a workable map. I would send it to peer review, and I would ask the referee to hold the author to the 'fairly easy' claim. A revised version that either weakens that claim or sketches a compositional story would be stronger.","headline":"Useful diagnosis of QMNI's Crisp-axiom problem, but the 'open venue' recommendation overstates what Everett and collapse theories actually supply.","tokens_in":9635,"tokens_out":2155,"would_cite":true,"duration_ms":18799,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The non-individuals interpretation of quantum mechanics can only explain experience if it leaves standard quantum mechanics behind.","keywords":["non-individuals interpretation","quantum non-individuality","Phenomenological principle","Crisp axiom","quasi-set theory","measurement problem","Everettian quantum mechanics","spontaneous collapse"],"falsifier":"One concrete test is to check whether an unambiguous empirical confirmation of Bohmian particle trajectories ever occurs; the paper explicitly grants that if Bohmian mechanics were confirmed, QMNI would be falsified.","tokens_in":8461,"feed_emoji":"⚛️","tokens_out":7886,"duration_ms":65476,"temperature":0.7,"pith_summary":"This paper tries to close a gap between the “non-individuals” interpretation of quantum mechanics (QMNI) and the world of everyday objects. It argues that QMNI needs the Crisp axiom, or an analog, to satisfy the Phenomenological principle: an ontology must account for appearances. The Crisp axiom, however, was originally tied to the undefined notion of “measurement” in standard quantum mechanics, so it cannot carry that burden. The paper concludes that QMNI must be detached from standard quantum mechanics and attached to a principled solution to the measurement problem, finding open venues in Everettian quantum mechanics and spontaneous collapse theories and closed venues in Bohmian mechanics and the Modal-Hamiltonian Interpretation. A reader should care because the argument decides whether a prominent non-individualist metaphysics can explain why experience looks individual at all.","feed_headline":"Quantum non-individuals need a physical route to ordinary objects","feed_subtitle":"The Crisp axiom only works if Everettian branching or spontaneous collapse supplies the trigger.","key_machinery":"The Crisp axiom (C) of quasi-set theory is the load-bearing device: $\\forall x (m(x) \\to (C(x) \\to M(x)))$, a predicate that turns a non-individual quantum atom into an individual one. In the paper’s diagnosis, C is the formal equivalent of the collapse of the wavefunction in standard quantum mechanics, and therefore inherits the same defect: it depends on an undefined “measurement” event. The paper’s argument is that C can only do its phenomenal work if it is anchored to a physical mechanism, such as decoherence-driven branching in Everettian quantum mechanics or the objective collapse rate in spontaneous collapse theories.","core_discovery":"On the paper’s own terms, the central claim is that QMNI as currently formulated is incomplete: it tells us the world’s basic entities are non-individuals but gives no account of how those non-individuals compose the individual objects of experience. The bridge must be supplied by the Crisp axiom, which turns m-atoms into M-atoms, or by some analog. But because the Crisp axiom was introduced to mark “measurement” in standard quantum mechanics, and because standard quantum mechanics never defines measurement, QMNI cannot stay attached to it. The paper therefore argues that QMNI should be reformulated within a solution to the measurement problem: Everettian branching or spontaneous collapse can ground the Crisp transition, while Bohmian mechanics confers a spatiotemporal individuality incompatible with QMNI and the Modal-Hamiltonian Interpretation would require QMNI to abandon the category of object.","pith_inferences":["The paper leaves open whether the Crisp axiom’s m-to-M transition has a quantitative threshold; one testable extension would be to derive such a threshold from the decoherence rate or collapse rate in whichever interpretation QMNI is attached to.","The same structure could be applied to quantum field theory, where particle-number indeterminacy may make the m-to-M transition even less well defined than in non-relativistic quantum mechanics.","If branching is the trigger, the acknowledged vagueness of world-count in Everettian quantum mechanics would transfer to the Crisp transition, so any precise statement of when individuality emerges would inherit that vagueness."],"forward_implications":["QMNI must abandon the collapse postulate of standard quantum mechanics as its metaphysical foundation.","In an Everettian setting, the Crisp axiom would be redefined through branching and decoherence rather than through measurement.","In a spontaneous collapse setting, the collapse rate would provide the physical trigger that turns non-individual m-atoms into individual M-atoms.","Empirical support for Bohmian mechanics would directly falsify QMNI, while support for spontaneous collapse or Everettian quantum mechanics would keep it viable.","Compatibility with the Modal-Hamiltonian Interpretation is possible only if QMNI drops the ontological category of object altogether."],"supporting_citations":[{"why":"It supplies the Phenomenological principle that the paper uses as the standard QMNI must satisfy.","marker":"Shimony, 1997"},{"why":"It introduces the Crisp axiom as turning m-objects into M-objects through a process described case-by-case by a device.","marker":"Krause, 2012"},{"why":"It states that in QMNI objects become Crisp upon measurement, tying the Crisp axiom to standard quantum mechanics’ collapse.","marker":"Macías-Bustos and Martínez-Ordaz, 2023"},{"why":"It defines QMNI’s methodology as an added metaphysical layer over standard quantum mechanics.","marker":"Krause, Arenhart and Bueno, 2022"},{"why":"It supplies the quasi-set-theoretic account of non-individuality as the failure of self-identity.","marker":"French and Krause, 2006"},{"why":"It distinguishes M-atoms and m-atoms and identifies definite spatiotemporal position as an individuality profile incompatible with QMNI.","marker":"French and Bigaj, 2024"},{"why":"It states the desideratum that solutions to the measurement problem should not postulate special physics for measurements.","marker":"Daumer et al., 2006"},{"why":"It provides the quasi-set-based Modal-Hamiltonian property ontology that is close to but not fully compatible with QMNI.","marker":"Holik et al., 2022"},{"why":"It supplies the decoherence account of branching that could anchor Crispness in Everettian quantum mechanics.","marker":"Wallace, 2012"},{"why":"It introduces the spontaneous collapse rate that could serve as the physical trigger for Crispness in collapse theories.","marker":"Ghirardi, Rimini and Weber, 1986"}],"fun_headline_variants":["Non-individuals can't become objects without Everett or collapse","Quantum non-individuals need Everett branching or collapse to yield objects","Non-individuality's gap to experience needs a collapse or branching trigger","To bridge non-individuals to objects, QMNI needs Everett or collapse","Non-individuals can't explain experience without a measurement solution"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole argument depends on accepting the Phenomenological principle as the right standard, namely that any ontology must suffice to account for appearances; if that principle is rejected, QMNI’s need for a Crisp axiom loses its force.","fun_headline_variants_meta":{"raw":{"variants":["Non-individuals can't become objects without Everett or collapse","Quantum non-individuals need Everett branching or collapse to yield objects","Non-individuality's gap to experience needs a collapse or branching trigger","To bridge non-individuals to objects, QMNI needs Everett or collapse","Non-individuals can't explain experience without a measurement solution"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000354,"raw_usage":{"total_tokens":1865,"prompt_tokens":828,"completion_tokens":1037,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":444,"completion_tokens_details":{"reasoning_tokens":944}},"tokens_in":444,"tokens_out":1037,"duration_ms":7712,"temperature":1.0,"reasoning_tokens":944,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T15:13:39.417169+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"One concrete test is to check whether an unambiguous empirical confirmation of Bohmian particle trajectories ever occurs; the paper explicitly grants that if Bohmian mechanics were confirmed, QMNI would be falsified.","supporting_citations":[],"review_version":1}