According to the algebraic approach to spacetime, a thoroughgoing dynamicism, physical fields exist without an underlying manifold. This view is usually implemented by postulating an algebraic structure (e.g., commutative ring) of scalar-valued functions, which can be interpreted as representing a scalar field, and deriving other structures from it. In this work, we point out that this leads to the unjustified primacy of an undetermined scalar field. Instead, we propose to consider algebraic structures in which all (and only) (...) class='Hi'>physical fields are primitive. We explain how the theory of natural operations in differential geometry—the modern formalism behind classifying diffeomorphism-invariant constructions—can be used to obtain concrete implementations of this idea for any given collection of fields. For concrete examples, we illustrate how our approach applies to a number of particular physical fields, including electrodynamics coupled to a Weyl spinor. (shrink)

The facts that led to establishment of the special theory of relativity are reanalyzed. The analysis leads to the well-known formalism, involving, however, somewhat unusual notations. The object of the analysis is to start more closely from the directly observed experimental facts than is usually done; at the same time, great stress is laid on giving formulations independent of the representation in particular reference systems. A detailed analysis is given as to the actual physical methods involved when introducing three- (...) or four-dimensional reference systems. The orthogonal transformations and also the Lorentz transformations are introduced not so much as coordinate transformations but as operators reflecting physical properties of material systems. The principle of relativity is replaced by a mathematically equivalent principle denoted as theLorentz principle which reflects certain symmetries of the known physical laws. (shrink)

It is shown that the method of operationaldefinition of theoretical terms applied inphysics may well support constructivist ideasin cognitive sciences when extended toobservational terms. This leads to unexpectedresults for the notion of reality, inductionand for the problem why mathematics is sosuccessful in physics.A theory of cognitive operators is proposedwhich are implemented somewhere in our brainand which transform certain states of oursensory apparatus into what we call perceptionsin the same sense as measurement devicestransform the interaction with the object intomeasurement results. Then, (...) perceivedregularities, as well as the laws of nature wewould derive from them can be seen asinvariants of the cognitive operators concernedand are by this human specific constructsrather than ontologically independent elements.. So, reality in so far it isrepresented by the laws of nature has no longeran independent ontological status. This isopposed to Campbell's `natural selectionepistemology'. From this it is shown that thereholds an incompleteness theorem for physicallaws similar to Gödels incompletenesstheorem for mathematical axioms, i.e., there isno definitive or object `theory of everything'.This constructivist approaches to cognitionwill allow a coherent and consistent model ofboth cognitive and organic evolution. Whereasthe classical view sees the two evolutionrather dichotomously. (shrink)

This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to the Copenhagen Interpretation (in the original version due to Bohr and Heisenberg), which the author relates to the mathematical formalism of operator algebras originally created by von Neumann. The book therefore includes comprehensive appendices on functional analysis and C*-algebras, as well as a briefer one on logic, category theory, and topos theory. Matters of foundational as well as mathematical interest that are (...) covered in detail include symmetry (and its "spontaneous" breaking), the measurement problem, the Kochen-Specker, Free Will, and Bell Theorems, the Kadison-Singer conjecture, quantization, indistinguishable particles, the quantum theory of large systems, and quantum logic, the latter in connection with the topos approach to quantum theory. This book is Open Access under a CC BY licence. (shrink)

definitions and explanations frequently come together and permeate almost all fields of knowledge. This does not exclude mathematics, even when these definitions hold clear links and close connections with our physical world. Here we propose a rather different perspective. Making operational physical assumptions, we show how it is possible to rigorously reconstruct some features of both geometry and topology. Broadly speaking, assuming this operational and more concrete philosophy we not only are capable of defining primitive concepts (...) like points, straight lines, planes, angles and spaces, but we also go all the way up to more complex constructions. We show that within our method it is also possible to come up with what we call a compass-based topology as well as a normed and a metric space. We hope this operationalist point-of-view can assist other researchers and students to have a clearer understanding of these quite abstract concepts. (shrink)

The stochastic phase-space solution of the particle localizability problem in relativistic quantum mechanics is reviewed. It leads to relativistically covariant probability measures that give rise to covariant and conserved probability currents. The resulting particle propagators are used in the formulation of stochastic geometries underlying a concept of quantum spacetime that is operationally based on stochastically extended quantum test particles. The epistemological implications of the intrinsic stochasticity of such quantum spacetime frameworks for microcausality, the EPR paradox, etc., are discussed.

In this paper, we investigate the constitutive problems and other several aspects of what a research entitled 'formal epistemology' should be. The interest in this subject has to do with the possibility of reaching a privileged point of view or axis of research - i.e., the 'formal' one - that would allow, a better grasp of the richness and variety of the facts and problems tackled by precise (local) epistemology of theories (for example, in physics). This approach is (...) likely to enable one to hold the main structural lines that organize those theories according to a more com prehensive, unifying and synthetic intelligibilit. By the same token, it would eventually allow a better handling of the changes required in the organization of knowledge, putting emphasis on its main directions, drawing up a rational inventory of this knowledge, and perhaps anticipating others. At first, we deal with the `thought of changes' that no approach of the 'form' can afford to leave aside, since the meaning of this concept is inseparable from the contents that come with constructions and modifications. We examine then the notion of 'epistemic operation' as an instrument to create new forms on the theoretical as well as on the meta-theoretical levels. ln the wake of it, we analyze the characteristics of the form and of the formal, as well as their relationship with the contents of knowledge. We also take the notion of object into account, since it depends upon the decision of a subject and upon conventional choices. We finally inquire about the link between `epistemic operations' as specified above and algorithmic functions for knowledge statements, and emphasize the risk of reductionism that might follow from a naturalistic conception of representation. (shrink)

The brain is composed of electrically excitable neuronal networks regulated by the activity of voltage-gated ion channels. Further portraying the molecular composition of the brain, however, will not reveal anything remotely reminiscent of a feeling, a sensation or a conscious experience. In classical physics, addressing the mind–brain problem is a formidable task because no physical mechanism is able to explain how the brain generates the unobservable, inner psychological world of conscious experiences and how in turn those conscious experiences steer (...) the underlying brain processes toward desired behavior. Yet, this setback does not establish that consciousness is non-physical. Modern quantum physics affirms the interplay between two types of physical entities in Hilbert space: unobservable quantum states, which are vectors describing what exists in the physical world, and quantum observables, which are operators describing what can be observed in quantum measurements. Quantum no-go theorems further provide a framework for studying quantum brain dynamics, which has to be governed by a physically admissible Hamiltonian. Comprising consciousness of unobservable quantum information integrated in quantum brain states explains the origin of the inner privacy of conscious experiences and revisits the dynamic timescale of conscious processes to picosecond conformational transitions of neural biomolecules. The observable brain is then an objective construction created from classical bits of information, which are bound by Holevo’s theorem, and obtained through the measurement of quantum brain observables. Thus, quantum information theory clarifies the distinction between the unobservable mind and the observable brain, and supports a solid physical foundation for consciousness research. (shrink)

A new approach to quantum theory is proposed in this paper. The basis is taken to be theoretical variables, variables that may be accessible or inaccessible, i.e., it may be possible or impossible for an observer to assign arbitrarily sharp numerical values to them. In an epistemic process, the accessible variables are just ideal observations connected to an observer or to some communicating observers. Group actions are defined on these variables, and group representation theory is the basis for developing (...) the Hilbert space formalism here. Operators corresponding to accessible theoretical variables are derived, and in the discrete case, it is proved that the possible physical values are the eigenvalues of these operators. The focus of the paper is some mathematical theorems paving the ground for the proposed foundation of quantum theory. It is shown here that the groups and transformations needed in this approach can be constructed explicitly in the case where the accessible variables are finite-dimensional. This simplifies the theory considerably: To reproduce the Hilbert space formulation, it is enough to assume the existence of two complementary variables. The interpretation inferred from the proposed foundation here may be called a general epistemic interpretation of quantum theory. A special case of this interpretation is QBism; it also has a relationship to several other interpretations. (shrink)

This book provides the first unified overview of the burgeoning research area at the interface between Quantum Foundations and Quantum Information. Topics include: operational alternatives to quantum theory, information-theoretic reconstructions of the quantum formalism, mathematical frameworks for operational theories, and device-independent features of the set of quantum correlations. Powered by the injection of fresh ideas from the field of Quantum Information and Computation, the foundations of Quantum Mechanics are in the midst of a renaissance. The last two (...) decades have seen an explosion of new results and research directions, attracting broad interest in the scientific community. The variety and number of different approaches, however, makes it challenging for a newcomer to obtain a big picture of the field and of its high-level goals. Here, fourteen original contributions from leading experts in the field cover some of the most promising research directions that have emerged in the new wave of quantum foundations. The book is directed at researchers in physics, computer science, and mathematics and would be appropriate as the basis of a graduate course in Quantum Foundations. (shrink)

We review the dynamical approach to spacetime theories---in particular, its origins in the development of special relativity, its opposition to the contemporary `geometrical' approach, and the manner in which it plays out in general relativity. In addition, we demonstrate that the approach is compatible with the `angle bracket school'.

I respond to the frequent objection that structural realism fails to sharply state an alternative to the standard predicate-logic, object / property / relation, way of doing metaphysics. The approach I propose is based on what I call a ‘math-first’ approach to physical theories (close to the so-called ‘semantic view of theories') where the content of a physical theory is to be understood primarily in terms of its mathematical structure and the representational relations it (...) bears to physical systems, rather than as a collection of sentences that attempt to make true claims about those systems (a ‘language-first’ approach). I argue that adopting the math-first approach already amounts to a form of structural realism, and that the choice between epistemic and ontic versions of structural realism is then a choice between a language-first and math-first view of metaphysics; I then explore the status of objects (and properties and relations) in fundamental and non-fundamental physics for both versions of math-first structural realism. (shrink)

Brown and Pooley’s ‘dynamical approach’ to physical theories asserts, in opposition to the orthodox position on physical geometry, that facts about physical geometry are grounded in, or explained by, facts about dynamical fields, not the other way round. John Norton has claimed that the proponent of the dynamical approach is illicitly committed to spatiotemporal presumptions in ‘constructing’ space-time from facts about dynamical symmetries. In this article, I present an abstract, algebraic formulation of field (...) class='Hi'>theories and demonstrate that the proponent of the dynamical approach is not committed, in special relativity, to the illicit presumptions to which Norton refers. (shrink)

Some physicists and philosophers argue that unitarily inequivalent representations in quantum field theory are mathematical surplus structure. Support for that view, sometimes called ‘algebraic imperialism’, relies on Fell’s theorem and its deployment in the algebraic approach to QFT. The algebraic imperialist uses Fell’s theorem to argue that UIRs are ‘physically equivalent’ to each other. The mathematical, conceptual, and dynamical aspects of Fell’s theorem will be examined. Its use as a criterion for physical equivalence is examined in detail and (...) it is proven that Fell’s theorem does not apply to the vast number of representations used in the algebraic approach. UIRs are not another case of theoretical underdetermination, because they make different predictions about ‘classical’ operators. These results are applied to the Unruh effect where there is a continuum of UIRs to which Fell’s theorem does not apply. _1_ Introduction _2_ Weak Equivalence and Physical Equivalence _3_ Mathematical Overview of Algebraic Quantum Field Theory _4_ Fell’s Theorem and Philosophical Responses to Weak Equivalence _5_ Weak Equivalence in C*-Algebras and W*-Algebras _6_ Classical Equivalence and Weak Equivalence _7_ Interlude: Is Weak Equivalence Really Physical Equivalence? _8_ The Unruh Effect _9_ Time Evolution and Symmetries _10_ Conclusions Appendix. (shrink)

In the foundations of quantum mechanics Gleason’s theorem dictates the uniqueness of the state transition probability via the inner product of the corresponding state vectors in Hilbert space, independent of which measurement context induces this transition. We argue that the state transition probability should not be regarded as a secondary concept which can be derived from the structure on the set of states and properties, but instead should be regarded as a primitive concept for which measurement context is crucial. Accordingly, (...) we adopt an operational approach to quantum mechanics in which a physical entity is defined by the structure of its set of states, set of properties and the possible (measurement) contexts which can be applied to this entity. We put forward some elementary definitions to derive an operational theory from this State–COntext–Property (SCOP) formalism. We show that if the SCOP satisfies a Gleason-like condition, namely that the state transition probability is independent of which measurement context induces the change of state, then the lattice of properties is orthocomplemented, which is one of the ‘quantum axioms’ used in the Piron–Solèr representation theorem for quantum systems. In this sense we obtain a possible physical meaning for the orthocomplementation widely used in quantum structures. (shrink)

The model of the world proposed by Whitehead provides a natural theoretical framework in which to imbed quantum theory. This model accords with the ontological ideas of Heisenberg, and also with Einstein's view that physical theories should refer nominally to the objective physical situation, rather than our knowledge of that system. Whitehead imposed on his model the relativistic requirement that what happens in any given spacetime region be determined only by what has happened in its absolute past, (...) i.e., in the backward light-cone drawn from that region. This requirement must be modified, for it is inconsistent with the implications of quantum theory expressed by a generalized version of Bell's theorem. Revamping the causal spacetime structure of the Whitehead-Heisenberg ontology to bring it into accord with the generalized Bell's theorem creates the possibility of a nonlocal causal covariant theory that accords with the statistical prediction of quantum theory. (shrink)

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

Approach to quantum field theory -- Scalar field theory -- Quantum electrodynamics -- Perspectives.

The rich body of physical theories defines the foundation of our understanding of the world. Its mathematical formulation is based on classical Aristotelian logic. In the philosophy of science the ambiguities, paradoxes, and the possibility of subjective interpretations of facts have challenged binary logic, leading, among other developments, to Gotthard Günther’s theory of polycontexturality. Günther’s theory explains how observers with subjective perception can become aware of their own subjectivity and provides means to describe contradicting or even paradox observations (...) in a logically sound formalism. Here we summarize the formalism behind Günther’s theory and apply it to two well-known examples from physics where different observers operate in distinct and only locally valid logical systems. Using polycontextural logic we show how the emerging awareness of these limitations of logical systems entails the design of mathematical transformations, which then become an integral part of the theory. In our view, this approach offers a novel perspective on the structure of physical theories and, at the same time, emphasizes the relevance of the theory of polycontexturality in modern sciences. (shrink)

This unique book provides a self-contained conceptual and technical introduction to the theory of differential sheaves. This serves both the newcomer and the experienced researcher in undertaking a background-independent, natural and relational approach to "physical geometry". In this manner, this book is situated at the crossroads between the foundations of mathematical analysis with a view toward differential geometry and the foundations of theoretical physics with a view toward quantum mechanics and quantum gravity. The unifying thread is provided by (...) the theory of adjoint functors in category theory and the elucidation of the concepts of sheaf theory and homological algebra in relation to the description and analysis of dynamically constituted physical geometric spectrums. (shrink)

Bohmian Mechanics was formulated in 1952 by David Bohm as a complete theory of quantum phenomena based on a particle picture. It was promoted some decades later by John S. Bell, who, intrigued by the manifestly nonlocal structure of the theory, was led to his famous Bell's inequalities. Experimental tests of the inequalities verified that nature is indeed nonlocal. Bohmian mechanics has since then prospered as the straightforward completion of quantum mechanics. This book provides a systematic introduction to Bohmian mechanics (...) and to the mathematical abstractions of quantum mechanics, which range from the self-adjointness of the Schrödinger operator to scattering theory. It explains how the quantum formalism emerges when Boltzmann's ideas about statistical mechanics are applied to Bohmian mechanics. The book is self-contained, mathematically rigorous and an ideal starting point for a fundamental approach to quantum mechanics. It will appeal to students and newcomers to the field, as well as to established scientists seeking a clear exposition of the theory. (shrink)

Here, in our approximation of polaron theory, we examine the importance of introducing theT product, which turn out to be a very convenient theoretical approach for the calculation of thermodynamical averages.We focus attention on the investigation of the so-called linear polaron Hamiltonian and present in detail the calculation of the correlation function, spectral function, and Green function for such a linear system.It is shown that the linear polaron Hamiltonian provides an exactly solvable model of our system, and the result (...) obtained with this approach holds true for an arbitrary coupling constant which describes the strength of interaction between the electron and the lattice vibrations. Then, with the help of a variational technique, we show the possibility of reducing the real polaron Hamiltonian to a socalled trial or approximate linear model Hamiltonian.We also consider the exact calculation of free energy with a special technique that reduces calculations with the help of the T product, which, in our opinion, works much better and is easier than other analogous considerations, for example, the path-integral or Feynman-integral method.(1,2)Here we furthermore recall our own work,(4) where it was shown that the results of Refs. 7 and 8 concerning the impedance calculation in the polaron model may be obtained directly without the use of the path-integral method.The study of the polaron system's thermodynamics is carried out by us in the framework of the functional method. A calculation of the free energy and the momentum distribution function is proposed.Note also that the polaron systems with strong coupling(9) proved to be useful in different quantum field models in connection with the construction of dynamical models of composite particles. A rigorous solution of the special strong-coupling polaron problem, describing the interaction of a nonrelativistic particle with a quantum field, was given by Bogolubov.(3) The works of Tavkhelidze, Fedyanin, Khrustalev, and others(10–13) are dedicated to the further development and generalization of the Bogolubov method.Notice, too, that the electron-photon interaction effects play an important part in many problems of modern solid state theory (see, e.g., Refs. 7 and 14–19).The present paper summarizes a set of lectures delivered as a special course in the physics department of Moscow State University. (shrink)

Formalized physical theories are not, as a rule, stated in intensional languages. Yet in talking about them we often treat them as if they were. We say for instance: 'Consider what would happen if instead of p's being true q were. In such a case r would be likely.' If we say this sort of thing, p, q and r appear to stand for the meanings of sentences of the theory, but meanings in some intensional sense. Now it (...) is very easy to extend the syntax of the formal theory by adding all sorts of intensional operators, e.g. a modal operator; and it is possible to extend the semantics by adding a set of possible worlds and evaluating the modal formulae in the usual way. But this procedure is open to the criticism that we are extending the theory by adding something which is not already there. In particular the criticism will be that the possible worlds required by the semantics seem to have no connection with the intended interpretations of the original physical theory. The aim of this paper is to shew how a set of possible worlds is already implicit in the intended interpretations of a formally presented physical theory and that these interpretations induce, in a comparatively direct way, an intensional semantics which corresponds to the original one. (shrink)

In the early phase of the new history of physics that emerged at about 1970 and was pioneered by John Heilbron, Thomas Kuhn, Paul Forman, and others, the quantum and atomic theories of the first three decades of the twentieth century played a central role. Since then, interest in the area has continued, but for the last few decades at a slower rate. While other areas of the new physics—such as the general theory of relativity—have attracted much attention, only (...) relatively little has been written about the quantum revolution. Given this situation, Suman Seth’s comprehensive and innovative Crafting the Quantum is a welcome publication that provides the field with fresh blood and new perspectives. The title derives from a letter to Einstein of January 1922, in which Arnold Sommerfeld wrote that “I can only advance the craft of the quantum, you have to make its philosophy.” In spite of its title, Seth’s book is neither restricted to the new quantum theory nor to Sommerfeld’s role in the tr. (shrink)

I argue against a general time observable in quantum mechanics except for quantum gravity theory. Then I argue in support of case specific arrival time and dwell time observables with a cautionary note concerning the broad approach to POVM observables because of the wild proliferation available.

The Vitruvian Man of Leonardo da Vinci is one of the most famous and most studied drawings over the world as well as one of the most reproduced ones, e.g. in coins, space suit patches, books and movies. The aim of the present work is to discuss the Vitruvian Man as a figurative representation of the Leonardo’s scientific method. Our analysis is based on scientific elements both present in the drawing and provided by Leonardo in his approach to this (...) drawing. Our thesis is that the square symbolizes the measurable physical world and that the man inscribed within the square refers to the physics measurement process based on the operational definition of quantities, including the measurement unit system and the quantities conversion factors. Therefore, the measurement process is fundamental for the Leonardo’s approach to the scientific knowledge, albeit, the drawing also suggests that this latter does not correspond with the true knowledge. The circle, which has a different center with respect to the square, symbolizes the truth, to which the man inscribed in the square yearns, without ever achieving it, the truth being reachable only by the man inscribed within the circle. (shrink)

The considerations of Part I are extended and the experimental data and hypotheses that led to the establishment of the general theory of relativity are analyzed. It is found that one of the fundamental assumptions is that light is propagated homogeneously; i.e., by using arbitrary systems of coordinates, propagation of light can be represented by a homogeneous quadratic form. This is shown to be an assumption that can be verified by experiment, at least in principle. As a result of adding (...) a number of further assumptions to this, the usual formalism of the general theory of relativity can be established. In the above point of view, the general theory of relativity—like any other theory—cannot be built upad hoc, but is built on distinct physical hypotheses, each of which can be subjected to test by experiment. (shrink)

In the categorical approach to the foundations of quantum theory, one begins with a symmetric monoidal category, the objects of which represent physical systems, and the morphisms of which represent physical processes. Usually, this category is taken to be at least compact closed, and more often, dagger compact, enforcing a certain self-duality, whereby preparation processes (roughly, states) are interconvertible with processes of registration (roughly, measurement outcomes). This is in contrast to the more concrete “operational” approach, (...) in which the states and measurement outcomes associated with a physical system are represented in terms of what we here call a convex operational model: a certain dual pair of ordered linear spaces–generally, not isomorphic to one another. On the other hand, state spaces for which there is such an isomorphism, which we term weakly self-dual, play an important role in reconstructions of various quantum-information theoretic protocols, including teleportation and ensemble steering. In this paper, we characterize compact closure of symmetric monoidal categories of convex operational models in two ways: as a statement about the existence of teleportation protocols, and as the principle that every process allowed by that theory can be realized as an instance of a remote evaluation protocol—hence, as a form of classical probabilistic conditioning. In a large class of cases, which includes both the classical and quantum cases, the relevant compact closed categories are degenerate, in the weak sense that every object is its own dual. We characterize the dagger-compactness of such a category (with respect to the natural adjoint) in terms of the existence, for each system, of a symmetric bipartite state, the associated conditioning map of which is an isomorphism. (shrink)

This is a critical review of the book Variational Approach to Gravity Field Theories - From Newton to Einstein and Beyond (2017), written by the Italian astrophysicist Alberto Vecchiato. In his work, Vecchiato shows that physics, as we know it, can be built up from simple mathematical models that become more complex step by step by gradually introducing new principles. The reader is invited to follow the steps that lead from classical physics to relativity and to understand how (...) this happens and why. Moreover, while presenting the variational approach to gravity field theories in a clear and elegant manner, Vecchiato shows a constant worry in leading the readers in such a way that they understand the relevance of what the author considers to be the most powerful technique and unifying concept of theoretical physics - and how it works. Each chapter is enriched with exercises, of which a step-by-step solution is offered, so that the reader can gain a real insight into the topic presented and follow the reading as fruitfully as possible. The most innovative aspect of the book, however, is not the rigorousness and the clarity of the treatment of the variational approach, but rather the point of view that Vecchiato keeps and that the reader is led to endorse too: physics is a human enterprise, prone to error and open to improvement, and not a complete and definite system of truths about our world. (shrink)

The considerations of the two former articles concerning the special and general theories of relativity are extended. The question of the physical reality of the ether and the interpretation of some cosmological problems are discussed. A view is expanded according to which the metric tensor g is taken as the energy momentum tensor of the ether. The gravitational equation of Einstein is considered to represent the equations of motion of the ether. The cosmological red shift is also interpreted (...) in such terms. (shrink)

Purpose: To examine the role of reductionism in the theoretical development of modern physics -- more specifically, in the quest for a complete unification of physical theory -- from the perspective of radical constructivism (RC). Approach: Some central features of the impact of RC on philosophy of physics are pointed out: its position of scientific relativism, with important implications for the validation of scientific propositions; and the notion of sharing constructed knowledge among individual knowers and its consequences for (...) science teaching. The issue of reductionism is then discussed with regard to (a) the hierarchical explanatory ordering of physical phenomena; (b) the idea of a "theory of everything" (TOE); and (c) some of its implications for the methodology and sociology of science. Findings: It is argued that the ontological status of the hierarchical structuring inherent in the sought-after TOE will depend on the individual knower's epistemic position concerning the notion of truth in science. In the relativist epistemology of RC, any true/false dichotomy of theories is without meaning. A hierarchical ordering is just one of many possible strategies that may be chosen for the construction of physical theories; and such a strategy may then be considered successful only to the extent that it yields a theory that is viable. Implications: The paper serves as an illustration of the impact of RC on the ongoing search in physics for a "final theory.". (shrink)

Dualism holds that experiences are non-physical states that exist alongside physical states. Dualism leads to the postulation of psychophysical laws that generate experiences by operating on certain sorts of physical states. What sorts of physical states? To the limited extent that dualists have addressed this question, they have tended to favor a brain-based approach that locates the physical basis of experience in the head. In contrast, this paper develops an argument for a form of (...) dualism on which experience has a physical basis that reaches out into the world. Specifically, the argument uses a puzzle about spatial experience to support a theory I call _tracking dualism_. On tracking dualism, a psychophysical law generates experiences by operating on complex physical states that involve both brain states and tracking relations that they bear to features of the environment. To develop the argument, I discuss tracking dualism alongside its more familiar physicalist counterpart, the tracking intentionalist theory associated with Dretske, Lycan, and Tye. I conclude by outlining a tracking dualist research agenda. (shrink)

The problem of understanding how physical processes in the brain could give rise to consciousness has been identified with the 'comparative explanatory gap', the problem of explaining why different experiences have the differing qualities they do, and the 'absolute explanatory gap', the problem of explaining why anything can be conscious at all. The main innovation of the sensorimotor theory is that it provides a very appealing way of closing the comparative gap by postulating that the quality of experiences corresponds (...) to objective sensorimotor laws that characterize one's bodily interaction with the environment. Here I expound in greater detail how the approach deals with the absolute gap. I refine my previous efforts at understanding what we mean by 'being conscious of something' by abandoning my previous hierarchical approach; by introducing the concept of 'mental manipulation'; and by relying more on a notion of self than I have done previously. I end up with a more variegated notion of consciousness than in previous work, that includes the idea of a complex interwoven patchwork of consciousness with no simple conscious/nonconscious distinction across different species or agents. The approach suggests we need to review the links between consciousness and ethics. (shrink)

The problem of infinities in quantum field theory (QFT) is a longstanding problem in particle physics. To solve this problem, different renormalization techniques have been suggested but the problem persists. Here we suggest another approach to the elimination of infinities in QFT, which is based on non-Diophantine arithmetics – a novel mathematical area that already found useful applications in physics, psychology, and other areas. To achieve this goal, new non-Diophantine arithmetics are constructed and their properties are studied. In addition, (...) non-Diophantine integration is developed in these arithmetics. These constructions allow using constructed non-Diophantine arithmetics for computing integrals associated with Feynman diagrams. Although in the conventional QFT such integrals diverge, their non-Diophantine counterparts are convergent and rigorously defined. As the result, QFT becomes consistent with quantum experiments. (shrink)

Quantum theory does not only predict probabilities, but also relative phases for any experiment, that involves measurements of an ensemble of systems at different moments of time. We argue, that any operational formulation of quantum theory needs an algebra of observables and an object that incorporates the information about relative phases and probabilities. The latter is the (de)coherence functional, introduced by the consistent histories approach to quantum theory. The acceptance of relative phases as a primitive ingredient of any (...) quantum theory, liberates us from the need to use a Hilbert space and non-commutative observables. It is shown, that quantum phenomena are adequately described by a theory of relative phases and non-additive probabilities on the classical phase space. The only difference lies on the type of observables that correspond to sharp measurements. This class of theories does not suffer from the consequences of Bell's theorem (it is not a theory of Kolmogorov probabilities) and Kochen–Specker's theorem (it has distributive “logic”). We discuss its predictability properties, the meaning of the classical limit and attempt to see if it can be experimentally distinguished from standard quantum theory. Our construction is operational and statistical, in the spirit of Copenhagen, but makes plausible the existence of a realist, geometric theory for individual quantum systems. (shrink)

Any advanced theory of physics contains modules defined as essential components that are themselves theories with different domains of application. Different kinds of modules can be distinguished according to the way in which they fit in the symbolic and interpretive apparatus of a theory. The number and kind of the modules of a given theory vary as the theory evolves in time. The relative stability of modules and the variability of their insertion in other theories play a vital (...) role in the application, comparison, construction, and communication of theories. Modularity conveys some global unity to physics through the sharing of modules by diverse theories. This alternative to rigid hierarchies and holistic totalities permits a dynamical, plastic, and symbiotic approach to physical theory. (shrink)

It is commonly the case that a problem concerning a mathematical or physical system can be solved in two quite different ways--by an internal or an external approach. For example, the area of a triangle can be found by integration or by showing it to be half that of a certain rectangle. In general, the first approach is, to analyse the given system into component parts, and the second approach is to deal with the system as (...) a whole. It seems that even in cases where solutions to physical problems obtained according to these two approaches are equally valid, and are equally good as explanations, scientists prefer the solution obtained by the internal approach. The reasons for this preference are examined. And it is suggested that whatever the reasons, this preference may have been partly responsible for the 19th century preference for the Kinetic Theory rather than Thermodynamics. (shrink)

On the basis of Mackey's axiomatic approach to quantum physics or, equivalently, of a “state-event-probability” (SEVP) structure, using a quite standard “fuzzification” procedure, a set of unsharp events (or “effects”) is constructed and the corresponding “state-effect-probability” (SEFP) structure is introduced. The introduction of some suitable axioms gives rise to a partially ordered structure of quantum Brouwer-Zadeh (BZ) poset; i.e., a poset endowed with two nonusual orthocomplementation mappings, a fuzzy-like orthocomplementation, and an intuitionistic-like orthocomplementation, whose set of sharp elements is (...) an orthomodular complete lattice. As customary, by these orthocomplementations the two modal-like necessity and possibility operators are introduced, and it is shown that Ludwig's and Jauch-Piron's approaches to quantum physics are “interpreted” in complete SEFP. As a marginal result, a standard procedure to construct a lot of unsharp realizations starting from any sharp realization of a fixed observable is given, and the relationship among sharp and corresponding unsharp realizations is studied. (shrink)

A serious difficulty for theories of consciousness is to go beyond mere correlation between physical processes and experience. Currently, neural workspace and sensorimotor contingency theories are two of the most promising approaches to make any headway here. This paper explores the relation between these two sets of theories. Workspace theories build on large-scale activity within the brain. Sensorimotor theories include external processes in their explanations, stressing the sensorimotor contingencies that arise from our interaction with (...) the environment. Despite the basic differences, we argue that workspace- and sensorimotor theories are complementary rather than competitive. By combining these theories, a number of problems that hamper them individually may be overcome and their strengths combined: Workspace theories have more to offer for explaining how there can be consciousness in the first place, while sensorimotor theories are strong in making sense of the specific phenomenal character of experiences. (shrink)

We interpret the (formal) postulates of measurement in quantum theory in terms of measurement procedures that can be done in the laboratory (at least in principle).

In the framework of the topos approach to quantum mechanics we give a representation of physical properties in terms of modal operators on Heyting algebras. It allows us to introduce a classical type study of the mentioned properties.

Quantum information theory has given rise to a renewed interest in, and a new perspective on, the old issue of understanding the ways in which quantum mechanics differs from classical mechanics. The task of distinguishing between quantum and classical theory is facilitated by neutral frameworks that embrace both classical and quantum theory. In this paper, I discuss two approaches to this endeavour, the algebraic approach, and the convex set approach, with an eye to the strengths of each, and (...) the relations between the two. I end with a discussion of one particular model, the toy theory devised by Rob Spekkens, which, with minor modifications, fits neatly within the convex sets framework, and which displays in an elegant manner some of the similarities and differences between classical and quantum theories. The conclusion suggested by this investigation is that Schrödinger was right to find the essential difference between classical and quantum theory in their handling of composite systems, though Schrödinger's contention that it is entanglement that is the distinctive feature of quantum mechanics needs to be modified. (shrink)

Quantum Theory and the Schism in Physics is one of the three volumes of Karl Popper’s Postscript to the Logic of scientific Discovery . The Postscript is the culmination of Popper’s work in the philosophy of physics and a new famous attack on subjectivist approaches to philosophy of science. Quantum Theory and the Schism in Physics is the third volume of the Postscript . It may be read independently, but it also forms part of Popper’s interconnected argument in the Postscript (...) . It presents Popper’s classic statement on quantum physics and offers important insights into his thinking on problems of method within science and physics as a whole. (shrink)

This paper is concerned with a logical system, called Brouwer-Zadeh logic, arising from the BZ poset of all effects of a Hilbert space. In particular, we prove a representation theorem for Brouwer-Zadeh lattices, and we show that Brouwer-Zadeh logic is not characterized by the MacNeille completions of all BZ posets of effects.

A method is proposed that should facilitate the construction of theories of “submicroscopic particles” (denoted as “theories of microchannels”) in a way similar to the use of group-theoretical methods. The “conceptual analysis” (CA) method is based on the analysis of the basic concepts of a theory; it permits a determination of necessary conditions imposed on the mathematical apparatus (of the theory) which then appear as a mathematical representation of the structures obtained in a formal scheme of a theory. (...) A pertinent conceptual analysis leads to a new definition (“relativization”) of the concept “empirical implication.” The approach may be characterized as “realistic” and “operational.” The application of the CA method is illustrated on the example of quantum theory. In Part I the algebraic structure of a partially ordered, up-ward directed, bounded set is deduced from the rudimentary concepts. In Parts II and III, we shall deduce the Hilbert-space structure (well established in quantum mechanics) from postulates on some essential idealizations accepted in the theory. Whereas Part II is concerned with the idealizations of existing quantum theories based on the Hilbert-space formalism, Part I may be considered as a general basis for a wider class of theories. (shrink)

We propose a new point of view for interpreting Newton’s and Einstein’s theories of gravity. By taking inspiration from Continuum Mechanics and its treatment of anisotropies, we formulate new gravitational actions for modified theories of gravity. These models are simple and natural generalisations with many interesting properties. Above all, their precise form can, in principle, be determined experimentally.

Written for advanced undergraduates, physicists, and historians and philosophers of physics, this book tells the story of the development of our understanding of quantum phenomena through the extraordinary years of the first three decades of the twentieth century. Rather than following the standard axiomatic approach, this book adopts a historical perspective, explaining clearly and authoritatively how pioneers such as Heisenberg, Schrodinger, Pauli and Dirac developed the fundamentals of quantum mechanics and merged them into a coherent theory, and why the (...) mathematical infrastructure of quantum mechanics has to be as complex as it is. The author creates a compelling narrative, providing a remarkable example of how physics and mathematics work in practice. The book encourages an enhanced appreciation of the interaction between mathematics, theory and experiment, helping the reader gain a deeper understanding of the development and content of quantum mechanics than any other text at this level. (shrink)

Metalogic is an open-ended cognitive, formal methodology pertaining to semantics and information processing. The language that mathematizes metalogic is known as metalanguage and deals with metafunctions purely by extension on patterns. A metalogical process involves an effective enrichment in knowledge as logical statements, and, since human cognition is an inherently logic–based representation of knowledge, a metalogical process will always be aimed at developing the scope of cognition by exploring possible cognitive implications reflected on successive levels of abstraction. Indeed, it is (...) basically impracticable to maintain logic–and–metalogic without paying heed to cognitive theorizing. For it is cognitively irrelevant whether possible conclusions are deduced from some premises before the premises are determined to be true or whether the premises themselves are determined to be true first and, then, the conclusions are deduced from them. In this paper we consider the term metalogic as inherently embodied under the framework referred to as cognitive science and mathematics. We propose a metalogical interpretation of Arrow’s impossibility theorem and, to that end, choice theory is understood as a mental course of action dealing with logic and metalogic issues, in which a possible mathematical approach to model a mental course of action is adopted as a systematic operating method. Nevertheless, if we look closely at the core of Arrow’s impossibility theorem in terms of metalogic, a second fundamental contribution to this framework is represented by the Nash equilibrium. As a result of the foregoing, therefore, we prove the metalogical equivalence between Arrow’s impossibility theorem and the existence of the Nash equilibrium. More specifically, Arrow’s requirements correspond to the Nash equilibrium for finite mixed strategies with no symmetry conditions. To demonstrate this proof, we first verify that Arrow’s set and Nash’s set are isomorphic to each other, both sets being under stated conditions of non–symmetry. Then, the proof is completed by virtue of category theory. Indeed, the two sets are categories that correspond biuniquely to one another and, thus, it is possible to define a covariant functor that preserves their mutual structures. According to this, we show the proof–dedicated metalanguage as a precursor to a special equivalence theorem. (shrink)