{"id":"5a0028b7-68a3-4609-96e8-daf734047c00","arxiv_id":"2412.01404","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper argues that spacetime regions should be treated as locations without locations, which dissolves the Argument from Intimacy and favors priority over identity super-substantivalism.","lead":"Philosophers have argued that spacetime cannot emerge from more fundamental non-spatiotemporal parts because location inheritance would fail. This paper proposes that spacetime regions are locations without being located, which dissolves that argument and points toward a priority version of super-substantivalism.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The solution rests on the unargued coherence of 'regions as locations but not located'; additionally, rejecting Somewhere trivializes 'Mereological Spacetime Emergence' because P is reflexive.","rationale":"The reader and I identify the same load-bearing point: the coherence of Nowhere as a metaphysical thesis about regions being locations without being located, and the unsupported claim that parthood to spacetime transmits spatiotemporal properties to regions. My main addition is a formal symptom of the gap: because P is reflexive, the weak Mereological Spacetime Emergence principle is automatically true once regions are not spatiotemporal (Nowhere ⇒ ¬SP(x), and y=x is a witness). The paper acknowledges the principle is deliberately weak, but its solution relies on the weak principle being sufficient; if the principle is vacuous, the resolution does not demonstrate that standard mereology can support spacetime emergence. The concrete test is whether the framework can be strengthened to proper parthood without either resurrecting the inconsistency or relying on unsupported property inheritance. This supports the reader's CONDITIONAL verdict: accept once the coherence of region-without-location is established. I do not see a reason to move to REJECT, since the formal core is consistent and the metaphysical assumption, while unargued, is not demonstrably false.","tokens_in":15878,"tokens_out":8223,"duration_ms":76294,"concrete_test":"Strengthen Mereological Spacetime Emergence to require a proper non-spatiotemporal part (PP(y,x) ∧ ¬SP(y)), then attempt to build a model of the §2 axioms (Nowhere, Inheritance of Location, and the weak/entire location definitions) in which each region has such a proper part and also has nontrivial metric/spatiotemporal properties defined in terms of parthood, overlap, and fusion (or the set-theoretic structure mentioned in §4). If the only models either leave the strengthened principle unsatisfiable or force the non-spatiotemporal parts to inherit the region's spatiotemporal properties, then rejecting Somewhere does not answer the Spatiotemporal Properties Argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central move is to reject Somewhere (R(x) → ∃y WL(x,y)) and accept Nowhere. Formally this breaks the inference in the Argument from Intimacy. But the solution is only as strong as the metaphysical claim that regions can be spatiotemporal locations without being located, and can possess metric/spatiotemporal properties by being parts of spacetime rather than by being located in it (§4). This is asserted, not derived. Baron's Spatiotemporal Properties Argument is answered only by stipulating that parthood to spacetime transmits such properties; no principle analogous to Inheritance of Location is supplied for property inheritance, and the paper does not explain why such inheritance stops at regions (so that their non-spatiotemporal parts do not also become spatiotemporal). Compounding this, under the paper's own definitions rejecting Somewhere makes Mereological Spacetime Emergence (∀x(R(x)→∃y(P(y,x)∧¬SP(y)))) trivially satisfied by y=x: P is reflexive and Nowhere yields ¬SP(x) for all regions. Thus the framework as stated does not yet establish that any genuine non-spatiotemporal proper parts exist, so the claim that standard mereology can underwrite substantive spacetime emergence is unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a solution to the Argument from Intimacy against mereological spacetime emergence. After formalizing exact and weak location, parthood, inheritance of location, and a weak condition of mereological spacetime emergence, the authors argue that the inconsistency is best resolved by rejecting Somewhere (R(x) → ∃y WL(x,y)) and accepting Nowhere (R(x) → ¬∃y WL(x,y)), while retaining Inheritance of Location. They then reply to two arguments by Baron in favor of Somewhere, and argue that although identity super-substantivalism recreates the problem through a weakened Somewhere, priority super-substantivalism is compatible with Nowhere and with the proposed solution. The paper concludes that standard mereology is sufficient for spacetime emergence and that identity versions of super-substantivalism should be rejected in the context of spacetime emergence.","tokens_in":16143,"tokens_out":7161,"duration_ms":68648,"significance":"If the central argument were successful, the paper would make a substantive contribution: it would show that a perfectly standard mereology can underwrite spacetime emergence while preserving the Inheritance of Location, and it would sharpen the connection between spacetime emergence and priority super-substantivalism. The paper is clearly written, explicitly formalized, and usefully isolates the Somewhere/Nowhere choice point in the debate. However, the significance is conditional on fixing two load-bearing gaps: the formal definition of Mereological Spacetime Emergence is trivially satisfied under the paper's own assumptions, and the response to the Spatiotemporal Properties argument relies on an unstated and undefended property-inheritance principle.","major_comments":[{"comment":"The formal definition ∀x(R(x) → ∃y(P(y,x) ∧ ¬SP(y))) is trivial under Nowhere. Since P is reflexive and Nowhere yields ¬SP(x) for every region x, the witness y=x satisfies the existential for every region. Thus the principle does not require any genuine non-spatiotemporal proper parts, and the paper's claim that a perfectly standard mereology can underwrite substantive spacetime emergence is unsupported as stated. The authors should either use proper parthood or add a distinctness condition (e.g., y≠x), and then verify that the Argument from Intimacy and the subsequent discussions still go through.","section":"§2, Mereological Spacetime Emergence"},{"comment":"The reply to Baron's Spatiotemporal Properties argument asserts that a region can have metric or spatiotemporal properties 'simply by virtue of being a part of a larger structure, which has those properties' (p. 14), but no principle of property inheritance from wholes to parts is stated or defended. Without such a principle, the assertion does not answer Baron's argument. Moreover, if parthood transmits spatiotemporal properties, the paper needs to explain why those properties do not also transmit to the non-spatiotemporal parts whose existence is required by Mereological Spacetime Emergence. This is a load-bearing gap in the central solution.","section":"§4, Spatiotemporal Properties argument"},{"comment":"The claim that Super-duper Priority Substantivalism makes matter come 'for free' with the emergence of spacetime is not argued; it is asserted that because material objects are D-related to substanceQG, no separate mereological account of emergent matter is needed. Since D is characterized only by Tracking (xDy → x >f y) and is otherwise left unspecified, the paper should say which determination relation does the work and why it obviates a mereological account of matter. Without this, the advertised conclusion that priority super-substantivalism is the natural bedfellow of mereological spacetime emergence remains under-supported.","section":"§5, Super-duper Priority Substantivalism"}],"minor_comments":[{"comment":"The displayed definition of Fφz is ill-formed: the second conjunct should be ∀y(P(y,z) → ∃x(φ(x) ∧ O(x,y))), not ∀y(P(x,z) → ∃x(φ(x) ∧ O(x,y))), since the 'x' in P(x,z) is unbound. The General Fusion Operator on the same page has a similar quantifier stretch that should be corrected for readability.","section":"§2, Fusion definitions"},{"comment":"The symbol 'O' is used both for overlap and for the predicate 'being a material object'; in the Identity Theory subsection this creates confusion, e.g., WL-Overlap says WL(x,y) := O(x,y), but the derivation requires O(x) as well. Use a distinct predicate, such as 'Mat(x)', for material objects.","section":"§5, Identity Theory"},{"comment":"There are typographical slips in the displayed formulas: 'Identity Super-Substantivalism1' and 'Identity Super-Substantivalism2' contain an extra closing parenthesis, and the text refers to 'Lehmkhul (2018)' where the reference list gives 'Lehmkuhl'. These should be corrected.","section":"§5"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper's central move is to reject Somewhere—the claim that spacetime regions are located somewhere—while keeping Inheritance of Location. That is a genuinely new response to the Argument from Intimacy, and the formal framework they set up is clear and useful. The discussion of super-substantivalism is also a real contribution, especially the point that identity versions clash with spacetime emergence while priority versions fit naturally with their solution.\n\nBut there are two soft spots worth naming. First, their statement of Mereological Spacetime Emergence is too weak: because parthood is reflexive, under Nowhere every region is itself a non-spatiotemporal part of itself, so the condition is trivially satisfied. The authors say the weak condition is enough to get the argument going, but it also makes their own solution vacuous in that respect. They need to state the principle with proper parts, which is likely what they intend, but as written it undercuts the claim that standard mereology underwrites substantive emergence.\n\nSecond, the coherence of regions as locations without being located is asserted rather than argued for. The response to Baron's Spatiotemporal Properties argument relies on the idea that regions derive metric properties from being parts of spacetime, but no principle of property inheritance is given, and it is unclear why such inheritance stops at regions. The reader's instinct is right: this is the load-bearing point, and it needs more work.\n\nThese are fixable issues, not fatal ones. The paper is honest about its assumptions, the engagement with the literature is careful, and the formal derivation is valid. The claim that the Somewhere/Nowhere choice is substantively consequential is supported, even if the conclusion is stated more strongly than is warranted.\n\nThis deserves a serious referee. It is a contribution to the spacetime emergence debate that should be engaged with, and I would cite it if I work on this topic. I would bring it to a reading group, though I would flag the reflexivity issue ahead of time.","headline":"A genuinely novel solution to the Argument from Intimacy—reject Somewhere, keep Inheritance—but the paper's own emergence condition turns out to be trivially satisfied under its solution, and the coherence of 'locations without location' needs more defense.","tokens_in":16600,"tokens_out":2644,"would_cite":true,"duration_ms":25141,"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":"The paper argues that the Argument from Intimacy against mereological spacetime emergence is best answered by rejecting Somewhere and accepting that spacetime regions are locations without being located.","keywords":["spacetime emergence","quantum gravity","Argument from Intimacy","mereology","location","super-substantivalism","spacetime regions","inheritance of location"],"falsifier":"A concrete case where a region's spatiotemporal property, such as its metric relation to another region, cannot be derived from its being a part of the spacetime fusion while it has no locative relation to spacetime would refute the paper's answer to the Spatiotemporal Properties argument.","tokens_in":15682,"feed_emoji":"🌌","tokens_out":6749,"duration_ms":58153,"temperature":0.7,"pith_summary":"The paper tries to rescue mereological spacetime emergence, the view that spacetime is composed of non-spatiotemporal parts, from the Argument from Intimacy, which says this view contradicts the principle that wholes inherit locations from their parts. It proposes rejecting Somewhere, the claim that every spacetime region is weakly located somewhere, and accepting Nowhere, the claim that regions are locations but do not themselves have locations. The paper argues that this preserves standard mereology and the Inheritance of Location, and that the two arguments for Somewhere fail once objects are located in spacetime by being located at regions that are mereological parts of spacetime. It then argues that identity versions of super-substantivalism are incompatible with this solution and with emergent spacetime anyway, while priority versions fit naturally.","feed_headline":"Emergent spacetime survives if regions are locations, not located","feed_subtitle":"Rejecting 'Somewhere' dissolves the Argument from Intimacy and rescues standard mereology for quantum-gravity spacetime.","key_machinery":"The carrier of the argument is the formal distinction between Somewhere and Nowhere, built on exact location $L(x,y)$, weak location defined as $WL(x,y) := \\exists z(L(x,z) \\wedge O(z,y))$, and spacetime defined as the fusion of all regions, $S := \\sigma z(\\exists x(R(x) \\wedge z=x))$. Inheritance of Location, $(P(x,y) \\wedge L(y,z)) \\to WL(x,z)$, is kept intact. The key maneuver is that regions can serve as locations and bear spatiotemporal properties by standing in a mereological relation to spacetime rather than a locative one, so rejecting Somewhere does not force one to give up standard mereology or the inheritance of location.","core_discovery":"The central claim is that the Argument from Intimacy can be resolved by keeping Mereological Spacetime Emergence and Inheritance of Location while rejecting Somewhere ($R(x) \\to \\exists y\\, WL(x,y)$) and endorsing Nowhere ($R(x) \\to \\neg\\exists y\\, WL(x,y)$). On this picture, spacetime regions are spatiotemporal locations, but they do not have spatiotemporal locations themselves. Material objects are located in spacetime by being exactly located at regions that are mereological parts of the fusion that is spacetime, so no locative relation between regions and spacetime is needed; regions also get their spatiotemporal and metric properties by being parthood-wise embedded in spacetime structure. The paper further claims that identity super-substantivalism forces a version of Somewhere and, when combined with emergent spacetime, violates the principle that identical things share all properties, whereas priority super-substantivalism avoids this and is the viable substantivalist option.","pith_inferences":["The paper's generalization to arbitrary E-relations hints that the Nowhere solution does not depend on mereology specifically: any relation that embeds regions into spacetime, such as subsethood or membership in a set-theoretic structure, could carry locations and spatiotemporal properties.","A natural next test is whether the priority super-substantivalism defense extends to relationist or monist accounts of quantum gravity, where the determination relation is less clearly a grounding or constitution relation.","If the Somewhere/Nowhere choice is genuinely substantive, formal theories of location may need to decide between the two on explanatory grounds, which could affect unrelated debates about multilocation and extended simples.","The paper's defense of Inheritance of Location is comparative rather than conclusive; a future argument that being a location requires self-location would reopen the case for Somewhere."],"forward_implications":["A perfectly standard mereology, not a reimagined one, suffices for spacetime emergence, since Inheritance of Location can be preserved.","Identity versions of super-substantivalism should be rejected in the context of spacetime emergence because they require Somewhere and conflict with the non-spatiotemporal character of the fundamental substance.","Priority super-substantivalism, on which material objects are determined by but not identical to spacetime, is the viable substantivalist option and pairs naturally with mereological spacetime emergence.","The choice between Somewhere and Nowhere is metaphysically substantive rather than a mere stipulation, because it determines whether the Argument from Intimacy can be answered while preserving standard mereology.","Spatiotemporal properties of regions can be grounded in parthood within spacetime structure rather than in a locative relation between regions and spacetime."],"supporting_citations":[{"why":"Supplies the Argument from Intimacy and the two arguments for Somewhere (Spatiotemporal Properties and Location of Objects) that the paper must answer.","marker":"Baron (2020)"},{"why":"Articulates the view that standard composition is conceptually wedded to spatiotemporal notions, the position the paper directly opposes.","marker":"Baron, Miller and Tallant (2022a)"},{"why":"Provides the Inheritance of Location principle that the paper aims to preserve.","marker":"Sider (2007)"},{"why":"Frames Somewhere and Nowhere as a stipulative choice, which the paper challenges by showing substantive metaphysical consequences.","marker":"Varzi (2007)"},{"why":"States No Location for Regions as a non-negotiable axiom, supporting the respectability of Nowhere.","marker":"Simons (2004)"},{"why":"Argues for priority over identity super-substantivalism in general relativity, which the paper recruits as support.","marker":"Lehmkuhl (2018)"},{"why":"Develops the Identity Theory of Location, used to show that identity super-substantivalism is committed to Somewhere and to Inheritance of Location.","marker":"Leonard (2021a)"}],"fun_headline_variants":["Spacetime regions: locations without location","No 'Somewhere' needed for emergent spacetime","Emergent spacetime requires regions with no location","Reject 'Somewhere' to rescue emergent spacetime","Spacetime emergence: regions are locations, not located"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that spacetime regions can be locations without being located anywhere, and that being parts of the spacetime structure is enough to give them their spatiotemporal and metric properties.","fun_headline_variants_meta":{"raw":{"variants":["Spacetime regions: locations without location","No 'Somewhere' needed for emergent spacetime","Emergent spacetime requires regions with no location","Reject 'Somewhere' to rescue emergent spacetime","Spacetime emergence: regions are locations, not located"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000217,"raw_usage":{"total_tokens":1385,"prompt_tokens":847,"completion_tokens":538,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":463,"completion_tokens_details":{"reasoning_tokens":466}},"tokens_in":463,"tokens_out":538,"duration_ms":4892,"temperature":1.0,"reasoning_tokens":466,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T04:24:22.766283+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete case where a region's spatiotemporal property, such as its metric relation to another region, cannot be derived from its being a part of the spacetime fusion while it has no locative relation to spacetime would refute the paper's answer to the Spatiotemporal Properties argument.","supporting_citations":[],"review_version":1}