Falsifiability of Isolated Spacetime Regions
Pith reviewed 2026-05-25 01:58 UTC · model grok-4.3
The pith
Physical theories can retain isolated spacetime regions if they satisfy conditional asymptotic provability via Bayesian inference.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Some physical theories, even being themselves falsifiable, predict the existence of regions of spacetime which are not falsifiable with relation to each other due to their impossibility of mutually exchanging information as, for instance, before and after the event horizon of black holes. If we require scientific theories to be falsifiable, an isolated region should be discarded from scientific models developed by observers in other regions. Here it is proposed that their existence can satisfy a weaker falsifiability condition, here called conditional asymptotic provability, which extend scientific reasoning through Bayesian inference.
What carries the argument
conditional asymptotic provability, the weaker falsifiability condition that extends scientific reasoning to isolated regions through Bayesian inference
If this is right
- Isolated regions such as those separated by black hole horizons can remain inside scientific models.
- Overall theories stay falsifiable while still containing statements about non-communicating spacetime parts.
- Bayesian inference supplies the mechanism for assessing claims about isolated regions asymptotically.
- Observers in one region can continue to use models that include predictions about causally disconnected regions.
Where Pith is reading between the lines
- The same conditional standard might cover other causally disconnected regions, such as parts of the universe beyond our cosmic horizon.
- It suggests a way to keep certain multiverse or quantum-gravity predictions inside scientific discourse without direct testing.
- Long-term accumulation of indirect evidence in the accessible region could gradually strengthen or weaken claims about the isolated part.
Load-bearing premise
Regions unable to exchange information cannot be falsified relative to each other.
What would settle it
A demonstration that Bayesian updates never produce asymptotic confirmation or disconfirmation for any prediction about an isolated region would show the proposed weaker condition does not work.
read the original abstract
In this work it is pointed out that some physical theories, even being themselves falsifiable, predict the existence of regions of spacetime which are not falsifiable with relation to each other due to their impossibility of mutually exchanging information as, for instance, before and after the event horizon of black holes. If we require scientific theories to be falsifiable, an isolated region should be discarded from scientific models developed by observers in other regions. Here it is proposed that their existence can satisfy a weaker falsifiability condition, here called conditional asymptotic provability, which extend scientific reasoning through Bayesian inference. Limitations and some epistemic consequences of this proposal are discussed.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper argues that some falsifiable physical theories predict causally isolated spacetime regions (e.g., inside black hole event horizons) that cannot exchange information and thus are not falsifiable relative to each other. It claims that strict falsifiability would require discarding such regions from models, but proposes retaining them under a weaker condition termed 'conditional asymptotic provability' that incorporates Bayesian inference, while discussing limitations and epistemic consequences.
Significance. If the central argument holds, the proposal could permit scientific theories to include descriptions of inaccessible regions without violating falsifiability, with potential relevance to black hole physics and cosmology. However, the manuscript provides no derivations, formal definitions, or concrete examples of the new condition, and the motivation rests on an unexamined inference from causal isolation to the necessity of either discarding regions or modifying falsifiability standards.
major comments (2)
- [Abstract] Abstract: The motivating premise that regions unable to exchange information 'are not falsifiable with relation to each other' and therefore must be discarded to preserve falsifiability is asserted without supporting argument or counterexample. A theory can remain falsifiable via predictions confined to the observer's accessible region (e.g., orbital dynamics or exterior curvature in general relativity), so the inference from 'no mutual information exchange' to 'must discard or weaken falsifiability' does not follow and undercuts the need for conditional asymptotic provability.
- [Abstract] Abstract: The proposed 'conditional asymptotic provability' is introduced as an extension via Bayesian inference but is neither formally defined nor shown to be independent of the problem it addresses; without a precise statement of the condition, its relation to standard falsifiability, or any worked example, it is impossible to assess whether the central claim is internally consistent or merely circular.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. The points raised identify areas where the motivation and the proposed condition require clearer presentation and formalization. We address each comment below and have revised the manuscript to strengthen the argument and add the requested details.
read point-by-point responses
-
Referee: [Abstract] Abstract: The motivating premise that regions unable to exchange information 'are not falsifiable with relation to each other' and therefore must be discarded to preserve falsifiability is asserted without supporting argument or counterexample. A theory can remain falsifiable via predictions confined to the observer's accessible region (e.g., orbital dynamics or exterior curvature in general relativity), so the inference from 'no mutual information exchange' to 'must discard or weaken falsifiability' does not follow and undercuts the need for conditional asymptotic provability.
Authors: We agree that the overall theory can remain falsifiable through accessible-region predictions, and the manuscript does not claim otherwise. The core point is narrower: the isolated regions cannot be tested against each other, creating an epistemic question about their inclusion under a strict falsifiability requirement. We accept that the abstract states this premise too briefly without counterexamples or explicit argument. The revised version expands the introduction with a detailed justification, including why causal isolation raises a distinct issue even when the exterior theory is testable, and discusses the GR exterior example to show the distinction. revision: yes
-
Referee: [Abstract] Abstract: The proposed 'conditional asymptotic provability' is introduced as an extension via Bayesian inference but is neither formally defined nor shown to be independent of the problem it addresses; without a precise statement of the condition, its relation to standard falsifiability, or any worked example, it is impossible to assess whether the central claim is internally consistent or merely circular.
Authors: The referee is correct that the submitted version provides only a sketch of conditional asymptotic provability via Bayesian inference without a formal definition, independence proof, or worked example. The discussion section outlines the idea but does not meet the standards of rigor needed for evaluation. We will add a new section containing (i) a precise statement of the condition, (ii) its relation to classical falsifiability, and (iii) a concrete example drawn from black-hole spacetimes, thereby removing any appearance of circularity. revision: yes
Circularity Check
No circularity: proposal is a conceptual extension without self-referential reduction
full rationale
The provided abstract and context present a philosophical argument identifying a tension between standard falsifiability and causally disconnected spacetime regions, then proposing 'conditional asymptotic provability' via Bayesian inference as an extension. No equations, fitted parameters, self-citations, or uniqueness theorems appear in the given material. The new condition is introduced explicitly as a suggestion rather than derived from or reducing to the input premises by construction. The derivation chain therefore remains self-contained as an interpretive proposal rather than a tautological renaming or load-bearing self-reference.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Scientific theories must be falsifiable; isolated regions should be discarded if they violate this.
invented entities (1)
-
conditional asymptotic provability
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Almheiri, A., Marolf, D., Polchinski, J., Sully, J.: Blac k holes: complementarity or fire- walls? Journal of High Energy Physics 2013(2), 1–20 (2013)
work page 2013
-
[2]
Oxford University Press (2003)
Bovens, L., Hartmann, S., et al.: Bayesian epistemology. Oxford University Press (2003)
work page 2003
-
[3]
The British Journal for the Philosophy of Science 62(2), 323–342 (2011)
Bradley, D.J.: Confirmation in a branching world: the ever ett interpretation and sleeping beauty. The British Journal for the Philosophy of Science 62(2), 323–342 (2011)
work page 2011
-
[4]
Foundati ons of Physics 40, 1341–1367 (2010)
Busch, P., Jaeger, G.: Unsharp quantum reality. Foundati ons of Physics 40, 1341–1367 (2010)
work page 2010
-
[5]
(ed.): Universe or Multiverse? Cambridge Univer sity Press (2007)
Carr, B. (ed.): Universe or Multiverse? Cambridge Univer sity Press (2007)
work page 2007
-
[6]
Carr, B., Ellis, G.: Universe or multiverse? Astronomy & G eophysics 49(2), 2.29–2.33 (2008)
work page 2008
-
[7]
In: American Institute of Physics Conference Series, vol
Caticha, A.: Entropic inference. In: American Institute of Physics Conference Series, vol. 1305, pp. 20–29 (2011)
work page 2011
-
[8]
Oxford University Press, Oxford (1983)
Chandrasekhar, S.: The Mathematical Theory of Black Hole s. Oxford University Press, Oxford (1983)
work page 1983
-
[9]
Elsevier, Amst erdam, The Netherlands (1990)
Chang, C.C., Keisler, H.J.: Model Theory. Elsevier, Amst erdam, The Netherlands (1990)
work page 1990
-
[10]
John Wiley & Sons, New York, NY (1991) Falsifiability of Isolated Spacetime Regions 19
Cover, T.M., Thomas, J.: Elements of Information Theory . John Wiley & Sons, New York, NY (1991) Falsifiability of Isolated Spacetime Regions 19
work page 1991
-
[11]
Synthese 191(13), 3041–3055 (2014)
Da Costa, N.C., Krause, D.: Physics, inconsistency, and quasi-truth. Synthese 191(13), 3041–3055 (2014)
work page 2014
-
[12]
Cambr idge University Press (2013)
Dawid, R.: String theory and the scientific method. Cambr idge University Press (2013)
work page 2013
-
[13]
Foundations of P hysics 48, 492–506 (2018)
Dawid, R.: Delimiting the unconceived. Foundations of P hysics 48, 492–506 (2018)
work page 2018
-
[14]
Monthly Notices of the Royal Astronomical Society 347(3), 921–936 (2004)
Ellis, G.F.R., Kirchner, U., Stoeger, W.R.: Multiverse s and physical cosmology. Monthly Notices of the Royal Astronomical Society 347(3), 921–936 (2004)
work page 2004
-
[15]
Reviews of Modern Physics 29(3), 454–462 (1957)
Everett, H.: Relative state formulation of quantum mech anics. Reviews of Modern Physics 29(3), 454–462 (1957)
work page 1957
-
[16]
Frisch, M.: Models and scientific representations or: wh o is afraid of inconsistency? Synthese 191(13), 3027–3040 (2014)
work page 2014
-
[17]
Lettere al Nuovo Ci- mento 27(10), 293–298 (1980)
Ghirardi, G.C., Rimini, A., W eber, T.: A general argumen t against superluminal trans- mission through the quantum mechanical measurement proces s. Lettere al Nuovo Ci- mento 27(10), 293–298 (1980)
work page 1980
-
[18]
Physics Report s 333-334, 555–574 (2000)
Guth, A.: Inflation and eternal inflation. Physics Report s 333-334, 555–574 (2000)
work page 2000
-
[19]
The British Journal for the Philosophy of Science 65(4), 687–715 (2014)
Henderson, L.: Bayesianism and inference to the best exp lanation. The British Journal for the Philosophy of Science 65(4), 687–715 (2014)
work page 2014
-
[20]
Open Court Pub- lishing (2006)
Howson, C., Urbach, P.: Scientific reasoning: the Bayesi an approach. Open Court Pub- lishing (2006)
work page 2006
-
[21]
Physics Letters B 644(1), 67–71 (2007)
Hsu, S.D.H.: Spacetime topology change and black hole in formation. Physics Letters B 644(1), 67–71 (2007)
work page 2007
-
[22]
Iranzo, V.: Bayesianism and inference to the best explan ation. THEORIA. Revista de Teor ´ ıa, Historia y Fundamentos de la Ciencia 23(1), 89–106 (2008)
work page 2008
-
[23]
Foundations of Physics 49, 663–676 (2019)
Jaeger, G.: Quantum unsharpness, potentiality, and rea lity. Foundations of Physics 49, 663–676 (2019)
work page 2019
-
[24]
Cambridge University Press (2003)
Jaynes, E.T.: Probability Theory : The Logic of Science. Cambridge University Press (2003)
work page 2003
-
[25]
Physical Review D 64, 123,522 (2001)
Khoury, J., Ovrut, B.A., Steinhardt, P.J., Turok, N.: Ek pyrotic universe: Colliding branes and the origin of the hot big bang. Physical Review D 64, 123,522 (2001)
work page 2001
-
[26]
Oxford University Press (2 007)
Kiefer, C.: Quantum Gravity. Oxford University Press (2 007)
- [27]
-
[28]
Ox- ford University Press (2000)
McGinn, C.: Logical Properties: Identity, Existence, P redication, Necessity, Truth. Ox- ford University Press (2000)
work page 2000
-
[29]
P¨ as, H.: Physics beyond the multiverse: Naturalness an d the quest for a fundamen- tal theory. Foundations of Physics pp. 1–15 (2019). DOI http s://doi.org/10.1007/ s10701-019-00247-1
work page 2019
-
[30]
Plato: Timaeus (360BC)
-
[31]
Popper, K.: The Logic of Scientific Discovery (1934)
work page 1934
-
[32]
Physical Review Letters 83, 3370 (1999)
Randrall, L., Sundrum, R.: Large mass hierarchy from a sm all extra dimension. Physical Review Letters 83, 3370 (1999)
work page 1999
-
[33]
Synthese 190(18), 4239–4259 (2013)
Ross, P.W., Turner, D.: Existence problems in philosoph y and science. Synthese 190(18), 4239–4259 (2013)
work page 2013
-
[34]
Philosophy and Phenomenological Research 90(2), 389–422 (2015)
Russell, J.S.: Possible worlds and the objective world. Philosophy and Phenomenological Research 90(2), 389–422 (2015)
work page 2015
-
[35]
Synth ese 191(13), 2941–2955 (2014)
Saatsi, J.: Inconsistency and scientific realism. Synth ese 191(13), 2941–2955 (2014)
work page 2014
-
[36]
Smolin, L.: Did the universe evolve? Classical and Quant um Gravity 9(1), 173 (1992)
work page 1992
-
[37]
Fortschritte der Physik 64(1), 84–91 (2016)
Susskind, L.: The typical-state paradox: diagnosing ho rizons with complexity. Fortschritte der Physik 64(1), 84–91 (2016)
work page 2016
-
[38]
Tegmark, M.: Is the theory of everything merely the ultim ate ensemble theory? Annals of Physics 270(1), 1–51 (1998)
work page 1998
-
[39]
Tegmark, M.: Parallel universes. In: J.D. Barrow, P.C.W . Davies, C.L.H. Jr (eds.) Science and ultimate reality: Quantum theory, cosmology, a nd complexity. Cambridge University Press, Cambridge, UK (2005)
work page 2005
-
[40]
Foundations of Physics 38(2), 101–150 (2008)
Tegmark, M.: The mathematical universe. Foundations of Physics 38(2), 101–150 (2008)
work page 2008
-
[41]
Foundations of Physics 49, 428–443 (2019)
W ells, J.D.: Finetuned cancellations and improbable th eories. Foundations of Physics 49, 428–443 (2019)
work page 2019
-
[42]
Com- munications in Pure and Applied Mathematics 13(1), 1–14 (1960)
Wigner, E.: The unreasonable effectiveness of mathemati cs in the natural sciences. Com- munications in Pure and Applied Mathematics 13(1), 1–14 (1960)
work page 1960
-
[43]
W oit, P.: Not even wrong: The failure of string theory and the continuing challenge to unify the laws of physics. Random House (2011)
work page 2011
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.