Related papers: On Logical Analysis of Relativity Theories
The topic of diversity is an interesting subject, both as a purely mathematical concept and also for its applications to important real-life situations. Unfortunately, although the meaning of diversity seems intuitively clear, no precise…
In this paper, we propose a fresh perspective on argumentation semantics, to view them as a relational database. It offers encapsulation of the underlying argumentation graph, and allows us to understand argumentation semantics under a…
In a series of papers, a many-minds interpretation of quantum theory has been developed. The aim in these papers is to present an explicit mathematical formalism which constitutes a complete theory compatible with relativistic quantum field…
The aim of this text is to provide a linguistically accessible, but comprehensive introduction into a variety of topics in dynamical systems and its applications. Whilst preliminary knowledge of dynamical systems is useful, it is not…
In this paper we deal with a new approach to probabilistic reasoning in a logical framework. Nearly almost all logics of probability that have been proposed in the literature are based on classical two-valued logic. After making clear the…
We consider the possibility of an alternative gravity theory explaining the dynamics of galactic systems without dark matter. From very general assumptions about the structure of a relativistic gravity theory we derive a general expression…
The 2012 logic blog has focussed on the following: Randomness and computable analysis/ergodic theory; Systematizing algorithmic randomness notions; Traceability; Higher randomness; Calibrating the complexity of equivalence relations from…
In this paper we present methods of transition from one perspective on logic to others, and apply this in particular to obtain a coalgebraic presentation of logic. The central ingredient in this process is to view consequence relations as…
This contribution has the aim to review the basics of existing knowledge on asteroid interiors and to explore the possibility of advancing the field by introducing into it some ideas from solid state physics.
This thesis develops the theory of effectuses as a categorical axiomatic approach to quantum theory. It provides a comprehensive introduction to effectus theory and reveals its connections with various other topics and approaches.
This article offers a gentle introduction to the axiom of choice. We introduce the axiom, discuss some common objections to it, and present three kinds of reasons to accept it. Although the exposition is aimed at non-experts in set theory,…
This essay presents an accessible introduction to the basic motivations to seek a quantum theory of gravity. It focuses on one approach- loop quantum gravity - as an example of the rich philosophical issues that arise when we try to combine…
An overview is provided of the singularity theorems in cosmological contexts at a level suitable for advanced graduate students. The necessary background from tensor and causal geometry to understand the theorems is supplied, the…
Within an axiomatic framework, we investigate the possible structures of numbers (as physical quantities) in different theories of relativity.
In this paper we 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…
The aim of this short paper is to give a practical introduction to functional interpretation of proofs for computer scientists interested in synthesis.
General relativity's successes and limitations are compared to those of special relativity.
This brief review is intended to introduce gravitational physicists to recent developments in which general relativity is being used to describe certain aspects of condensed matter systems, e.g., superconductivity.
In this paper we give a contribution to the taxonomy of physical theories. We provide here a thorough description of the axiomatic foundations of the most relevant physical theories, Mechanics, Special Relativity, General Relativity,…
The aim of the paper is to discuss the relations between the three kinds of objects named in the title. In a sense, this is a survey of such relations; however, some new directions are also considered. This relates, especially, to sections…