PhilSci Archive

Axiomatizing Relativistic Dynamics using Formal Thought Experiments

Molnár, Attila and Székely, Gergely (2013) Axiomatizing Relativistic Dynamics using Formal Thought Experiments. In: [2013] Foundations of Physics 2013: The 17th UK and European Meeting on the Foundations of Physics (Munich; 29-31 July 2013).

WarningThere is a more recent version of this item available.
[img]
Preview
PDF - Submitted Version
Download (277Kb) | Preview

    Abstract

    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.


    Export/Citation:EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
    Social Networking:

    Item Type: Conference or Workshop Item (UNSPECIFIED)
    Keywords: First-order Modal Logic; Relativistic Dynamics; Thought Experiments; Definition of Mass
    Subjects: General Issues > Experimentation
    General Issues > Laws of Nature
    Specific Sciences > Mathematics
    General Issues > Models and Idealization
    General Issues > Operationalism/Instrumentalism
    Specific Sciences > Physics > Relativity Theory
    General Issues > Thought Experiments
    Conferences and Volumes: [2013] Foundations of Physics 2013: The 17th UK and European Meeting on the Foundations of Physics (Munich; 29-31 July 2013)
    Depositing User: Attila Molnar
    Date Deposited: 03 Aug 2013 04:37
    Last Modified: 11 Sep 2014 14:48
    Item ID: 9914
    URI: http://philsci-archive.pitt.edu/id/eprint/9914

    Available Versions of this Item

    Actions (login required)

    View Item

    Document Downloads