Related papers: The Axiomatic Foundation of Space in GFO
We present some modern theories on the structure of spacetime that can be classified as relational theories in the direction of Leibniz's ontology. In order to analyze the nature of spacetime we consider three levels of knowledge…
Space and time are central concepts for understanding our World. They are important ingredients at the core of every scientific theory and subject of intense debate in philosophy. Albert Einstein's Special and General theories of Relativity…
Starting from Bunge's (1977) scientific ontology, we expose a materialistic relational theory of space-time, that carries out the program initiated by Leibniz, and provides a protophysical basis consistent with any rigorous formulation of…
I present a discussion of some issues in the ontology of spacetime. After a characterisation of the controversies among relationists, substantivalists, eternalists, and presentists, I offer a new argument for rejecting presentism, the…
The General Formal Ontology (GFO) is a top-level ontology that is designed to formally describe different domains of reality. Most recent advancements within GFO have been made in defining its modules of space and material objects, defining…
I discuss the ontological assumptions and implications of General Relativity. I maintain that General Relativity is a theory about gravitational fields, not about space-time. The latter is a more basic ontological category, that emerges…
As repeatedly emphasized by Einstein our knowledge of the structure of space and time is based entirely on inferences from observations of physical objects and processes. At the most fundamental level these objects and processes are…
I would like to consider the Beginning of space-time in this paper. First of all, we do consideration historical thought. A lot of philosophers have considered the relation between this real phenomenal world and the basic world in which the…
In this paper we discuss various problems, associated to temporal phenomena. These problems include persistence and change, the integration of objects and processes, and truth-makers for temporal propositions. We propose an approach which…
It will be shown in this article that an ontological approach for some problems related to the interpretation of Quantum Mechanics could emerge from a re-evaluation of the main paradox of early Greek thought: the paradox of Being and…
The notion of shape space was introduced in the second half of the 20th Century as a useful analytical tool for tackling problems related to the intrinsic spatial configuration of material systems. In recent years, the geometrical…
This paper discusses the representation of ontologies in the first-order logical environment {\ttfamily FOLE}. An ontology defines the primitives with which to model the knowledge resources for a community of discourse. These primitives…
This paper discusses the representation of ontologies in the first-order logical environment {\ttfamily FOLE}. An ontology defines the primitives with which to model the knowledge resources for a community of discourse. These primitives…
This paper argues against the proposal to draw from current research into a physical theory of quantum gravity the ontological conclusion that spacetime or spatiotemporal relations are not fundamental. As things stand, the status of this…
The paper shows how the Bohmian approach to quantum physics can be applied to develop a clear and coherent ontology of non-perturbative quantum gravity. We suggest retaining discrete objects as the primitive ontology also when it comes to a…
A general formal definition of a theory of space and time compatible with the inertia principle is given. The formal definition of reference frame and inertial equivalence between reference frames are used to construct the class of inertial…
We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard…
There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points as a particular case of duration-less intervals. A recent…
There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points as a particular case of duration-less intervals. A recent…
A logical model of spatiotemporal structures is pictured as a succession of processes in time. One usual way to formalize time structure is to assume the global existence of time points and then collect some of them to form time intervals…