Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2311.03973

Pregeometry, Formal Language and Constructivist Foundations of Physics

Xerxes D. Arsiwalla·Hatem Elshatlawy·Dean Rickles
View original source ↗Read source document ↗Export metadata ↓

Abstract

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks for a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model.

Explore related subjects

physics.hist-phgr-qchep-thmath-phmath.MPquant-ph

Keep this discovery

BibTeXRIS

Xerxes D. Arsiwalla, Hatem Elshatlawy, Dean Rickles. 2023-11-07. Pregeometry, Formal Language and Constructivist Foundations of Physics. https://arxiv.org/abs/2311.03973

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Scientific Promise

Scientists constantly face decisions about what lines of research to pursue. This Element introduces the philosophical debate about scientific pursuitworthiness. It explains how it can be rational to pursue a theory even if the theory is less well supported than its rivals, and it discusses existing philosophical frameworks for guiding pursuit decisions. The Element also develops a new perspective. Existing accounts focus predominantly on theories, while experiments are largely neglected. This is an important shortcoming. Theoretical promise depends on experimental promise, and experimental promise raises questions of its own. Drawing on the epistemology of experimentation, the Element advances an account of experimental pursuitworthiness. It is argued that such pursuitworthiness depends on experimental virtues like a clear signal and simplicity of design. Moreover, the kinds of uncertainty that constrain the assessment of scientific pursuits are examined. Finally, the Element highlights open questions in the philosophy of scientific pursuitworthiness.

physics.hist-ph↗
arXiv2026

Is Black Hole Evaporation Prediction Friendly?

Manchak and Weatherall (2018) formulate the black hole information paradox as a failure of predictability in black hole evaporation spacetimes, diagnosed by non-global hyperbolicity. I offer a strategy for resolving this paradox. I argue that failures of predictability in black hole evaporation are not well diagnosed by non-global hyperbolicity. I then consider two weakenings of global hyperbolicity: prediction and retrodiction friendliness, the failure of which could ground a new paradox. However, deidealized black hole evaporation models can be prediction and retrodiction friendly. Therefore, the information paradox cannot be based upon failures of global hyperbolicity, nor either retrodiction or prediction unfriendliness.

physics.hist-ph↗
arXiv2026

The Crab Nebula progenitor: recovering the 1054 AD supernova event as galactic Gamma-ray burst

In 1054 AD a daytime star appeared in the constellation of Taurus, for three weeks, and it was reported in various sources from Europe to China/Japan: it was one of the few documented galactic supernovae of the last two millenia. This paradigm has been established about sixty years ago, as the comprehension of the physics of supernovae progressed with enough observational data. The Gamma-ray bursts were discovered in the same period, but only in the past few years have their observations become daily and their distances have been fully understood as cosmological. After the explosion, the exponential decay of the luminosity in gamma-rays and X-rays has been followed with telescopes onboard dedicated satellites. Also the exponential decay of the afterglow's optical and radio frequencies have been observed with the largest optical and radio telescopes. Within the binary-driven hypernova framework, successful in explaining all the observed phases of the Gamma-ray bursts, the universal exponential decay can be extended to 1000 years after the burst, to account for the present values of Gamma and X-rays as well as optical and radio frequencies of the Crab Nebula. Both the daytime visibility of the burst, and the simultaneous radiation plagues appeared in Constantinople and Cairo is a strong evidence of the presence of Gamma-rays in the lower atmosphere, coming from the same source originating the Crab nebula. The association to the daytime visibility of that star and the following plague meets exactly the etymology of the word dis-aster, bad star.

physics.hist-ph↗