What belongs to quantum theory is no more than what is needed for its derivation. Keeping to this maxim, we record a paradigmatic shift in the foundations of quantum mechanics, where the focus has recently moved from interpreting to reconstructing quantum theory. Several historic and contemporary reconstructions are analyzed, including the work of Hardy, Rovelli, and Clifton, Bub and Halvorson. We conclude by discussing the importance of a novel concept of intentionally incomplete reconstruction.

Quantum theory has provoked intense discussions about its interpretation since its pioneer days. One of the few scientists who have been continuously engaged in this development from both physical and philosophical perspectives is Carl Friedrich von Weizsaecker. The questions he posed were and are inspiring for many, including the authors of this contribution. Weizsaecker developed Bohr's view of quantum theory as a theory of knowledge. We show that such an epistemic perspective can be consistently complemented by Einstein's ontically oriented position.

Quantum technologies can be presented to the public with or without introducing a strange trait of quantum theory responsible for their non-classical efficiency. Traditionally the message was centered on the superposition principle, while entanglement and properties such as contextuality have been gaining ground recently. A less theoretical approach is focused on simple protocols that enable technological applications. It results in a pragmatic narrative built with the help of the resource paradigm and principle-based reconstructions. I discuss the advantages and weaknesses of (...) these methods. To illustrate the importance of new metaphors beyond the Schrödinger cat, I briefly describe a non-mathematical narrative about entanglement that conveys an idea of some of its unusual properties. If quantum technologists are to succeed in building trust in their work, they ought to provoke an aesthetic perception in the public commensurable with the mathematical beauty of quantum theory experienced by the physicist. The power of the narrative method lies in its capacity to do so. (shrink)

The philosophical debate about quantum logic between the late 1960s and the early 1980s was generated mainly by Putnam's claims that quantum mechanics empirically motivates introducing a new form of logic, that such an empirically founded quantum logic is the `true' logic, and that adopting quantum logic would resolve all the paradoxes of quantum mechanics. Most of that debate focussed on the latter claim, reaching the conclusion that it was mistaken. This chapter will attempt to clarify the possible misunderstandings surrounding (...) the more radical claims about the revision of logic, assessing them in particular both in the context of more general quantum-like theories (in the framework of von Neumann algebras), and against the background of the current state of play in the philosophy and interpretation of quantum mechanics. Characteristically, the conclusions that might be drawn depend crucially on which of the currently proposed solutions to the measurement problem is adopted. (shrink)

I provide an interpretation of Wittgenstein's much criticized remarks on Gödel's First Incompleteness Theorem in the light of paraconsistent arithmetics: in taking Gödel's proof as a paradoxical derivation, Wittgenstein was right, given his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. I show that the models of paraconsistent arithmetics (obtained via the Meyer-Mortensen (...) collapsing filter on the standard model) match with many intuitions underlying Wittgensteins philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any meaningful mathematical question. (shrink)

Quantum logic is only applicable to microscopic phenomena while classical logic is exclusively used for everyday reasoning, including mathematics. It is shown that both logics are unified in the framework of modal interpretation. This proposed method deals with classical propositions as latently modalized propositions in the sense that they exhibit manifest modalities to form quantum logic only when interacting with other classical subsystems.