There has been considerable recent philosophical debate over the implications of many particle quantum mechanics for the metaphysics of individuality (cf. Huggett [1997]). In this paper I look at things from a rather different perspective: by investigating the significance of permutation symmetry. I consider how various philosophical positions link up to the physical postulate of the indistinguishability of permuted states-permutation invariance-and how this postulate is used to explain quantum statistics. I offer an explanation of the statistics that (...) relies on the neglected parallel between permutations and covariant spatial transformation. And I explore the parallel, showing that a further kind of symmetry explains why permutations are invariant when spatial symmetries are not. (shrink)

We give a derivation of exclusion principles for the elementary particles of the standard model, using simple mathematical principles arising from a set theory of identical particles. We apply the theory of permutation group actions, stating some theorems which are proven elsewhere, and interpreting the results as a heuristic derivation of Pauli's Exclusion Principle (PEP) which dictates the formation of elements in the periodic table and the stability of matter, and also a derivation of quark confinement. We arrive at (...) these properties by using a symmetry property of collections of the particles themselves as compared for example to the symmetry property of their wave function under interchange of two particles. (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)

Highlighting main issues and controversies, this book brings together current philosophical discussions of symmetry in physics to provide an introduction to the subject for physicists and philosophers. The contributors cover all the fundamental symmetries of modern physics, such as CPT and permutation symmetry, as well as discussing symmetry-breaking and general interpretational issues. Classic texts are followed by new review articles and shorter commentaries for each topic. Suitable for courses on the foundations of physics, philosophy of physics (...) and philosophy of science, the volume is a valuable reference for students and researchers. (shrink)

Physical theories continue to be interpreted in terms of particles. The idea of a particle required modification with the advent of quantum theory, but remains central to scientific explanation. Particle ontologies also have the virtue of explaining basic epistemic features of the world, and so remain appealing for the scientific realist. However, particle ontologies are untenable when coupled with the empirically necessary postulate of permutation invariance—the claim that permuting the roles of particles in a representation of a physical state (...) results in a representation of the same physical state. I demonstrate that any theory which is permutation invariant in this sense is incompatible with a particle ontology. (shrink)

In this paper I focus on the impact on structuralism of the quantum treatment of objects in terms of symmetry groups and, in particular, on the question as to how we might eliminate, or better, reconceptualise such objects in structural terms. With regard to the former, both Cassirer and Eddington not only explicitly and famously tied their structuralism to the development of group theory but also drew on the quantum treatment in order to further their structuralist aims and here (...) I sketch the relevant history with an eye on what lessons might be drawn. With regard to the latter, Ladyman has explicitly cited Castellani's work on the group-theoretical constitution of quantum objects and I indicate both how such an approach needs to be understood if it is to mesh with Ladyman's 'ontic' form of structural realism and how it might accommodate permutation symmetry through a consideration of Huggett's recent account. (shrink)

Symmetry considerations dominate modern fundamental physics, both in quantum theory and in relativity. Philosophers are now beginning to devote increasing attention to such issues as the significance of gauge symmetry, quantum particle identity in the light of permutation symmetry, how to make sense of parity violation, the role of symmetry breaking, the empirical status of symmetry principles, and so forth. These issues relate directly to traditional problems in the philosophy of science, including the status (...) of the laws of nature, the relationships between mathematics, physical theory, and the world, and the extent to which mathematics suggests new physics.This entry begins with a brief description of the historical roots and emergence of the concept of symmetry that is at work in modern science. It then turns to the application of this concept to physics, distinguishing between two different uses of symmetry: symmetry principles versus symmetry arguments. It mentions the different varieties of physical symmetries, outlining the ways in which they were introduced into physics. Then, stepping back from the details of the various symmetries, it makes some remarks of a general nature concerning the status and significance of symmetries in physics. (shrink)

A family of symmetries of polyadic inductive logic are described which in turn give rise to the purportedly rational Permutation Invariance Principle stating that a rational assignment of probabilities should respect these symmetries. An equivalent, and more practical, version of this principle is then derived.

The purpose of this article is to give a general overview of permutations in physics, particularly the symmetry of theories under permutations. Particular attention is paid to classical mechanics, classical statistical mechanics and quantum mechanics. There are two recurring themes: (i) the metaphysical dispute between haecceitism and anti-haecceitism, and the extent to which this dispute may be settled empirically; and relatedly, (ii) the way in which elementary systems are individuated in a theory's formalism, either primitively or in terms of (...) the properties and relations those systems are represented as bearing. Section 1 introduces permutations and provides a brief outline of the symmetric and braid groups. Section 2 discusses permutations in the general setting provided by model theory, in particular providing some definitions and elementary results regarding the permutability and indiscernibility of objects. Section 3 lays some philosophical groundwork for later sections, in particular articulated the distinction between haecceitism and anti-haecceitism and the distinction between transcendental and qualitative individuation. Section 4 addresses classical mechanics and introduces the procedure of quotienting, under which permutable states are identified. Section 5 addresses classical statistical mechanics, and outlines a number of equivalent ways to implement permutation invariance. I also briefly outline how particles may be qualitatively individuated in this framework. Section 6 addresses quantum mechanics. This contains an outline of: the representation theory of the symmetric groups; the topological approach to quantum statistics, in which the braid groups become relevant; and a brief proposal for qualitatively individuating quantum particles, and its implications for entanglement. Section 7 concludes with a discussion of equilibrium ensembles in the classical and quantum theories under permutation invariance. A (much) shorter version of this paper was published as a chapter in E. Knox & A. Wilson (eds), the Routledge Companion to Philosophy of Physics (Routledge, 2021), pp. 578-594. (shrink)

In this article I expound an understanding of the quantum mechanics of so-called “indistinguishable” systems in which permutation invariance is taken as a symmetry of a special kind, namely the result of representational redundancy. This understand- ing has heterodox consequences for the understanding of the states of constituent systems in an assembly and for the notion of entanglement. It corrects widespread misconceptions about the inter-theoretic relations between quantum mechanics and both classical particle mechanics and quantum field theory. The (...) most striking of the heterodox consequences are: that fermionic states ought not always to be considered entangled; it is possible for two fermions or two bosons to be discerned using purely monadic quantities; and that fermions may always be so discerned. (shrink)

I offer a variant of Putnam’s “permutation argument,” originally an argument against metaphysical realism. This variant is called the “natural permutation argument.” I explain how the natural permutation argument generates a form of referential inscrutability which is not resolvable by consideration of “natural properties” in the sense of Lewis’s response to Putnam. However, unlike the classical permutation argument (which is applicable to nearly all interpretations of all first-order theories), the natural permutation argument only applies to (...) interpretations which have some special symmetries. I give an analysis of the interpretations to which the natural permutation argument does apply, and I explain how, when it fails to apply, the referential inscrutability generated by permutation arguments is resolvable by a Lewisian strategy. In order to demonstrate how these problems of referential inscrutability play out in an a priori setting relevant to philosophy, I discuss the applicability of the natural permutation argument in set-theoretic reasoning. I use the well-known Kunen inconsistency theorem to show that, in Zermelo–Fraenkel set theory, the Axiom of Choice is sufficient to resolve referential inscrutability. I then explain how, as a result of a recent theorem of Daghighi–Golshani–Hamkins–Jeřábek, in certain non-well-founded set theories the natural permutation argument does yield an intractable inscrutability of reference. (shrink)

This article develops an analogy proposed by Stachel between general relativity (GR) and quantum mechanics (QM) as regards permutation invariance. Our main idea is to overcome Pooley's criticism of the analogy by appeal to paraparticles. In GR, the equations are (the solution space is) invariant under diffeomorphisms permuting spacetime points. Similarly, in QM the equations are invariant under particle permutations. Stachel argued that this feature—a theory's ‘not caring which point, or particle, is which’—supported a structuralist ontology. Pooley criticizes this (...) analogy: in QM the (anti-)symmetrization of fermions and bosons implies that each individual state (solution) is fixed by each permutation, while in GR a diffeomorphism yields in general a distinct, albeit isomorphic, solution. We define various versions of structuralism, and go on to formulate Stachel's and Pooley's positions, admittedly in our own terms. We then reply to Pooley. Though he is right about fermions and bosons, QM equally allows more general types of particle symmetry, in which states (vectors, rays, or density operators) are not fixed by all permutations (called ‘paraparticle states’). Thus Stachel's analogy is revived. (shrink)

The permutation symmetry of quantum mechanics is widely thought to imply a sort of metaphysical underdetermination about the identity of particles. Despite claims to the contrary, this implication does not hold in the more fundamental quantum field theory, where an ontology of particles is not generally available. Although permutations are often defined as acting on particles, a more general account of permutation symmetry can be formulated using superselection theory. As a result, permutation symmetry applies (...) even in field theories with no particle interpretation. The quantum mechanical account of permutations acting on particles is recovered as a special case. (shrink)

The modern state of the Pauli exclusion principle studies is discussed. The Pauli exclusion principle can be considered from two viewpoints. On the one hand, it asserts that particles with half-integer spin (fermions) are described by antisymmetric wave functions, and particles with integer spin (bosons) are described by symmetric wave functions. This is a so-called spin-statistics connection. The reasons why the spin-statistics connection exists are still unknown, see discussion in text. On the other hand, according to the Pauli exclusion principle, (...) the permutation symmetry of the total wave functions can be only of two types: symmetric or antisymmetric, all other types of permutation symmetry are forbidden; although the solutions of the Schrödinger equation may belong to any representation of the permutation group, including the multi-dimensional ones. It is demonstrated that the proofs of the Pauli exclusion principle in some textbooks on quantum mechanics are incorrect and, in general, the indistinguishability principle is insensitive to the permutation symmetry of the wave function and cannot be used as a criterion for the verification of the Pauli exclusion principle. Heuristic arguments are given in favor that the existence in nature only the one-dimensional permutation representations (symmetric and antisymmetric) are not accidental. As follows from the analysis of possible scenarios, the permission of multi-dimensional representations of the permutation group leads to contradictions with the concept of particle identity and their independence. Thus, the prohibition of the degenerate permutation states by the Pauli exclusion principle follows from the general physical assumptions underlying quantum theory. (shrink)

The concept of indistinguishable particles in quantum theory is fundamental to questions of ontology. All ordinary matter is made of electrons, protons, neutrons, and photons and they are all indistinguishable particles. Yet the concept itself has proved elusive, in part because of the interpretational difficulties that afflict quantum theory quite generally, and in part because the concept was so central to the discovery of the quantum itself, by Planck in 1900; it came encumbered with revolution. I offer a deflationary reading (...) of the concept ‘indistinguishable’ that is identical to Gibbs’ concept ‘generic phase’, save that it is defined for state spaces with only finitely-many states of bounded volume and energy. That, and that alone, makes for the difference between the quantum and Gibbs concepts of indistinguishability. This claim is heretical on several counts, but here we consider only the content of the claim itself, and its bearing on the early history of quantum theory rather than in relation to contemporary debates about particle indistinguishability and permutation symmetry. It powerfully illuminates that history. (shrink)

It is shown that the Hilbert-Bernays-Quine principle of identity of indiscernibles applies uniformly to all the contentious cases of symmetries in physics, including permutation symmetry in classical and quantum mechanics. It follows that there is no special problem with the notion of objecthood in physics. Leibniz's principle of sufficient reason is considered as well; this too applies uniformly. But given the new principle of identity, it no longer implies that space, or atoms, are unreal.

The main features of the tetron model of elementary particles are discussed in the light of recent developments, in particular the formation of strong and electroweak vector bosons and a microscopic understanding of how the observed tetrahedral symmetry of the fermion spectrum may arise.

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 (...) class='Hi'>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)

Using the Hilbert-Bernays account as a spring-board, we first define four ways in which two objects can be discerned from one another, using the non-logical vocabulary of the language concerned. Because of our use of the Hilbert-Bernays account, these definitions are in terms of the syntax of the language. But we also relate our definitions to the idea of permutations on the domain of quantification, and their being symmetries. These relations turn out to be subtle---some natural conjectures about them are (...) false. We will see in particular that the idea of symmetry meshes with a species of indiscernibility that we will call `absolute indiscernibility'. We then report all the logical implications between our four kinds of discernibility. We use these four kinds as a resource for stating four metaphysical theses about identity. Three of these theses articulate two traditional philosophical themes: viz. the principle of the identity of indiscernibles, and haecceitism. The fourth is recent. Its most notable feature is that it makes diversity weaker than what we will call individuality : two objects can be distinct but not individuals. For this reason, it has been advocated both for quantum particles and for spacetime points. Finally, we locate this fourth metaphysical thesis in a broader position, which we call structuralism. We conclude with a discussion of the semantics suitable for a structuralist, with particular reference to physical theories as well as elementary model theory. (shrink)

Dissipative structures consisting of a few macrovariables arise out of a sea of reversible microvariables. Unexpected residual effects of the massive underlying reversibility, on the macrolevel, cannot therefore be excluded. In the age of molecular-dynamics simulations, explicit dissipative structures like excitable systems (“explicit observers”) can be generated in a computer from first reversible principles. A class of classical, 1-D Hamiltonian systems of chaotic type is considered which has the asset that the trajectorial behavior in phase space can be understood geometrically. (...) If, as natural, the number of particle types is much smaller than that of particles, the Gibbs symmetry must be taken into account. The permutation invariance drastically changes the behavior in phase space (quasi-periodization). The explicit observer becomes effectively reversible on a short time scale. In consequence, his ability to measure microscopic motions is suspended in a characteristic fashion. Unlike quantum mechanics whose “holistic” nature cannot be transcended, the present holistic (internal-interface) effects—mimicking the former to some extent—can be understood fully in principle. (shrink)

Our aim in this paper is to take quite seriously Heinz Post’s claim that the non-individuality and the indiscernibility of quantum objects should be introduced right at the start, and not made a posteriori by introducing symmetry conditions. Using a different mathematical framework, namely, quasi-set theory, we avoid working within a label-tensor-product-vector-space-formalism, to use Redhead and Teller’s words, and get a more intuitive way of dealing with the formalism of quantum mechanics, although the underlying logic should be modified. We (...) build a vector space with inner product, the Q-space, using the non-classical part of quasi-set theory, to deal with indistinguishable elements. Vectors in Q-space refer only to occupation numbers and permutation operators act as the identity operator on them, reflecting in the formalism the fact of unobservability of permutations. Thus, this paper can be regarded as a tentative to follow and enlarge Heinsenberg’s suggestion that new phenomena require the formation of a new “closed” (that is, axiomatic) theory, coping also with the physical theory’s underlying logic and mathematics. (shrink)

Identity. From very early days of quantum theory it was recognized that quanta were statistically strange (see !Bose-Einstein statistics). Suspicion fell on the identity of quanta, of how they are to be counted [1], [2]. It was not until Dirac’s [1902-1984] work of 1926 (and his discovery of !Fermi-Dirac statistics [3]) that the nature of the novelty was clear: the quantum state of exactly similar particles of the same mass, charge, and spin must be symmetrized, yielding states either symmetric or (...) antisymmetric under permutations. This is the symmetry postulate (SP). (shrink)

On Zermelo's view, any mathematical theory presupposes a non-empty domain, the elements of which enjoy equal status; furthermore, mathematical axioms must be chosen from among those propositions that reflect the equal status of domain elements. As for which propositions manage to do this, Zermelo's answer is, those that are ?symmetric?, meaning ?invariant under domain permutations?. We argue that symmetry constitutes Zermelo's conceptual analysis of ?general proposition?. Further, although others are commonly associated with the extension of Klein's Erlanger Programme to (...) logic, Zermelo's name has a place in that story. (shrink)

The hidden strength of Goodman's ingenious "new riddle of induction" lies in the perfect symmetry of grue/bleen and green/blue. The very same sentence forms used to define grue/bleen in terms of green/blue can be used to define green/blue in terms of grue/bleen by permutation of terms. Therein lies its undoing. In the artificially restricted case in which there are no additional facts that can break the symmetry, grue/bleen and green/blue are merely notational variants of the same facts; (...) or, if they represent different facts, the differences are ineffable, and no account of induction should be expected to pick between them. This still obtains in the more interesting case in which we embed grue/bleen in a grue-ified total science; the grue-ified and regular total sciences are merely equivalent descriptions of the same facts. In the most realistic case, we allow additional facts that break the symmetry and then we can also evade Goodman's new riddle by employing an account of induction rich enough to exploit these facts. Unaugmented enumerative induction is not such an account and it is the primary casualty of Goodman's new riddle. (shrink)

Distinguishability plays a major role in quantum and statistical physics. When particles are identical their wave function must be either symmetric or antisymmetric under permutations and the number of microscopic states, which determines entropy, is counted up to permutations. When the particles are distinguishable, wavefunctions have no symmetry and each permutation is a different microstate. This binary and discontinuous classification raises a few questions: one may wonder what happens if particles are almost identical, or when the property that (...) distinguishes between them is irrelevant to the physical interactions in a given system. Here I sketch a general answer to these questions. For any pair of non-identical particles there is a timescale, \, required for a measurement to resolve the differences between them. Below \, particles seem identical, above it - different, and the uncertainty principle provides a lower bound for \. Thermal systems admit a conjugate temperature scale, \. Above this temperature the system appears to equilibrate before it resolves the differences between particles, below this temperature the system identifies these differences before equilibration. As the physical differences between particles decline towards zero, \ and \. (shrink)

There are strong indications that ancient Egyptian mythology contains knowledge of the nature of space up to higher dimensions and provides ontologic answers to the question about the creation of matter. This article examines the pentagonal interpretation of the myth of Isis and Osiris by comparing the iconographic details with recent findings from the art research project Quantum Cinema, where an interdisciplinary group of digital artists and scientists established a virtual space model for visualizing the usually non-perceivable processes in the (...) microcosm on a Planck scale. At this scale, quantum mechanics applied to space itself leads to a discrete amount of quantum states. For this research, a new geometrical tool proved invaluable: the epitahedron. The double heptahedron named epitahedron (E±), a 3D Penrose kites and darts representation, confines the dodecahedron in many ways and seems to be Plato’s fifth element. It is a 5D space cell, decorated with fragments of circles, which allows to visualize the permutations of symmetry elements within a discrete lattice (Z5). This higher-dimensional configuration is also the appropriate space to create a quantum-mechanical depiction of particles with inherent wave-like character by means of 3D animated geometry. Disguised in a mythological language the same subscendent space structure with the same golden polytope (E±) can be revealed: is this the origin of the concept of aether, the quintessence model which was a basic scientific task for the last 2500 years? (shrink)

If p(x 1 ,...,x n ) and q(x 1 ,...,x n ) are two logically equivalent propositions then p(π (x 1 ),...,π (x n )) and q(π (x 1 ),...,π (x n )) are also logically equivalent where π is an arbitrary permutation of the elementary constituents x 1 ,...,x n . In Quantum Logic the invariance of logical equivalences breaks down. It is proved that the distribution rules of classical logic are in fact equivalent to the meta-linguistic rule (...) of universal substitution and that the more restrictive structure of the substitution group of Quantum Logic prevents us from defining truth in a classical fashion. These observations lead to a more profound understanding of the Logic of Quantum Mechanics and of the role that symmetry principles play in that theory. (shrink)

In earlier work, representations ofr nucleons were constructed by taking therth Kronecker product of self-representations of the complete homogeneous Lorentz groupL 0 , where these were in the form of a four-component Dirac spinor with components corresponding to the internal symmetries of spin, parity, and charge. When permutations that include every possible exchange of spin, charge, and coordinate, are factored out, the4 F coordinates of flat Minskowski space are contracted by an isometry φ such that energy levels correspond to troughs (...) or saddle points in the new nuclear manifoldM. This is a symmetric space, and using the critical point theory of Morse for the neighborhood of an energy level, it is found that the symmetry σ associated with φ separatesM into just the sets of rotational and vibrational levels. Furthermore, by employing only one parameter, corresponding to the range of energies encountered, good agreement is found with the experimental levels and state labels of 10 B, 10 Be, 10 C, 10 C, and 10 O. The supermultiplet theory of Wigner is a necessary condition for the existence of the states. (shrink)

We show that in Polyadic Pure Inductive Logic the Invariance Principle, based on consideration of symmetry with respect to automorphisms, has only a trivial solution, namely the polyadic equivalent of Carnap’s $$c_0$$ c 0. (This extends a result proved earlier in the unary case.) We then consider the Exchangeable Invariance Principle, a symmetry principle which is a weakening of the Invariance Principle and has been proven to be strictly stronger than the Permutation Invariance Principle. We show that (...) the Exchangeable Invariance Principle follows from Spectrum Exchangeability, a principle not obviously based on symmetry but based on irrelevance, that is treating certain features as irrelevant for the purpose of belief assignment, and that the converse does not hold. We conclude that Spectrum Exchangeability is the strongest currently known rational principle of belief assignment in Pure Inductive Logic that does not lead to the aforementioned trivial solution. (shrink)

We write $\mathcal {S}_n(A)$ for the set of permutations of a set A with n non-fixed points and $\mathrm {{seq}}^{1-1}_n(A)$ for the set of one-to-one sequences of elements of A with length n where n is a natural number greater than $1$. With the Axiom of Choice, $|\mathcal {S}_n(A)|$ and $|\mathrm {{seq}}^{1-1}_n(A)|$ are equal for all infinite sets A. Among our results, we show, in ZF, that $|\mathcal {S}_n(A)|\leq |\mathrm {{seq}}^{1-1}_n(A)|$ for any infinite set A if ${\mathrm {AC}}_{\leq n}$ is (...) assumed and this assumption cannot be removed. In the other direction, we show that $|\mathrm {{seq}}^{1-1}_n(A)|\leq |\mathcal {S}_{n+1}(A)|$ for any infinite set A and the subscript $n+1$ cannot be reduced to n. Moreover, we also show that “ $|\mathcal {S}_n(A)|\leq |\mathcal {S}_{n+1}(A)|$ for any infinite set A” is not provable in ZF. (shrink)

Given its importance in modern physics, philosophers of science have paid surprisingly little attention to the subject of symmetries and invariances, and they have largely neglected the subtopic of symmetry breaking. I illustrate how the topic of laws and symmetries brings into fruitful interaction technical issues in physics and mathematics with both methodological issues in philosophy of science, such as the status of laws of physics, and metaphysical issues, such as the nature of objectivity.

Is there a nontrivial automorphism of the Turing degrees? It is a major open problem of computability theory. Past results have limited how nontrivial automorphisms could possibly be. Here we consider instead how an automorphism might be induced by a function on reals, or even by a function on integers. We show that a permutation of ω cannot induce any nontrivial automorphism of the Turing degrees of members of 2ω, and in fact any permutation that induces the trivial (...) automorphism must be computable.A main idea of the proof is to consider the members of 2ω to be probabilities, and use statistics: from random outcomes from a distribution we can compute that distribution, but not much more. (shrink)

The dominance of string theory in the research landscape of quantum gravity physics (despite any direct experimental evidence) can, I think, be justified in a variety of ways. Here I focus on an argument from mathematical fertility, broadly similar to Hilary Putnam’s ‘no miracles argument’ that, I argue, many string theorists in fact espouse in some form or other. String theory has generated many surprising, useful, and well-confirmed mathematical ‘predictions’—here I focus on mirror symmetry and the mirror theorem. These (...) predictions were made on the basis of general physical principles entering into string theory. The success of the mathematical predictions are then seen as evidence for the framework that generated them. I shall attempt to defend this argument, but there are nonetheless some serious objections to be faced. These objections can only be evaded at a considerably high (philosophical) price. (shrink)

It is tempting to think that a process of choosing a point at random from the surface of a sphere can be probabilistically symmetric, in the sense that any two regions of the sphere which differ by a rotation are equally likely to include the chosen point. Isaacs, Hájek, and Hawthorne (2022) argue from such symmetry principles and the mathematical paradoxes of measure to the existence of imprecise chances and the rationality of imprecise credences. Williamson (2007) has argued from (...) a related symmetry principle to the failure of probabilistic regularity. We contend that these arguments fail, because they rely on auxiliary assumptions about probability which are inconsistent with symmetry to begin with. We argue, moreover, that symmetry should be rejected in light of this inconsistency, and because it has implausible decision- theoretic implications. -/- The weaker principle of probabilistic invariance says that the probabilistic comparison of any two regions is unchanged by rotations of the sphere. This principle supports a more compelling argument for imprecise probability. We show, however, that invariance is incompatible with mundane judgments about what is probable. Ultimately, we find reason to be suspicious of the application of principles like symmetry and invariance to nonmeasurable regions. (shrink)

The classical field theories that underlie the quantum treatments of the electromagnetic, weak, and strong forces share a peculiar feature: specifying the initial state of the field determines the evolution of some degrees of freedom of the theory while leaving the evolution of some others wholly arbitrary. This strongly suggests that some of the variables of the standard state space lack physical content-intuitively, the space of states of such a theory is of higher dimension than the corresponding space of genuine (...) physical possibilities. The structure of such theories can helpfully be characterized in terms of the action of symmetry groups on their space of states; and the conceptual problems surrounding their strange behavior can be sharpened in light of the observation that it is usually possible to eliminate the redundant variables associated with these symmetries-which turn out to be precisely those variables whose evolution is unconstrained by the dynamical laws of the theory. This paper discusses this approach, uses it to frame questions about the interpretation of classical gauge theories, and to reflect (pessimistically) on our prospects of reaching satisfactory answers to these questions. (shrink)

The relevance of symmetry to today's physics is a widely acknowledged fact. A significant part of recent physical inquiry – especially the physics concerned with investigating the fundamentalbuilding blocks of nature – is grounded on symmetry principles andtheir many and far-reaching consequences. But where these symmetries come from and what their real meaning is are open questions, at the center of a developing debate among physicists and philosophers of science. To tackle the problems arising in considering the (...) class='Hi'>symmetry issue is the main purpose of this paper. Starting with briefly recalling the bases for the discussion – how symmetry enters and operates in physics, its special effectiveness in the quantum domain and the many relevant functions it performs (Sections 1–3), the paper then focus on the general interpretative questions that arise and the sorts of answers that have been given (Section 4). (shrink)

Gauge symmetries play a central role, both in the mathematical foundations as well as the conceptual construction of modern (particle) physics theories. However, it is yet unclear whether they form a necessary component of theories, or whether they can be eliminated. It is also unclear whether they are merely an auxiliary tool to simplify (and possibly localize) calculations or whether they contain independent information. Therefore their status, both in physics and philosophy of physics, remains to be fully clarified. In this (...) overview we review the current state of affairs on both the philosophy and the physics side. In particular, we focus on the circumstances in which the restriction of gauge theories to gauge invariant information on an observable level is warranted, using the Brout-Englert-Higgs theory as an example of particular current importance. Finally, we determine a set of yet to be answered questions to clarify the status of gauge symmetries. (shrink)

Symmetries in physics are a guide to reality. That much is well known. But what is less well known is why symmetry is a guide to reality. What justifies inferences that draw conclusions about reality from premises about symmetries? I argue that answering this question reveals that symmetry is an epistemic notion twice over. First, these inferences must proceed via epistemic lemmas: premises about symmetries in the first instance justify epistemic lemmas about our powers of detection, and only (...) from those epistemic lemmas can we draw conclusions about reality. Second, in order to justify those epistemic lemmas, the notion of symmetry must be defined partly in epistemic terms. 1 Symmetry-to-Reality Reasoning1.1 A rough introduction to symmetry1.2 The symmetry-to-reality inference1.3 Two questions1.4 Two answers1.5 Preliminary clarifications2 Against Redundancy2.1 Redundancy2.2 Is absolute velocity redundant?2.3 Some redundancies3 Against Objectivity4 From Symmetry to Detection4.1 The epistemic approach4.2 The Occamist norm4.3 From symmetry to detection5 The Meaning of ‘Symmetry’5.1 A framework5.2 Formal definitions5.3 Ontic definitions6 Epistemic Definitions6.1 Taking observation seriously6.2 How things look6.3 Observation sentences6.4 Observational equivalence7 Symmetry as an Epistemic Notion 7.1 Observational equivalence and metaphysics7.2 The Occamist norm revisted7.3 Consequences8 Conclusion. (shrink)

Molecules have more or less symmetric and complex structures which can be defined in the mathematical framework of topology, group theory, dynamical systems theory, and quantum mechanics. But symmetry and complexity are by no means only theoretical concepts of research. Modern computer aided visualizations show real forms of matter which nevertheless depend on the technical standards of observation, computation, and representation. Furthermore, symmetry and complexity are fundamental interdisciplinary concepts of research inspiring the natural sciences since the antiquity.

Symmetry, intended as invariance with respect to a transformation (more precisely, with respect to a transformation group), has acquired more and more importance in modern physics. This Chapter explores in 8 Sections the meaning, application and interpretation of symmetry in classical physics. This is done both in general, and with attention to specific topics. The general topics include illustration of the distinctions between symmetries of objects and of laws, and between symmetry principles and symmetry arguments (such (...) as Curie's principle), and reviewing the meaning and various types of symmetry that may be found in classical physics, along with different interpretative strategies that may be adopted. Specific topics discussed include the historical path by which group theory entered classical physics, transformation theory in classical mechanics, the relativity principle in Einstein's Special Theory of Relativity, general covariance in his General Theory of Relativity, and Noether's theorems. In bringing these diverse materials together in a single Chapter, we display the pervasive and powerful influence of symmetry in classical physics, and offer a possible framework for the further philosophical investigation of this topic. (shrink)

Kant suggested that Newton’s Inverse Square Law (ISL) determines the dimensions of space to be three. Much has been written in the philosophical literature about Kant’s suggestion, including specific arguments attempting to link the ISL to three-dimensionality. In this paper, we explore one such argument and demonstrate that it fails to support the link Kant purports to make between the ISL and the three-dimensionality of space. At best, the link that can be made is between the ISL and symmetry.

William Lynch has persistently questioned the politics underlying my appeal to science and technology studies’ flagship symmetry principle. He believes that it licenses the worst features of the ‘post-truth condition’. I respond in two parts, the first facing the future and the second facing the past. In the first part, I argue that the symmetry principle will be crucial in decisions that society will increasingly need to make concerning the inclusion of animals and machines on grounds of sentience, (...) consciousness, intelligence, etc. In the second part, I argue that the symmetry principle has been in fact at the core of the ‘justice as fairness’ idea that has been at the core of both liberal and socialist democracies. Difficulties start once the means of expression and communication are made widely available and the standards of fairness are subject to continual questioning and renegotiation. (shrink)

Dispositional essentialists ultimately appeal to dispositional essences in order to provide (a) an explanation of the conservation of physical quantities and (b) identity conditions for fundamental physical properties. This paper aims to offer alternative suggestions based on symmetry considerations and exhibits their consequences for the thesis of dispositional essentialism.

It is shown that, according to NF, many of the assertions of ordinal arithmetic involving the T-function which is peculiar to NF turn out to be equivalent to the truth-in-certain-permutation-models of assertions which have perfectly sensible ZF-style meanings, such as: the existence of wellfounded sets of great size or rank, or the nonexistence of small counterexamples to the wellfoundedness of ∈. Everything here holds also for NFU if the permutations are taken to fix all urelemente.

In this paper we study some questions concerning Łukasiewicz implication algebras. In particular, we show that every subquasivariety of Łukasiewicz implication algebras is, in fact, a variety. We also derive some characterizations of congruence permutable algebras. The starting point for these results is a representation of finite Łukasiewicz implication algebras as upwardly-closed subsets in direct products of MV-chains.

Many important explanations in physics are based on ideas and assumptions about symmetries, but little has been said about the nature of such explanations. This chapter aims to fill this lacuna, arguing that various symmetry explanations can be naturally captured in the spirit of the counterfactual-dependence account of Woodward, liberalized from its causal trappings. From the perspective of this account symmetries explain by providing modal information about an explanatory dependence, by showing how the explanandum would have been different, had (...) the facts about an explanatory symmetry been different. Furthermore, the authors argue that such explanatory dependencies need not be causal. (shrink)

In this paper, I consider the role of exact symmetries in theories of physics, working throughout with the example of gravitation set in Newtonian spacetime. First, I spend some time setting up a means of thinking about symmetries in this context; second, I consider arguments from the seeming undetectability of absolute velocities to an anti-realism about velocities; and finally, I claim that the structure of the theory licences us to interpret models which differ only with regards to the absolute velocities (...) of objects as depicting the same physical state of affairs. In defending this last claim, I consider how ideas and resources from the philosophy of language may usefully be brought to bear on this topic. (shrink)

Symmetry principles are a central part of contemporary physics, yet there has been surprisingly little metaphysical work done on them. This article develops the Wignerian treatment of symmetries as higher-order laws—metalaws—within a Humean framework of lawhood. Lange has raised two obstacles to Humean metalaws, and the article shows that the account has the resources available to respond to both. It is argued that this framework for Humean metalaws stands as an example of naturalistic metaphysics, able to bring Humeanism into (...) contact with the practice of actual science without giving up on the central denial of necessary connections. (shrink)