Department of History and Philosophy of Science. University of Cambridge, Free School Lane, Cambridge CB2 3RH This paper is concerned with the question of whether atomic particles of the same species, i. e. with the same intrinsic state-independent properties of mass, spin, electric charge, etc, violate the Leibnizian Principle of the Identity of Indiscernibles, in the sense that, while there is more than one of them, their state-dependent properties may also all be the same. The answer depends on what exactly (...) the state-dependent properties of atomic particles are taken to be. On the plausible interpretation that these should comprise all monadic and relational properties that can be expressed in terms of physical magnitudes associated with self-adjoint operators that can be defined for the individual particles, then the weakest form of the Principle is shown to be violated for bosons, fermions and higher-order paraparticles, treated in first quantization *Some of the arguments inn this paper appeared in a thesis submited by one of us (S.F.) In partial fulfilment of the requirements for the PhD degree of the University of London, in 1984. entitled 'Identity and ‘Individuality in Classical and Quantum Physics’. (shrink)

What ontology does realism about the quantum state suggest? The main extant view in contemporary philosophy of physics is wave-function realism . We elaborate the sense in which wave-function realism does provide an ontological picture, and defend it from certain objections that have been raised against it. However, there are good reasons to be dissatisfied with wave-function realism, as we go on to elaborate. This motivates the development of an opposing picture: what we call spacetime state realism , a (...) view which takes the states associated to spacetime regions as fundamental. This approach enjoys a number of beneficial features, although, unlike wave-function realism, it involves non-separability at the level of fundamental ontology. We investigate the pros and cons of this non-separability, arguing that it is a quite acceptable feature, even one which proves fruitful in the context of relativistic covariance. A companion paper discusses the prospects for combining a spacetime-based ontology with separability, along lines suggested by Deutsch and Hayden. (shrink)

Under so-called primitive ontology approaches, in fully describing the history of a quantum system, one thereby attributes interesting properties to regions of spacetime. Primitive ontology approaches, which include some varieties of Bohmian mechanics and spontaneous collapse theories, are interesting in part because they hold out the hope that it should not be too difficult to make a connection between models of quantum mechanics and descriptions of histories of ordinary macroscopic bodies. But such approaches are dualistic, positing a (...) class='Hi'>quantum state as well as ordinary material degrees of freedom. This paper lays out and compares some options that primitive ontologists have for making sense of the quantum state. (shrink)

We put forward a new, ‘coherentist’ account of quantum entanglement, according to which entangled systems are characterized by symmetric relations of ontological dependence among the component particles. We compare this coherentist viewpoint with the two most popular alternatives currently on offer—structuralism and holism—and argue that it is essentially different from, and preferable to, both. In the course of this article, we point out how coherentism might be extended beyond the case of entanglement and further articulated.

Existing proposals concerning the ontology of quantum mechanics either involve speculation that goes beyond the scientific evidence or abandon realism about large parts of QM. This paper proposes a way out of this dilemma, by showing that QM as it is formulated in standard textbooks allows for a much more substantive ontological commitment than is usually acknowledged. For this purpose, I defend a non-fundamentalist approach to ontology, which is then applied to various aspects of QM. In particular, I will (...) defend realism about spin, which has been viewed as a particularly hard case for the ontology of QM. (shrink)

This is a contribution to a book on quantum gravity and philosophy. I discuss nature and origin of the problem of quantum gravity. I examine the knowledge that may guide us in addressing this problem, and the reliability of such knowledge. In particular, I discuss the subtle modification of the notions of space and time engendered by general relativity, and how these might merge into quantum theory. I also present some reflections on methodological questions, and on some (...) general issues in philosophy of science which are are raised by, or a relevant for, the research on quantum gravity. (shrink)

This paper reviews four attempts throughout the history of quantum mechanics to explicitly employ dispositional notions in order to solve the quantum paradoxes, namely: Margenau's latencies, Heisenberg's potentialities, Maxwell's propensitons, and the recent selective propensities interpretation of quantum mechanics. Difficulties and challenges are raised for all of them, and it is concluded that the selective propensities approach nicely encompasses the virtues of its predecessors. Finally, some strategies are discussed for reading similar dispositional notions into two other well-known (...) interpretations of quantum mechanics, namely the GRW interpretation and Bohmian mechanics. (shrink)

The claim that at the so-called Planck scale our current physics breaks down and a new theory of quantum gravity is required is ubiquitous, but the evidence is shakier than the confidence of those assertions warrants. In this paper, I survey five arguments in favour of this claim - based on dimensional analysis, quantum black holes, generalised uncertainty principles, the nonrenormalisability of quantum gravity, and theories beyond the standard model - but find that none of them succeeds. (...) The argument from nonrenormalisability is the most convincing, yet it requires the unwarranted assumption that the same constant of action occurs in every quantum field theory. Therefore, our theories don’t (yet) predict that quantum gravity happens at the Planck scale. (shrink)

A human brain operates as a pattern of switching. An abstract definition of a quantum mechanical switch is given which allows for the continual random fluctuations in the warm wet environment of the brain. Among several switch-like entities in the brain, we choose to focus on the sodium channel proteins. After explaining what these are, we analyse the ways in which our definition of a quantum switch can be satisfied by portions of such proteins. We calculate the perturbing (...) effects of normal variations in temperature and electric field on the quantum state of such a portion. These are shown to be acceptable within the fluctuations allowed for by our definition. Information processing and unpredictability in the brain are discussed. The ultimate goal underlying the paper is an analysis of quantum measurement theory based on an abstract definition of the physical manifestations of consciousness. The paper is written for physicists with no prior knowledge of neurophysiology, but enough introductory material has also been included to allow neurophysiologists with no prior knowledge of quantum mechanics to follow the central arguments. (shrink)

Despite its extraordinary predictive successes, quantum mechanics has, since its inception some seventy years ago, been plagued by conceptual di culties. The basic problem, plainly put, is this: It is not at all clear what quantum mechanics is about. What, in fact, does quantum mechanics describe?

Recent philosophical discussions about metaphysical indeterminacy have been substantiated with the idea that quantum mechanics, one of the most successful physical theories in the history of science, provides explicit instances of worldly indefiniteness. Against this background, several philosophers underline that there are alternative formulations of quantum theory in which such indeterminacy has no room and plays no role. A typical example is Bohmian mechanics in virtue of its clear particle ontology. Contrary to these latter claims, this paper aims (...) at showing that different pilot-wave theories do in fact instantiate diverse forms of metaphysical indeterminacy. Namely, I argue that there are various questions about worldly states of affairs that cannot be determined by looking exclusively at their ontologies and dynamical laws. Moreover, it will be claimed that Bohmian mechanics generates a new form of modal indeterminacy. Finally, it will be concluded that ontological clarity and indeterminacy are not mutually exclusive, i.e., the two can coexist in the same theory. (shrink)

This is a nontechnical overview of how various approaches to quantum gravity suggest modifications to the way we conceptualize space and time. A theory of quantum gravity is needed to reconcile quantum physics with general relativity, our best theory for gravity. The most popular approaches to quantum gravity are string theory and loop quantum gravity. So far, no approach has been empirically successful, and there is no commonly accepted theory. Thus, the conclusions presented here are (...) tentative. Many approaches suggest that space and time—or perhaps, it is better to talk about spacetime—might not be fundamental. Various views on how to think about time in quantum gravity are briefly presented. (shrink)

A logical approach to Bell's Inequalities of quantum mechanics has been introduced by Abramsky and Hardy [2]. We point out that the logical Bell's Inequalities of [2] are provable in the probability logic of Fagin, Halpern and Megiddo [4]. Since it is now considered empirically established that quantum mechanics violates Bell's Inequalities, we introduce a modified probability logic, that we call quantum team logic, in which Bell's Inequalities are not provable, and prove a Completeness Theorem for this (...) logic. For this end we generalise the team semantics of dependence logic [7] first to probabilistic team semantics, and then to what we call quantum team semantics. (shrink)

Due primarily to technological advances over the last decade, quantum research has become a key priority area for science and technology policy all over the world. With this manifesto, we wish to prevent quantum technology from running into fiascos of implementation at the interface of science and society. To this end, we identify key stumbling blocks and propose recommendations.

In this paper, we discuss the general significance of order in physics, as a first step toward the development of new notions of order. We begin with a brief historical discussion of the notions of order underlying ancient Greek views, and then go on to show how these changed in key ways with the rise of classical physics. This leads to a broader view of the significance of order, which helps to indicate what is to be meant by a change (...) of our general notions of order in physics. We then go into relativity and quantum theory, showing how these developments actually did bring in further new notions of order, which are however inconsistent and otherwise inadequate in certain ways. Finally, using these inconsistencies and inadequacies as clues or indications for yet a further new concept of order, we make some proposals for novel directions of inquiry (to be discussed in some detail in later papers) which could lead to theories as different from relativity and quantum theory as these are from classical physics. (shrink)

This article provides a new context for an established metaphysical debate regarding the problem of persistence. I contend that perdurance, a popular view about persistence which maintains that objects persist by having temporal parts, can be formulated in quantum mechanics due to the existence of a formal analogy between temporal and spatial location. However, this analogy fails due to a ‘no-go’ result which demonstrates that quantum systems cannot be said to have temporal parts in the same way that (...) they have spatial parts. Therefore, if quantum mechanics describes persisting physical objects then those objects cannot be said to perdure. (shrink)

The overall purpose of this paper is to clarify the physical meaning and epistemological status of the term 'measurement' as used in quantum theory. After a review of the essential logical structure of quantum physics, Part I presents interpretive discussions contrasting the quantal concepts observable and ensemble with their classical ancestors along the lines of Margenau's latency theory. Against this background various popular ideas concerning the nature of quantum measurement are critically surveyed. The analysis reveals that, in (...) addition to internal mathematical difficulties, all the so-called quantum theories of measurement are grounded in unjustifiable, classical presuppositions. (shrink)

The mathematical notion of a permutation of indices in the state description admits different physical interpretations. Two main interpretations analyzed in this paper are: exchange of essences and exchange of haecceities. It is argued that adopting the essentialist approach leads to the conclusion, contrary to the conventional wisdom, that quantum particles of the same type are sometimes discernible by their properties. The indiscernibility thesis can be supported only by the alternative interpretation in terms of primitive thisness.

Some physicists seem to believe that quantum information theory requires a new concept of information (Jozsa, 1998, Quantum information and its properties. In: Hoi-Kwong Lo, S. Popescu, T. Spiller (Eds.), Introduction to Quantum Computation and Information, World Scientific, Singapore, (pp. 49-75); Deutsch & Hayden, 1999, Information flow in entangled quantum subsystems, preprint quant-ph/9906007). I will argue that no new concept is necessary. Shannon's concept of information is sufficient for quantum information theory. Properties that are cited (...) to contrast quantum information and classical information (i.e., Shannon information) actually point to differences in our ability to manipulate, access, and transfer information depending on whether quantum systems, opposed to classical systems, are used in a communication system. I also demonstrate that conceptually puzzling phenomena in quantum information theory, such as dense coding, teleportation, and Schumacher coding, all of which are cited as evidence that a new concept of information is required, do not have to be regarded as such. (shrink)

We show that data collected from corpuses of documents violate the Clauser-Horne-Shimony-Holt version of Bell’s inequality and therefore indicate the presence of quantum entanglement in their structure. We obtain this result by considering two concepts and their combination and coincidence operations consisting of searches of co-occurrences of exemplars of these concepts in specific corpuses of documents. Measuring the frequencies of these co-occurrences and calculating the relative frequencies as approximate probabilities entering in the CHSH inequality, we obtain manifest violations of (...) the latter for all considered corpuses of documents. In comparing these violations with those analogously obtained in an earlier work for the same combined concepts in psychological coincidence experiments with human participants, also violating the CHSH inequality, we identify the entanglement as being carried by the meaning connection between the two considered concepts within the combination they form. We explain the stronger violation for the corpuses of documents, as compared to the violation in the psychology experiments, as being due to the superior meaning domain of the human mind and, on the other side, to the latter reaching a broader domain of meaning and being possibly also actively influenced during the experimentation. We mention some of the issues to be analyzed in future work such as the violations of the CHSH inequality being larger than the ‘Cirel’son bound’ for all of the considered corpuses of documents. (shrink)

Quantum mechanics and probability theory share one peculiarity. Both have well established mathematical formalisms, yet both are subject to controversy about the meaning and interpretation of their basic concepts. Since probability plays a fundamental role in QM, the conceptual problems of one theory can affect the other. We first classify the interpretations of probability into three major classes: inferential probability, ensemble probability, and propensity. Class is the basis of inductive logic; deals with the frequencies of events in repeatable experiments; (...) describes a form of causality that is weaker than determinism. An important, but neglected, paper by P. Humphreys demonstrated that propensity must differ mathematically, as well as conceptually, from probability, but he did not develop a theory of propensity. Such a theory is developed in this paper. Propensity theory shares many, but not all, of the axioms of probability theory. As a consequence, propensity supports the Law of Large Numbers from probability theory, but does not support Bayes theorem. Although there are particular problems within QM to which any of the classes of probability may be applied, it is argued that the intrinsic quantum probabilities are most naturally interpreted as quantum propensities. This does not alter the familiar statistical interpretation of QM. But the interpretation of quantum states as representing knowledge is untenable. Examples show that a density matrix fails to represent knowledge. (shrink)

According to a Received View, relativistic quantum field theories (RQFTs) do not admit particle interpretations. This view requires that particles be localizable and countable, and that these characteristics be given mathematical expression in the forms of local and unique total number operators. Various results (the Reeh-Schlieder theorem, the Unruh Effect, Haag's theorem) then indicate that formulations of RQFTs do not support such operators. These results, however, do not hold for nonrelativistic QFTs. I argue that this is due to the (...) absolute structure of the classical spacetimes associated with such theories. This suggests that the intuitions that underlie the Received View are non-relativistic. Thus, to the extent that such intuitions are inappropriate in the relativistic context, they should be abandoned when it comes to interpreting RQFTs. (shrink)

In this paper, it is argued that Aristotelian hylomorphism can supply a useful and informative account of composite entities as these are described by physical theory. In particular, a hylomorphic account of quantum entangled systems is defined in detail, and compared to other alternatives currently on offer—in particular, ontic structural realism. In closing, it is suggested that the view of entanglement outlined here meshes well with a recently proposed ‘coherentist’ conception.

Some physicists seem to believe that quantum information theory requires a new concept of information , Introduction to Quantum Computation and Information, World Scientific, Singapore, ; Deutsch & Hayden, 1999, Information flow in entangled quantum subsystems, preprint quant-ph/9906007). I will argue that no new concept is necessary. Shannon's concept of information is sufficient for quantum information theory. Properties that are cited to contrast quantum information and classical information actually point to differences in our ability to (...) manipulate, access, and transfer information depending on whether quantum systems, opposed to classical systems, are used in a communication system. I also demonstrate that conceptually puzzling phenomena in quantum information theory, such as dense coding, teleportation, and Schumacher coding, all of which are cited as evidence that a new concept of information is required, do not have to be regarded as such. (shrink)

Quantum Theory, similar to Relativity Theory, requires a new concept of space-time, imposed by a universal constant. While velocity of lightcnot being infinite calls for a redefinition of space-time on large and cosmological scales, quantization of action in terms of a finite, i.e. non vanishing, universal constanthrequires a redefinition of space-time on very small scales. Most importantly, the classical notion of “time”, as one common continuous time variable and nature evolving continuously “in time”, has to be replaced by an (...) infinite manifold of transition rates for discontinuous quantum transitions. The fundamental laws of quantum physics, commutation relations and quantum equations of motion, resulted from Max Born’s recognition of the basic principle of quantum physics:To each change in nature corresponds an integer number of quanta of action. Action variables may only change by integer values ofh, requiring all other physical quantities to change by discrete steps, “quantum jumps”. The mathematical implementation of this principle led to commutation relations and quantum equations of motion. The notion of “point” in space-time looses its physical significance; quantum uncertainties of time, position, just as any other physical quantity, are necessary consequences of quantization of action. (shrink)

We articulate the problems posed by the quantum liar experiment (QLE) for backwards causation interpretations of quantum mechanics, time-symmetric accounts and other dynamically oriented local hidden variable theories. We show that such accounts cannot save locality in the case of QLE merely by giving up “lambda-independence.” In contrast, we show that QLE poses no problems for our acausal Relational Blockworld interpretation of quantum mechanics, which invokes instead adynamical global constraints to explain Einstein–Podolsky–Rosen (EPR) correlations and QLE. We (...) make the case that the acausal and adynamical perspective is more fundamental and that dynamical entities obeying dynamical laws are emergent features grounded therein. (shrink)

Unconditionally secure two-party bit commitment based solely on the principles of quantum mechanics (without exploiting special relativistic signalling constraints, or principles of general relativity or thermodynamics) has been shown to be impossible, but the claim is repeatedly challenged. The quantum bit commitment theorem is reviewed here and the central conceptual point, that an “Einstein–Podolsky–Rosen” attack or cheating strategy can always be applied, is clarified. The question of whether following such a cheating strategy can ever be disadvantageous to the (...) cheater is considered and answered in the negative. There is, indeed, no loophole in the theorem. (shrink)

We introduce the notion of quantum MV algebra (QMV algebra) as a generalization of MV algebras and we show that the class of all effects of any Hilbert space gives rise to an example of such a structure. We investigate some properties of QMV algebras and we prove that QMV algebras represent non-idempotent extensions of orthomodular lattices.

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 cannot supply without invoking an additional ad hoc principle, the projection postulate. I show that it is possible to define a notion of equivalence of experimental arrangements relative to a pure state φ , or (correspondingly) equivalence of Boolean subalgebras in the partial Boolean algebra of projection operators of a system, which (...) plays a role in the Copenhagen explanation of interference analogous to the role played by the material equivalence, given φ , of certain propositions in the Friedman-Putnam quantum logical analysis. I also show that the quantum logical interpretation and the Copenhagen interpretation are equally capable of avoiding the paradoxical conclusion of the Einstein-Podolsky-Rosen argument (Einstein, Podolsky, and Rosen 1935). Thus, neither interference phenomena nor the correlations between separated systems provide a test case for distinguishing between the relative acceptability of the Copenhagen interpretation and the quantum logical interpretation as explanations of quantum effects. (shrink)

A non-classical subsystem of orthomodular quantum logic is proposed. This system employs two basic operations: the Sasaki hook as implication and the _and-then_ operation as conjunction. These operations successfully satisfy modus ponens and the deduction theorem. In other words, they form an adjunction in terms of category theory. Two types of semantics are presented for this logic: one algebraic and one physical. The algebraic semantics deals with orthomodular lattices, as in traditional quantum logic. The physical semantics is given (...) as a procedure for deriving a final segment of a series of yes-no experiments. (shrink)

In this paper we study a classical and theoretical system which consists of an elastic medium carrying transverse waves and one point-like high elastic medium density, called concretion. We compute the equation of motion for the concretion as well as the wave equation of this system. Afterwards we always consider the case where the concretion is not the wave source any longer. Then the concretion obeys a general and covariant guidance formula, which leads in low-velocity approximation to an equivalent de (...) Broglie-Bohm guidance formula. The concretion moves then as if exists an equivalent quantum potential. A strictly equivalent free Schrödinger equation is retrieved, as well as the quantum stationary states in a linear or spherical cavity. We compute the energy of the concretion, naturally defined from the energy density of the vibrating elastic medium. Provided one condition about the amplitude of oscillation is fulfilled, it strikingly appears that the energy and momentum of the concretion not only are written in the same form as in quantum mechanics, but also encapsulate equivalent relativistic formulas. (shrink)

The outcomes of educational assessments undoubtedly have real implications for students, teachers, schools and education in the widest sense. Assessment results are, for example, used to award qualifications that determine future educational or vocational pathways of students. The results obtained by students in assessments are also used to gauge individual teacher quality, to hold schools to account for the standards achieved by their students, and to compare international education systems. Given the current high-stakes nature of educational assessment, it is imperative (...) that the measurement practices involved have stable philosophical foundations. However, this article casts doubt on the theoretical underpinnings of contemporary educational measurement models. Aspects of Wittgenstein’s later philosophy and Bohr’s philosophy of quantum theory are used to argue that a quantum theoretical rather than a Newtonian model is appropriate for educational measurement, and the associated implications for the concept of validity are elucidated. Whilst it is acknowledged that the transition to a quantum theoretical framework would not lead to the demise of educational assessment, it is argued that, where practical, current high-stakes assessments should be reformed to become as ‘low-stakes’ as possible. This article also undermines some of the pro high-stakes testing rhetoric that has a tendency to afflict education. (shrink)

In recent years there has been a robust but inconclusive debate over the existence and nature of indeterminacy in the world as described by quantum mechanics. I suggest that the inconclusive nature of the debate stems from starting from a metaphysical theory of indeterminacy. I propose instead framing the issue as a Carnapian explication project: start with the informal notion of indeterminacy used by physicists, and consider how best to make that concept precise. I defend a precisification based on (...) von Neumann’s interpretation of quantum states, and consider the nature of the indeterminacy that results. (shrink)

We implement a recent characterization of metaphysical indeterminacy in the context of orthodox quantum theory, developing the syntax and semantics of two propositional logics equipped with determinacy and indeterminacy operators. These logics, which extend a novel semantics for standard quantum logic that accounts for Hilbert spaces with superselection sectors, preserve different desirable features of quantum logic and logics of indeterminacy. In addition to comparing the relative advantages of the two, we also explain how each logic answers Williamson’s (...) challenge to any substantive account of determinacy: For any proposition p, what could the difference between “p” and “it’s determinate that p” ever amount to? (shrink)

Although general relativity is a predictively successful theory, it treats matter as classical rather than as quantum. For this reason, it will have to be replaced by a more fundamental quantum theory of gravity. Attempts to formulate a quantum theory of gravity suggest that such a theory may have radical consequences for the nature, and indeed the fate, of spacetime. The present article articulates what this problem of spacetime is and traces it three approaches to quantum (...) gravity taking general relativity as their vantage point: semi-classical gravity, causal set theory, and loop quantum gravity. (shrink)

It is argued that the validity of the predictions of quantum theory in certain spincorrelation experiments entails a violation of Einstein's locality idea that no causal influence can act outside the forward light cone. First, two preliminary arguments suggesting such a violation are reviewed. They both depend, in intermediate stages, on the idea that the results of certain unperformed experiments are physically determinate. The second argument is entangled also with the problem of the meaning of “physical reality.” A new (...) argument having neither of these characteristics is constructed. It is based strictly on the orthodox ideas of Bohr and Heisenberg, and has no realistic elements, or other ingredients, that are alien to orthodox quantum thinking. (shrink)

The notion of an individual and the related issues on individuation are topics that appear in the philosophical discussion ever since the antiquity. The idea of an individual thing is intuitively clear: an individual is something of a specific kind that is a unity, having its own identity, and being so that it is possible at least in principle to discern it from any other individual, even of similar species. But when we try to leave the intuitive realm and push (...) this idea to a logical analysis, we find a cluster of problems that are difficult to overcome within standard logico-mathematical contexts. In this work, we shall be concerned with some aspects of this intuitive concept of an individual and on some related facts about individuation taken from recent discussions that arose ever since the inception of quantum theory, pushing the discussion to a “logical” view, which in our opinion is still lacking in the usual debates on such issues. In the final part of the paper, we propose a metaphysics where the notion of identity is substituted, for some objects, by a weaker notion of indiscernibility, and we try to justify such a move. In most of the uses of the expression “quantum theory”, we shall not make explicit the distinction between the non-relativistic and the relativistic approaches, although they of course are quite different, for we think that the problems as we shall present them appear in both versions. But, as the text goes, the context will distinguish between them and these questions will become clear to the reader. (shrink)

In this popular article, I suggest that the task of interpreting quantum mechanics becomes easier if we reject the view that the quantum universe must be described by a wave function. We should zoom out from the wave function and represent the universe with something more coarse-grained, one that naturally arises from considerations about the Past Hypothesis. The new proposal is called the Wentaculus.

ince the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The set notion of a partition is dual to the notion of a subset. Hence the Boolean (...) logic of subsets has a dual logic of partitions. Then the dual progression is from that logic of set partitions to the quantum logic of direct-sum decompositions of a general vector space--which can then be specialized to the direct-sum decompositions of a Hilbert space. This allows the quantum logic of direct-sum decompositions to express measurement by any self-adjoint operators. The quantum logic of direct-sum decompositions is dual to the usual quantum logic of subspaces in the same sense that the logic of partitions is dual to the usual Boolean logic of subsets. (shrink)

Since the appearance of Prior’s tonk, inferentialists tried to formulate conditions that a collection of inference rules for a logical constant has to satisfy in order to succeed in conferring an acceptable meaning to it. Dummett proposed a pair of conditions, dubbed ‘harmony’ and ‘stability’ that have been cashed out in terms of the existence of certain transformations on natural deduction derivations called reductions and expansions. A long standing open problem for this proposal is posed by quantum disjunction: although (...) its rules are intuitively unstable, they pass the test of existence of expansions. Although most authors view instabilities of this kind as too subtle to be detected by the requirement of existence of expansions, we first discuss a case showing that this requirement can indeed detect instabilities of this kind, and then show how the expansions for disjunction-like connectives have to be reformulated to rule out quantum disjunction. We show how the alternative pattern for expansions can be formulated for connectives and quantifiers whose rules satisfy a scheme originally developed by Prawitz and Schroeder-Heister. Finally we compare our proposal with a recent one due to Jacinto and Read. (shrink)

Sortal predicates have been associated with a counting process, which acts as a criterion of identity for the individuals they correctly apply to. We discuss in what sense certain types of predicates suggested by quantum physics deserve the title of 'sortal' as well, although they do not characterize either a process of counting or a criterion of identity for the entities that fall under them. We call such predicates 'quantum-sortal predicates' and, instead of a process of counting, to (...) them is associated a 'criterion of cardinality'. After their general characterization, it is discussed how these predicates can be formally described. (shrink)

I examine the early history of quantum gravity and comment on its suitability as an episode that demands an integrated approach to history and philosophy of science.

Two thought experiments are discussed which suggest, first, a geometric interpretation of the concept of a (say, vector) potential (i.e., as a kinematic quantity associated with a transformation between moving frames of reference suitably related to the problem) and, second, that, in a quantum treatment one should extend the notion of the equivalence principle to include not only the equivalence of inertial forces with suitable “real” forces, but also the equivalence of potentials of such inertial forces and the potentials (...) of suitable real forces. The two types of cancellation are physically independent of each other, because of the Aharonov-Bohm effect. Finally, we show that the latter effect itself can be understood “geometrically” as a kinematic effect arising upon the transformation between the two reference frames. (shrink)

The theoretical physicist Paul Dirac rejected, explicitly on aesthetic grounds, a successful theory known as quantum electrodynamics (QED), which is the prototype for the family of theories known as quantum field theories (QFTs). Remarkably, the theoretical physicist Steven Weinberg, also largely on aesthetic grounds, supports QED and other QFTs. In order to evaluate these opposing aesthetic views a short introduction to the physical properties of QFTs is presented together with a detailed analysis of the aesthetic claims of Dirac (...) and Weinberg. It turns out that Dirac rejected QED, without regard to its success, because this theory fails to yield to what he perceived as beautiful mathematics, whereas Weinberg's support of QFTs is founded primarily on the physical concepts of the theories. In particular, he relies on symmetries that are the basis for the construction of the extremely successful current fundamental theories of particles physics. This success was decisive in leading to Weinberg's conviction of the beauty of QFTs. As a result of the evaluation of these approaches, the factors causing scientists to perceive a theory as being a fundamentally beautiful theory are discussed in detail. (shrink)

A little-known movie by Alfred Hitchcock, Torn Curtain — admittedly not one of his best — tells a story of spying and science. It features a strange scene, where two physicists confront one another on some theoretical question. Their “discussion”, if it may be so called, consists solely in one of them writing some equations on the blackboard, only to have the other angrily grabbing the eraser and wiping out the formulas to write new ones of his own, etc., without (...) ever uttering a single word. This picture of theoretical physics as an aphasic knowledge entirely consisting of mathematical symbols, as common as it may be in popular representations, we know to be wrong, of course, and we have to acknowledge that, far from being mute, we are a very talkative kind; physics is made out of words. What I wish to question here, however, is the very nature of our relationship with language, particularly as concerns quantum theory. My thesis will be that we have been somewhat offhand and rather indifferent with respect to the words we use, or rather without respect for them, and that this attitude has reinforced, and sometimes perhaps even produced some of the persisting epistemological and pedagogical difficulties in our field — not to speak of the new cultural problems that we are facing. (shrink)

In a preceding paper [1] it was shown that quantum logic, given by the tableaux-calculus Teff, is complete and consistent with respect to the dialogic foundation of logics. Since in formal dialogs the special property of the 'value-definiteness' of propositions is not postulated, the calculus $T_{eff}$ represents a calculus of effective (intuitionistic) quantum logic. Beginning with the tableaux-calculus the equivalence of $T_{eff}$ to calculi which use more familiar figures such as sequents and implications can be investigated. In this (...) paper we present a sequents-calculus of Gentzen-type and a propositional calculus of Brouwer-type which are shown to be equivalent to $T_{eff}$ . The effective propositional calculus provides an interpretation for a lattice structure, called quasi-implicative lattice. If, in addition, the value-definiteness of quantum mechanical propositions is postulated, a propositional calculus is obtained which provides an interpretation for a quasi-modular orthocomplemented lattice which, as is well-known, has as a model the lattice of subspaces of a Hilbert space. (shrink)

Classical mechanistic models of the mind often fail to capture the complex intricate interplay of human emotions and cognitive processes, particularly their interconnected and evolving nature. Recent advancements in quantum cognition suggest that thoughts and feelings may be influenced by principles analogous to those in quantum mechanics, such as superposition and entanglement. This paper examines the concept of emergence through destruction, a framework in which the collapse of potential emotional or cognitive states leads to the emergence of new (...) attributes. The collapse of these states can be understood as an emergent phenomenon shaped by both intention and attention. In scenarios involving multiple potential mental states—whether in decision-making, perception, or thought—conscious focus serves as a selective way that transforms a superposition of possibilities into a single, actualized experience. This process, similar to the quantum observer effect, underscores that conscious attention is not a passive observation but an active force that shapes reality. Building on Bohm’s interpretation of active information, this collapse is seen as not merely a reduction of potential states but an informational process that channels possibilities into concrete forms. As one cognitive experience materializes, others recede into the background, yet this selection process simultaneously fosters the emergence of new properties or cognitive patterns. This dynamic mirrors the quantum measurement process, where observation reduces possibilities and enables new forms of emergence. (shrink)