Related papers: On Logical Analysis of Relativity Theories
This paper purports to have: Introduced a new formulation of Quantum Mechanics, explained the apparent disconnect between Quantum Mechanics and General Relativity, explained the observed far field expansion of the Universe (Dark Energy),…
We put forward a new view of relativity theory that makes the existence of a flow of time compatible with the four-dimensional block universe. To this end, we apply the creation-discovery view elaborated for quantum mechanics to relativity…
The best mathematical arguments against a realistic interpretation of quantum mechanics - that gives definite but partially unknown values to all observables - are analysed and shown to be based on reasoning that is not compelling. This…
In this review we present the theoretical background for treating General Relativity as an effective field theory and focus on the concrete results of such a treatment. As a result we present the calculations of the low-energy leading…
The Aristotelian syllogistic cannot account for the validity of many inferences involving relational facts. In this paper, we investigate the prospects for providing a relational syllogistic. We identify several fragments based on (a)…
In these notes I try to introduce the reader to the topic of axions: their theoretical motivation and expected phenomenology, their role in astrophysics and as dark matter candidate, and the experimental techniques to detect them. Special…
We provide some guidance and examples to clear up common misconceptions about special relativity. These misconceptions often come from trying to express the truths of special relativity in Newtonian terms rather than in terms more natural…
The apparent impossibility of extending non-relativistic quantum mechanics to a relativistic quantum theory is shown to be due to the insufficient structural richness of the field of complex numbers over which quantum mechanics is built. A…
The theory of Space rotations is introduced. The relativity principle is generalized to satisfy to reference frames rotating in 3D space. It is shown that the most postulates and limitations of quantum theories are consequences of this…
I study how to apply relativistic quantum field theory to condensed matter systems. The motivation for this is examined and then two separate elements are considered. First we identify the precise relationship between relativistic and…
This paper has pedagogical motivation. It is not uncommon that students have great difficulty in accepting the new concepts of standard special relativity, since these seem contrary to common sense. Experience shows that geometrical or…
A critical analysis of the relativistic formulation of matter reveals some surprising inconsistencies and paradoxes. Corrections are discovered which lead to the long-sought-after equality of the gravitational and inertial masses, which are…
This article aims at clarifying the language and practice of scientific experiment, mainly by hooking observability on calculability.
We offer the proofs that complete our article introducing the propositional calculus called semi-intuitionistic logic with strong negation.
Expectation is a central notion in probability theory. The notion of expectation also makes sense for other notions of uncertainty. We introduce a propositional logic for reasoning about expectation, where the semantics depends on the…
The aim of the paper is to establish a certain logic corresponding to lattice effect algebras. First, we answer a natural question whether a lattice effect algebra can be represented by means of a groupoid-like structure. We establish a…
This article examines two approaches to verification, one based on using a logic for expressing properties of a system, and one based on showing the system equivalent to a simpler system that obviously has whatever property is of interest.…
Building on previous work by Andr\'e Platzer, we present a formal language for Stochastic Differential Dynamic Logic, and define its semantics, axioms and inference rules. Compared to the previous effort, our account of the Stochastic…
This text consists on a series of introductory lectures on cosmology for mathematicians and physicists who are not specialized on the subject.
This paper describes a procedure that system developers can follow to translate typical mathematical representations of linearized control systems into logic theories. These theories are then used to verify system requirements and find…