We construct an extension P of the standard language of classical propositional logic by adjoining to the alphabet of a new category of logical-pragmatic signs. The well formed formulas of are calledradical formulas (rfs) of P;rfs preceded by theassertion sign constituteelementary assertive formulas of P, which can be connected together by means of thepragmatic connectives N, K, A, C, E, so as to obtain the set of all theassertive formulas (afs). Everyrf of P is endowed with atruth value defined classically, (...) and everyaf is endowed with ajustification value, defined in terms of the intuitive notion of proof and depending on the truth values of its radical subformulas. In this framework, we define the notion ofpragmatic validity in P and yield a list of criteria of pragmatic validity which hold under the assumption that only classical metalinguistic procedures of proof be accepted. We translate the classical propositional calculus (CPC) and the intuitionistic propositional calculus (IPC) into the assertive part of P and show that this translation allows us to interpret Intuitionistic Logic as an axiomatic theory of the constructive proof concept rather than an alternative to Classical Logic. Finally, we show that our framework provides a suitable background for discussing classical problems in the philosophy of logic. (shrink)

We prove that the general scheme for physical theories that we have called semantic realism(SR) in some previous papers copes successfully with a number of EPR-like paradoxes when applied to quantum physics (QP). In particular, we consider the old arguments by Furry and Bohm- Aharonov and show that they are not valid within a SR framework. Moreover, we consider the Bell-Kochen-Specker und the Bell theorems that should prove that QP is inherently contextual and nonlocal, respectively, and show that they can (...) be invalidated in the SR approach. This removes the seeming contradiction between the basic assumptions of SR and QP, and proves that some problematic features that are usually attributed to QP, us contextuality and nonlocality, occur because of the adoption of a verificationist position, from one side, and from an insufficient adherence to the operational principles that have inspired QP itself, from the other side. (shrink)

The extended semantic realism (ESR) model proposes a new theoretical perspective which embodies the mathematical formalism of standard (Hilbert space) quantum mechanics (QM) into a noncontextual framework, reinterpreting quantum probabilities as conditional instead of absolute. We provide in this review an overall view on the present status of our research on this topic. We attain in a new, shortened way a mathematical representation of the generalized observables introduced by the ESR model and a generalization of the projection postulate of elementary (...) QM. Basing on these results we prove that the Bell-Clauser-Horne-Shimony-Holt (BCHSH) inequality, a modified BCHSH inequality and quantum predictions hold together in the ESR model because they refer to different parts of the picture of the physical world supplied by the model. Then we show that a new mathematical representation of mixtures must be introduced in the ESR model which does not coincide with the standard representation in QM and avoids some deep problems that arise from the representation of mixtures provided by QM. Finally we get a nontrivial generalization of the Lüders postulate, which is justified in a special case by introducing a reasonable physical assumption on the evolution of the compound system made up of the measured system and the measuring apparatus. (shrink)

The standard interpretation of quantum physics (QP) and some recent generalizations of this theory rest on the adoption of a rerificationist theory of truth and meaning, while most proposals for modifying and interpreting QP in a “realistic” way attribute an ontological status to theoretical physical entities (ontological realism). Both terms of this dichotomy are criticizable, and many quantum paradoxes can be attributed to it. We discuss a new viewpoint in this paper (semantic realism, or briefly SR), which applies both to (...) classical physics (CP) and to QP. and is characterized by the attempt of giving up verificationism without adopting ontological realism. As a first step, we construct a formalized observative language L endowed with a correspondence truth theory. Then, we state a set of axioms by means of L which hold both in CP and in QP. and construct a further language Lv which can express bothtestable andtheoretical properties of a given physical system. The concepts ofmeaning andtestability do not collapse in L and Le hence we can distinguish between semantic and pragmatic compatibility of physical properties and define the concepts of testability and conjoint testability of statements of L and Le. In this context a new metatheoretical principle (MGP) is stated, which limits the validity of empirical physical laws. By applying SR (in particular. MGP) to QP, one can interpret quantum logic as a theory of testability in QP, show that QP is semantically incomplete, and invalidate the widespread claim that contextuality is unavoidable in QP. Furthermore. SR introduces some changes in the conventional interpretation of ideal measurements and Heisenberg’s uncertainty principle. (shrink)

One of the authors has recently propounded an SR model which shows, circumventing known no-go theorems, that an objective interpretation of quantum mechanics is possible. We consider here compound physical systems and show why the proofs of nonlocality of QM do not hold within the SR model, which is slightly simplified in this paper. We also discuss quantum measurement theory within this model, note that the objectification problem disappears since the measurement of any property simply reveals its unknown value, and (...) show that the projection postulate can be considered as an approximate law, valid FAPP. Finally, we provide an intuitive picture that justifies some unusual features of the SR model and proves its consistency. (shrink)

Nonobjectivity of physical properties enters physics with the standard interpretation of quantum mechanics (QM), and a number of paradoxes of this theory follow from it. It seems, however, based on sound physical arguments (double slit experiment, Heisenberg's principle, Bell–Kochen–Specker theorem, etc.), so that most physicists think that avoiding it is impossible. We discuss these arguments here and show that they can be criticized from a physical viewpoint. Our criticism proves that nonobjectivity must be considered an epistemological choice rather than an (...) unavoidable feature of QM, so that an objective interpretation of QM is not a priori impossible, which justifies our attempt at providing it in some previous papers. This interpretation is based on a classical language in which the language of the standard interpretation (Quantum Logic) is embedded as a subset of statements that are directly testable according to QM. (shrink)

We forward an epistemological perspective regarding non-classical logics which restores the universality of logic in accordance with the thesis of global pluralism. In this perspective every non-classical truth-theory is actually a theory of some metalinguistic concept which does not coincide with the concept of truth (described by Tarski's truth theory). We intend to apply this point of view to Quantum Logic (QL) in order to prove that its structure properties derive from properties of the metalinguistic concept of testability in Quantum (...) Physics. To this end we construct a classical language L cand endow it with a classical effective interpretation which is partially inspired by the Ludwig approach to the foundations of Quantum Mechanics. Then we select two subsets of formulas in L cwhich can be considered testable because of their interpretation and we show that these subsets have the structure properties of Quantum Logics because of Quantum Mechanical axioms, as desired. Finally we comment on some relevant consequences of our approach (in particular, the fact that no non-classical logic is strictly needed in Quantum Physics). (shrink)

An SR model is presented that shows how an objective (noncontextual and local) interpretation of quantum mechanics can be constructed, which contradicts some well-established beliefs following from the standard interpretation of the theory and from known no-go theorems. The SR model is not a hidden variables theory in the standard sense, but it can be considered a hidden parameters theory which satisfies constraints that are weaker than those usually imposed on standard hidden variables theories. The SR model is also extended (...) in a natural way that shows how a broader theory embodying quantum mechanics can be envisaged which is realistic in a semantic sense, hence compatible with various “realistic” perspectives. (shrink)

We present a procedure which allows us to recover classical and nonclassical logical structures as concrete logics associated with physical theories expressed by means of classical languages. This procedure consists in choosing, for a given theory ${{\mathcal{T}}}$ and classical language ${{\fancyscript{L}}}$ expressing ${{\mathcal{T}}, }$ an observative sublanguage L of ${{\fancyscript{L}}}$ with a notion of truth as correspondence, introducing in L a derived and theory-dependent notion of C-truth (true with certainty), defining a physical preorder $\prec$ induced by C-truth, and finally selecting (...) a set of sentences ϕ V that are verifiable (or testable) according to ${{\mathcal{T}}, }$ on which a weak complementation ⊥ is induced by ${{\mathcal{T}}. }$ The triple $(\phi_{V},\prec,^{\perp})$ is then the desired concrete logic. By applying this procedure we recover a classical logic and a standard quantum logic as concrete logics associated with classical and quantum mechanics, respectively. The latter result is obtained in a purely formal way, but it can be provided with a physical meaning by adopting a recent interpretation of quantum mechanics that reinterprets quantum probabilities as conditional on detection rather than absolute. Hence quantum logic can be considered as a mathematical structure formalizing the properties of the notion of verification in quantum physics. This conclusion supports the general idea that some nonclassical logics can coexist without conflicting with classical logic (global pluralism) because they formalize metalinguistic notions that do not coincide with the notion of truth as correspondence but are not alternative to it either. (shrink)

Scholars concerned with the foundations of quantum mechanics (QM) usually think that contextuality (hence nonobjectivity of physical properties, which implies numerous problems and paradoxes) is an unavoidable feature of QM which directly follows from the mathematical apparatus of QM. Based on some previous papers on this issue, we criticize this view and supply a new informal presentation of the extended semantic realism (ESR) model which embodies the formalism of QM into a broader mathematical formalism and reinterprets quantum probabilities as conditional (...) on detection rather than absolute. Because of this reinterpretation a hidden variables theory can be constructed which justifies the assumptions introduced in the ESR model and proves its objectivity. When applied to special cases the ESR model settles long-standing conflicts (it reconciles Bell’s inequalities with QM), provides a general framework in which previous results obtained by other authors (as local interpretations of the GHZ experiment) are recovered and explained, and supports an interpretation of quantum logic which avoids the introduction of the problematic notion of quantum truth. (shrink)

This volume provides a unique overview of recent Italian studies on the foundations of quantum mechanics and related historical, philosophical and epistemological topics.

According to a standard view, quantum mechanics is a contextual theory and quantum probability does not satisfy Kolmogorov’s axioms. We show, by considering the macroscopic contexts associated with measurement procedures and the microscopic contexts underlying them, that one can interpret quantum probability as epistemic, despite its non-Kolmogorovian structure. To attain this result we introduce a predicate language L, a classical probability measure on it and a family of classical probability measures on sets of μ-contexts, each element of the family corresponding (...) to a measurement procedure. By using only Kolmogorovian probability measures we can thus define mean conditional probabilities on the set of properties of any quantum system that admit an epistemic interpretation but are not bound to satisfy Kolmogorov’s axioms. The generalized probability measures associated with states in QM can then be seen as special cases of these mean probabilities, which explains how they can be non-classical and provides them with an epistemic interpretation. Moreover, the distinction between compatible and incompatible properties is explained in a natural way, and purely theoretical classical conditional probabilities coexist with empirically testable quantum conditional probabilities. (shrink)

The Geneva–Brussels approach to quantum mechanics (QM) and the semantic realism (SR) nonstandard interpretation of QM exhibit some common features and some deep conceptual differences. We discuss in this paper two elementary models provided in the two approaches as intuitive supports to general reasonings and as a proof of consistency of general assumptions, and show that Aerts’ quantum machine can be embodied into a macroscopic version of the microscopic SR model, overcoming the seeming incompatibility between the two models. This result (...) provides some hints for the construction of a unified perspective in which the two approaches can be properly placed. (shrink)

Secondo l'interpretazione standard della meccanica quantistica le proprieta di un sistema fisico microscopico non possono essere considerate possedute o non possedute dal sistema prima di una misura. L'esito di una misura dipende infatti dall'intero insieme di misure compatibili che sono effettuate simultaneamente. La non-oggettivita ha tuttavia conseguenze problematiche. Il modello ESR recupera l'oggettivita incorporando ed estendendo il formalismo matematico della meccanica quantistica e reinterpretando le probabilita quantistiche come condizionali rispetto alla rivelazione invece che assolute. Le probabilita quantistiche ammettono allora un'interpretazione (...) epistemica, e possibile costruire una teoria consistente della misura, si ottiene una descrizione piu intuitiva del mondo microscopico e si puo adottare una nozione classica di verita. A causa di queste caratteristiche il modello ESR e compatibile con diverse posizioni di realismo filosofico. (shrink)

The old Bohr–Einstein debate about the completeness of quantum mechanics (QM) was held on an ontological ground. The completeness problem becomes more tractable, however, if it is preliminarily discussed from a semantic viewpoint. Indeed every physical theory adopts, explicitly or not, a truth theory for its observative language, in terms of which the notions of semantic objectivity and semantic completeness of the physical theory can be introduced and inquired. In particular, standard QM adopts a verificationist theory of truth that implies (...) its semantic nonobjectivity; moreover, we show in this paper that standard QM is semantically complete, which matches Bohr's thesis. On the other hand, one of the authors has provided a Semantic Realism (or SR) interpretation of QM that adopts a Tarskian theory of truth as correspondence for the observative language of QM (which was previously mantained to be impossible); according to this interpretation QM is semantically objective, yet incomplete, which matches EPR's thesis. Thus, standard QM and the SR interpretation of QM come to opposite conclusions. These can be reconciled within an integrationist perspective that interpretes non-Tarskian theories of truth as theories of metalinguistic concepts different from truth. (shrink)