Related papers: Physical Logic
Is the world quantum? An active research line in quantum foundations is devoted to exploring what constraints can rule out the postquantum theories that are consistent with experimentally observed results. We explore this question in the…
We present algebraic semantics for the classical logic of proofs based on Boolean algebras. We also extend the language of the logic of proofs in order to have a Boolean structure on justification terms and equality predicate on terms. In…
The logic of a physical theory reflects the structure of the propositions referring to the behaviour of a physical system in the domain of the relevant theory. It is argued in relation to classical mechanics that the propositional structure…
A system of quantum reasoning for a closed system is developed by treating non-relativistic quantum mechanics as a stochastic theory. The sample space corresponds to a decomposition, as a sum of orthogonal projectors, of the identity…
There are many ways we can not know. Even in systems that we created ourselves, as, for example, systems in mathematical logic, Go\"edel and Tarski's theorems impose limits on what we can know. As we try to speak of the real world, things…
I argue that scientific determinism is not supported by facts, but results from the elegance of the mathematical language physicists use, in particular from the so-called real numbers and their infinite series of digits. Classical physics…
In spite of the interference manifested in the double-slit experiment, quantum theory predicts that a measure of interference defined by Sorkin and involving various outcome probabilities from an experiment with three slits, is identically…
In quantum gravity there is no notion of absolute time. Like all other quantities in the theory, the notion of time has to be introduced "relationally", by studying the behavior of some physical quantities in terms of others chosen as a…
We propose a complete proof of the Born rule using an additional postulate stating that for a short enough time {\Delta}t between two measurements, a property of a particle will keep its values fixed. This dynamical postulate allows us to…
The spectacular successes of quantum physics have made it a commonplace to assert that we live in a quantum world. This idea seems to imply a kind of "quantum fundamentalism" according to which everything in the universe (if not the…
There are multiple proposed interpretations of probability theory: one such interpretation is true-false logic under uncertainty. Cox's Theorem is a representation theorem that states, under a certain set of axioms describing the meaning of…
The process of cognition is analysed to adjust the set theory to physical description. Postulates and basic definitions are revised. The specific sets of predicates, called presets, corresponding to the physical objects identified by an…
Logical inference leads to one of the major interpretations of probability theory called logical interpretation, in which the probability is seen as a measure of the plausibility of a logical statement under incomplete information. In this…
In contrast to the Copenhagen interpretation we consider quantum mechanics as universally valid and query whether classical physics is really intuitive and plausible. - We discuss these problems within the quantum logic approach to quantum…
The physical models of a successful unified theory about the Universe must operate in different phase of matter evolution and different fields of physics. The attempts to build such wide range theory as a bunch of theories developed for…
Based on a physical monism, which holds that the matter and space are classified by not a difference of their kind but a difference of magnitude of their density, I derive the most fundamental equation of motion, which is capable of…
The paper proves that quantum mechanics is compatible with the constructive realism of modern philosophy of science. The proof is based on the observation that properties of quantum systems that are uniquely determined by their preparations…
This paper discusses the no-cloning theorem in a logico-algebraic approach. In this approach, an orthoalgebra is considered as a general structure for propositions in a physical theory. We proved that an orthoalgebra admits cloning…
Quantum mechanics challenges classical intuitions of space, time, and causality via the superposition principle, which allows systems to exist in multiple states simultaneously. Niels Bohr addressed these paradoxes through his…
We describe a system of axioms that, on one hand, is sufficient for constructing the standard mathematical formalism of quantum mechanics and, on the other hand, is necessary from the phenomenological standpoint. In the proposed scheme, the…