Abstract Diese Arbeit schlägt ein minimales formales Kriterium für physische Entität vor. Sie versucht nicht, die Quantenmechanik, die allgemeine Relativitätstheorie, die Quantengravitation oder irgendwelche empirischen Vorhersagen abzuleiten. Ihr Ziel ist enger gefasst: zu fragen, welche formalen Bedingungen erfüllt sein müssen, bevor eine Struktur überhaupt als physische Entität behandelt werden kann. Der Ausgangspunkt ist das Prinzip der stabilen Unterscheidbarkeit: Eine physische Theorie ist nur dort möglich, wo Unterscheidungen getroffen und unter zulässigen Veränderungen wieder identifiziert werden können. Aus diesem Anforderungen entwickelt die Arbeit ein Rahmenwerk mit Primat der Einschränkung, in dem kein Teilchen, Feld, Raum-Zeit-Punkt, Zustand, Messung oder Observable als primitiv angenommen wird. Die formale Schicht besteht aus Tokens, Zulässigkeit und einem Abschlussoperator, der auf der gesamten Potenzmenge der Tokens definiert ist. Identität wird als Abschluss-Äquivalenz rekonstruiert. Grenze wird nicht-räumlich als Abhängigkeit von der ersten Eingabe definiert, und der Kern wird nicht-zirkulär als geschlossene, nicht-grenzwertige Unterstruktur definiert. Eine physische Entität wird dann als eine Grenze-stabile Abschluss-Kern-Äquivalenzklasse definiert: eine geschlossene zulässige Struktur, deren Kern-Abschluss-Identität unter relevanten grenzwertvermittelten Erweiterungen erhalten bleibt. Die Arbeit verwendet vertraute mathematische Werkzeuge, einschließlich Abschluss, Äquivalenz, Isomorphismus und Invarianz; ihr vorgeschlagener Beitrag sind nicht diese Werkzeuge selbst, sondern das ontologische Kriterium, das sie unterstützen.
Israel Don (Di,) untersuchte diese Frage.