Related papers: On the logical structure of physics
The explicit semiclassical treatment of logarithmic perturbation theory for the bound-state problem within the framework of the Dirac equation is developed. Avoiding disadvantages of the standard approach in the description of exited…
Cirquent calculus is a new proof-theoretic and semantic framework, whose main distinguishing feature is being based on circuits, as opposed to the more traditional approaches that deal with tree-like objects such as formulas or sequents.…
This paper introduces an abstract notion of fragments of monadic second-order logic. This concept is based on purely syntactic closure properties. We show that over finite words, every logical fragment defines a lattice of languages with…
Logic has its origins in basic questions about the nature of the real world and how we describe it. This article seeks to bring out the physical and epistemological relevance of some of the more recent technical work in logic and…
In this paper we will attempt to show that the Dirac theory lends itself to an interpretation in terms of a unified sub-quantum mechanical field theory where, the fundamental force fields are weak electric and weak magnetic fields. We…
There were many attempts to geometrize electromagnetic field and find out new interpretation for quantum mechanics formalism. The distinctive feature of this work is that it combines geometrization of electromagnetic field and…
Dirac's approach to gauge symmetries is discussed. We follow closely the steps that led him from his conjecture concerning the generators of gauge transformations {\it at a given time} --to be contrasted with the common view of gauge…
It has been shown that the criticism of Pauli as well as of Susskind and Glogover may be avoided if the standard quantum-mechanical mathematical model has been suitably extended. There is not more any reason for Einstein's citicism, either,…
We formalise the self-referential definition of physical laws using monotone operators on a lattice of theories, resolving the pathologies of naive set-theoretic formulations. By invoking Tarski fixed point theorem, we identify physical…
This paper fires the opening salvo in the systematic construction of the lattice-continuum correspondence, a precise dictionary that describes the emergence of continuum quantum theories from finite, nonperturbatively defined models…
This essay advocates the view that any problem that has a meaningful empirical content, can be formulated in constructive, more definitely, finite terms. We consider combinatorial models of dynamical systems and approaches to statistical…
The importance of transformations and normal forms in logic programming, and generally in computer science, is well documented. This paper investigates transformations and normal forms in the context of Defeasible Logic, a simple but…
Weighted model counting (WMC) has proven effective at a range of tasks within computer science, physics, and beyond. However, existing approaches for using WMC in quantum physics only target specific problem instances, lacking a general…
In this paper we concentrate on the nature of the liar paradox as a cognitive entity; a consistently testable configuration of properties. We elaborate further on a quantum mechanical model [Aerts, Broekaert, Smets 1999] that has been…
Classical objects have been excluded as subjects of the observed quantum properties, and the related problem of quantum objects nature has been suspended since the early days of Quantum Theory. Recent experiments show that the problem could…
Observed physical phenomena can be described well by quantum mechanics or general relativity. People may try to find an unified fundamental theory which mainly aims to merge gravity with quantum theory. However, difficulty in merging those…
A new framework for deriving equations of motion for constrained quantum systems is introduced, and a procedure for its implementation is outlined. In special cases the framework reduces to a quantum analogue of the Dirac theory of…
The logic--linguistic structure of quantum physics is analysed. The role of formal systems and interpretations in the representation of nature is investigated. The problems of decidability, completeness, and consistency can affect quantum…
We reexamine the model of relativistic particle with higher-derivative term linear on the first extrinsic curvature (rigidity). The passage from classical to quantum theory requires a number of rather unexpected steps which we report here.…
The Foldy-Wouthuysen transformation of the Dirac Hamiltonian is generally taught as simply a mathematical trick that allows one to obtain a two-component theory in the low-energy limit. It is not often emphasized that the transformed…