Switch to: References

Add citations

You must login to add citations.
  1. Axiomatizing Relativistic Dynamics Without Conservation Postulates.H. Andréka, J. X. Madarász, I. Németi & G. Székely - 2008 - Studia Logica 89 (2):163-186.
    A part of relativistic dynamics is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein's famous E = mc² . The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  • A Geometrical Characterization of the Twin Paradox and its Variants.Gergely Székely - 2010 - Studia Logica 95 (1-2):161 - 182.
    The aim of this paper is to provide a logic-based conceptual analysis of the twin paradox (TwP) theorem within a first-order logic framework. A geometrical characterization of TwP and its variants is given. It is shown that TwP is not logically equivalent to the assumption of the slowing down of moving clocks, and the lack of TwP is not logically equivalent to the Newtonian assumption of absolute time. The logical connection between TwP and a symmetry axiom of special relativity is (...)
    Direct download (17 more)  
     
    Export citation  
     
    Bookmark  
  • Evidence, Explanation and Enhanced Indispensability.Daniele Molinini - 2016 - Synthese 193 (2):403-422.
    In this paper I shall adopt a possible reading of the notions of ‘explanatory indispensability’ and ‘genuine mathematical explanation in science’ on which the Enhanced Indispensability Argument proposed by Alan Baker is based. Furthermore, I shall propose two examples of mathematical explanation in science and I shall show that, whether the EIA-partisans accept the reading I suggest, they are easily caught in a dilemma. To escape this dilemma they need to adopt some account of explanation and offer a plausible answer (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • A Formal Construction of the Spacetime Manifold.Thomas Benda - 2008 - Journal of Philosophical Logic 37 (5):441 - 478.
    The spacetime manifold, the stage on which physics is played, is constructed ab initio in a formal program that resembles the logicist reconstruction of mathematics. Zermelo’s set theory extended by urelemente serves as a framework, to which physically interpretable proper axioms are added. From this basis, a topology and subsequently a Hausdorff manifold are readily constructed which bear the properties of the known spacetime manifold. The present approach takes worldlines rather than spacetime points to be primitive, having them represented by (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 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   1 citation  
  • On the Axiomatizability of Some First-Order Spatio-Temporal Theories.Sándor Vályi - 2015 - Synthese 192 (7):1-17.
    Spatio-temporal logic is a variant of branching temporal logic where one of the so-called causal relations on spacetime plays the role of a time flow. Allowing only rational numbers as space and time co-ordinates, we prove that a first-order spatio-temporal theory over this flow is recursively enumerable if and only if the dimension of spacetime does not exceed 2. The situation is somewhat different compared to the case of real co-ordinates, because we establish that even dimension 2 does not permit (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • A Logic Road From Special Relativity to General Relativity.Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely - 2012 - Synthese 186 (3):633 - 649.
    We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we "derive" an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations