Observable consequences of the hypothesis that the observed universe is a numerical simulation performed on a cubic space-time lattice or grid are explored. The simulation scenario is first motivated by extrapolating current trends in computational resource requirements for lattice QCD into the future. Using the historical development of lattice gauge theory technology as a guide, we assume that our universe is an early numerical simulation with unimproved Wilson fermion discretization and investigate potentially-observable consequences. Among the (...) observables that are considered are the muon g-2 and the current differences between determinations of alpha, but the most stringent bound on the inverse lattice spacing of the universe, b−1 > ~ 10^11 GeV, is derived from the high-energy cut off of the cosmic ray spectrum. The numerical simulation scenario could reveal itself in the distributions of the highest energy cosmic rays exhibiting a degree of rotational symmetry breaking that reflects the structure of the underlying lattice. (shrink)

The Yang-Mills mass gap problem has stood as one of the most profound unresolved questions in theoretical physics for nearly half a century. Despite extensive efforts, a rigorous mathematical proof of the mass gap's existence in Yang-Mills theory has remained elusive—until now. -/- The proof presented in this work represents not merely a technical achievement, but a fundamental paradigm shift in our understanding of the mathematical structures underlying physical reality. By rigorously demonstrating that the mass gap arises as a (...) direct consequence of the gauge-invariant constraint structure of Yang-Mills theory, we overturn decades of conventional assumptions and reveal a startling truth: what we perceive as physical laws are in fact mathematically unavoidable necessities emerging from the very consistency conditions required for a well-defined quantum field theory. (shrink)

In this paper a solution of Whitehead’s problem is presented: Starting with a purely mereological system of regions a topological space is constructed such that the class of regions is isomorphic to the Boolean lattice of regular open sets of that space. This construction may be considered as a generalized completion in analogy to the well-known Dedekind completion of the rational numbers yielding the real numbers . The argument of the paper relies on the theories of continuous lattices and (...) “pointless” topology.

. (shrink)

Wigner's quantum-mechanical classification of particle-types in terms of irreducible representations of the Poincaré group has a classical analogue, which we extend in this paper. We study the compactness properties of the resulting phase spaces at fixed energy, and show that in order for a classical massless particle to be physically sensible, its phase space must feature a classical-particle counterpart of electromagnetic gauge invariance. By examining the connection between massless and massive particles in the massless limit, we also derive a (...) classical-particle version of the Higgs mechanism. (shrink)

Why is gauge symmetry so important in modern physics, given that one must eliminate it when interpreting what the theory represents? In this paper we discuss the sense in which gauge symmetry can be fruitfully applied to constrain the space of possible dynamical models in such a way that forces and charges are appropriately coupled. We review the most well-known application of this kind, known as the 'gauge argument' or 'gauge principle', discuss its difficulties, and (...) then reconstruct the gauge argument as a valid theorem in quantum theory. We then present what we take to be a better and more general gauge argument, based on Noether's second theorem in classical Lagrangian field theory, and argue that this provides a more appropriate framework for understanding how gauge symmetry helps to constrain the dynamics of physical theories. (shrink)

In this paper, we review a general technique for converting the standard Lagrangian description of a classical system into a formulation that puts time on an equal footing with the system's degrees of freedom. We show how the resulting framework anticipates key features of special relativity, including the signature of the Minkowski metric tensor and the special role played by theories that are invariant under a generalized notion of Lorentz transformations. We then use this technique to revisit a classification of (...) classical particle-types that mirrors Wigner's classification of quantum particle-types in terms of irreducible representations of the Poincaré group, including the cases of massive particles, massless particles, and tachyons. Along the way, we see gauge invariance naturally emerge in the context of classical massless particles with nonzero spin, as well as study the massless limit of a massive particle and derive a classical-particle version of the Higgs mechanism. (shrink)

Mathematically, gauge theories are extraordinarily rich --- so rich, in fact, that it can become all too easy to lose track of the connections between results, and become lost in a mass of beautiful theorems and properties: indeterminism, constraints, Noether identities, local and global symmetries, and so on. -/- One purpose of this short article is to provide some sort of a guide through the mathematics, to the conceptual core of what is actually going on. Its focus is on (...) the Lagrangian, variational-problem description of classical mechanics, from which the link between gauge symmetry and the apparent violation of determinism is easy to understand; only towards the end will the Hamiltonian description be considered. -/- The other purpose is to warn against adopting too unified a perspective on gauge theories. It will be argued that the meaning of the gauge freedom in a theory like general relativity is (at least from the Lagrangian viewpoint) significantly different from its meaning in theories like electromagnetism. The Hamiltonian framework blurs this distinction, and orthodox methods of quantization obliterate it; this may, in fact, be genuine progress, but it is dangerous to be guided by mathematics into conflating two conceptually distinct notions without appreciating the physical consequences. (shrink)

Symposium review of Richard Healey, Gauging What’s Real: The Conceptual Foundations of Contemporary Gauge Theories. Oxford: Oxford University Press, 2007. Pp. 297. $99.00 HB.

The present paper intends to report two results. It is shown that the formula P(x)=∀y∀z[¬G(x, y)→¬M(z)] provides the logic underlying gauge symmetry, where M denotes the predicate of being massive. For the logic of spontaneous symmetry breaking, by Higgs mechanism, we have P(x)=∀y∀z[G(x, y)→M(z)]. Notice that the above two formulas are not logically equivalent. The results are obtained by integrating four components, namely, gauge symmetry and Higgs mechanism in quantum field theory, and Gödel's incompleteness theorem and Tarski's (...) indefinability theorem in mathematical logic. Gödel numbering is the key for arithmetic modeling applied in this paper. (shrink)

Much recent philosophy of physics has investigated the process of symmetry breaking. Here, I critically assess the alleged symmetry restoration at the fundamental scale. I draw attention to the contingency that gauge symmetries exhibit, that is, the fact that they have been chosen from an infinite space of possibilities. I appeal to this feature of group theory to argue that any metaphysical account of fundamental laws that expects symmetry restoration up to the fundamental level is not fully satisfactory. (...) This is a symmetry argument in line with Curie’s first principle. Further, I argue that this same feature of group theory helps to explain the ‘unreasonable’ effectiveness of mathematics in physics, and that it reduces the philosophical significance that has been attributed to the objectivity of gauge symmetries. (shrink)

It presents the basics of the “Relativistic theory of gravitation”, with the inclusion of original texts, from various papers, published between 1987 and 2009, by theirs authors: S. S Gershtein, A. A. Logunov, Yu. M. Loskutov and M. A. Mestvirishvili, additionally, together with the introductions, summaries and conclusions of the author of this paper. The “Relativistic theory of gravitation” is a gauge theory, compatible with the theories of quantum physics of the electromagnetic, weak and strong forces, (...) which defines gravity as the fourth force existing in nature, as a static field equipped with the transmitter particles of the virtual gravitons of spins 2 and 0, within the spirit of Galilei's principle of relativity, in his generalization of Poincaré's Special Relativity that allowed the authors to universalize that the physical laws of nature are complied with regardless of the frames of reference where they apply, integrated into the Grossmann-Einstein Entwurf theory, in its further development, by those authors, therefore, this theory preserves the conservation laws of energy-impulse and angular impulse of the gravitational field jointly to the other material fields existing in nature, in the Riemann's effective spacetime, through its identity with Minkowski's pseudo Euclidean spacetime. (shrink)

It presents the basics of the “Relativistic theory of gravitation”, with the inclusion of original texts, from various papers, published between 1987 and 2009, by theirs authors: S. S Gershtein, A. A. Logunov, Yu. M. Loskutov and M. A. Mestvirishvili, additionally, together with the introductions, summaries and conclusions of the author of this paper. The “Relativistic theory of gravitation” is a gauge theory, compatible with the theories of quantum physics of the electromagnetic, weak and strong forces, (...) which defines gravity as the fourth force existing in nature, as a static field equipped with the transmitter particles of the virtual gravitons of spins 2 and 0, within the spirit of Galilei's principle of relativity, in his generalization of Poincaré's Special Relativity that allowed the authors to universalize that the physical laws of nature are complied with regardless of the frames of reference where they apply, integrated into the Grossmann-Einstein Entwurf theory, in its further development, by those authors, therefore, this theory preserves the conservation laws of energy-impulse and angular impulse of the gravitational field jointly to the other material fields existing in nature, in the Riemann's effective spacetime, through its identity with Minkowski's pseudo Euclidean spacetime. (shrink)

Since string theory has not been able to explain phenomena to date, it may seem that this confirms Feyerabend's view that there is no "method" of science. And yet, string theory is still the most active research program for quantum gravity. But, compared to other non-falsifiable theories, this has something extra, especially mathematical language, with a clear logic of deductions. Up to a point it can reproduce classical gauge theories and general relativity. And there is hope that (...) in the not too distant future experiments can be developed to test the theory. DOI: 10.13140/RG.2.2.28892.33920. (shrink)

The Higgs mechanism is an essential but elusive component of the Standard Model of particle physics. Without it Yang‐Mills gauge theories would have been little more than a warm‐up exercise in the attempt to quantize gravity rather than serving as the basis for the Standard Model. This article focuses on two problems related to the Higgs mechanism clearly posed in Earman’s recent papers (Earman 2003, 2004a, 2004b): what is the gauge‐invariant content of the Higgs mechanism, and what does (...) it mean to break a local gauge symmetry? (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all (...) the axioms of ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

We discuss the fate of the correspondence principle beyond quantum mechanics, specifically in quantum field theory and quantum gravity, in connection with the intrinsic limitations of the human ability to observe the external world. We conclude that the best correspondence principle is made of unitarity, locality, proper renormalizability (a refinement of strict renormalizability), combined with fundamental local symmetries and the requirement of having a finite number of fields. Quantum gravity is identified in an essentially unique way. The gauge (...) interactions are uniquely identified in form. Instead, the matter sector remains basically unrestricted. The major prediction is the violation of causality at small distances. (shrink)

Recently, Dewar (2019) has suggested that one can apply the strategy of 'sophistication' - as exemplified by sophisticated substantivalism as a response to the diffeomorphism invariance of General Relativity - to gauge theories such as electrodynamics. This requires a shift to the formalism of fibre bundles. In this paper, I develop and defend this suggestion. Where my approach differs from previous discussions is that I focus on the metaphysical picture underlying the fibre bundle formalism. In particular, I aim to (...) affirm the physical reality of gauge properties. I argue that this allows for a local and separable explanation of the Aharonov-Bohm effect. Its puzzling features are explained by a form of holism inherent to fibre bundles. (shrink)

According to the BSM- Supergravitation Unified Theory (BSM-SG), the energy is indispensable feature of matter, while the matter possesses hierarchical levels of organization from a simple to complex forms, with appearance of fields at some levels. Therefore, the energy also follows these levels. At the fundamental level, where the primary energy source exists, the matter is in its primordial form, where two super-dense fundamental particles (FP) exist in a classical pure empty space (not a physical vacuum). They are associated (...) with the Planck scale parameters of frequency and distance and interact by Supergravitational forces. These forces are inverse proportional to the cube of distance at pure empty space and they are based on frequency interactions. Since the two FPs have different intrinsic frequencies, the SG forces appear different for interactions between the like and unlike FPs and may change the sign. This primordial form of matter exists in the super-heavy black holes located in the center of each well formed galaxy. The next upper level of matter organization includes the underlying structure of the physical vacuum, called a Cosmic Lattice, and the structure of elementary particles. They have common substructure elements obtained by specific crystallization process preceding the formation of the observable galaxies. The Cosmic Lattice, forming a space known as a physical vacuum, is responsible for the existence and propagation of the physical fields: electrical, magnetic, Newtonian gravity and inertia. The energy of physical vacuum is in two forms: Static (enormous) and Dynamic (weak). The Static energy is directly related to the Newtonian mass by the Einstein equation E = mc^2 and it is a primary source of the nuclear energy. The Dynamic energy is responsible for the existence of the electric and magnetic fields, the constant speed of light and the quantum mechanical properties of the physical vacuum. The next upper energy level is the dynamical energy of excited atoms and molecules. At this level a hidden energy wells exit, such as the internal energy of the electron and the internal energy of atoms with more than one electron. The next upper energy level is at some organic molecules and particularly in the biomolecules that contain ring atomic structures. In such a structure, some quantum states are not emitted immediately, but rotating in the ring. While in organic molecules the energy stored in such a ring is released by a chemical process, in the long chain molecule of proteins in the living organism the stored energy can be released simultaneously by triggering. A huge number of atomic rings are contained in the DNA strands. The release of the energy stored in DNA, for example, is an avalanche process that causes an emission of entangled photons possessing a strong penetrating capability. A sequence of entangled photons emitted by DNA should carry the genetic information encoded by the cordons. This mechanism, predicted in BSM-SG theory, is very important for intercommunication between the cells of the living organism. The next upper level of energy organization may exist in the brain. The brain is an organ of a most abundant number of atomic rings, while its tissue environment might permit complex energy interactions. The human brain contains billions of atomic rings. The next hypothetical upper level of energy organization is an information field, physically existed outside, but connected with the living brain. It corresponds to a specific field known as aura, while the possibility of its existence is still not accepted by the main stream science. The problem is that this field could not be detected by the currently existing technical means used for EM communications. The BSM-SG predicts that this field might differ from the EM field we use for communication, but it is a subject of a further theoretical development that must be supported by experiments using specifically designed technical means. According to the BSM-SG theory, the energy conversion from the primary energy source to the complex levels of matter and field organization is a permanent syntropic process based on complex resonance interactions. (shrink)

Standard lore holds that magnetic forces are incapable of doing mechanical work. More precisely, the claim is that whenever it appears that a magnetic force is doing work, the work is actually being done by another force, with the magnetic force serving only as an indirect mediator. However, the most familiar instances of magnetic forces acting in everyday life, such as when bar magnets lift other bar magnets, appear to present manifest evidence of magnetic forces doing work. These sorts of (...) counterexamples are often dismissed as arising from quantum effects that lie outside the classical regime. In this paper, we show that quantum theory is not needed to account for these phenomena, and that classical electromagnetism admits a model of elementary magnetic dipoles on which magnetic forces can indeed do work. In order to develop this model, we revisit the foundational principles of the classical theory of electromagnetism, showcase the importance of constraints from relativity, examine the structure of the multipole expansion, and study the connection between the Lorentz force law and conservation of energy and momentum. (shrink)

In this text the ancient philosophical question of determinism (“Does every event have a cause ?”) will be re-examined. In the philosophy of science and physics communities the orthodox position states that the physical world is indeterministic: quantum events would have no causes but happen by irreducible chance. Arguably the clearest theorem that leads to this conclusion is Bell’s theorem. The commonly accepted ‘solution’ to the theorem is ‘indeterminism’, in agreement with the Copenhagen interpretation. Here it is recalled that indeterminism (...) is not really a physical but rather a philosophical hypothesis, and that it has counterintuitive and far-reaching implications. At the same time another solution to Bell’s theorem exists, often termed ‘superdeterminism’ or ‘total determinism’. Superdeterminism appears to be a philosophical position that is centuries and probably millennia old: it is for instance Spinoza’s determinism. If Bell’s theorem has both indeterministic and deterministic solutions, choosing between determinism and indeterminism is a philosophical question, not a matter of physical experimentation, as is widely believed. If it is impossible to use physics for deciding between both positions, it is legitimate to ask which philosophical theories are of help. Here it is argued that probability theory – more precisely the interpretation of probability – is instrumental for advancing the debate. It appears that the hypothesis of determinism allows to answer a series of precise questions from probability theory, while indeterminism remains silent for these questions. From this point of view determinism appears to be the more reasonable assumption, after all. (shrink)

This thesis examines the prospects for mechanical procedures that can identify true, complete, universal, first-order logical theories on the basis of a complete enumeration of true atomic sentences. A sense of identification is defined that is more general than those which are usually studied in the learning theoretic and inductive inference literature. Some identification algorithms based on confirmation relations familiar in the philosophy of science are presented. Each of these algorithms is shown to identify all purely universal theories without function (...) symbols. It is demonstrated that no procedure can solve this universal theory inference problem in the more usual senses of identification. The question of efficiency for theory inference systems is addressed, and some definitions of limiting complexity are examined. It is shown that several aspects of obvious strategies for solving the universal theory inference problem are NP-hard. Finally, some non-worst case heuristic search strategies are examined in light of these NP-completeness results. These strategies are based upon an isomorphism between clausal entailments of a certain class and partition lattices, and are applicable to the improvement of earlier work on language acquisition and logical inductive inference. (shrink)

We address a long-standing debate over whether classical magnetic forces can do work, ultimately answering the question in the affirmative. In detail, we couple a classical particle with intrinsic spin and elementary dipole moments to the electromagnetic field, derive the appropriate generalization of the Lorentz force law, show that the particle's dipole moments must be collinear with its spin axis, and argue that the magnetic field does mechanical work on the particle's elementary magnetic dipole moment. As consistency checks, we calculate (...) the overall system's energy-momentum and angular momentum, and show that their local conservation equations lead to the same force law and therefore the same conclusions about magnetic forces and work. We also compute the system's Belinfante-Rosenfeld energy-momentum tensor. (shrink)

The way, in which quantum information can unify quantum mechanics (and therefore the standard model) and general relativity, is investigated. Quantum information is defined as the generalization of the concept of information as to the choice among infinite sets of alternatives. Relevantly, the axiom of choice is necessary in general. The unit of quantum information, a qubit is interpreted as a relevant elementary choice among an infinite set of alternatives generalizing that of a bit. The invariance to the axiom of (...) choice shared by quantum mechanics is introduced: It constitutes quantum information as the relation of any state unorderable in principle (e.g. any coherent quantum state before measurement) and the same state already well-ordered (e.g. the well-ordered statistical ensemble of the measurement of the quantum system at issue). This allows of equating the classical and quantum time correspondingly as the well-ordering of any physical quantity or quantities and their coherent superposition. That equating is interpretable as the isomorphism of Minkowski space and Hilbert space. Quantum information is the structure interpretable in both ways and thus underlying their unification. Its deformation is representable correspondingly as gravitation in the deformed pseudo-Riemannian space of general relativity and the entanglement of two or more quantum systems. The standard model studies a single quantum system and thus privileges a single reference frame turning out to be inertial for the generalized symmetry [U(1)]X[SU(2)]X[SU(3)] “gauging” the standard model. As the standard model refers to a single quantum system, it is necessarily linear and thus the corresponding privileged reference frame is necessary inertial. The Higgs mechanism U(1) → [U(1)]X[SU(2)] confirmed enough already experimentally describes exactly the choice of the initial position of a privileged reference frame as the corresponding breaking of the symmetry. The standard model defines ‘mass at rest’ linearly and absolutely, but general relativity non-linearly and relatively. The “Big Bang” hypothesis is additional interpreting that position as that of the “Big Bang”. It serves also in order to reconcile the linear standard model in the singularity of the “Big Bang” with the observed nonlinearity of the further expansion of the universe described very well by general relativity. Quantum information links the standard model and general relativity in another way by mediation of entanglement. The linearity and absoluteness of the former and the nonlinearity and relativeness of the latter can be considered as the relation of a whole and the same whole divided into parts entangled in general. (shrink)

The Argument from Temporary Intrinsics is one of the canonical arguments against endurantism. I show that the two standard ways of presenting the argument have limited force. I then present a new version of the argument, which provides a more promising articulation of the underlying objection to endurantism. However, the premises of this argument conflict with the gauge theories of particle physics, and so this version of the argument is no more successful than its predecessors. I conclude that no (...) version of the Argument from Temporary Intrinsics gives us a compelling reason to favor one theory of persistence over another. (shrink)

The naive idea of a mimesis between theory and experiments, a concept still lasing in many epistemologies, is here substituted by a more sophisticated mathematical methexis where theoretical physics is a system of production of formal structures under strong mathematical constraints, such as global and local symmetries. Instead of an ultimate “everything theory”, the image of physical theories here proposed is a totality of interconnected structures establishing the very conditions of its “thinkability” and the relations with the experimental (...) domain. (shrink)

It is now well-known that Newton–Cartan theory is the correct geometrical setting for modelling the quantum Hall effect. In addition, in recent years edge modes for the Newton–Cartan quantum Hall effect have been derived. However, the existence of these edge modes has, as of yet, been derived using only orthodox methodologies involving the breaking of gauge-invariance; it would be preferable to derive the existence of such edge modes in a gauge-invariant manner. In this article, we employ recent (...) work by Donnelly and Freidel in order to accomplish exactly this task. Our results agree with known physics, but afford greater conceptual insight into the existence of these edge modes: in particular, they connect them to subtle aspects of Newton–Cartan geometry and pave the way for further applications of Newton–Cartan theory in condensed matter physics. (shrink)

This paper develops a theory of propositional identity which distinguishes necessarily equivalent propositions that differ in subject-matter. Rather than forming a Boolean lattice as in extensional and intensional semantic theories, the space of propositions forms a non-interlaced bilattice. After motivating a departure from tradition by way of a number of plausible principles for subject-matter, I will provide a Finean state semantics for a novel theory of propositions, presenting arguments against the convexity and nonvacuity constraints which Fine (2016, (...) 2017a,b) introduces. I will then move to compare the resulting logic of propositional identity (PI) with Correia’s (2016) logic of generalised identity (GI), as well as the first degree fragment of Angell’s (1989) logic of analytic containment (AC). The paper concludes by extending PI to include axioms and rules for a subject-matter operator, providing a much broader theory of subject-matter than the principles with which I will begin. (shrink)

The Belnap–Dunn logic is a well-known and well-studied four-valued logic, but until recently little has been known about its extensions, i.e. stronger logics in the same language, called super-Belnap logics here. We give an overview of several results on these logics which have been proved in recent works by Přenosil and Rivieccio. We present Hilbert-style axiomatizations, describe reduced matrix models, and give a description of the lattice of super-Belnap logics and its connections with graph theory. We adopt the (...) point of view ofAlgebraic Logic, exploring applications of the general theory of algebraization of logics to the super-Belnap family. In this respect we establish a number of new results, including a description of the algebraic counterparts, Leibniz filters, and strong versions of super-Belnap logics, as well as the classification of these logics within the Leibniz and Frege hierarchies. (shrink)

There is a large gap between the specialized knowledge of scientists and laypeople’s understanding of the sciences. The novice-expert problem arises when non-experts are confronted with (real or apparent) scientific disagreement, and when they don’t know whom to trust. Because they are not able to gauge the content of expert testimony, they rely on imperfect heuristics to evaluate the trustworthiness of scientists. This paper investigates why some bodies of scientific knowledge become polarized along political fault lines. Laypeople navigate conflicting (...) epistemic and social demands in their acceptance of scientific testimony; this might explain their deference to scientific fringe theories, which often goes together with denying established scientific theories. I evaluate three approaches to mitigate denialism: improving the message, improving the messenger, and improving the environment in which the message is conveyed. (shrink)

Recent discussions of emergence in physics have focussed on the use of limiting relations, and often particularly on singular or asymptotic limits. We discuss a putative example of emergence that does not fit into this narrative: the case of phonons. These quasi-particles have some claim to be emergent, not least because the way in which they relate to the underlying crystal is almost precisely analogous to the way in which quantum particles relate to the underlying quantum field theory. But (...) there is no need to take a limit when moving from a crystal lattice based description to the phonon description. Not only does this demonstrate that we can have emergence without limits, but also provides a way of understanding cases that do involve limits. (shrink)

Many results in logic and mathematics rely on techniques that allow for concrete, often visual, representations of abstract concepts. A primary example of this phenomenon in logic is the distinction between syntax and semantics, itself an example of the more general duality in mathematics between algebra and geometry. Such representations, however, often rely on the existence of certain maximal objects having particular properties such as points, possible worlds or Tarskian first-order structures. -/- This dissertation explores an alternative to such representations (...) known as possibility semantics. Its core idea is to replace maximal objects with ordered systems of partial approximations. Although it originates in the semantics of modal logic and the representation of abstract ordered structures, I argue that it has far-reaching mathematical, foundational and philosophical significance, especially in the context of semiconstructive mathematics, a foundational framework that does not assume any fragment of the Axiom of Choice beyond the Axiom of Dependent Choices. -/- The dissertation is divided in two main parts. The first part explores various applications of the mathematical framework underlying possibility semantics to lattice theory and non-classical propositional logics. A major theme is the development of constructive dualities for various categories of lattices, which are related to standard non-constructive dualities via Vietoris constructions. -/- The second part of the dissertation explores the alternative foundational setting of semi-constructive mathematics, focusing on three applications of possibility semantics for classical first-order logic to the philosophy of the mathematical infinite. In particular, we introduce generic powers, a semi-constructive analogue of ultrapowers in classical model theory, and we explore the merits of these structures from a foundational, conceptual and historical viewpoint. (shrink)

Bilattices, introduced by Ginsberg as a uniform framework for inference in artificial intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the well-known Belnap–Dunn four-valued logic to the standard language of bilattices. Our aim is to study Arieli and Avron’s logic from the perspective of abstract (...) algebraic logic . We introduce a Hilbert-style axiomatization in order to investigate the properties of the algebraic models of this logic, proving that every formula can be reduced to an equivalent normal form and that our axiomatization is complete w.r.t. Arieli and Avron’s semantics. In this way, we are able to classify this logic according to the criteria of AAL. We show, for instance, that it is non-protoalgebraic and non-self-extensional. We also characterize its Tarski congruence and the class of algebraic reducts of its reduced generalized models, which in the general theory of AAL is usually taken to be the algebraic counterpart of a sentential logic. This class turns out to be the variety generated by the smallest non-trivial bilattice, which is strictly contained in the class of algebraic reducts of logical bilattices. On the other hand, we prove that the class of algebraic reducts of reduced models of our logic is strictly included in the class of algebraic reducts of its reduced generalized models. Another interesting result obtained is that, as happens with some implicationless fragments of well-known logics, we can associate with our logic a Gentzen calculus which is algebraizable in the sense of Rebagliato and Verdú . We also prove some purely algebraic results concerning bilattices, for instance that the variety of distributive bilattices is generated by the smallest non-trivial bilattice. This result is based on an improvement of a theorem by Avron stating that every bounded interlaced bilattice is isomorphic to a certain product of two bounded lattices. We generalize it to the case of unbounded interlaced bilattices. (shrink)

Philosophers in the field of analytic metaphysics have begun gradually to come to terms with the fact that there are entities in a range of categories not dreamt of in the set-theory and predicate-logic-based ontologies of their forefathers. Examples of such “entia minora” would include: boundaries, places, events, states holes, shadows, individual colour- and tone-instances (tropes), together with combinations of these and associated simple and complex universal species or essences, states of affairs, judgment-contents, and myriad abstract structures of the (...) sorts which are studied by the mathematical sciences. How, as hunter-gatherer ontologists, are we to bring order into this vast array? How are we to gauge the ontological merits of given candidate entities, and how are we to understand their relation to entities of more humdrum sorts? Meinong, it turns out, offers a very simple answer to all of these questions. (shrink)

In this work, we discuss the failure of the principle of truth functionality in the quantum formalism. By exploiting this failure, we import the formalism of N-matrix theory and non-deterministic semantics to the foundations of quantum mechanics. This is done by describing quantum states as particular valuations associated with infinite non-deterministic truth tables. This allows us to introduce a natural interpretation of quantum states in terms of a non-deterministic semantics. We also provide a similar construction for arbitrary probabilistic theories (...) based in orthomodular lattices, allowing to study post-quantum models using logical techniques. (shrink)

This paper introduces the category of b-frames as a new tool in the study of complete lattices. B-frames can be seen as a generalization of posets, which play an important role in the representation theory of Heyting algebras, but also in the study of complete Boolean algebras in forcing. This paper combines ideas from the two traditions in order to generalize some techniques and results to the wider context of complete lattices. In particular, we lift a representation theorem of (...) Allwein and MacCaull to a duality between complete lattices and b-frames, and we derive alternative characterizations of several classes of complete lattices from this duality. This framework is then used to obtain new results in the theory of complete Heyting algebras and the semantics of intuitionistic propositional logic. (shrink)

A recent paper by Jakl, Jung and Pultr succeeded for the first time in establishing a very natural link between bilattice logic and the duality theory of d-frames and bitopological spaces. In this paper we further exploit, extend and investigate this link from an algebraic and a logical point of view. In particular, we introduce classes of algebras that extend bilattices, d-frames and N4-lattices to a setting in which the negation is not necessarily involutive, and we study corresponding logics. (...) We provide product representation theorems for these algebras, as well as completeness, algebraizability results for the corresponding logics. (shrink)

The first aim of this note is to describe an algebraic structure, more primitive than lattices and quantales, which corresponds to the intuitionistic flavour of Linear Logic we prefer. This part of the note is a total trivialisation of ideas from category theory and we play with a toy-structure a not distant cousin of a toy-language. The second goal of the note is to show a generic categorical construction, which builds models for Linear Logic, similar to categorical models GC (...) of [deP1990], but more general. The ultimate aim is to relate different categorical models of linear logic. (shrink)

General relativity (GR) describes gravity through the curvature of spacetime. However, there are two equivalents of GR that describe flat spacetimes with gravitational effects attributed to torison or non-metricity. These theories, together with GR, are known as the geometrical trinity of gravity and are said to present a case of underdetermination by Wolf et al. (2024). In this article, I argue against this stance by examining the empirical equivalence and possible interpretations of the trinity. I propose a new framework where (...) the trinity emerge as different gauge-fixed versions of a unifying theory. Thus I contend that the apparent disagreements on spacetime ontology arise from different gauge choices without physical significance, thereby breaking down the underdetermination. (shrink)

Any logic is represented as a certain collection of well-orderings admitting or not some algebraic structure such as a generalized lattice. Then universal logic should refer to the class of all subclasses of all well-orderings. One can construct a mapping between Hilbert space and the class of all logics. Thus there exists a correspondence between universal logic and the world if the latter is considered a collection of wave functions, as which the points in Hilbert space can be interpreted. (...) The correspondence can be further extended to the foundation of mathematics by set theory and arithmetic, and thus to all mathematics. (shrink)

The correspondence principle made of unitarity, locality and renormalizability has been very successful in quantum field theory. Among the other things, it helped us build the standard model. However, it also showed important limitations. For example, it failed to restrict the gauge group and the matter sector in a powerful way. After discussing its effectiveness, we upgrade it to make room for quantum gravity. The unitarity assumption is better understood, since it allows for the presence of physical particles (...) as well as fake particles (fakeons). The locality assumption is applied to an interim classical action, since the true classical action is nonlocal and emerges from the quantization and a later process of classicization. The renormalizability assumption is refined to single out the special role of the gauge couplings. We show that the upgraded principle leads to an essentially unique theory of quantum gravity. In particular, in four dimensions, a fakeon of spin 2, together with a scalar field, is able to make the theory renormalizable while preserving unitarity. We offer an overview of quantum field theories of particles and fakeons in various dimensions, with and without gravity. (shrink)

In this paper we discuss the notions of adequacy and truth functionality in quantum logic from the point of view of a non-deterministic semantics. We give a characterization of the degree of non-functionality which is compatible with the propositional structure of quantum theory, showing that having truth-functional connectives, together with some assumptions regarding the relation of logical consequence, commits us to the adequacy of the interpretation sets of these connectives. An advantage of our proof is that it is independent (...) of the number of truth values involved, generalizing previous works. We also show the failure of the adequacy of every Nmatrix that is a model of the non-distributive lattice of quantum propositions. En este trabajo discutimos las nociones de adecuación y veritativo-funcionalidad en la lógica cuántica, desde el punto de vista de una semántica no determinista. Damos una caracterización del grado de no-funcionalidad compatible con la estructura proposicional de la teoría cuántica, mostrando que tener conectivos veritativo-funcionales, junto con algunos presupuestos relativos a la relación de consecuencia lógica, nos compromete con la adecuación de los conjuntos de interpretación de estos conectivos. Un punto ventajoso de nuestra prueba es que se independiza de la cantidad de valores de verdad involucrados, generalizando trabajos previos. Probamos también que falla la adecuación de cualquier Nmatriz que sirva como modelo para el retículo no distributivo de proposiciones cuánticas. (shrink)

As is well known, Einstein was dissatisfied with the foundation of quantum theory and sought to find a basis for it that would have satisfied his need for a causal explanation. In this paper this abandoned idea is investigated. It is found that it is mathematically not dead at all. More in particular: a quantum mechanical U(1) gauge invariant Dirac equation can be derived from Einstein's gravity field equations. We ask ourselves what it means for physics, the history (...) of physics and for the actual discussion on foundations. (shrink)

Modern scientific cosmology pushes the boundaries of knowledge and the knowable. This is prompting questions on the nature of scientific knowledge. A central issue is what defines a 'good' model. When addressing global properties of the Universe or its initial state this becomes a particularly pressing issue. How to assess the probability of the Universe as a whole is empirically ambiguous, since we can examine only part of a single realisation of the system under investigation: at some point, data will (...) run out. We review the basics of applying Bayesian statistical explanation to the Universe as a whole. We argue that a conventional Bayesian approach to model inference generally fails in such circumstances, and cannot resolve, e.g., the so-called 'measure problem' in inflationary cosmology. Implicit and non-empirical valuations inevitably enter model assessment in these cases. This undermines the possibility to perform Bayesian model comparison. One must therefore either stay silent, or pursue a more general form of systematic and rational model assessment. We outline a generalised axiological Bayesian model inference framework, based on mathematical lattices. This extends inference based on empirical data (evidence) to additionally consider the properties of model structure (elegance) and model possibility space (beneficence). We propose this as a natural and theoretically well-motivated framework for introducing an explicit, rational approach to theoretical model prejudice and inference beyond data. (shrink)

REVIEW OF: Automated Development of Fundamental Mathematical Theories by Art Quaife. (1992: Kluwer Academic Publishers) 271pp. Using the theorem prover OTTER Art Quaife has proved four hundred theorems of von Neumann-Bernays-Gödel set theory; twelve hundred theorems and definitions of elementary number theory; dozens of Euclidean geometry theorems; and Gödel's incompleteness theorems. It is an impressive achievement. To gauge its significance and to see what prospects it offers this review looks closely at the book and the proofs it (...) presents. (shrink)

The Rococo period in the arts, flourishing mainly from about 1710 to about 1750, was stylistically unified, but nevertheless its tremendous productivity and appeal throughout Occidental culture has proven difficult to explain. Having no contemporary theoretical literature, the Rococo is commonly taken to have been a final and degenerate form of the Baroque era or an extravagance arising from the supposed careless frivolity of the elites, including the intellectuals of the Enlightenment. Neither approach adequately accounts for Rococo style. Naming the (...) Rococo raises profound issues for understanding the relations between conception and production in historical terms. Against the many difficulties that the term has involved in accounting for an immense but elusive cultural movement, this thesis argues that some of the chief philosophical conceptions of the period clarify the particular character and significance of Rococo production. Rococo production is here studied chiefly in decor, architecture, and the plastic arts. This thesis also makes an extended general argument for the value of intellectual history. Rococo style is a group of visual effects of which the central character is atectonicity. This is established by a synthesizing overview of Rococo ornamental motifs. Principal theorists of post-Cartesian thought have failed to see how these distinguish Rococo style from both Baroque and Enlightenment culture. The analysis addresses the historical narratives of Benjamin, Adorno, Foucault, Deleuze, and others about Baroque and Enlightenment culture. The core historical claim of this thesis is that Rococo atectonic effects are visual forms of the anti-materialist, idealist ontology of George Berkeley and of the metaphysics and ontology in the early work of Giambattista Vico. Close readings of important passages from works of both philosophers published in 1710 develop the relationship between atectonics and idealist ontology. Both men rejected the Baroque hierarchical cosmology in favor of finitude as the key to human understanding. The readings center on the issue of causality, including Berkeley’s views of the perfect contingency of the world and on Vico’s theories of truth and ingenium. A reading of Diderot’s critique of the Rococo, which led the reaction to it, shows that he recognized the power of idealist ontology in the Rococo cultural production. The larger force in the rejection of Rococo is the emergence of the sublime as a morally fearful feature of physical nature. Montesquieu’s aesthetic work also shows the transition to a more rigidly determined view of existence, which was expressed but constrained in the little-recognized lattice motif in Rococo arts. The result of these readings is the influence during and after the Rococo period of the concept of continuous creation, in which the memory and imagination of the human subject relays God-given powers of creation into the production of culture. Continuous creation also suggested a human capability to animate material nature. Rococo style displays this as pre-cinematic effects that represent the non-material, non-causal deep structure of reality. (shrink)

The force law of Maxwell’s classical electrodynamics does not agree with Newton’s third law of motion (N3LM), in case of open circuit magnetostatics. Initially, a generalized magnetostatics theory is presented that includes two additional physical fields B_Φ and B_l, defined by scalar functions. The scalar magnetic field B_l mediates a longitudinal Ampère force that balances the transverse Ampère force (aka the magnetic field force), such that the sum of the two forces agrees with N3LM for all stationary current distributions. (...) Secondary field induction laws are derived; a secondary curl free electric field E_l is induced by a time varying scalar magnetic field B_l, which isn’t described by Maxwell’s electrodynamics. The Helmholtz’ decomposition is applied to exclude E_l from the total electric field E, resulting into a more simple Maxwell theory. Decoupled inhomogeneous potential equations and its solutions follow directly from this theory, without having to apply a gauge condition. Field expressions are derived from the potential functions that are simpler and far field consistent with respect to the Jefimenko fields. However, our simple version of Maxwell’s theory does not satisfy N3LM. Therefore we combine the generalized magnetostatics with the simple version of Maxwell’s electrodynamics, via the generalization of Maxwell’s speculative displacement current. The resulting electrodynamics describes three types of vacuum waves: the Φ wave, the longitudinal electromagnetic (LEM) wave and the transverse electromagnetic (TEM) wave, with phase velocities respectively a, b and c. Power- and force theorems are derived, and the force law agrees with Newton’s third law only if the phase velocities satisfy the following condition: a >> b and b = c. The retarded potential functions can be found without gauge conditions, and four retarded field expressions are derived that have three near field terms and six far field terms. All six far field terms are explained as the mutual induction of two free fields. Our theory supports Rutherford’s solution of the 4/3 problem of electromagnetic mass, which requires an extra longitudinal electromagnetic momentum. Our generalized classical electrodynamics might spawn new physics experiments and electrical engineering, such as new photoelectric effects based on Φ- or LEM radiation, and the conversion of natural Φ- or LEM radiation into useful electricity, in the footsteps of dr. N. Tesla and dr. T.H. Moray. (shrink)

I critically examine the assumption that the theoretical structure that varies under theoretical symmetries is redundant and should be eliminated from a metaphysical picture of the universe, following a ‘symmetry to reality’ inference. I do so by analysing the status of coordinate change symmetries taking a pragmatic approach. I argue that coordinate systems function as indexical devices, and play an important pragmatic role for representing concrete physical systems. I examine the implications of considering this pragmatic role seriously, taking what I (...) call a perspectivist stance. My conclusion is that under a perspectivist stance, all symmetries (including local gauge symmetries) potentially have a direct empirical status: they point to dynamical aspects that are invariant under changes of operationalisation, and they constitute a guide not to reality, but to nomology and kinship. (shrink)

In this essay I give a complete join semi-lattice of possible display-equivalence schemes for Display Logic, using the standard connectives, and leaving fixed only the schemes governing the star. In addition to proving the completeness of this list, I offer a discussion of the basic properties of these schemes.

Abstract: -/- This paper presents a unified theory of structured emergence rooted in chirality, spiral geometry, and prime-indexed resonance. Rejecting probability as a fundamental organizing principle, the framework—called CODES (Chirality of Dynamic Emergent Systems)—proposes that all emergence, from subatomic particles to consciousness, follows deterministic resonance pathways governed by coherent prime-weighted functions. -/- At the heart of this model lies the CPR Equation (Coherent Prime Resonance), a formalism for phase-locked field dynamics that structures intelligence, time, and biological form as recursive (...) harmonics rather than stochastic outcomes. The theory reinterprets classical physics, evolution, cognition, and artificial intelligence through the lens of phase-aligned recursion and resonance architecture. -/- Rather than viewing consciousness as emergent from complexity, CODES treats it as the recursive self-awareness of a chirally-tuned system—one that mirrors its own spiral geometry. Intelligence becomes not computational, but musical: a dynamic feedback system for tuning coherence across domains. -/- This paper synthesizes insights from physics, biology, information theory, and philosophy, proposing a post-probabilistic cosmology where intelligence, structure, and time are expressions of a deeper resonance lattice. It serves as both theoretical foundation and aesthetic invocation for a phase-locked civilization. -/- Note: while this paper speculative, the logic has very high coherence. (shrink)