We outline an argument that a single-particle universe (a universe containing precisely one pointlike particle) can be described mathematically, in which observation can be considered meaningful despite the a priori impossibility of distinguishing between an observer and the observed. Moreover, we argue, such a universe can be observationally similar to the world we see around us. It is arguably impossible, therefore, to determine by experimental observation of the physical world whether the universe we inhabit contains one particle or many—modern scientific (...) theories cannot, therefore, be regarded as descriptions of ‘reality’, but are at best human artefacts. Our argument uses a formal model of spacetime that can be considered either relational or substantivalist depending on one’s preferred level of abstraction, and therefore suggests that this long-held distinction is also to some extent illusory. (shrink)

An ab-initio foundation for relativistic spacetime is given, which is a conservative extension of Zermelo’s set theory with urelemente. Primitive entities are worldlines rather than spacetime points. Spacetime points are sets of intersecting worldlines. By the proper axioms, they form a manifold. Entities known in differential geometry, up to a metric, are defined and have the usual properties. A set-realistic point of view is adopted. The intended ontology is a set-theoretical hierarchy with a broad base of the empty set and (...) urelemente. Sets generated from the empty set are mathematically interpreted, all other sets are physically interpreted. (shrink)

In this article, we reflect on the use of formal methods in the philosophy of science. These are taken to comprise not just methods from logic broadly conceived, but also from other formal disciplines such as probability theory, game theory, and graph theory. We explain how formal modelling in the philosophy of science can shed light on difficult problems in this domain.

Thought experiments are widely used in the informal explanation of Relativity Theories; however, they are not present explicitly in formalized versions of Relativity Theory. In this paper, we present an axiom system of Special Relativity which is able to grasp thought experiments formally and explicitly. Moreover, using these thought experiments, we can provide an explicit definition of relativistic mass based only on kinematical concepts and we can geometrically prove the Mass Increase Formula in a natural way, without postulates of conservation (...) of mass and momentum. (shrink)