Related papers: On Logical Analysis of Relativity Theories
These lecture notes are intended to introduce the theory of rotating stars in general relativity. The focus is put on the theoretical foundations, with a detailed discussion of the spacetime symmetries, the choice of coordinates and the…
In a recent work Foulis and Pulmannov\' a \cite{Foulis2012} studied the logical connectives in lattice effect algebras. In this paper we extend their study and investigate further the logical calculus for which the lattice effect algebras…
This is the first of a series of papers that we intend to publish about the epistemology of fundamental physics in its current state. One of the main objectives of these papers is to improve our understanding of fundamental physics (and…
A rough overview is given over the most essential structures underlying all working quantum theoretical models as well as axiomatic and algebraic quantum field theory .
We discuss the status and some perspectives of relativistic quantum physics.
This paper is based on a series of talks given at the ESI program on 'Mathematical Perspectives of Gravitation Beyond the Vacuum Regime' in February 2022. It is meant to be an introduction to the field of relativistic elasticity for readers…
We study in this paper different topos-theoretical approaches to the problem of construction of General Theory of Relativity. In general case the resulting space-time theory will be non-classical, different from that of the usual Einstein…
I give a brief review on motivations, basic postulates, and recent developments in Doubly Special Relativity Theory.
What does it mean to ``add'' velocities relativistically -- clarification of the conceptual problems, new derivations of the related formulas, and identification of the source of the non-associativity of the standard vector version of the…
This chapter presents probability logic as a rationality framework for human reasoning under uncertainty. Selected formal-normative aspects of probability logic are discussed in the light of experimental evidence. Specifically, probability…
The ongoing progress in quantum theory emphasizes the crucial role of the very basic principles of quantum theory. However, this is not properly followed in teaching quantum mechanics on the graduate and undergraduate levels of physics…
A general information-theoretic framework for deriving physical laws is presented and a principle of informational physics is enunciated within its context. Existing approaches intended to derive physical laws from information-theoretic…
In this lecture I build up the motivation for relativity and gravitation based on general principles and common sense considerations which should fall in the sphere of appreciation of a general reader. There is a novel way of looking at…
The novel concept of quantum logical entropy is presented and analyzed. We prove several basic properties of this entropy with regard to density matrices. We hereby motivate a different approach for the assignment of quantum entropy to…
In this survey we review dynamic epistemic logics with modalities for quantification over information change. Of such logics we present complete axiomatizations, focussing on axioms involving the interaction between knowledge and such…
I review the theoretical motivation for the axion and present an update of the experimental status of axion searches. I finally comment on some aspects of the physics of axion-like particles.
This is a pedagogical introduction to the treatment of general relativity as a quantum effective field theory. Gravity fits nicely into the effective field theory description and forms a good quantum theory at ordinary energies.
The purpose of this paper is to outline a simple set of axioms for basic set theory from which most fundamental facts can be derived. The key to the whole project is a new axiom of set theory which I dubbed "The Law of Extremes". It allows…
The aim of this review is to give a pedagogical introduction to our recently proposed ab initio theory of quantum transport.
We formulate and discuss a general axiomatic theory of arbitrary objects. This theory is expressed in a simple first-order language without modal operators, and it is governed by classical logic.