The hypotheses of weak and strong objectification of quantum mechanical observables, as well as theoretical arguments and experimental evidence against these hypotheses, are systematically reviewed.

The possibilities of a realistic interpretation of quantum mechanics are investigated by means of a statistical analysis of experiments performed on the simplest type of quantum systems carrying spin or helicity. To this end, fundamental experiments, some new, for measuring polarization are reviewed and (re)analyzed. Theunsharp reality of spin is essential in the interpretation of some of these experiments and represents a natural motivation for recent generalizations of quantum mechanics to a theory incorporating effect-valued measures as unsharp observables and generalized (...) systems of imprimitivity. (shrink)

From the Hilbert space formalism we note that five simple conditions are satisfied by the orthogonality relation between the (pure) states of a quantum system. We argue, by proving a mathematical theorem, that they capture the essentials of this relation. Based on this, we investigate the rationale behind these conditions in the form of six physical hypotheses. Along the way, we reveal an implicit theoretical assumption in theories of physics and prove a theorem which formalizes the idea that the Superposition (...) Principle makes quantum physics different from classical physics. The work follows the paradigm of mathematical foundations of quantum theory, which I will argue by methodological reflection that it exemplifies a formal approach to analysing concepts in theories. (shrink)

This article proposes a basic logic for application in physics dispensing with the Principle of Excluded Middle. It is based on the article “Matrix Based Logics for Application in Physics (RMQ) which appeared 2009. In his article with Stachow on the Principle of Excluded Middle in Quantum Logic (QL), Peter Mittelstaedt showed that for some suitable QLs, including their own, the Principle of Excluded Middle can be added without any harm for QL; where ‘without any harm for QL’ means that (...) the basic desiderata and the basic results (theorems) of those QLs remain satised in the sense that they avoid the well known difficulties with commensurability and distributivity.In the following article I want to show that the basic desiderata and results (theorems) of RMQ (of avoiding the well-known difficulties with commensurability, distributivity, fusion and Bell’s inequalities) remain satised if by introducing a strong negation (or strong negation and disjunction) the resulting weak intuitionist system RMQI dispenses with the Principle of Excluded Middle; it becomes either invalid or not strictly valid. (shrink)

The purpose of the paper is to show that by cleaning Classical Logic (CL) from redundancies (irrelevances) and uninformative complexities in the consequence class and from too strong assumptions (of CL) one can avoid most of the paradoxes coming up when CL is applied to empirical sciences including physics. This kind of cleaning of CL has been done successfully by distinguishing two types of theorems of CL by two criteria. One criterion (RC) forbids such theorems in which parts of the (...) consequent (conclusion) can be replaced by arbitrary parts salva validitate of the theorem. The other (RD) reduces the consequences to simplest conjunctive consequence elements. Since the application of RC and RD to CL leads to a logic without the usual closure conditions, an approximation to RC and RD has been constructed by a basic logic with the help of finite (6-valued) matrices. This basic logic called RMQ (relevance, matrix, Quantum Physics) is consistent and decidable. It distinguishes two types of validity (strict validity) and classical or material validity. All theorems of CL (here: classical propositional calculus CPC) are classically or materially valid in RMQ. But those theorems of CPC which obey RC and RD and avoid the difficulties in the application to empirical sciences and to Quantum Physics are separated as strictly valid in RMQ. In the application to empirical sciences in general the proposed logic avoids the well known paradoxes in the area of explanation, confirmation, versimilitude and Deontic Logic. Concerning the application to physics it avoids also the difficulties with distributivity, commensurability and with Bell's inequalities. (shrink)

Quantum mechanics is troubled by the problem of nonlocality inherent in the theory. In a series of papers we explore the possibility of an algebraic formulation of quantum mechanics based on local observables which would incorporate nonlocality when small distances are involved but would be separable at large distances. This paper reviews some of the basic ideas and theories developed recently. These include a unified localization scheme, the introduction of local comoving evolution, local comoving observables, and related conservation laws. Technical (...) considerations and mathematical jargon are kept to a minimum to avoid obscuring physical reasoning. (shrink)

Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.

In this essay, I offer a critical evaluation of Hilary Putnam's writings on epistemology and philosophy of science, in particular his engagement with interpretative problems in quantum mechanics. I trace the development of his thinking from the late 1960s when he adopted a strong causal-realist position on issues of meaning, reference, and truth, via the "internal realist" approach of his middle-period writings, to the various forms of pragmatist, naturalized, or "commonsense" epistemology proposed in his latest books. My contention is that (...) Putnam's retreat from a full-fledged realist outlook has been prompted in large part by his belief that it cannot possibly be reconciled with the implications of quantum mechanics for our understanding of processes and events in the subatomic domain. However, I suggest, this response should be seen as premature given the range of as-yet unresolved problems with quantum mechanics on the orthodox (Copenhagen) interpretation and also the existence of an alternative account - David Bohm's hidden-variables theory - which perfectly matches the established predictive-observational results while providing a credible realist ontology. I also examine Putnam's case for adopting a nonstandard (three-valued) "quantum logic" in relation to the thinking of other philosophers - Michael Dummett among them - who have espoused a more global or doctrinaire version of anti-realism. I conclude that Putnam's early (causal-realist) position is by no means untenable in light of the various arguments that he now takes as counting decisively against it. (shrink)

This article offers a critical review of various ontological-relativist arguments, mostly deriving from the work of W. V. Quine and Thomas K hn. I maintain that these arguments are (1) internally contradictory, (2) incapable of accounting for our knowledge of the growth of scientific knowledge, and (3) shown up as fallacious from the standpoint of a causal-realist approach to issues of truth, meaning, and interpretation. Moreover, they have often been viewed as lending support to such programmes as the 'strong' sociology (...) of knowledge and the turn towards wholesale cultural-relativist doctrines, whether of the Wittgensteinian ('language-games') or Heideggerian (depth-hermeneutic) varieties. Thus Richard Rorty recommends that we should henceforth drop all that old-fashioned talk of 'truth', 'knowledge', or 'reality', since whatever warrants those descriptions from time to time is just the product of some currently favoured language-game or range of elective metaphors. Such ideas have little in common with Quine's general outlook of robust physicalism, nor again - though the case is less clear - with Kuhn's reconsidered approach to these issues as set forth in his 1969 Postscript to The Structure of Scientific Revolutions . However, both thinkers have left themselves open to misconstrual by adopting a sceptical-relativist fallback position in response to the well-known problems with logical empiricism. This essay therefore reviews those problems with reference to alternative, more adequate accounts of what is involved in the process of scientific discovery and theory-change. (shrink)

In the present work are identified the main features of the algebraic structure with respect to the logical operations, of the set of all the quantum mechanical utterances for which can be specified a factual counterpart and factual rules for truth valuation. This structure is found not to be a lattice. It depends crucially on the spacetime features of the operations by which the observer prepares the studied states and performs measurements on them.

Es werden die Veränderungen der Wissenschaftssprache der Physik untersucht, die durch den Übergang von der klassich-relativistichen Physik zur Quantenphysik erfolgt sind. Die neuen und prinzipiellen Beschränkungen der Möglichkeiten der Überprüfung wissenschaftlicher Aussagen führen zu Reduktionen der hypothetischen Annahmen, die der Sprache der klassischen Physik zu Grunde liegen. Diese Reduktionen haben ihrerseits Abschwächungen der syntaktischen Strukturen zur Folge, die besonders in der formalen Logik und der Modallogik deutlich werden. Diese auf schwächeren Prämissen basierenden Strukturen sind die Quanten-Logik und die Quanten-Modallogik, die (...) damit auch einen weiteren Geltungsbereich besitzen als die entsprechenden klassischen formalen Systeme. (shrink)

The author investigates which methods of naming objects are possible in the language of physics on the basis of the real physical conditions and to which extend objects thereby can be identified. It is shown that in the language of classical physics naming by designation is always possible. But this implies only the temporal identity of objects, not the "trans - world" - identity, which is important for modalities. In the language of quantum physics naming by designation is no longer (...) applicable to individuals but only to classes of equivalent objects. And for these classes temporal identity as well as the "trans - world" - identity can be produced, which means that an adequate semantics can be specified for the concept of possibility necessary in this language. (shrink)

The main goal of quantum logic is the bottom-up reconstruction of quantum mechanics in Hilbert space. Here we discuss the question whether quantum logic is an empirical structure or a priori valid. There are good reasons for both possibilities. First, with respect to the possibility of a rational reconstruction of quantum mechanics, quantum logic follows a priori from quantum ontology and can thus not be considered as a law of nature. Second, since quantum logic allows for a reconstruction of quantum (...) mechanics, self-referential consistency requires that the empirical content of quantum mechanics must be compatible with the presupposed quantum ontology. Hence, quantum ontology contains empirical components that are also contained in quantum logic. Consequently, in this sense quantum logic is also a law of nature. (shrink)

The so-called classical limit of quantum mechanics is generally studied in terms of the decoherence of the state operator that characterizes a system. This is not the only possible approach to decoherence. In previous works we have presented the possibility of studying the classical limit in terms of the decoherence of relevant observables of the system. On the basis of this approach, in this paper we introduce the classical limit from a logical perspective, by studying the way in which the (...) logical structure of quantum properties corresponding to relevant observables acquires Boolean characteristics. (shrink)

The main aim of the paper is to solve a problem posed in Di Nola et al. (Multiple Val. Logic 8:715–750, 2002) whether every pseudo BL-algebra with two negations is good, i.e. whether the two negations commute. This property is intimately connected with possessing a state, which in turn is essential in quantum logical applications. We approach the solution by describing the structure of pseudo BL-algebras and pseudo hoops as important families of quantum structures. We show when a pseudo hoop (...) can be embedded into the negative cone of the reals. We give an equational base characterizing representable pseudo hoops. We also describe some subvarieties: normal-valued, and varieties where each maximal filter is normal. We produce some noncommutative covers and extend the area where each algebra is good. Finally, we show that there are uncountably many subvarieties of pseudo BL-algebras having members that are not good. (shrink)