Quantum theory is our deepest theory of the nature of matter. It is a theory that, notoriously, produces results which challenge the laws of classical logic and suggests that the physical world is illogical. This book gives a critical review of work on the foundations of quantum mechanics at a level accessible to non-experts. Assuming his readers have some background in mathematics and physics, Peter Gibbins focuses on the questions of whether the results of quantum theory require us to abandon (...) classical logic and whether quantum logic can resolve the paradoxes produced by quantum mechanics. He argues that quantum logic does not dispose of the problems faced by classical logic, that no reasonable interpretation of quantum mechanics in terms of 'hidden variables' can be found, and that after all these years quantum mechanics remains a mystery to us. Particles and Paradoxes provides a much-needed and valuable introduction to the philosophy of quantum mechanics and, at the same time, an example of just what it is to do the philosophy of physics. (shrink)

In this work we discuss logical structures related to indistinguishable particles. Most of the framework used to develop these structures was presented in [17, 28] and in [20, 14, 15, 16]. We use these structures and constructions to discuss possible ontologies for identical particles. In other words, we use these structures in order to characterize the logical structure of quantum systems for the case of indistinguishable particles, and draw possible philosophical implications. We also review some proposals available in (...) the literature which may be considered within the framework of the quantum logical tradition regarding the problem of indistinguishability. Besides these discussions and constructions, we advance novel technical results, namely, a lattice theoretical structure for identical particles for the finite dimensional case. This kind of approach was not present in the scarcely literature of quantum logic and indistinguishable particles. (shrink)

This book introduces the reader to relevant logic and provides the subject with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used in deriving its conclusion. The logic is placed in the context of possible world semantics and situation semantics, which are then applied to provide an understanding of the various logical particles and natural language conditionals. The book ends by examining various applications of relevant logic (...) and presenting some interesting open problems. It will be of interest to a range of readers including advanced students of logic, philosophical and mathematical logicians, and computer scientists. (shrink)

The physical, mathematical, and philosophical foundations of the quantum theory of free Bose fields in fixed general relativistic spacetimes are examined. It is argued that the theory is logically and mathematically consistent whereas semiclassical prescriptions for incorporating the back-reaction of the quantum field on the geometry lead to inconsistencies. Still, the relations and heuristic value of the semiclassical approach to canonical and covariant schemes of quantum gravity-plus-matter are assessed. Both conventional and rigorous formulations of the theory and of its principal (...) predictions, cosmological particle creation and horizon radiation, are expounded and compared. Special attention is devoted to spacetime properties needed for the existence or uniqueness of the relevant theoretical elements , renormalization of the stress tensor). The emergence of unitarily inequivalent representations in a single dynamical context is used as motivation for the introduction of the abstract $\rm C\sp{\*}$-algebraic axiomatic formalism. The operationalist and conventionalist claims of the original abstract algebraic program are criticized in favor of its tempered outgrowth, local quantum physics. The interpretation of the theory as a wave mechanics of classical field configurations, deriving from the Schrodinger representations of the abstract algebra, is discussed and is found superior, at least on the level of analogy, to particle or harmonic oscillator interpretations. Further, it is argued that the various detector results and the Fulling nonuniqueness problem do not undermine the particle concept in the ways commonly claimed. In particular, arguments are offered against the attribution of particle status to the Rindler quanta, against the physical realizability of the Rindler vacuum, and against the more general notion of observer-dependence as to the definition of 'particle' or 'vacuum'. However, the question of the ontological status of particles is raised in terms of the consistency of quantum field theory with non-reductive realism about particles, the latter being conceived as entities exhibiting attributes of discreteness and localizability. Two arguments against non-reductive realism about particles, one from axiomatic algebraic local quantum theory in Minkowski spacetime and one from quantum field theory in curved spacetime, are developed. (shrink)

In this work we discuss issues of ontological commitment towards one of the most important examples of contemporary fundamental science: the standard model of particle physics. We present a new form of selective structural realism, which uses as its basis the distinction between what have been called framework and interaction theories. This allows us to advance the ongoing debate about the ontological status of (quasi-)particles and quantum fields, by emphasising the distinction between quantum field theory serving as a framework, (...) and the standard model itself, which we argue is an interaction theory embedded within this framework. Following a discussion of what ontological commitments corresponds to each of these two classes, we argue that some of the previous proposals in the literature might have been misguided by the blending of quantum field theory and the standard model into an undifferentiated unity, and defend a moderate form of object realism with respect to particle-like entities. (shrink)

This article compares treatments of the Stern–Gerlach experiment across different physical theories, building up to a novel analysis of electron spin measurement in the context of classical Dirac field theory. Modeling the electron as a classical rigid body or point particle, we can explain why the entire electron is always found at just one location on the detector but we cannot explain why there are only two locations where the electron is ever found. Using non-relativistic or relativistic quantum mechanics, (...) we can explain both uniqueness and discreteness. Moving to more fundamental physics, both features can be explained within a quantum theory of the Dirac field. In a classical theory of the Dirac field, the rotating charge of the electron can split into two pieces that each hit the detector at a different location. In this classical context, we can explain a feature of electron spin that is often described as distinctively quantum but we cannot explain another feature that could be explained within any of the other theories. (shrink)

The extremely successful _Standard Model of Particle Physics_ allows one to define the so-called _Elementary Particles_. From another point of view, how can we think of them? What kind of a status can be attributed to Elementary Particles and their associated quantised fields? Beyond the unprecedented efficiency and reach of quantum field theories, the current paper attempts at understanding the nature of what these theories describe, the enigmatic reality of the quantum world.

The treatment of identical particles in quantum mechanics rests on two (related) principles: the spin-statistics connection and the Symmetrization Postulate. In light of recent theories (such as q-deformed commutators) that allow for ‘small’ violations of the spin-statistics connection and the Symmetrization Postulate, we revisit the issue of how quantum mechanics deals with identical particles and how it supports or fails to support various philosophical stances concerning individuality. As a consequence of the expanded possibilities for quantum statistics, we argue that permutation (...) symmetry is best formulated as a formal property of the state function describing the system of particles rather than as a property of the individual particles. 1 Introduction 2 Philosophical background 2.1 Important terminology 2.1.1 Identity 2.1.2 Indistinguishability 2.1.3 Indiscernibility 2.2 When are particles indistinguishable? 2.3 The Principle of the Identity of Indiscernibles and quantum mechanics 2.4 The Principle of the Identity of Indiscernibles and logic 2.5 Particle history 2.6 Transcendental individuality 3 Some quantum formalism 3.1 The Principle of Permutation Invariance and the Symmetrization Postulate 3.2 The configuration-space approach 3.3 Commutators and anticommutators, and identical particle statistics 3.4 Q-mutators 4 Identical particle statistics: a holistic point of view 5 Conclusions. (shrink)

We report on the simultaneous determination of complementary wave and particle aspects of light in a double-slit type “welcher-weg” experiment beyond the limitations set by Bohr’s Principle of Complementarity. Applying classical logic, we verify the presence of sharp interference in the single photon regime, while reliably maintaining the information about the particular pinhole through which each individual photon had passed. This experiment poses interesting questions on the validity of Complementarity in cases where measurements techniques that avoid Heisenberg’s uncertainty principle (...) and quantum entanglement are employed. We further argue that the application of classical concepts of waves and particles as embodied in Complementarity leads to a logical inconsistency in the interpretation of this experiment. (shrink)

This paper presents a qualitative comparison of opposing views of elementary matter—the Copenhagen approach in quantum mechanics and the theory of general relativity. It discusses in detail some of their main conceptual differences, when each theory is fully exploited as a theory of matter, and it indicates why each of these theories, at its presently accepted state, is incomplete without the other. But it is then argued on logical grounds that they cannot be fused, thus indicating the need for (...) a third revolution in contemporary physics. Toward this goal, the approach discussed is one of further generalizing the theory of general relativity in a way that incorporates the inertial manifestations of matter in covariant fashion, with quantum mechanics serving as a low-energy, linear approximation. Such a theoretical extension of general relativity will be discussed, with applications in elementary particle physics, such as the appearance of mass spectra in the microdomain, as an asymptotic feature of matter, mass doublets (electron-muon and proton-heavy proton), the explanation of pair annihilation and creation from a deterministic field theory, charge quantization, and features of pions. (shrink)

We recently showed that it is possible to deal withcollections of indistinguishable elementary particles (in thecontext of quantum mechanics) in a set-theoretical framework, byusing hidden variables. We propose in the presentpaper another axiomatics for collections of indiscernibleswithout hidden variables, where hidden predicates are implicitlyassumed. We also discuss the possibility of a quasi-settheoretical picture for quantum theory. Quasi-set theory, basedon Zermelo-Fraenkel set theory, was developed for dealing withcollections of indistinguishable, but, not identical objects.

We recently showed that it is possible to deal withcollections of indistinguishable elementary particles (in thecontext of quantum mechanics) in a set-theoretical framework, byusing hidden variables. We propose in the presentpaper another axiomatics for collections of indiscernibleswithout hidden variables, where hidden predicates are implicitlyassumed. We also discuss the possibility of a quasi-settheoretical picture for quantum theory. Quasi-set theory, basedon Zermelo-Fraenkel set theory, was developed for dealing withcollections of indistinguishable, but, not identical objects.

This essay touches on a number of topics in philosophy of quantum field theory from the point of view of the LSZ asymptotic approach to scattering theory. First, particle/field duality is seen to be a property of free field theory and not of interacting QFT. Second, it is demonstrated how LSZ side-steps the implications of Haag's theorem. Finally, a recent argument due to Redhead, Malament and Arageorgis against the concept of localized particle states is addressed. Briefly, the argument (...) observes that the Reeh-Schlieder theorem entails that correlations between spacelike separated vacuum expectation values of local field operators are always present, and this, according to the above authors, dictates against the notion of a localized particle state. I claim that this moral is excessive and that a coherent notion of localized particles is given by the LSZ approach. The underlying moral to be drawn from this analysis is that questions concerning the ontology of interacting QFT cannot be appropriately addressed if one restricts oneself to the free theory. (shrink)

The major point in [1] chapter 2 is the following claim: “Any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction.” So, in the case we wish to save Classical Logic we should change our Computational Model. As we see in chapter two, the mentioned contradiction is about and around the concept of time, as it is in the contradiction of modified version of paradox. It is natural to (...) try fabricating the paradox not by time but in some other linear ordering or the concept of space. Interestingly, the attempts to have similar contradiction by the other concepts like space and linear ordering, is failed. It is remarkable that, the paradox is considered either Epistemological or Logical traditionally, but by new considerations the new version of paradox should be considered as either Logical or Physical paradox. Hence, in order to change our Computational Model, it is natural to change the concept of time, but how? We start from some models that are different from the classical one but they are intuitively plausible. The idea of model is somewhat introduced by Brouwer and Husserl [3]. This model doesn’t refute the paradox, since the paradox and the associated contradiction would be repeated in this new model. The model is introduced in [2]. Here we give some more explanations. (shrink)

Logical connectives (otherwise known as 'logical constants' or 'logical particles') have seemed challenging to philosophers of language. This article gives a concise account of logical connectives.

Is it a "conceptual truth" or only a logically contingent fact that, in any given kind of case, an event x which asymmetrically causes ("produces") an event y likewise temporally precedes y or at least does not temporally succeed y? A bona fide physical example in which the cause retroproduces the effect would show that backward causation is no less conceptually possible than forward causation. And it has been claimed ([9], p. 151; [4], p. 41) that in Dirac's classical electrodynamics (...) (relativistic and non-relativistic), the preacceleration of charged particles before any forces are applied to them furnishes a genuine case of retrocausation by later forces. An exposition of the pertinent physics furnishes the basis for arguing the following: Whereas the non-zero acceleration of a neutral NEWTONIAN mass particle is, of course, causally connected as such to the simultaneously applied non-zero force, the non-zero acceleration of a DIRACIAN charged particle is not causally connected at all as such to the applied forces. A fortiori, in Dirac's electrodynamics, the applied forces do not qualify asymmetrically as the causes of a non-zero acceleration as such; nor does a non-zero acceleration as such qualify as an effect produced by forces. This is shown by means of two considerations as follows: (1) In Dirac's theory, no functional dependence of the value of a non-zero acceleration on the weighted time-average of the forces is vouchsafed as a matter of physical LAW alone without any value of a constant of integration, just as no Newtonian law(s) alone can guarantee a functional dependence of the non-zero value of the velocity of a Newtonian mass particle on the applied forces. Instead, both functional dependencies alike are vouchsafed only with the crucial aid of some de facto boundary condition pertaining to either the past or to the furute, so that (2) Non-zero preaccelerations of Diracian charged particles can no more be causally attributed as such to the retrocausal action of later forces than non-zero "prevelocities" of Newtonian mass particles can be held to be caused as such by later applied forces. The retrocausal interpretation of Dirac's preaccelerations is just as invalid as the retrocausal interpretation of Newtonian prevelocities. (shrink)

Gravitation is interpreted to be an “ontomathematical” force or interaction rather than an only physical one. That approach restores Newton’s original design of universal gravitation in the framework of “The Mathematical Principles of Natural Philosophy”, which allows for Einstein’s special and general relativity to be also reinterpreted ontomathematically. The entanglement theory of quantum gravitation is inherently involved also ontomathematically by virtue of the consideration of the qubit Hilbert space after entanglement as the Fourier counterpart of pseudo-Riemannian space. Gravitation can be (...) also interpreted as purely mathematical or logical “force” or “interaction” as a corollary from its ontomathematical (rather than physical) realization. The ontomathematical approach to gravitation is implicit in general relativity equating it to operators in pseudo-Riemannian space obeying the Einstein field equation and also well-known by the “geometrization of physics”. Quantum mechanics shares the same by the separable complex Hilbert space and defining “physical quantity” by the Hermitian operators on it. One can interpret special Minkowski space involved by special relativity and the qubit Hilbert space of quantum information as Fourier counterparts immediately noticing that general relativity means gravitation as the Fourier counterpart of non-Hermitian operators implying non-unitarity and the violation of energy conservation and thus destroying Pauli’s particle paradigm. Since the Standard model obeys it, this explains the impossibility of “quantum gravitation” in any framework conservatively generalizing the Standard model so that it would include gravitation along with electromagnetic, weak, and strong interactions. Einstein’s geometrization of gravitation can be continued into a purely mathematical theory of it following Euclid’s realization for geometry to be exhaustively built in a deductive and axiomatic way as well as Riemann’s parametrization of all the class of Euclidean and non-Euclidean geometries by “space curvature”, then being generalized to Minkowski space as the operators on pseudo-Riemannian space as the Einstein field equation means gravitation. The transition from mathematical gravitation to logical one can rely on the historical lesson of the pair of Lobachevski’s and Riemann’s approaches now “reversely”, i.e., from the latter to the former. Logical gravitation is linkable to Hegel’s dialectical logic and ontological dialectics abandoning their interpretations as a new zero logic substituting classical propionyl logic. The approach of ontomathematics generalizing that of ontology, traceable even to Aristotle’s reformation of Plato’s doctrine, needs Hegel’s doctrine to be formalized as a first-order logic naturally containing Boolean algebra, isomorphic to both classical propositional logic and set theory being the class of all first-order logics, as a sub-logic along with Peano arithmetic as another sub-logic. The first-order logic at issue is called Hilbert arithmetic and elaborated in detail in other papers. It allows for both self-foundation of mathematics to be internally proved as complete and furthermore, quantum mechanics reinterpreted as quantum information to be included by the qubit Hilbert space interpretable in turn as a dual and physical counterpart of Hilbert arithmetic in a narrow sense, that is, both counterparts constitute Hilbert arithmetic in a wide sense, being mathematical and physical simultaneously and thus overcoming the Cartesian dualism of “body” gapped from “mind” by an abyss. Then, the proper philosophical interpretation of gravitation to be the fundamental ontomathematical force or interaction overcomes the ridiculous belief of the Big Bang wrongly alleged to be a scientific theory. Ontomathematical gravitation suggests an omnipresent and omnitemporal medium of “God’s” creation “ex nihilo” following only the natural necessity of quantum-information conservation particularly and locally manifested as energy conservation. (shrink)

The idea that the world is made of particles — little discrete, interacting objects that compose the material bodies of everyday experience — is a durable one. Following the advent of quantum theory, the idea was revised but not abandoned. It remains manifest in the explanatory language of physics, chemistry, and molecular biology. Aside from its durability, there is good reason for the scientific realist to embrace the particle interpretation: such a view can account for the prominent epistemic fact (...) that only limited knowledge of a portion of the material universe is needed in order to make reliable predictions about that portion. Thus, particle interpretations can support an abductive argument from the epistemic facts in favor of a realist reading of physical theory. However, any particle interpretation with this property is untenable. The empirical adequacy of modern particle theories requires adoption of a postulate known as permutation invariance — the claim that interchanging the role of two particles of the same kind in a dynamical state description results in a description of the identical state. It is the central claim of this essay that PI is incompatible with any particle interpretation strong enough to account for the epistemic facts. This incompatibility extends across all physical theories. To frame and motivate the inconsistency argument, I begin by fixing the relevant notion of particle. To single out those accounts of greatest appeal to the realist, I develop the logically weakest particle ontology that entails the epistemic fact that the world is piecewise predictable, an ontology I call ‘minimal atomism’. The entire series of scientific conceptions of the particle, from Newton’s mechanically interacting corpuscles to the ‘centers of force’ in classical field theories, all comport with MA. As long as PI is left out, even quantum mechanics can be viewed this way. To assess the impact of PI on this picture, I present a framework for rigorously connecting interpretations to physical theories. In particular, I represent MA as a set of formal conditions on the models of physical theories, the mathematical structures taken to represent states of the world. I also formulate PI — originally introduced as a postulate of non-relativistic quantum mechanics — in theory independent terms. With all of these pieces in hand, I am then able to present a proof of the inconsistency of PI and MA. In the second part of the essay, I survey responses to the inconsistency result open to the scientific realist. The two most plausible approaches involve abandoning particles in one way or another. The first alternative interpretation considered takes the property bearing objects of the world to be regions of space rather than particles. In this view, the properties once attributed to particles in quantum states are attributed instead to one or more regions of space. PI no longer obtains in this case, at least not as a statement about the permutation symmetry of property bearers. Rather, the new interpretation naturally imposes an analogous constraint on quantum states. The second major approach to evading the inconsistency result is to dispense with objects altogether. This is the recommendation of so-called ‘Ontic Structural Realism’. The central OSR thesis is that structure rather than entities are the basic ontological components of the world. OSR is intended to embrace the ‘miracle’ argument in favor of scientific realism while avoiding the pessimistic meta-induction. I demonstrate that one principal motivation for OSR based on the under-determination of interpretations in QM is actually dissolved by the incompatibility result. At the same time, I suggest reasons to think that OSR fares no better with respect to the pessimistic meta-induction than traditional realism does. Thus, while PI and MA may be incompatible, object ontologies remain the best option for the realist. (shrink)

1 Meaning and Truth Objection to propositions Propositions as information Diffuseness of empirical meaning Propositions dismissed Truth and semantic ascent Tokens and eternal sentences 2 Grammar Grammar by recursion Categories Immanence and transcendence Grammarian's goal reexamined Logical grammar Redundant devices Names and functors Lexicon, particle, and name Criterion of lexicon Time, events, adverbs Attitudes and modality 3 Truth Truth and satisfaction Satisfaction by sequences Tarski's definition of truth Paradox in the object language Resolution in set theory 4 (...) class='Hi'>Logical Truth In terms of structure In terms of substitution In terms of models Adequacy of substituteon In terms of proof In terms of grammar 5 The Scope of Logic Affinities of identity Identity reduced Set theory Set theory in sheep's clothing Logic in wolf's clothing Scope of the virtual theory Simulated class quantification Other simulated quantification Annexes 6 Deviant Login Change of logic, change of subject Logic in translation Law of excluded middle Debate about the dichotomy Intuitionism Branched quantifiers Substitutional quantification Its strength 7 The Ground of Logical Truth The semblance of a theory An untenable dualism The place of logic For Further Reading Index. (shrink)

Clearly written and persuasively argued, this book illustrates how far philosophers of science have progressed since the heyday of logical positivism. In contrast to the positivists who ignored the "context of discovery" while forcing scientific inquiry into their a priori logical constraints of the "context of justification," the present approach carefully examines previous scientific discoveries to determine whether the procedures followed conform to commonly espoused theories of scientific method. Achinstein carries this technique to perfection.

Kantian philosophy of space, time and gravity is significantly affected in three ways by particle physics. First, particle physics deflects Schlick’s General Relativity-based critique of synthetic a priori knowledge. Schlick argued that since geometry was not synthetic a priori, nothing was—a key step toward logical empiricism. Particle physics suggests a Kant-friendlier theory of space-time and gravity presumably approximating General Relativity arbitrarily well, massive spin-2 gravity, while retaining a flat space-time geometry that is indirectly observable at large (...) distances. The theory’s roots include Seeliger and Neumann in the 1890s and Einstein in 1917 as well as 1920s–1930s physics. Such theories have seen renewed scientific attention since 2000 and especially since 2010 due to breakthroughs addressing early 1970s technical difficulties. Second, particle physics casts additional doubt on Friedman’s constitutive a priori role for the principle of equivalence. Massive spin-2 gravity presumably should have nearly the same empirical content as General Relativity while differing radically on foundational issues. Empirical content even in General Relativity resides in partial differential equations, not in an additional principle identifying gravity and inertia. Third, Kant’s apparent claim that Newton’s results could be known a priori is undermined by an alternate gravitational equation. The modified theory has a smaller symmetry group than does Newton’s. What Kant wanted from Newton’s gravity is impossible due its large symmetry group, but is closer to achievable given the alternative theory. (shrink)

It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position—supported by E. Schrödinger—asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states with an undefined particle number. In this work we present a set theoretical framework for the description of undefined particle number states in quantum mechanics which provides a precise logical meaning for this notion. This construction goes in (...) the line of solving a problem posed by Y. Manin, namely, to incorporate quantum mechanical notions at the foundations of mathematics. We also show that our system is capable of representing quantum superpositions. (shrink)

According to Steiner (1998), in contemporary physics new important discoveries are often obtained by means of strategies which rely on purely formal mathematical considerations. In such discoveries, mathematics seems to have a peculiar and controversial role, which apparently cannot be accounted for by means of standard methodological criteria. M. Gell-Mann and Y. Ne׳eman׳s prediction of the Ω− particle is usually considered a typical example of application of this kind of strategy. According to Bangu (2008), this prediction is apparently based (...) on the employment of a highly controversial principle—what he calls the “reification principle”. Bangu himself takes this principle to be methodologically unjustifiable, but still indispensable to make the prediction logically sound. In the present paper I will offer a new reconstruction of the reasoning that led to this prediction. By means of this reconstruction, I will show that we do not need to postulate any “reificatory” role of mathematics in contemporary physics and I will contextually clarify the representative and heuristic role of mathematics in science. (shrink)

Schrödinger logics are logical systems in which the principle of identity is not true in general. The intuitive motivation for these logics is both Erwin Schrödinger's thesis (which has been advanced by other authors) that identity lacks sense for elementary particles of modern physics, and the way which physicists deal with this concept; normally, they understandidentity as meaningindistinguishability (agreemment with respect to attributes). Observing that these concepts are equivalent in classical logic and mathematics, which underly the usual physical theories, (...) we present a higher-order logical system in which these concepts are systematically separated. A classical semantics for the system is presented and some philosophical related questions are mentioned. One of the main characteristics of our system is that Leibniz' Principle of the Identity of Indiscernibles cannot be derived. This fact is in accordance with some authors who maintain that quantum mechanics violates this principle. Furthermore, our system may be viewed as a way of making sense some of Schrödinger's logical intuitions about the nature of elementary particles. (shrink)

The suggestion that particles of the same kind may be indistinguishable in a fundamental sense, even so that challenges to traditional notions of individuality and identity may arise, has first come up in the context of classical statistical mechanics. In particular, the Gibbs paradox has sometimes been interpreted as a sign of the untenability of the classical concept of a particle and as a premonition that quantum theory is needed. This idea of a ‘quantum connection’ stubbornly persists in the (...) literature, even though it has also been criticized frequently. Here we shall argue that although this criticism is justified, the proposed alternative solutions have often been wrong and have not put the paradox in its right perspective. In fact, the Gibbs paradox is unrelated to fundamental issues of particle identity; only distinguishability in a pragmatic sense plays a role , and in principle the paradox always is there as long as the concept of a particle applies at all. In line with this we show that the paradox survives even in quantum mechanics, in spite of the quantum mechanical symmetrization postulates. (shrink)

It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position—supported by E. Schrödinger—asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states with an undefined particle number. In this work we present a set theoretical framework for the description of undefined particle number states in quantum mechanics which provides a precise logical meaning for this notion. This construction goes in (...) the line of solving a problem posed by Y. Manin, namely, to incorporate quantum mechanical notions at the foundations of mathematics. We also show that our system is capable of representing quantum superpositions. (shrink)

In the present paper the attempt is made for the first time to formalize the modern theory of elementary particles based on the structuralist approach. To this end, the description within the scope of the so-called standard model is considered. In the physics of elementary particles the term ‘standard model’ denotes the summary of theories which describe the various elementary building blocks of matter as well as their interactions between each other. This model represents one of the most successful theories (...) in physics, particularly because of the impressive experimental confirmation. Hence a structuralist reconstruction of it is a challenging task. (shrink)

In response to Stephen Davis’s criticism of our previous essay, we revisit and defend our arguments that the Resurrection hypothesis is logically incompatible with the Standard Model of particle physics—and thus is maximally implausible—and that it cannot explain the sensory experiences of the Risen Jesus attributed to various witnesses in the New Testament—and thus has low explanatory power. We also review Davis’s reply, noting that he evades our arguments, misstates their conclusions, and distracts the reader with irrelevancies regarding, e.g., (...) what natural laws are, what a miracle is, and how “naturalism” and “supernaturalism” differ as worldviews. Contrary to what Davis claims (even in his abstract), we do not argue that “if the Standard Model of particle physics is true, then the resurrection of Jesus did not occur and physical things can only causally interact with other physical things.” Davis distorts our claims and criticizes straw men of his own creation. (shrink)

The idea that a serious threat to scientific realism comes from unconceived alternatives has been proposed by van Fraassen, Sklar, Stanford and Wray among others. Peter Lipton's critique of this threat from underconsideration is examined briefly in terms of its logic and its applicability to the case of space-time and particle physics. The example of space-time and particle physics indicates a generic heuristic for quantitative sciences for constructing potentially serious cases of underdetermination, involving one-parameter family of rivals T_m (...) that work as a team rather than as a single rival against default theory T_0. In important examples this new parameter has a physical meaning and makes a crucial _conceptual_ difference, shrinking the symmetry group and in some case putting gauge freedom, formal indeterminism vs. determinism, the presence of the hole argument, etc., at risk. Methodologies akin to eliminative induction or tempered subjective Bayesianism are more demonstrably reliable than the custom of attending only to "our best theory": they can lead either to a serious rivalry or to improved arguments for the favorite theory. The example of General Relativity vs. massive spin 2 gravity, a recent topic in the physics literature, is discussed. Arguably the General Relativity and philosophy literatures have ignored the most serious rival to General Relativity. (shrink)

A novel data-driven model-free adaptive control approach is first proposed by combining the advantages of model-free adaptive control and data-driven optimal iterative learning control, and then its stability and convergence analysis is given to prove algorithm stability and asymptotical convergence of tracking error. Besides, the parameters of presented approach are adaptively adjusted with fuzzy logic to determine the occupied proportions of MFAC and DDOILC according to their different control performances in different control stages. Lastly, the proposed fuzzy DDMFAC approach is (...) applied to the control of particle quality in drug development phase of spray fluidized-bed granulation process, and its control effect is compared with MFAC and DDOILC and their fuzzy forms, in which the parameters of MFAC and DDOILC are adaptively adjusted with fuzzy logic. The effectiveness of the presented FDDMFAC approach is verified by a series of simulations. (shrink)

The negative particles lā/ ’al in Ugaritic change from positive to negative in modal contexts, conditional, questions, disjunctions, etc. They have usually been studied from a Semitic and linguistic points of view. On the basis of their occurrence in Ugaritic texts, we pretend to explain their uncommon behaviour from a philosophical and logico-semantic perspective. Is it possible to translate this linguistic structure in our Modern languages? Starting from a general view of their use in Ugaritic language, we claim that this (...) phenomenon can be more clearly understood in relation to modality. We interpret these negation as a negative evidential paradigm and we explain how they change in different contexts. Methodologically, we make use of formal tools of Dynamic Epistemic Logic in order to provide a more fine-grained understanding of these negations, and their dynamics. (shrink)

Décio Krause has achieved a thorough reconstruction of logic and set theory, to account for the unusual objects or quasi-objects of quantum physics. How can one cope with the (partial) lack of criteria of individualization and re-identification of quantum objects, when the elementary operations of counting them, and constituting sets of them, are to be performed? Here, I advocate an alternative strategy, that consists in going below the level of logic and set theory to inquire how their categories are generated (...) in the experience and activity of knowing subjects, and whether this mode of category generation is still relevant in the field of experimental quantum physics. This project of a “genealogy of logic” is borrowed from Husserl’s last treatise, entitled Experience and Judgment. It is transposed to the case of quantum physics by way of a QBist approach of Mott’s theorization of quasi-“trajectories” in Wilson cloud chambers. It is also shown that one of the most appropriate ontologies for quantum objects or quasi-objects involves reversing the (grammatical) roles of subject and predicate, as advocated by Japanese philosopher Nishida Kitarô in reasonable agreement with both Schrödinger’s and Krause’s approaches of the concept of “particle”. (shrink)

In this paper, I raise the following problem: What terms are considered as syncategoremata in the Arabic logical texts? How are they defined? How do they determine the forms of the propositions and the inferences? To answer these questions, I focus on the analyses provided by al-Fārābī and Avicenna. Both authors apply the grammatical distinction between the particle, the noun and the verb to logic. They also state the semantic and the syntactic criterions, but their analyses of the (...) particles are different. For al-Fārābī devotes two treatises to the analysis of particles: al-musta‘malah fī l-maniq, where he provides a listing of particles that he classifies in the manner of the Greek grammarians and Kitāb al-urūf, where he analyzes some particles used in metaphysics; while Avicenna, despite the considerable amount of his logical corpus, does not devote a special book to the analysis of particles. He does not provide any listing either but characterizes each logical particle on its own, while analyzing the propositions, their elements and the inferences. In this paper, I argue that this treatment of particles in the two frames shows a significant difference between the two authors with regard to the relation between logic and grammar, and with regard to the characterizations of the logical particles themselves. For Avicenna is much less interested than al-Fārābī by the grammatical analysis and focuses much more on the logical particles, which he scrutinizes meticulously. This enriches his definitions of the logical constants and leads him in the final analysis to different and more various inferences than those hold by al-Fārābī. (shrink)

This work first explicates the philosophy of classical and quantum fields and particles. I am interested in determining how science can have a metaphysical dimension, and then with the claim that the quantum revolution has an important metaphysical component. I argue that the metaphysical implications of a theory are properties of its models, as classical mechanics determines properties of atomic diversity and temporal continuity with its representations of distinct, continuous trajectories. ;It is often suggested that classical statistical physics requires that (...) many particle states be represented so that permuting properties leads to distinct states; this implies that individuals can be reidentified across possible worlds in a non-qualitative way. I show there is no evidence for this conclusion, an important result, for it is claimed that quantum particles are not individuals. This claim is based on the misconception about classical statistics, but also on a conflation of notions of identity; I show that, while transworld identity is incompatible with quantum mechanics, other classical notions may be consistently ascribed. I also give a field-particle distinction that applies usefully in both quantum and classical domains. In the former the distinction helps defeat claims of underdetermined by data, in the latter it helps provide a minimal field metaphysics. ;Next I tackle renormalisation: I show how divergences occur in approximate, perturbative calculations, and demonstrate how finite, empirically verified, answers are obtained. These techniques seem to show that the predictions are not logical consequences of the exact theory. I use the techniques of the renormalisation group to establish that perturbative renormalised quantum field theory does indeed approximate the consequences of field theory. ;Finally, I discuss the idea that renormalisation proves that there can be no quantum theory of everything, only a patchwork of effective theories. The preceding chapter shows that renormalisation demonstrates only that the picture is consistent, and this is insufficient to show that physics must be phenomenological. (shrink)

This book develops new forms of logic: Operator Logic, Probabilistic Operator Logic and Quantum Operator Logic. It then proceeds to create a new view of metaphysics, Relativistic Quantum Metaphysics, for physical Reality. It then derives the form of The Standard Model of Elementary Particles. In particular it derives the origin of parity violation, the origin of the Strong interactions, and the origin of its peculiar symmetry. Also developed are new formalisms for Logic that are of interest in themselves. While mathematics (...) is essential in the latter stages of the book it is presented with sufficient text discussion to make what it is doing understandable to the non-mathematical reader. Generally the jargon of Philosophy, Logic and Physics is avoided as much as possible. But the second part of this book is very mathematical of necessity. In it the form of The Standard Model is derived in detail from a fundamental set of principles. (shrink)

In this paper I introduce the notion of bilogics, namely logics interpreted over a pair of structures, in contrast to classical logic and many of its variations, the formulae of which are interpreted over one structure. In particular, I introduce and study Contrastive Logic, suitable for expressing contrast and conformity between the two structures involved.A major reason for this study is striving towards an extension of truth-conditional semantics to cover several natural-language particles, which have been hitherto considered not to be (...) amenable to such an extensional treatment, and were delegated to the level of non-extensional pragmatics. Examples of such particles are but and already. (shrink)

This collection of articles explores a wide range of subject, from Godel’s incompleteness theorem, to possible technocalypse and neutrofuturology. Articles on historical debates on irrational number to electroculture, on vortex particle, or on different Neutrosophic applications are included.

On the one hand, non-reflexive logics are logics in which the principle of identity does not hold in general. On the other hand, quantum mechanics has difficulties regarding the interpretation of ‘particles’ and their identity, also known in the literature as ‘the problem of indistinguishable particles’. In this article, we will argue that non-reflexive logics can be a useful tool to account for such quantum indistinguishability. In particular, we will provide a particular non-reflexive logic that can help us to analyze (...) and discuss this problem. From a more general physical perspective, we will also analyze the limits imposed by the orthodox quantum formalism to consider the existence of indistinguishable particles in the first place, and argue that non-reflexive logics can also help us to think beyond the limits of classical identity. (shrink)

We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' (...) have no precise reference and that 'identical' particles cannot be named unambiguously. In the last section, we sketch a classical semantics for quasi set theory. (shrink)