Vienna Circle and Logical Analysis of Relativity Theory

  • H. Andréka
  • J. X. Madarász
  • I. Németi
  • P. Németi
  • G. Székely
Conference paper

DOI: 10.1007/978-3-7091-0177-3_11

Part of the Veröffentlichungen des Instituts Wiener Kreis book series (WIENER KREIS, volume 16)
Cite this paper as:
Andréka H., Madarász J.X., Németi I., Németi P., Székely G. (2011) Vienna Circle and Logical Analysis of Relativity Theory. In: Máté A., Rédei M., Stadler F. (eds) Der Wiener Kreis in Ungarn / The Vienna Circle in Hungary. Veröffentlichungen des Instituts Wiener Kreis, vol 16. Springer, Vienna

Abstract

In this paper we will present some of our school’s results in the area of building up relativity theory (RT) as a hierarchy of theories in the sense of logic. We use plain first-order logic (FOL) as in the foundation of mathematics (FOM) and we build on experience gained in FOM. The main aims of our school are the following: We want to base the theory on simple, unambiguous axioms with clear meanings. It should be absolutely understandable for any reader what the axioms say and the reader can decide about each axiom whether he likes it. The theory should be built up from these axioms in a straightforward, logical manner. We want to provide an analysis of the logical structure of the theory. We investigate which axioms are needed for which predictions of RT. We want to make RT more transparent logically, easier to understand, easier to change, modular, and easier to teach. We want to obtain a deeper understanding of RT.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag/Wien 2011

Authors and Affiliations

  • H. Andréka
  • J. X. Madarász
  • I. Németi
  • P. Németi
  • G. Székely

There are no affiliations available

Personalised recommendations