Switch to: References

Add citations

You must login to add citations.
  1. Motion and observation in a single-particle universe.Mike Stannett - 2015 - Synthese 192 (7):2261-2271.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Axiomatizing relativistic dynamics using formal thought experiments.Attila Molnár & Gergely Székely - 2015 - Synthese 192 (7):2183-2222.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • The existence of superluminal particles is consistent with relativistic dynamics.Judit X. Madarász & Gergely Székely - 2014 - Journal of Applied Logic 12 (4):477-500.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Formal Methods in the Philosophy of Science.Leon Horsten & Igor Douven - 2008 - Studia Logica 89 (2):151-162.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • An axiomatic foundation of relativistic spacetime.Thomas Benda - 2015 - Synthese 192 (7):1-16.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations