We investigate the validity of the field explanation of the wave function by analyzing the mass and charge density distributions of a quantum system. It is argued that a charged quantum system has effective mass and charge density distributing in space, proportional to the square of the absolute value of its wave function. This is also a consequence of protective measurement. If the wave function is a physical field, then the mass and charge density will be distributed in space simultaneously (...) for a charged quantum system, and thus there will exist a remarkable electrostatic self-interaction of its wave function, though the gravitational self-interaction is too weak to be detected presently. This not only violates the superposition principle of quantum mechanics but also contradicts experimental observations. Thus we conclude that the wave function cannot be a description of a physical field. In the second part of this paper, we further analyze the implications of these results for the main realistic interpretations of quantum mechanics, especially for de Broglie-Bohm theory. It has been argued that de Broglie-Bohm theory gives the same predictions as quantum mechanics by means of quantum equilibrium hypothesis. However, this equivalence is based on the premise that the wave function, regarded as a Ψ-field, has no mass and charge density distributions, which turns out to be wrong according to the above results. For a charged quantum system, both Ψ-field and Bohmian particle have charge density distribution. This then results in the existence of an electrostatic self-interaction of the field and an electromagnetic interaction between the field and Bohmian particle, which contradicts both the predictions of quantum mechanics and experimental observations. Therefore, de Broglie-Bohm theory as a realistic interpretation of quantum mechanics is probably wrong. Lastly, we suggest that the wave function is a description of some sort of ergodic motion (e.g. random discontinuous motion) of particles, and we also briefly analyze the implications of this suggestion for other realistic interpretations of quantum mechanics including many-worlds interpretation and dynamical collapse theories. (shrink)

We investigate the implications of protective measurement for de Broglie-Bohm theory, mainly focusing on the interpretation of the wave function. It has been argued that the de Broglie-Bohm theory gives the same predictions as quantum mechanics by means of quantum equilibrium hypothesis. However, this equivalence is based on the premise that the wave function, regarded as a Ψ-field, has no mass and charge density distributions. But this premise turns out to be wrong according to (...) protective measurement; a charged quantum system has effective mass and charge density distributing in space, proportional to the square of the absolute value of its wave function. Then in the de Broglie-Bohm theory both Ψ-field and Bohmian particle will have charge density distribution for a charged quantum system. This will result in the existence of an electrostatic self-interaction of the field and an electromagnetic interaction between the field and Bohmian particle, which not only violates the superposition principle of quantum mechanics but also contradicts experimental observations. Therefore, the de Broglie-Bohm theory as a realistic interpretation of quantum mechanics is problematic according to protective measurement. Lastly, we briefly discuss the possibility that the wave function is not a physical field but a description of some sort of ergodic motion (e.g. random discontinuous motion) of particles. (shrink)

Pure shape dynamics (PSD) is a novel implementation of the relational framework originally proposed by Julian Barbour and Bruno Bertotti. PSD represents a Leibnizian/Machian approach to physics in that it completely describes the dynamical evolution of a physical system without resorting to any structure external to the system itself. The chapter discusses how PSD effectively describes a de Broglie-Bohm N-body system and the conceptual benefits of such a relational description. The analysis will highlight the new directions in the (...) quest for an understanding of the nature of the wave function that are opened up by a modern relationalist elaboration on de Broglie's and Bohm's original insights. (shrink)

It is generally argued that if the wave-function in the de Broglie–Bohm theory is a physical field, it must be a field in configuration space. Nevertheless, it is possible to interpret the wave-function as a multi-field in three-dimensional space. This approach hasn’t received the attention yet it really deserves. The aim of this paper is threefold: first, we show that the wave-function is naturally and straightforwardly construed as a multi-field; second, we show why this interpretation is superior (...) to other interpretations discussed in the literature; third, we clarify common misconceptions. (shrink)

In the recent literature, it has been shown that the wave function in the de Broglie–Bohm theory can be regarded as a new kind of field, i.e., a "multi-field", in three-dimensional space. In this paper, I argue that the natural framework for the multi-field is the original second-order Bohm’s theory. In this context, it is possible: i) to construe the multi-field as a real-valued scalar field; ii) to explain the physical interaction between the multi-field and (...) the Bohmian particles; and iii) to clarify the status of the energy-momentum conservation and the dynamics of the theory. (shrink)

The meaning of the wave function and its evolution are investigated. First, we argue that the wave function in quantum mechanics is a description of random discontinuous motion of particles, and the modulus square of the wave function gives the probability density of the particles being in certain locations in space. Next, we show that the linear non-relativistic evolution of the wave function of an isolated system obeys the free Schrödinger equation due to the requirements of spacetime translation invariance and (...) relativistic invariance. Thirdly, we argue that the random discontinuous motion of particles may lead to a stochastic, nonlinear collapse evolution of the wave function. A discrete model of energy-conserved wavefunction collapse is proposed and shown consistent with existing experiments and our macroscopic experience. Besides, we also give a critical analysis of the de Broglie-Bohm theory, the many-worlds interpretation and other dynamical collapse theories, and briefly discuss the issues of unifying quantum mechanics and relativity. (shrink)

The paper explains why the de Broglie–Bohm theory reduces to Newtonian mechanics in the macroscopic classical limit. The quantum-to-classical transition is based on three steps: (i) interaction with the environment produces effectively factorized states, leading to the formation of _effective wave functions_ and hence _decoherence_; (ii) the effective wave functions selected by the environment—the pointer states of decoherence theory—will be well-localized wave packets, typically Gaussian states; (iii) the quantum potential of a Gaussian state becomes negligible under (...) standard classicality conditions; therefore, the effective wave function will move according to Newtonian mechanics in the correct classical limit. As a result, a Bohmian system in interaction with the environment will be described by an effective Gaussian state and—when the system is macroscopic—it will move according to Newtonian mechanics. (shrink)

What is the meaning of the wave-function? After almost 100 years since the inception of quantum mechanics, is it still possible to say something new on what the wave-function is supposed to be? Yes, it is. And Shan Gao managed to do so with his newest book. Here we learn what contemporary physicists and philosophers think about the wave-function; we learn about the de Broglie-Bohm theory, the GRW collapse theory, the gravity-induced collapse theory by Roger (...) Penrose, and the famous PBR theorem; we learn about Schrödinger's original idea that the wave-function represents charge densities; we learn about the notorious measurement problem and its consequences; we learn about the challenges to find a consistent relativistic quantum theory; and we learn, of course, Gao's own suggestion for the status of the wave-function. Above all, Gao shows us the significance of protective measurements for our search of the ontology of quantum mechanics. Still not widely recognized among physicists and philosophers, protective measurements let us look deeper into quantum mechanics. For Gao this is the main tool to settle the issue on the ontological status of the wave-function: the wave-function is real because one can measure it. (shrink)

Bohm’s interpretation of quantum mechanics has generally been received as an attempt to restore the determinism of classical physics. However, although this interpretation, as Bohm initially proposed it in 1952, does indeed have the feature of being deterministic, for Bohm this was never the main point. In fact, in other publications and in correspondence from this period, he argued that the assumption that nature is deterministic is unjustified and should be abandoned. Whereas it has been argued before (...) that Bohm’s commitment to determinism was connected to his interest in Marxism, I argue for the opposite: Bohm found resources in Marxist philosophy for developing a nondeterministic notion of causality, which is based on the idea of infinite complexity and an infinite number of levels of nature. From ca. 1954 onwards, Bohm’s conception of causality further weakened, as he developed the idea of a dialectical relation between causality and chance. (shrink)

One of our most sophisticated accounts of objective chance in quantum mechanics involves the Deutsch-Wallace theorem, which uses state-space symmetries to justify agents’ use of the Born rule when the quantum state is known. But Wallace argues that this theorem requires an Everettian approach to measurement. I find that this argument is unsound. I demonstrate a counter-example by applying the Deutsch-Wallace theorem to the de Broglie-Bohm pilot-wave theory.

Tous les chercheurs intéressés aux fondements de la théorie quantique s’entendent sur le fait que celle-ci a profondément modifié notre conception de la réalité. Là s’arrête, toutefois, le consensus. Le formalisme de la théorie, non problématique, donne lieu à plusieurs interprétations très différentes, qui ont chacune des conséquences sur la notion de réalité. Cet article analyse comment l’interprétation de Copenhague, l’effondrement du vecteur d’état de von Neumann, l’onde pilote de Bohm et de Broglie et les mondes multiples d’Everett (...) modifient, chacun à sa manière, la conception classique de la réalité, dont le caractère local, en particulier, requiert une révision. (shrink)

TABLE OF CONTENTS: Introduction; de Broglie's paradox.; Quantum theory of distant particles; The EPR paradox; Einstein locality and Bell's inequality; Recent research on Bell's inequality; General consequences of Einstein locality; Nonloeality and relativity; Time-symmetric theories; The Bohm-Aharonov hypothesis; Experiments on Einstein locality; Reduction of the wave packet; Measurements, reality and consciousness; Conclusions.

There is fast-growing awareness of the role atmospheres play in architecture. Of equal interest to contemporary architectural practice as it is to aesthetic theory, this 'atmospheric turn' owes much to the work of the German philosopher Gernot Böhme. Atmospheric Architectures: The Aesthetics of Felt Spaces brings together Böhme's most seminal writings on the subject, through chapters selected from his classic books and articles, many of which have hitherto only been available in German. This is the only translated version authorised (...) by Böhme himself, and is the first coherent collection deploying a consistent terminology. It is a work which will provide rich references and a theoretical framework for ongoing discussions about atmospheres and their relations to architectural and urban spaces. Combining philosophy with architecture, design, landscape design, scenography, music, art criticism, and visual arts, the essays together provide a key to the concepts that motivate the work of some of the best contemporary architects, artists, and theorists: from Peter Zumthor, Herzog & de Meuron and Juhani Pallasmaa to Olafur Eliasson and James Turrell. With a foreword by Professor Mark Dorrian and an afterword by Professor David Leatherbarrow,, the volume also includes a general introduction to the topic, including coverage of it history, development, areas of application and conceptual apparatus. (shrink)

Based on de Broglie’s wave hypothesis and the covariant ether, the Three Wave Hypothesis (TWH) has been proposed and developed in the last century. In 2007, the author found that the TWH may be attributed to a kinematical classical system of two perpendicular rolling circles. In 2012, the author showed that the position vector of a point in a model of two rolling circles in plane can be transformed to a complex vector under a proposed effect of partial observation. (...) In the present project, this concept of transformation is developed to be a lab observation concept. Under this transformation of the lab observer, it is found that velocity equation of the motion of the point is transformed to an equation analogising the relativistic quantum mechanics equation (Dirac equation). Many other analogies has been found, and are listed in a comparison table. The analogy tries to explain the entanglement within the scope of the transformation. These analogies may suggest that both quantum mechanics and special relativity are emergent, both of them are unified, and of the same origin. The similarities suggest analogies and propose questions of interpretation for the standard quantum theory, without any possible causal claims. (shrink)

An ideal constructor produces geometry from scratch, modelled through the bottom-up assembly of a graph-like lattice within a space that is defined, bootstrap-wise, by that lattice. Construction becomes the problem of assembling a homogeneous lattice in three-dimensional space; that becomes the problem of resolving geometrical frustration in quasicrystalline structure; achieved by reconceiving the lattice as a dynamical system. The resulting construction is presented as the introductory model sufficient to motivate the formal argument that it is a fundamental structure; based on (...) which, it is proposed that where mathematics’ numbers conventionally correspond to dimensionless points on the stateless number line, numbers more fundamentally correspond to an ordering of discrete objects constructed within the stateful number lattice. A second observation is that this fundamental lattice structure is helically configured with fractal character, which, as it relates to the geometry underlying spacetime, has relevance to questions in physics, particularly those involving wave-particle duality. (shrink)

Opening a revolutionary new era in the unification of physics, by a breakthrough understanding of space, time, particles, and cosmology… For more than a century now, physicists have been attempting to unify the whole of physics and in so doing, gain a greater understanding of our cosmos. In Microbits: A New Unified Physics, scientific philosophers M. Muslim and Nadeem Haque, describe in detail, a compelling new view of physics that unites both the micro and the macro domains of matter and (...) energy. Specifically, they deconstruct Einsteinian Special and General Relativity and aspects of Quantum Mechanics, discussing their epistemological and empirical problems by their own original analyses, as well as the crucial but neglected works of prominent, astute and intellectually fearless critics of relativity and current interpretation of Quantum Mechanics such as Professors: Thomas E. Phipps, Bo Lehnert, Herbert E. Ives, Louis De Broglie, David Bohm, Jean-Pierre Vigier, Paul Marmet, Herbert Dingle, Stephan Gift, and G. Burniston Brown. Muslim and Haque establish an understanding of the fundamental physical phenomena in our universe, based on absolute space and what they term the ‘microbit’, the smallest type of particle next to absolute nothingness, from which all matter is comprised, and likewise, all forces. In doing so, in one master-stroke, they eliminate the traditional gulf between what they consider as being the partial/faulty theories of Quantum Mechanics and Einsteinian Relativity. They extend ‘Newton’s laws’ by two more ‘laws’, that remarkably unify the whole of physics. This fresh new perspective, whose time is long overdue, makes a plethora of new predictions that are now surfacing as possibilities in experiments published by leading scientific journals. Microbits: A New Unified Physics, thus calls for a radical shift in our way of looking at the cosmos, based on evidence, consistency, causation and determinism, leading to both wider and deeper implications for humanity. Publishers ISBN: 978-0-9699605-7-7. (shrink)

The radical redefinition of the landscape of physics that followed the contributions of Niels Bohr and Werner Heisenberg at the start of the 20th century led to plethora [of] new perspectives on age-old metaphysical questions on determinism and the nature of reality. The main contention of this article is that the work of Gilbert Simondon - whose magnum opus possesses a scope uniting the most basic philosophical concerns with the most recent breakthroughs in natural sciences - is highly relevant for (...) an adequate understanding of the split between determinism and indeterminism, as well as the underlying presuppositions which have driven some influential contributions to this topic. To this end, the article shows that the more deterministic interpretation of quantum mechanics offered by David Bohm and Louis de Broglie proves to be a valuable reference point for a more precise use and understanding of Simondon'ss transductive logic - especially when its philosophical lapses are considered closely. Finally, following the considerations of both thinkers, we aim at a more precise reconsideration of the stakes of indeterminism in modern physics, as well as a restructuration of what is often understood as a polarization. (shrink)

This is a contribution to Paavo Pylkkänen's Festschrift. I discuss his relationship to Bohm's philosophy and a sense of holism that can be extracted from the Bohmian view.

What is the boundary between the animate and inanimate world? It is obvious that the animate world is under rules of inanimate world. Is the converse true? This paper is aimed at imposing the well-known Darwin's theory of evolution to inanimate world of atomic realm where bizarre behavior of electron challenges our everyday perception of inanimate world. This paper, suggests a weird, peculiar and highly elegant speculation of existing, leads suspicious about validity of the law of conservation of mass, (...) provides conceptual foundation for many odd explanations of quantum mechanics such wave-particle duality of elementary particles, the inherent randomness and probabilistic nature of world as quantum mechanics states, the Louis de Broglie proposition of wave-like behavior of moving particles, Schrödinger's wave function description of probability of finding electron at any location around the nucleus and even the roots of causality. It defines existence as follows: "All the elementary particles emerge spontaneously and randomly in space where the possibility of conforming the physical laws is higher and after appearing if they not conform the laws of physics, they vanish." It proposes, the emerging from nothing, as a natural process and in other word there is an inherent urge to existence not only for animate world but also for inanimate world. Assuming the correctness of the proposed speculation, leads to dramatic development of human perception of existing, reality and interaction with world. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics (...) --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

La mécanique quantique est une théorie physique contemporaine réputée pour ses défis au sens commun et ses paradoxes. Depuis bientôt un siècle, plusieurs interprétations de la théorie ont été proposées par les physiciens et les philosophes, offrant des images quantiques du monde, ou des métaphysiques, radicalement différentes. L'existence d'un hasard fondamental, ou d'une multitude de mondes en-dehors du nôtre, dépend ainsi de l'interprétation adoptée. Cet article, en s'appuyant sur le livre Boyer-Kassem (2015), Qu'est-ce que la mécanique quantique ?, présente trois (...) principales interprétations quantiques, empiriquement équivalentes : l'interprétation dite orthodoxe, l'interprétation de Bohm, et l'interprétation des mondes multiples. (shrink)

The famous EPR article of 1935 challenged the completeness of quantum mechanics and spurred decades of theoretical and experimental research into the foundations of quantum theory. A crowning achievement of this research is the demonstration that nature cannot in general consist in noncontextual pre-measurement properties that uniquely determine possible measurement outcomes, through experimental violations of Bell inequalities and Kochen-Specker theorems. In this article, I reconstruct an argument from Niels Bohr’s writings that the reality of the Einstein-Planck-de Broglie relations (...) alone implies that no such properties can exist for momentum and position measurements, show how this argument responds to the challenge of EPR on general physical grounds, and advance that this reconstruction shows that and how Bohr’s “complementarity” is a view of the objective content and logic of quantum theory. (shrink)

The hard problem of consciousness is the problem of explaining how and why physical processes give rise to consciousness (Chalmers 1995). Regardless of many attempts to solve the problem, there is still no commonly agreed solution. It is thus very likely that some radically new ideas are required if we are to make any progress. In this paper we turn to quantum theory to find out whether it has anything to offer in our attempts to understand the place of (...) mind and conscious experience in nature. In particular we will be focusing on the ontological interpretation of quantum theory proposed by Bohm and Hiley (1987, 1993), its further development by Hiley (Hiley and Callaghan 2012; Hiley, Dennis and de Gosson 2021), and its philosophical interpretation by Pylkkänen (2007, 2020). The ontological interpretation makes the radical proposal that quantum reality includes a new type of potential energy which contains active information. This proposal, if correct, constitutes a major change in our notion of matter. We are used to having in physics only mechanical concepts, such as position, momentum and force. Our intuition that it is not possible to understand how and why physical processes can give rise to consciousness is partly the result of our assuming that physical processes (including neurophysiological processes) are always mechanical. If, however, we are willing to change our view of physical reality by allowing non-mechanical, organic and holistic concepts such as active information to play a fundamental role, this, we argue, makes it possible to understand the relationship between physical and mental processes in a new way. It might even be a step toward solving the hard problem. (shrink)

Why is space 3-dimensional? The fi rst answer to this question, entirely based on Physics, was given by Ehrenfest, in 1917, who showed that the stability requirement for n-dimensional two-body planetary system very strongly constrains space dimensionality, favouring 3-d. This kind of approach will be generically called "stability postulate" throughout this paper and was shown by Tangherlini, in 1963, to be still valid in the framework of general relativity as well as for quantum mechanical hydrogen atom, giving the same constraint (...) for space{dimensionality. In the present work, before criticizing this methodology, a brief discussion has been introduced, aimed at stressing and clarifying some general physical aspects of the problem of how to determine the number of space dimensions. Then, the epistemological consequences of Ehrenfest's methodology are critically reviewed. An alternative procedure to get at the proper number of dimensions, in which the stability postulate - and the implicit singularities in three-dimensional physics - are not an essential part of the argument, is proposed. In this way, the main epistemological problems contained in Ehrenfest's original idea are avoided. The alternative methodology proposed in this paper is realized by obtaining and discussing the n-dimensional quantum theory as expressed in Planck's law, de Broglie relation and the Heisenberg uncertainty relation. As a consequence, it is possible to propose an experiment, based on thermal neutron di raction by crystals, to directly measure space dimensionality. Finally the distinguished role of Maxwell's electromagnetic theory in the determination of space dimensionality is stressed. (shrink)

Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is not Turing machine – (...) Is continuality universal? – Diffeomorphism and velocity – Einstein’s general principle of relativity – „Mach’s principle“ – The Skolemian relativity of the discrete and the continuous – The counterexample in § 6 of their paper – About the classical tautology which is untrue being replaced by the statements about commeasurable quantum-mechanical quantities – Logical hidden parameters – The undecidability of the hypothesis about hidden parameters – Wigner’s work and и Weyl’s previous one – Lie groups, representations, and psi-function – From a qualitative to a quantitative expression of relativity − psi-function, or the discrete by the random – Bartlett’s approach − psi-function as the characteristic function of random quantity – Discrete and/ or continual description – Quantity and its “digitalized projection“ – The idea of „velocity−probability“ – The notion of probability and the light speed postulate – Generalized probability and its physical interpretation – A quantum description of macro-world – The period of the as-sociated de Broglie wave and the length of now – Causality equivalently replaced by chance – The philosophy of quantum information and religion – Einstein’s thesis about “the consubstantiality of inertia ant weight“ – Again about the interpretation of complex velocity – The speed of time – Newton’s law of inertia and Lagrange’s formulation of mechanics – Force and effect – The theory of tachyons and general relativity – Riesz’s representation theorem – The notion of covariant world line – Encoding a world line by psi-function – Spacetime and qubit − psi-function by qubits – About the physical interpretation of both the complex axes of a qubit – The interpretation of the self-adjoint operators components – The world line of an arbitrary quantity – The invariance of the physical laws towards quantum object and apparatus – Hilbert space and that of Minkowski – The relationship between the coefficients of -function and the qubits – World line = psi-function + self-adjoint operator – Reality and description – Does a „curved“ Hilbert space exist? – The axiom of choice, or when is possible a flattening of Hilbert space? – But why not to flatten also pseudo-Riemannian space? – The commutator of conjugate quantities – Relative mass – The strokes of self-movement and its philosophical interpretation – The self-perfection of the universe – The generalization of quantity in quantum physics – An analogy of the Feynman formalism – Feynman and many-world interpretation – The psi-function of various objects – Countable and uncountable basis – Generalized continuum and arithmetization – Field and entanglement – Function as coding – The idea of „curved“ Descartes product – The environment of a function – Another view to the notion of velocity-probability – Reality and description – Hilbert space as a model both of object and description – The notion of holistic logic – Physical quantity as the information about it – Cross-temporal correlations – The forecasting of future – Description in separable and inseparable Hilbert space – „Forces“ or „miracles“ – Velocity or time – The notion of non-finite set – Dasein or Dazeit – The trajectory of the whole – Ontological and onto-theological difference – An analogy of the Feynman and many-world interpretation − psi-function as physical quantity – Things in the world and instances in time – The generation of the physi-cal by mathematical – The generalized notion of observer – Subjective or objective probability – Energy as the change of probability per the unite of time – The generalized principle of least action from a new view-point – The exception of two dimensions and Fermat’s last theorem. (shrink)

Philosophers have long debated ‘substrate’ and ‘bundle’ theories as to how properties hold together in objects ― but have neglected to consider that every chemical entity is defined by closure of relationships among components ― here designated ‘Closure Louis de Broglie.’ That type of closure underlies the coherence of spectroscopic and chemical properties of chemical substances, and is importantly implicated in the stability and definition of entities of many other types, including those usually involved in philosophic discourse ― such (...) as roses, statues, and tennis balls. Characteristics of composites are often presumed to ‘supervene on’ properties of components. This assumption does not apply when cooperative interactions among components are significant. Once correlations dominate, then adequate descriptions must involve different entities and relationships than those that are involved in ‘fundamental-level’ description of similar but uncorrelated systems. That is to say, descriptions must involve different semantics than would be appropriate if cooperative interactions were insignificant. This is termed ‘Closure Henri Poincaré. Networks of chemical reactions that have certain types of closure of processes display properties that make other more-complex coherences possible. This is termed ‘Closure Jacques Cauvin.’ Each of these three modes of closure provides a sufficient basis for warranted recognition of causal interaction, thus each of them has epistemological significance. Other modes of epistemologically-important closure probably exist. It is important to recognize that causal efficacy generally depends on closure of relationships of constituents. (shrink)

The 'complexity' approach can be positive and very helpful for General Linguistics theory because departs from: a) the idea that knowledge or meaning can exist without a being who produces them, b) the fragmented and reductionist view of reality and its too mechanistic oriented images, c) the 'linear' causality models, d) the tendency to dichotomise the categories about reality, e) the 'third excluded' Aristotelian principle (binary logic: if something is here it is not there), f) the disappearance of the (...) mind in some 'higher' social sciences, g) an inadequate approach of the relationships between the whole and its parts, and, h) a perspective on creativity too much based on logic and not on 'artistic' intuition and imagination in science. (shrink)

How are fundamental constants, such as c for the speed of light, related to particular technological environments? Our understanding of the constant c and Einstein’s relativistic cosmology depended on key experiences and lessons learned in connection to new forms of telecommunications, first used by the military and later adapted for commercial purposes. Many of Einstein’s contemporaries understood his theory of relativity by reference to telecommunications, some referring to it as “signal-theory” and “message theory.” Prominent physicists who contributed (...) to it (Hans Reichenbach, Max Born, Paul Langevin, Louis de Broglie, and Léon Brillouin, among others) worked in radio units during WWI. At the time of its development, the old Newtonian mechanics was retrospectively rebranded as based on the belief in a means of “instantaneous signaling at a distance.” Even our thinking about lengths and solid bodies, argued Einstein and his interlocutors, needed to be overhauled in light of a new understanding of signaling possibilities. Pulling a rod from one side will not make the other end move at once, since relativity had shown that “this would be a signal that moves with infinite speed.” Einstein’s universe, where time and space dilated, where the shortest path between two points was often curved and which broke the laws of Euclidean geometry, functioned according to the rules of electromagnetic signal transmission. For some critics, the new understanding of the speed of light as an unsurpassable velocity—a fundamental tenet of Einstein’s theory—was a mere technological effect related to current limitations in communication technologies. (shrink)

Today, the binary understanding of reality is increasingly significant. It is also the starting point for many theoretical considerations (mainly in the area of digital physics) describing the structure of the universe. What is lacking is an experimental confirmation of the binary nature of reality. This article proposes an idea for an experiment that possibly would confirm the following hypothesis: Electromagnetic waves in the form of binary signals of appropriate complexity and other parameters are capable of creating observable, material objects. (...) Also suggested is the use of an Abstract Complexity Definition (derived from aesthetic field), presented in the Supplementary Material section. (shrink)

It is argued that the de Broglie wave is not the independent wave usually supposed, but the relativistically induced modulation of an underlying carrier wave that moves with the velocity of the particle. In the rest frame of the particle this underlying structure has the form of a standing wave. De Broglie also assumed the existence of this standing wave, but it would appear that he failed to notice its survival as a carrier wave in the Lorentz transformed (...) wave structure. Identified as a modulation, the de Broglie wave acquires a physically reasonable ontology, evidencing a more natural unity between matter and radiation than might otherwise be contemplated, and avoiding the necessity of recovering the particle velocity from a superposition of such waves. Because the Schrödinger and other wave equations for massive particles were conceived as equations for the de Broglie wave, this interpretation of the wave is also relevant to such issues in quantum mechanics as the meaning of the wave function, the nature of wave-particle duality, and the possibility of well-defined particle trajectories. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

Genesis of the early quantum theory represented by Planck’s 1897-1906 papers is considered. It is shown that the first quantum theoretical schemes were constructed as crossbreed ones composed from ideal models and laws of Maxwellian electrodynamics, Newtonian mechanics, statistical mechanics and thermodynamics. Ludwig Boltzmann’s ideas and technique appeared to be crucial. Deriving black-body radiation law Max Planck had to take the experimental evidence into account. It forced him not to deduce from phenomena but to use more theory instead. (...) The experiments forced Planck to apply the statistical technique to radiation in increasing portions. Planck’s theories in no way were generalizations of existing experimental results. They represented the stages of an ambitious programme of Maxwellian electrodynamics and statistical mechanics reconciliation. (shrink)

We consider momentum operators on intrinsically curved manifolds. Given that the momentum operators are Killing vector fields whose integral curves are geodesics, it is shown that the corresponding manifold is either flat, or otherwise of compact type with positive constant sectional curvature and dimension equal to 1, 3 or 7. Explicit representations of momentum operators and the associated Casimir element will be discussed for the 3-sphere. It will be verified that the structure constants of the underlying Lie algebra are proportional (...) to 2ħ/R, where R is the curvature radius of the sphere. This results in a countable energy and momentum spectrum of freely moving particles. It is shown that the maximum resolution of the possible momenta is given by the de-Broglie wave length λ=πR, which is identical to the diameter of the manifold. The corresponding covariant position operators are defined in terms of geodesic normal coordinates and the associated commutator relations of position and momentum are established. (shrink)

The ten original studies included in this Research Topic investigate selected assumptions and predictions of parochial altruism theory in detail. We, the editors, are convinced that their highly instructive findings will help researchers interested in parochial altruism, but also in intergroup psychology more generally, to gain a much more fine-grained understanding of the interplay of altruistic and spiteful motives in human decision making in the context of intergroup relations. The broad range of disciplines represented by the authors contributing to (...) this Research Topic and the variety of methods used in their studies are representative for the current interdisciplinary interest in parochial altruism. The most important insight that, in our view, can be derived from the works collected here is that human decision making in intergroup contexts is more complex than suggested by current theory. Thus, we hope that future theorizing on parochial altruism will be stimulated by the evidence gathered in this Research Topic. In this editorial, we briefly highlight central findings reported here, which, to us, appear most informative for prospective enhancements of parochial altruism theory. (shrink)

Die Natur ist als Thema in der Phänomenologie von Husserl bis zu Schmitz wenig bearbeitet worden. Der Grund ist teilweise in der respektvollen oder auch kritischen Distanz vieler Phänomenologen zur Naturwissenschaft zu suchen, teils darin, dass es auf dem Feld der Selbstgegebenheit - Leib, Gefühl, zwischenmenschliche Beziehungen - zunächst die eigentlichen Entdeckungen zu machen galt. Selbst die Leibphilosophie wurde nicht als ein Teil einer Phänomenologie der Natur entwickelt. Doch ist der Leib nicht die Natur, die wir selbst sind? Im vorliegenden (...) Band unternehmen Forscher verschiedener Herkunft die gemeinsame Anstrengung, mit dem Thema Natur der Phänomenologie ein neues Forschungsfeld zu eröffnen. Dabei wird nicht nur an die phänomenologische Bewegung angeknüpft, sondern auch an aristotelische goethische Naturwissenschaft, soweit sie als phänomenologisch betrachtet werden kann. Damit wird die Absicht verfolgt, die Phänomenologie der Natur als eine alternative Erkenntnisweise im Unterschied zur herrschenden naturwissenschaftlich-technischen zu entwickeln. Nach der Entfaltung des Programms wird zunächst die goethische Naturwissenschaft als ein Paradigma von Naturphänomenologie dargestellt. Dann werden die Beiträge aus der phänomenologischen Bewegung (Husserl, Klages, Schmitz) durchmustert. Und schließlich werden Fallbeispiele gegenwärtiger phänomenologischer Erforschung der Natur vorgeführt. Dabei geht es einerseits um Beiträge von seiten goetheanischer Wissenschaft (Botanik und Wärmelehre), andererseits um Beispiele, die im Rahmen der Naturphilosophie entstanden sind (Phänomenologie von Wind und Wetter, Phänomenologie des eigenen Leibes als Natur, Phänomenologie der Stoffe). (shrink)

The aim of this paper is to provide a proof-theoretic characterization of relevant logics including fusion and fission connectives, as well as Ackermann’s truth constant. We achieve this by employing the well-established methodology of labelled sequent calculi. After having introduced several systems, we will conduct a detailed proof-theoretic analysis, show a cut-admissibility theorem, and establish soundness and completeness. The paper ends with a discussion that contextualizes our current work within the broader landscape of the proof theory of relevant logics.

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the (...) way. (shrink)

A first-order theory T has the Independence Property provided deduction of a statement of type (quantifiers) (P -> (P1 or P2 or .. or Pn)) in T implies that (quantifiers) (P -> Pi) can be deduced in T for some i, 1 <= i <= n). Variants of this property have been noticed for some time in logic programming and in linear programming. We show that a first-order theory has the Independence Property for the class of basic formulas (...) provided it can be axiomatized with Horn sentences. The existence of free models is a useful intermediate result. The independence Property is also a tool to decide that a sentence cannot be deduced. We illustrate this with the case of the classical Caratheodory theorem for Pasch-Peano geometries. (shrink)

This is a critical discussion of Nick Zangwill’s Aesthetic Creation Theory of Art, as presented in his book Aesthetic Creation. The discussion focuses on two questions: first, whether the notion of art implied by Zangwill’s theory is at once too wide and too narrow; second, whether Zangwill is right about the persistence conditions of works of art.

This paper argues that there are two importantly distinct normative relations that can be referred to using phrases like ‘X is obligated to Y,’ ‘Y has a right against X,’ or ‘X wronged Y.’ When we say that I am obligated to you not to read your diary, one thing we might mean is that I am subject to a deontological constraint against reading your diary that gives me a non‐instrumental, agent‐relative reason not to do so, and which you are (...) typically in a unique position to waive with consent. I call this first relation the constraint relation. A second thing we might mean is that you are in a position to fittingly hold me personally accountable for reading your diary by demanding that I not read your diary, resenting me if I do so without excuse, and deciding whether to forgive me for this afterwards. I call this second relation the accountability relation. Though these two kinds of directed obligation often coincide, I argue that they are extensionally dissociable and play different normative roles. We cannot provide an adequate theory of ‘obligation to’ until we recognize that this phrase denotes not one relation, but two. (shrink)

Resumen: Husserl propone una teoría sobre la intersubjetividad que parte de la conciencia trascendental como inserta en el mundo de la vida donde están los otros y donde la comunidad se construye bajo una estructura de esencias que garantiza la comunalidad. El mundo de la vida es dado y compartido por todas las conciencias intencionales y trascendentales, es condición para intuiciones empíricas y eidéticas, la epoché y las reducciones eidética y trascendental. Cada momento del método fenomenológico se basa en la (...) existencia de un mundo de la vida independiente de la subjetividad. En este mundo, hay objetos reales y, entre estos, los otros, reconocidos por analogía a través de la empatía. Desde una perspectiva metodológico-epistemológico, el yo es anterior al mundo y a los otros yos. El yo constituye, en sentido fenomenológico, la realidad. La conciencia es el lugar de evidenciación de la realidad. No obstante, en la perspectiva ontológica, es lo contrario. El mundo de la vida es anterior a la conciencia individual. El mundo de la vida está ahí, disponible, existente, independiente del sujeto, funcionando con su propio orden, con sus leyes y reglas. Es el yo el que esta insertado en el mundo de la vida y que se esfuerza por desvendarlo. La realidad se impone y el yo es, sobre todo, miembro de una comunidad de otros yos. Aun así, ¿cómo compartir las experiencias? Las vivencias pueden ser diferentes, pero hay un límite en las variaciones, un límite dado por la esencia del objeto vivido y por las leyes que rigen las relaciones de tal objeto. Así, la constitución del mundo y de sus objetos está permanentemente en progreso. Es posible donarles nuevos sentidos, en los límites de su esencia. Para Husserl, la constitución comunal del mundo es la condición de posibilidad para la existencia de sujetos separados unos de los otros, y este entendimiento recíproco solo es posible a través de la constitución trascendental de la objetividad. Así, no hay una separación entre la intersubjetividad y la constitución del mundo, es la comunidad de yos la que dona sentidos a las objetividades. En el mundo de la vida con los otros en comunidad. -/- Abstract: Husserl proposes a theory on intersubjectivity that starts from transcendental consciousness as inserted in the lifeworld where the others and where the community are built under a structure of essences that guarantees communality. The lifeworld is given and shared by all intentional and transcendental consciousnesses, it is a condition for empirical and eidetic intuitions, the epoché and the eidetic and transcendental reductions. Every moment of the phenomenological method is based on the existence of a lifeworld independent of subjectivity. In this world, there are real objects and, among these, the others, recognized by analogy through empathy. From a methodologicalepistemological perspective, the self is prior to the world and the other selves. The self constitutes, in a phenomenological sense, reality. Consciousness is the locus of evidence of reality. However, from the ontological perspective, it is the opposite. The lifeworld is prior to individual consciousness. The lifeworld is there, available, existing, independent of subjectivity, functioning with its own order, with its laws and rules. It is the self that is inserted in the lifeworld and that strives to unveil it. Reality prevails and the self is, above all, a member of a community of other selves. Even so, how to share the experiences? The experiences can be different, but there is a limit in variations, a limit given by the essence of the lived object and by the laws that govern the relation of the object. Thus, the constitution of the world and its objects is permanently in progress. It is possible to give them new meanings, within the limits of their essence. For Husserl, the communal constitution of the world is the condition of possibility for the existence of subjects separated from each other, and this reciprocal understanding is only possible through the transcendental constitution of objectivity. therefore, there is no separation between intersubjectivity and the constitution of the world, it is the community of selves that gives meaning to objectivities. (shrink)

The aim of this article is to explain why knot diagrams are an effective notation in topology. Their cognitive features and epistemic roles will be assessed. First, it will be argued that different interpretations of a figure give rise to different diagrams and as a consequence various levels of representation for knots will be identified. Second, it will be shown that knot diagrams are dynamic by pointing at the moves which are commonly applied to them. For this reason, experts must (...) develop a specific form of enhanced manipulative imagination, in order to draw inferences from knot diagrams by performing epistemic actions. Moreover, it will be argued that knot diagrams not only can promote discovery, but also provide evidence. This case study is an experimentation ground to evaluate the role of space and action in making inferences by reasoning diagrammatically. (shrink)

Niche construction theory highlights the active role of organisms in modifying their environment. A subset of these modifications is the developmental niche, which concerns ecological, epistemic, social and symbolic legacies inherited by organisms as resources that scaffold their developmental processes. Since in this theory development is a situated process that takes place in a culturally structured environment, we may reasonably ask if implicit cultural biases may, in some cases, be responsible for maladaptive developmental niches. In this paper we (...) wish to argue for an affirmative answer. In order to do so, we first propose to conceptualize implicit bias as embodied perceptual habits, and then proceed to show that these habits are at least partially responsible for maladaptive developmental niches of children with Down syndrome and autism. With this framework we thus hope to bring together two fields of research that haven’t been explicitly connected: implicit bias and niche construction theory. Linking these two theories may bring benefits both to implicit bias researchers, who can extend this concept to characterize other sets of processes as biased, as well as to niche construction theorists, who will have a useful theoretical tool to diagnose maladaptive features of niches brought about by sociocultural biases. (shrink)

Aristotle’s influence on D’Arcy Thompson was praised by Thompson himself and has been recognized by others in various respects, including the aesthetic and normative dimensions of biology, and the multicausal explanation of living forms. This article focuses on the relatedness of organic forms, one of the core problems addressed by both Aristotle’s History of Animals (HA), and the renowned chapter of Thompson’s On Growth and Form (G&F), “On the Theory of Transformations, or the Comparison of Related Forms.” We contend (...) that, far from being an incidental inspiration stemming from Thompson’s classicist background, his translation of HA played a pivotal role in developing his theory of transformations. Furthermore, we argue that Thompson’s interpretation of the Aristotelian method of comparison challenges the prevailing view of Aristotle as the founder of “typological essentialism,” and is a key episode in the revision of this narrative. Thompson understood that the method Aristotle used in HA to compare animal forms is better comprehended as a “method of transformations,” leading to a morphological arrangement of animal diversity, as opposed to a taxonomical classification. Finally, we examine how this approach to the relatedness of forms lay the foundation for a causal understanding of parts and their interconnections. Although Aristotle and Thompson emphasized distinct types of causes, we contend that they both differ in a fundamental sense from the one introduced by Darwin’s theory of natural selection, which was formulated as a solution to the species problem rather than the form problem. We conclude that Thompson’s interpretation of Aristotle’s approach to form comparison has not only impacted contemporary scholarship on Aristotle’s biology, but revitalized a perspective that has regained significance due to the resurgence of the problem of form in evo-devo. (shrink)

Ideological diversity has been on the research agenda in the social sciences for a couple of years. Yet in philosophy, the topic has not attracted much interest. This article tries to start filling this gap. We discuss a number of possible causes for the underrepresentation of right-wing and conservative philosophers in the academic profession. We also argue why this should be an important concern, not only morally, but also and primarily epistemically. Lastly, we explore whether the situation in philosophy is (...) more problematic than the situation in other fields, and what kind of ideological diversity would be desirable for academic philosophy. (shrink)

People sometimes explain behavior by appealing to an essentialist concept of the self, often referred to as the true self. Existing studies suggest that people tend to believe that the true self is morally virtuous; that is deep inside, every person is motivated to behave in morally good ways. Is this belief particular to individuals with optimistic beliefs or people from Western cultures, or does it reflect a widely held cognitive bias in how people understand the self? To address this (...) question, we tested the good true self theory against two potential boundary conditions that are known to elicit different beliefs about the self as a whole. Study 1 tested whether individual differences in misanthropy—the tendency to view humans negatively—predict beliefs about the good true self in an American sample. The results indicate a consistent belief in a good true self, even among individuals who have an explicitly pessimistic view of others. Study 2 compared true self-attributions across cultural groups, by comparing samples from an independent country and a diverse set of interdependent countries. Results indicated that the direction and magnitude of the effect are comparable across all groups we tested. The belief in a good true self appears robust across groups varying in cultural orientation or misanthropy, suggesting a consistent psychological tendency to view the true self as morally good. (shrink)

O objetivo deste artigo é apontar cinco aspectos do pensamento nietzschiano que podem ser relevantes para os debates da filosofia da ciência em torno da natureza e representação do conhecimento científico. Para tanto, é realizada uma revisão de literatura com o objetivo de selecionar trechos de obras nietzschianas como O nascimento da tragédia, Genealogia da moral, A gaia ciência e outras que permitam interpretar Nietzsche como um filósofo da ciência preocupado com a construção do conhecimento cientifico sobre a realidade física. (...) Como resultado é possível identificar uma proposta epistemológica na perspectiva nietzschiana, cuja representação objetiva do mundo deve apontar para uma estética da vida. -/- The purpose of this article is to point out five aspects of Nietzschean thought that may be relevant to debates in the philosophy of science around the nature and representation of scientific knowledge. To this end, a literature review is carried out with the aim of selecting excerpts from Nietzschean works such as The Birth of Tragedy, Genealogy of Morals, The Gay Science and others that allow us to interpret Nietzsche as a philosopher of science concerned with the construction of scientific knowledge about the physical reality. As a result, it is possible to identify an epistemological proposal in the Nietzschean perspective, whose objective representation of the world should point to an aesthetics of life. (shrink)

Void is at the heart of Stoic metaphysics. As the incorporeal par excellence, being defined purely in terms of lacking body, it brings into sharp focus the Stoic commitment to non-existent Somethings. This article argues that Stoic void, far from rendering the Stoic system incoherent or merely ad hoc, in fact reflects a principled and coherent physicalism that sets the Stoics apart from their materialist predecessors and atomist neighbors.

Chapter 1 constitutes an introduction to Gentzen calculi from two perspectives, logical and philosophical. It introduces the notion of generalisations of Gentzen sequent calculus and the discussion on properties that characterize good inferential systems. Among the variety of Gentzen-style sequent calculi, I divide them in two groups: syntactic and semantic generalisations. In the context of such a discussion, the inferentialist philosophy of the meaning of logical constants is introduced, and some potential objections – mainly concerning the choice of working with (...) semantic generalizations – are addressed. Finally, I’ll introduce the case studies that I’ll be dealing with in part II. Chapter 2 is concerned with the origins and development of Jaśkowski’s discussive logic. The main idea of this chapter is to systematize the various stages of the development of discussive logic related researches from two different angles, i.e., its connections to modal logics and its proof theory, by highlighting virtues and vices. Chapter 3 focuses on the Gentzen-style proof theory of discussive logic, by providing a characterization of it in terms of labelled sequent calculi. Chapter 4 deals with the Gentzen-style proof theory of relevant logics, again by employing the methodology of labelled sequent calculi. This time, instead of working with a single logic, I’ll deal with a whole family of them. More precisely, I’ll study in terms of proof systems those relevant logics that can be characterised, at the semantic level, by reduced Routley-Meyer models, i.e., relational structures with a ternary relation between states and a unique base element. Chapter 5 investigates the proof theory of a modal expansion of intuitionistic propositional logic obtained by adding an ‘actuality’ operator to the connectives. This logic was introduced also using Gentzen sequents. Unfortunately, the original proof system is not cut-free. This chapter shows how to solve this problem by moving to hypersequents. Chapter 6 concludes the investigations and discusses the future of the research presented throughout the dissertation. (shrink)

Singularities in general relativity and quantum field theory are often taken not only to motivate the search for a more-fundamental theory (quantum gravity, QG), but also to characterise this new theory and shape expectations of what it is to achieve. Here, we first evaluate how particular types of singularities may suggest an incompleteness of current theories. We then classify four different 'attitudes' towards singularities in the search for QG, and show, through examples in the physics literature, that (...) these lead to different scenarios for the new theory. Two of the attitudes prompt singularity resolution, but only one suggests the need for a theory of QG. Rather than evaluate the different attitudes, we close with some suggestions of factors that influence the choice between them. (shrink)