Related papers: Comment on ``Possibility of quantum mechanics bein…
In this paper we will present an ongoing project which aims to use model theory as a suitable mathematical setting for studying the formalism of quantum mechanics. We will argue that this approach provides a geometric semantics for such…
I have been arguing that quantum nonlocality, deeply entrenched in the present formalism of quantum mechanics and widely believed as a reality by physicists, is in fact absent. Spooky nonlocal state reduction is the most, and perhaps the…
Difficulties and discomfort with the interpretation of quantum mechanics are due to differences in language between it and classical physics. Analogies to The Special Theory of Relativity, which also required changes in the basic worldview…
A problem with an instructive description of measurement process for sufficiently separated entangled quantum systems is well known. More precise and crafty experiments together with new technological challenges raise questions about…
I propose a new and direct connection between classical mechanics and quantum mechanics where I derive the quantum mechanical propagator from a variational principle. This variational principle is Hamilton's modified principle generalized…
The paper discusses Carnap's claim that a proper philosophical analysis of quantum mechanics, including a determination of whether its logic has to be revised, requires a rational reconstruction of the theory. Several articulations of the…
One of the authors has recently propounded an SR (semantic realism) model which shows, circumventing known no-go theorems, that an objective (noncontextual, hence local) interpretation of quantum mechanics (QM) is possible. We consider here…
Some interpretations of quantum mechanics use notions of possible states and possible trajectories. I investigate how this modal approach correlates with several metaphysical conceptions of a transition from potential to actual existence.…
Propositional term modal logic is interpreted over Kripke structures with unboundedly many accessibility relations and hence the syntax admits variables indexing modalities and quantification over them. This logic is undecidable, and we…
Stapp has recently argued from a version of the Hardy type experiments that quantum mechanics must be non-local, independent of any additional assumptions like realism or hidden variables. I argue that either his conclusions do not follow…
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)…
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.
An attempt is made to formulate quantum mechanics (QM) in physical rather than in mathematical terms. It is argued that the appropriate conceptual framework for QM is "contextual objectivity", which includes an objective definition of the…
Experts do not always feel very, comfortable when they have to give precise numerical estimations of certainty degrees. In this paper we present a qualitative approach which allows for attaching partially ordered symbolic grades to logical…
This paper belongs to the field of probabilistic modal logic, focusing on a comparative analysis of two distinct semantics: one rooted in Kripke semantics and the other in neighbourhood semantics. The primary distinction lies in the…
In this article we present a possible way to make usual quantum mechanics fully compatible with physical realism, defined as the statement that the goal of physics is to study entities of the natural world, existing independently from any…
This paper addresses the question whether a variant of a modal interpretation is conceivable that could accommodate property ascriptions associated with nonorthogonal resolutions of the unity and nonorthogonal families of relative states as…
Recent discussions by Mermin [1] and Stapp [2] in this journal on non-locality and counterfactuality are shown to contain linguistic problems that require verification. As such they can at most provide us with two subjective choices for the…
Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum information (qubits, quregisters or mixtures of quregisters),…
In this paper a didactic approach is described which immediately leads to an understanding of those postulates of quantum mechanics used most frequently in quantum computation. Moreover, an interpretation of quantum mechanics is presented…