Related papers: A Logical Proof of the Free Will Theorem
According to the widely accepted opinion, classical (statistical) physics does not support objective indeterminism, since the statistical laws of classical physics allow a deterministic hidden background, while --- as Arthur Fine writes…
Recently, it has been argued that quantum mechanics is complete, and that quantum states vectors are necessarily in one-to-one correspondence with the elements of reality, under the assumptions that quantum theory is correct and that…
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.…
This paper provides a novel metametaphysical approach to quantum indeterminacy. More specifically, it argues that bivalent quantum logic can successfully account for this kind of indeterminacy, given the non-truth-functional character of…
Recently, origins of non-deterministic behavior and free will in living systems obtain growing interest (see, e.g. Maye A, Hsieh C, Sugihara G, Brembs B (2007) Order in Spontaneous Behavior. PLoS ONE 2(5): e443.…
In three papers Colbeck and Renner (Nature Communications 2:411, (2011); Phys. Rev. Lett. 108, 150402 (2012); arXiv:1208.4123) argued that "no alternative theory compatible with quantum theory and satisfying the freedom of choice assumption…
We review recent work that employs the framework of logical inference to establish a bridge between data gathered through experiments and their objective description in terms of human-made concepts. It is shown that logical inference…
The interpretation of quantum mechanics has been a problem since its founding days. A large contribution to the discussion of possible interpretations of quantum mechanics is given by the so-called impossibility proofs for hidden variable…
It is shown how to map the quantum states of a system of free scalar particles one-to-one onto the states of a completely deterministic model. It is a classical field theory with a large (global) gauge group. The mapping is now also applied…
We present a new system S for handling uncertainty in a quantified modal logic (first-order modal logic). The system is based on both probability theory and proof theory. The system is derived from Chisholm's epistemology. We concretize…
The concept of 'super-indeterminism' captures the notion that the free choice assumption of orthodox quantum mechanics necessitates only the following requirement: an agent's free-choice performance in the selection of measurement settings…
A simple example is provided showing that violation of free will allows to reproduce the quantum mechanical predictions, and that the Clauser-Horne parameter can take the maximum value 4 for a proper choice.
Both deterministic and indeterministic physical laws are incompatible with control by genuine (non-illusory) free will. We propose that an indeterministic dynamics can be $weakly$ compatible with free will (FW), whereby the latter acts by…
The issue of whether we make decisions freely has vexed philosophers for millennia, Resolving this is vital for solving a diverse range of problems, from the physiology of how the brain makes decisions (and how we assign moral…
We propose a link between logical independence and quantum physics. We demonstrate that quantum systems in the eigenstates of Pauli group operators are capable of encoding mathematical axioms and show that Pauli group quantum measurements…
There are several important philosophical problems to which quantum mechanics is often said to have made significant contributions: - Determinism: quantum theory has been taken to refute determinism; -Free Will: in turn, this is thought to…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…
The Principle of Sufficient Reason implies determinism. An explicit indeterministic quantum jump dynamics is constructed, which may be naturally transformed into a deterministic one. A consistent application of the Principle of Sufficient…
From what is known today about the elementary particles of matter, and the forces that control their behavior, it may be observed that still a host of obstacles must be overcome that are standing in the way of further progress of our…
Quantum theory (QT) has been confirmed by numerous experiments, yet we still cannot fully grasp the meaning of the theory. As a consequence, the quantum world appears to us paradoxical. Here we shed new light on QT by having it follow from…