Is logic empirical

  title={Is logic empirical},
  author={Guido Bacciagaluppi},

Classical Logic in the Quantum Context

It will be shown that the rehabilitation of a classical propositional calculus is a consequence of the primitive ontology of the theory, a fact that is not yet sufficiently recognized in the literature concerning Bohmian mechanics.

Quantum logic as a dynamic logic

It is concluded that there is no contradiction between classical logic and (the authors' dynamic reinterpretation of) quantum logic, and that the Dynamic-Logical perspective leads to a better and deeper understanding of the “non-classicality” of quantum behavior than any perspective based on static Propositional Logic.

Quantum Mechanics: From Realism to Intuitionism

The interpretation of quantum mechanics has been a problem since its founding days. A large contribution to the discussion of possible interpretations of quantum mechanics is given by the so-called

On the Common Logical Structure of Classical and Quantum Mechanics

At the onset of quantum mechanics, it was argued that the new theory would entail a rejection of classical logic. The main arguments to support this claim come from the non-commutativity of quantum

Speakable in quantum mechanics

This paper takes Bohr’s motto seriously and develops a quantum logic that avoids assuming any form of realism as much as possible and discusses how some realist interpretations relate to these logics.

Philosophy of Quantum Mechanics

This is a general introduction to and review of the philosophy of quantum mechanics, aimed at readers with a physics background and assuming no prior exposure to philosophy. It is a draft version of

Quantum metaphysical indeterminacy and the ontological foundations of orthodoxy.

Quantum Logic and Its Role in Interpreting Quantum Theory

Summary Foundational studies in quantum theory have consisted in large part of attempts to avoid paradoxical situations in describing properties of a physical system. Quantum logic addresses some of

An Empirical Route to Logical 'Conventionalism'

It is argued that the world’s logical structure, and hence the related ‘true’ logic, are underdetermined, and that this leads to what I call empirical conventionalism.

Logic, Philosophy and Physics: A Critical Commentary on the Dilemma of Categories

I provide a critical commentary regarding the attitude of the logician and the philosopher towards the physicist and physics. The commentary is intended to showcase how a general change in attitude



If quanta had logic

The aims are to provide a formal semantic framework for Putnam's proposals, to investigate alternative ways of realizing his program, and to come to some tentative conclusions concerning the promise and significance of the enterprise.

Quantum Logic, Conditional Probability, and Interference

  • J. Bub
  • Philosophy
    Philosophy of Science
  • 1982
Friedman and Putnam have argued (Friedman and Putnam 1978) that the quantum logical interpretation of quantum mechanics gives us an explanation of interference that the Copenhagen interpretation

Critique of Putnam's quantum logic

Putnam gives a strongly realist account of quantum logic. This has been criticised as suggesting a hidden variable interpretation for quantum mechanics. Friedman and Glymour have done this in the

Stalnaker conditionals and quantum logic

The question is whether it is proper to regard the lattice of QM, or more generally the class of orthomodular lattices (posets), as a logic as opposed to merely a class of algebraic structures only formally analogous to logic properly so called.

Everett and structure

Quantum Logic, Realism, and Value Definiteness

One of the most interesting programs in the foundations of quantum mechanics is the realist quantum logic approach associated with Putnam, Bub, Demopoulos and Friedman (and which is the focus of my

On the structure of quantal proposition systems

I define sublaltices of quantum propositions that can be taken as having determinate (but perhaps unknown) truth values for a given quantum state, in the sense that sufficiently many two-valued maps

Logical Non-Apriorism and the 'Law' of Non-Contradiction

A common response to those who question the Law of Non-Contradiction (LNC) is that it is impossible to debate such a fundamental law of logic. The reasons for this response vary, but what seems to

On the Extension of Beth's Semantics of Physical Theories

A basic aim of E. Beth's work in philosophy of science was to explore the use of formal semantic methods in the analysis of physical theories. We hope to show that a general framework for Beth's

Some Metalogical Pathologies of Quantum Logic

Quantum Logic (QL) gives rise to significant counterexamples to some metalogical properties which hold for classical logic (CL) and for a large class of weaker logics. A particularly interesting