Logical limits of omnipotence, the problem of evil, and a compelling cosmological argument suggest the position of supreme providence and the foremost creation out of nothing that coheres with the constraints of physics. The Supreme Being possesses everlasting love, perception, and force while governing the universe of probabilistic processes and freewill creatures. For example, the Supreme Being intervenes in the processes of creation by the means of synergism with freewill creatures and cannot meticulously control the created universe.

In quantum logic, introduced by Birkhoff and von Neumann, De Morgan's Laws play an important role in the projection-valued truth value assignment of observational propositions in quantum mechanics. Takeuti's quantum set theory extends this assignment to all the set-theoretical statements on the universe of quantum sets. However, Takeuti's quantum set theory has a problem in that De Morgan's Laws do not hold between universal and existential bounded quantifiers. Here, we solve this problem by introducing a new truth value assignment for (...) bounded quantifiers that satisfies De Morgan's Laws. To justify the new assignment, we prove the Transfer Principle, showing that this assignment of a truth value to every bounded ZFC theorem has a lower bound determined by the commutator, a projection-valued degree of commutativity, of constants in the formula. We study the most general class of truth value assignments and obtain necessary and sufficient conditions for them to satisfy the Transfer Principle, to satisfy De Morgan's Laws, and to satisfy both. For the class of assignments with polynomially definable logical operations, we determine exactly 36 assignments that satisfy the Transfer Principle and exactly 6 assignments that satisfy both the Transfer Principle and De Morgan's Laws. (shrink)

Halvorson and Clifton have given a mathematical reconstruction of Bohr’s reply to Einstein, Podolsky and Rosen (EPR), and argued that this reply is dictated by the two requirements of classicality and objectivity for the description of experimental data, by proving consistency between their objectivity requirement and a contextualized version of the EPR reality criterion which had been introduced by Howard in his earlier analysis of Bohr’s reply. In the present paper, we generalize the above consistency theorem, with a rather elementary (...) proof, to a general formulation of EPR states applicable to both non-relativistic quantum mechanics and algebraic quantum field theory; and we clarify the elements of reality in EPR states in terms of Bohr’s requirements of classicality and objectivity, in a general formulation of algebraic quantum theory. (shrink)

This paper is devoted to clarification of the notion of entanglement through decoupling it from the tensor product structure and treating as a constraint posed by probabilistic dependence of quantum observable _A_ and _B_. In our framework, it is meaningless to speak about entanglement without pointing to the fixed observables _A_ and _B_, so this is _AB_-entanglement. Dependence of quantum observables is formalized as non-coincidence of conditional probabilities. Starting with this probabilistic definition, we achieve the Hilbert space characterization of the (...) _AB_-entangled states as amplitude non-factorisable states. In the tensor product case, _AB_-entanglement implies standard entanglement, but not vise verse. _AB_-entanglement for dichotomous observables is equivalent to their correlation, i.e., \(\langle AB\rangle _{\psi} \not = \langle A\rangle _{\psi} \langle B\rangle _{\psi}.\) We describe the class of quantum states that are \(A_{u} B_{u}\) -entangled for a family of unitary operators (_u_). Finally, observables entanglement is compared with dependence of random variables in classical probability theory. (shrink)

The notion of equality between two observables will play many important roles in foundations of quantum theory. However, the standard probabilistic interpretation based on the conventional Born formula does not give the probability of equality between two arbitrary observables, since the Born formula gives the probability distribution only for a commuting family of observables. In this paper, quantum set theory developed by Takeuti and the present author is used to systematically extend the standard probabilistic interpretation of quantum theory to define (...) the probability of equality between two arbitrary observables in an arbitrary state. We apply this new interpretation to quantum measurement theory, and establish a logical basis for the difference between simultaneous measurability and simultaneous determinateness. (shrink)