How are Scientific Concepts Birthed? Typing Rules of Concept Formation in Theoretical Physics Reasoning

• URL: http://arxiv.org/abs/2509.10740v1
• Date: Fri, 12 Sep 2025 23:04:23 GMT
• Title: How are Scientific Concepts Birthed? Typing Rules of Concept Formation in Theoretical Physics Reasoning
• Authors: Omar Aguilar, Anthony Aguirre,
• Abstract summary: This work aims to formalize some of the ways scientific concepts are formed in the process of theoretical physics discovery.<n>We introduce type theory as a natural and well-suited framework for this formalization.<n>We apply these cognitive typing rules to two case studies of conceptual discovery in the history of physics: Einstein's reasoning leading to the impossibility of frozen waves, and his conceptual path to the relativity of time.
• Score: 0.0991631557764242
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This work aims to formalize some of the ways scientific concepts are formed in the process of theoretical physics discovery. Since this may at first seem like a task beyond the scope of the exact sciences (natural and formal sciences), we begin by presenting arguments for why scientific concept formation can be formalized. Then, we introduce type theory as a natural and well-suited framework for this formalization. We formalize what we call "ways of discovering new concepts" including concept distinction, property preservation, and concept change, as cognitive typing rules. Next, we apply these cognitive typing rules to two case studies of conceptual discovery in the history of physics: Einstein's reasoning leading to the impossibility of frozen waves, and his conceptual path to the relativity of time. In these historical episodes, we recast what a physicist might informally call "ways of discovering new scientific concepts" as compositional typing rules built from cognitive typing rules - thus formalizing them as scientific discovery mechanisms. Lastly, we computationally model the type-theoretic reconstruction of Einstein's conceptual path to the relativity of time as a program synthesis task.

Related papers

• A Formal Theory for Finite-Dimensional Possibilistic Quantum Mechanics [0.0]
  We present a logical formalism for reasoning about quantum systems in finite dimension.<n>We show that our formal theory is complete, meaning that it entirely determines the behaviour of quantum systems.
  arXiv  Detail & Related papers  (2026-02-18T11:10:11Z)
• Realism and Ontology in Quantum Mechanics and String Theory [0.0]
  Dualities in physics have challenged traditional forms of scientific realism.<n>We argue that ontological commitment should be treated as tied to specific empirical contexts.<n>We show how our view accommodates ontological pluralism while preserving a robust form of structural realism.
  arXiv  Detail & Related papers  (2025-12-18T23:31:13Z)
• Newton to Einstein: Axiom-Based Discovery via Game Design [55.30047000068118]
  We propose a game design framework in which scientific inquiry is recast as a rule-evolving system.<n>Unlike conventional ML approaches that operate within fixed assumptions, our method enables the discovery of new theoretical structures.
  arXiv  Detail & Related papers  (2025-09-05T18:59:18Z)
• Creative and geometric times in physics, mathematics, logic, and philosophy [0.0]
  We propose a distinction between two different concepts of time that play a role in physics. The former is the time of deterministic physics and merely parametrizes a given evolution. The latter is instead characterized by real change, i.e. novel information that gets created when a non-necessary event becomes determined.
  arXiv  Detail & Related papers  (2024-04-09T18:33:37Z)
• Pregeometry, Formal Language and Constructivist Foundations of Physics [0.0]
  We discuss the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. 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.
  arXiv  Detail & Related papers  (2023-11-07T13:19:29Z)
• Intrinsic Physical Concepts Discovery with Object-Centric Predictive Models [86.25460882547581]
  We introduce the PHYsical Concepts Inference NEtwork (PHYCINE), a system that infers physical concepts in different abstract levels without supervision. We show that object representations containing the discovered physical concepts variables could help achieve better performance in causal reasoning tasks.
  arXiv  Detail & Related papers  (2023-03-03T11:52:21Z)
• Wave Functional of the Universe and Time [62.997667081978825]
  A version of the quantum theory of gravity based on the concept of the wave functional of the universe is proposed. The history of the evolution of the universe is described in terms of coordinate time together with arbitrary lapse and shift functions.
  arXiv  Detail & Related papers  (2021-10-18T09:41:59Z)
• Quantum realism: axiomatization and quantification [77.34726150561087]
  We build an axiomatization for quantum realism -- a notion of realism compatible with quantum theory. We explicitly construct some classes of entropic quantifiers that are shown to satisfy almost all of the proposed axioms.
  arXiv  Detail & Related papers  (2021-10-10T18:08:42Z)
• The Entropic Dynamics of Relativistic Quantum Fields in Curved Space-time [0.0]
  We apply the Entropic Dynamics (ED) framework to construct a quantum dynamics for scalar fields in space-time. Using a similar methodology, we construct a theory of quantum scalar fields in flat space-time that is relativistic, but not manifestly so. We consider such a theory and discuss its plausibility as a candidate for a quantum gravity theory.
  arXiv  Detail & Related papers  (2021-05-14T19:24:21Z)
• Formalising Concepts as Grounded Abstractions [68.24080871981869]
  This report shows how representation learning can be used to induce concepts from raw data. The main technical goal of this report is to show how techniques from representation learning can be married with a lattice-theoretic formulation of conceptual spaces.
  arXiv  Detail & Related papers  (2021-01-13T15:22:01Z)
• Realism and metaphysics in quantum mechanics [0.0]
  According to scientific realism, science gives us an approximately true description of what the world is like. We focus on the ontological and metaphysical aspects of this discussion.
  arXiv  Detail & Related papers  (2020-12-05T16:33:56Z)
• There is only one time [110.83289076967895]
  We draw a picture of physical systems that allows us to recognize what is this thing called "time" We derive the Schr"odinger equation in the first case, and the Hamilton equations of motion in the second one.
  arXiv  Detail & Related papers  (2020-06-22T09:54:46Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.