相关论文: Physical propositions and quantum languages
The question of what ontological message (if any) is encoded in the formalism of contemporary physics is, to say the least, controversial. The reasons for this state of affairs are psychological and neurobiological. The processes by which…
This paper gives a formulation of quantum logic in the abstract algebraic setting laid out by Dunn and Hardegree (2001). On this basis, it provides a comparative analysis of viable quantum logical bivalent semantics and their classical…
A recent proof, formulated in the symbolic language of modal logic, shows that a well-defined formulation of the possibility mentioned in the title is answered affirmatively. In the paper being commented upon several proposals were made…
The scientific methodology based on two descriptive levels, ontic (reality as it is ) and epistemic (observational), is briefly presented. Following Schr\"odinger, we point to the possible gap between these two descriptions. Our main aim is…
According to quantum mechanics, statements about the future made by sentient beings like us are, in general, neither true nor false; they must satisfy a many-valued logic. I propose that the truth value of such a statement should be…
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by morphisms in the category FQC of finite quantum computations,…
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…
The concept of number is fundamental to the formulation of any physical theory. We give a heuristic motivation for the reformulation of Quantum Mechanics in terms of non-standard real numbers called Quantum Real Numbers. The standard axioms…
In the qubit semantics the \emph{meaning} of any sentence $\alpha$ is represented by a \emph{quregister}: a unit vector of the $n$--fold tensor product $\otimes^n \C^2$, where $n$ depends on the number of occurrences of atomic sentences in…
Quantum set theory (QST) and topos quantum theory (TQT) are two long running projects in the mathematical foundations of quantum mechanics that share a great deal of conceptual and technical affinity. Most pertinently, both approaches…
We propose a realistic and nonlocal interpretation for quantum mechanics, which requires new mathematical, physical and philosophical foundations for space-time. Our theory violates Bell's inequality. We also discuss the cat paradox.
Finding a denotational semantics for higher order quantum computation is a long-standing problem in the semantics of quantum programming languages. Most past approaches to this problem fell short in one way or another, either limiting the…
In traditional semantics for classical logic and its extensions, such as modal logic, propositions are interpreted as subsets of a set, as in discrete duality, or as clopen sets of a Stone space, as in topological duality. A point in such a…
Quantum theory can be understood as pointing to an ontology of relations. I observe that this reading of quantum mechanics is supported by the ubiquity of relationality in contemporary fundamental physics, including in classical mechanics,…
We look into the ontology of quantum theory as distinct from that of the classical theory in the sciences, following a broadly Kantian tradition and distinguishing between the noumenal and phenomenal realities where the former is…
For the classical mind, quantum mechanics is boggling enough; nevertheless more bizarre behavior could be imagined, thereby concentrating on propositional structures (empirical logics) that transcend the quantum domain. One can also…
Conventional relativistic quantum mechanics, based on the Klein-Gordon equation, does not possess a natural probabilistic interpretation in configuration space. The Bohmian interpretation, in which probabilities play a secondary role,…
We investigate the formal semantics of a simple imperative language that has both classical and quantum constructs. More specifically, we provide an operational semantics, a denotational semantics and two Hoare-style proof systems: an…
It is the matter of fact that quantum mechanics operates with notions that are not determined in the frame of the mechanics' formalism. Among them we can call the notion of "wave-particle" (that, however, does not appear in both classical…
We consider the situation of a physical entity that is the compound entity consisting of two 'separated' quantum entities. In earlier work it has been proven by one of the authors that such a physical entity cannot be described by standard…