相关论文: Comment on ``Possibility of quantum mechanics bein…
This short note proposes a symbolic approach for representing and reasoning about quantum circuits using complex, vector or matrix-valued Boolean expressions. A major benefit of this approach is that it allows us to directly borrow the…
Scholars have wondered for a long time whether the language of quantum mechanics introduces a quantum notion of truth which is formalized by quantum logic (QL) and is incompatible with the classical (Tarskian) notion. We show that QL can be…
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…
Quantum mechanics is a theory that is as effective as it is counterintuitive. While quantum practices operate impeccably, they compel us to embrace enigmatic phenomena like the collapse of the state vector and non-locality, thereby pushing…
In this article we discuss the contextual character of quantum mechanics in the framework of modal interpretations. We investigate its historical origin and relate contemporary modal interpretations to those proposed by M. Born and W.…
Nonmonotonic logics are usually characterized by the presence of some notion of 'conditional' that fails monotonicity. Research on nonmonotonic logics is therefore largely concerned with the defeasibility of argument forms and the…
In this paper we consider the phenomenon of superpositions in quantum mechanics and suggest a way to deal with the idea in a logical setting from a syntactical point of view, that is, as subsumed in the language of the formalism, and not…
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 aim of this paper is to analyze the reconstructability of quantum mechanics from classical conditional probabilities representing measurement outcomes conditioned on measurement choices. We will investigate how the quantum mechanical…
One way of proving theorems in modal logics is translating them into the predicate calculus and then using conventional resolution-style theorem provers. This approach has been regarded as inappropriate in practice, because the resulting…
In a recent article, Dieks has proposed a way to implement the modal interpretation of (nonrelativistic) quantum theory in relativistic quantum field theory. We show that his proposal fails to yield a well-defined prescription for which…
Quantum nonlocality is discussed as an aspect of the quantum formalism that is seriously in need of interpretation. The Transactional Interpretation of quantum mechanics, which describes quantum processes as transactional "handshakes"…
It is argued that the usual postulates of quantum mechanics are too strong. It is conjectured that it is possible to interpret all experiments if we maintain the formalism of quantum theory without modification, but weaken the postulates…
Is quantum mechanics about 'states'? Or is it basically another kind of probability theory? It is argued that the elementary formalism of quantum mechanics operates as a well-justified alternative to 'classical' instantiations of a…
A new quantum ontology of quantum mechanics has been proposed recently. This ontology is based on impossible to realize measurements which need to be performed repeatedly on the same single physical system or on the same pair of physical…
Scholars have wondered for a long time whether quantum mechanics (QM) subtends a quantum concept of truth which originates quantum logic (QL) and is radically different from the classical (Tarskian) concept of truth. We show in this paper…
Here it is shown that the simplest description of Bell's experiment according to the canon of von Neumann's theory of measurement explicitly assumes the (Quantum Mechanics-language equivalent of the classical) condition of Locality. This…
The two previous papers developed quantum mechanical formalism from classical mechanics and two additional postulates. In the first paper it was also shown that the uncertainty relations possess no ontological validity and only reflect the…
The conjecture is made that quantum mechanics is compatible with local hidden variables (or local realism). The conjecture seems to be ruled out by the theoretical argument of Bell, but it is supported by the empirical fact that nobody has…
The ontology proposed in this paper is aimed at demonstrating that it is possible to understand the counter-intuitive predictions of quantum mechanics while still retaining much of the framework underlying classical physics, the implication…