Related papers: Physical Logic
This paper surveys some recent developments towards a dynamic quantum logic and outlines its explicite construction -- some analogies and contrasts with other logics of dynamics are indicated. Abstract: The development of ``(static)…
Decoherence may not solve all of the measurement problems of quantum mechanics. It is proposed that a solution to these problems may be to allow that superpositions describe physically real systems in the following sense. Each quantum…
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…
A probabilistic propositional logic, endowed with an epistemic component for asserting (non-)compatibility of diagonizable and bounded observables, is presented and illustrated for reasoning about the random results of projective…
Most physics theories are deterministic, with the notable exception of quantum mechanics which, however, comes plagued by the so-called measurement problem. This state of affairs might well be due to the inability of standard mathematics to…
Applications of quantum mechanics have led to many successful predictions and explanations of puzzling phenomena, and we now apply quantum mechanics to gain, process, and communicate information in novel ways. We can understand quantum…
We show that the principles of a ''complete physical theory'' and the conclusions of the standard quantum mechanics do not irreconcilably contradict each other as is commonly believed. In the algebraic approach, we formulate axioms that…
A type of mechanics will be presented that possesses some distinctive properties. On the one hand, its physical description & rules of operation are readily comprehensible & intuitively clear. On the other, it fully satisfies all observable…
I will propose that the reality to which the quantum formalism implicitly refers is a kind of generalized history, the word history having here the same meaning as in the phrase sum-over-histories. This proposal confers a certain…
Whenever a mathematical proposition to be proved requires more information than it is contained in an axiomatic system, it can neither be proved nor disproved, i.e. it is undecidable, or logically undetermined, within this axiomatic system.…
Physics is a model of nature able to both describe and predict the results of measurements made with respect to reference systems. These reference systems, in turn, are themselves physical and thus subject to the laws of physics. The…
In this article we investigate the notion and basic properties of Boolean algebras and prove the Stone's representation theorem. The relations of Boolean algebras to logic and to set theory will be studied and, in particular, a neat proof…
The quantum theory of decoherence plays an important role in a pragmatist interpretation of quantum theory. It governs the descriptive content of claims about values of physical magnitudes and offers advice on when to use quantum…
The term proposition usually denotes in quantum mechanics (QM) an element of (standard) quantum logic (QL). Within the orthodox interpretation of QM the propositions of QL cannot be associated with sentences of a language stating properties…
The no-supervenience theorem limits the capacity of physicalist theories to provide a comprehensive account of human consciousness. The proof of the theorem is difficult to formalize because it relies on both alethic and epistemic notions…
The Boolean logic of subsets, usually presented as `propositional logic,' is considered as being "classical" while intuitionistic logic and the many sublogics and off-shoots are "non-classical." But there is another mathematical logic, the…
A classical logic exhibits a threefold inner structure comprising an algebra of propositions `A', a space of ``truth values'' `V', and a distinguished family of mappings `phi' from propositions to truth values. Classically A is a Boolean…
Being mathematics a natural language to Mankind and to physics, it must be constantly adapted to our necessities and our natural perception. Then, mathematical concepts are not absolute to reality. Although mathematical theories are…
The procedure used to "do physics" in the macroscopic world is familiar: You take an object, start it off with a particular position and velocity, subject it to known forces (say gravity or friction, or both), and follow its trajectory. You…
The paper argues that far from challenging - or even refuting - Bohm's quantum theory, the no-hidden-variables theorems in fact support the Bohmian ontology for quantum mechanics. The reason is that (i) all measurements come down to…