Related papers: On Logical Analysis of Relativity Theories
We review the special theory of relativity kinematics and dynamics as well as the general theory of relativity under the aspect of logic.
The aim of this paper is to introduce a mathematical logic based approach investigating why-type questions in physics.
Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, relativistic computers, new cosmology--are presented in this…
A modest aim of this pedagogical presentation is to analyze, critically, certain fundamental physical concepts to illustrate the physical principles behind the special theory of relativity and, hence, to also illustrate the limitations of…
There are three goals of this thesis. First: to present a concise yet accessible description of basic mathematical logic and model theory. Second: to develop an axiomatization of special relativity using only two undefined predicates.…
The goal of this lecture is to introduce the student to the theory of Special Relativity. Not to overload the content with mathematics, the author will stick to the simplest cases; in particular only reference frames using Cartesian…
The aim of the paper is to develop a proper mathematical formalism which can help to clarify the necessary conceptual plugins to the special principle of relativity and leads to a deeper understanding of the principle in its widest…
The standard notion of formal theory, in Logic, is in general biased exclusively towards assertion: it commonly refers only to collections of assertions that any agent who accepts the generating axioms of the theory should also be committed…
The aim of this paper is to introduce the idea of Logic with Verbs and to show its mathematical structure.
These lectures notes contain an introduction to General Relativity. They are addressed to a general mathematical audience with no specific background in physics. The goal is to motivate and explain Einstein's theory of gravity and discuss…
We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after making the observation). We provide a sound and complete…
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…
We introduce a logic for reasoning about evidence, that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after making the observation). We provide a sound and complete…
Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have…
The aim of this paper is to introduce a logic in which nouns and verbs are handled together as a deductive reasoning, and also to observe the relationship between nouns and verbs as well as between logics and conversations.
This paper constitutes a background to the paper 'Quantum mechanics as "space-time statistical mechanics"?', arXiv:quant-ph/0501133, presented previously by the author. But it is also a free-standing and self-contained paper. The purpose of…
We search for a possible mathematical formulation of some of the key ideas of the relational interpretation of quantum mechanics and study their consequences. We also briefly overview some proposals of relational quantum mechanics for an…
Underlying the theory of inferences, a primary task of logic is language analysis. Such a task can be understood as depending on a general theory of representation, taking as a starting point the idea that some entities (`` representations…
We discuss the nature and a general formulation of the relativity principle and we show that it can be justified starting from a strictly operational point of view. We give some remark on the connection with the spacetime symmetry groups.…
A new formulation of what may be called the "fundamental theorem of the theory of relativity" is presented and proved in (3+1)-space-time, based on the full classification of special transformations and the corresponding velocity addition…