In 1768 Immanuel Kant presented an argument showing the necessity of absolute space, i.e. substantivalism in contrast to relationalism, based on the property of handedness. While there is large consensus about the fallacy of Kant’s argument, a more recent debate exists – mainly stimulated by John Earman – about the status of the Kantian argument in view of modern physics and its fundamentally built-in parity violation, which leads to a preferred handedness. According to Earman the relationalist has no means to (...) distinguish one handedness in the cosmos without reference to an absolute structure of space. After recapitulating the historical background of the Newton/Leibniz debate on the ontological status of space as well as the Kantian argument, this paper offers a systematic consideration of arguments about handedness in modern physics. The goal is to show that “Earman’s challenge” can be rejected. (shrink)

Existing puzzles about coinciding objects can be divided into two types, corresponding to the manner in which they bear upon the endurantism v. perdurantism debate. Puzzles of the first type, which involve temporary spatial co-location, can be solved simply by abandoning endurantism in favor of perdurantism, whereas those of the second type, which involve career-long spatial co-location, remain equally puzzling on both views. I show that the possibility of backward time travel would give rise to a new type of puzzle. (...) The new puzzles confront perdurantists and can be solved just by shifting to endurantism. (shrink)

For the past two decades, Einstein's Hole Argument (which deals with the apparent indeterminateness of general relativity due to the general covariance of the field equations) and its resolution in terms of "Leibniz equivalence" (the statement that pseudo-Riemannian geometries related by active diffeomorphisms represent the same physical solution) have been the starting point for a lively philosophical debate on the objectivity of the point-events of space-time. It seems that Leibniz equivalence makes it impossible to consider the points of the space-time (...) manifold as physically individuated without recourse to dynamical individuating fields. Various authors have posited that the metric field itself can be used in this way , but nobody so far has considered the problem of explicitly distilling the "metrical fingerprint" of point-events from the gauge-dependent elements of the metric field. Working in the Hamiltonian formulation of general relativity, and building on the results of Lusanna and Pauri (2002), we show how Bergmann and Komar's "intrinsic pseudo-coordinates" (based on the value of curvature invariants) can be used to provide a physical individuation of point-events in terms of the true degrees of freedom (the "Dirac observables") of the gravitational field, and we suggest how this conceptual individuation could in principle be implemented with a well-defined empirical procedure. We argue from these results that point-events retain a significant kind of physical objectivity. (shrink)

This paper is a response to some recent discussions of many-minds interpretations in the philosophical literature. After an introduction to the many-minds idea, the complexity of quantum states for macroscopic objects is stressed. Then it is proposed that a characterization of the physical structure of observers is a proper goal for physical theory. It is argued that an observer cannot be defined merely by the instantaneous structure of a brain, but that the history of the brain's functioning must also be (...) taken into account. Next the nature of probability in many-minds interpretations is discussed and it is suggested that only discrete probability models are needed. The paper concludes with brief comments on issues of actuality and identity over time. (shrink)

I am in the process of refining my doctorate thesis objective, having battled through a Master’s degree in the Philosophy of Language. The doctoral issue, of course, has many facets: political, academic, locational, and financial. But the topic relevant to this paper is the issue of “interpretation” raised by Lonergan in the third section of chapter 17 of Insight . The challenge of this paper (and this volume) is to lift that section into the context of hodic conversion.

Did the universe have a beginning or does it exist forever, i.e. is it eternal at least in relation to the past? This fundamental question was a main topic in ancient philosophy of nature and the Middle Ages. Philosophically it was more or less banished then by Immanuel Kant's Critique of Pure Reason. But it used to have and still has its revival in modern physical cosmology both in the controversy between the big bang and steady state models some decades (...) ago and in the contemporary attempts to explain the big bang within a quantum cosmological framework. This paper has two main goals: First a conceptual clarification and distinction of different notions of "big bang" and "universe" is suggested, as well as a multiverse taxonomy and a classification of initial and eternal cosmologies. Second, and with the help of this analysis, it is shown how a conceptual and perhaps physical solution of the temporal aspect of Immanuel Kant's "first antinomy of pure reason" is possible, i.e. how our universe in some respect could have both a beginning and an eternal existence. Therefore, paradoxically, there might have been a time before time or a beginning of time in time. - Keywords: cosmology, big bang, big crunch, universe, multiverse, time, general relativity, quantum cosmology, loop quantum cosmology, string cosmology, world models, quantum vacuum, cosmic inflation, anthropic principle, closed timelike loops, Abhay Ashtekar, Hans-Joachim Blome, Martin Bojowald, George F. R. Ellis, Maurizio Gasperini, John Richard Gott III, Alan Guth, Jim Hartle, Stephen Hawking, Mark Israelit, Claus Kiefer, Li-Xin Li, Andrei Linde, Wolfgang Priester, Eckhard Rebhan, Paul Steinhardt, Neil Turok, Gabriele Veneziano, Alexander Vilenkin, H. Dieter Zeh. ›. (shrink)

Resumen En la filosofía de Lakatos existe una tensión entre falibilismo y optimismo epistemológico. En el presente artículo propongo la reconstrucción de dos elementos clave para resolver positivamente esa tensión: una noción de verdad empírica, que neutralice el convencionalismo, y una noción de verdad parcial, que dé cuenta de la creciente verosimilitud de los programas de investigación. Para esto último, reviso un aspecto de la obra de Lakatos frecuentemente ignorado por los críticos: su posición en el debate acerca de las (...) leyes de la naturaleza.There is a tension between fallibilism and epistemological optimism in Lakatos’s philosophy. This article proposes the reconstruction of two key elements to positively resolve such tension: a notion of empirical truth that could neutralize conventionalism, and a notion of partial truth, capable to account for the increasing verisimilitude of research programs. For the latter, I review one aspect of Lakatos’s work often ignored by the critics: his position on the debate regarding laws of nature. (shrink)

It appears that light may be thrown on the nature of moral principles if they are construed as moral laws analogous to ceteris-paribus laws of nature. Luke Robinson objects that the analogy either cannot explain how moral principles are necessary or cannot explain how obligations can be pro-tanto; and that a dispositional account of moral obligation has explanatory superiority over one in terms of moral laws. I explain the analogy, construing laws of nature as necessary relationships after the fashion of (...) William Kneale and Karl Popper. I then show that Robinson’s objections are mistaken and that if the difference between a dispositional account and a law account is not merely verbal, then it is the law account that is superior. I also dispel the common confusion between the necessity of laws and the existence of forces. (shrink)

In 1877 Peirce distinguished four different methods of “fixating our beliefs”, among which I here concentrate on what could be called the “method of tenacity” and the “method of science”. I then use these distinctions to argue that despite their apparent conflict, pragmatism, relying on the method of tenacity, and naturalism, relying on the method of science, can and should coexist, both in science and in metaphysics.

I review some recent work on applications of category theory to questions concerning theoretical structure and theoretical equivalence of classical field theories, including Newtonian gravitation, general relativity, and Yang-Mills theories.

This is the chapter on general relativity for the Cambridge Companion to Einstein which I am co-editing with Christoph Lehner.

The line of argument pursued in this paper is to proceed from Einstein’s fundamental problem situation to a consideration of scientific representation with respect to the Special theory of relativity (STR). Einstein’s fundamental problem situation, which is Kantian in spirit, is how the conceptual freedom of the scientist is compatible with the need for an objective representation of an independently given material world. To solve this philosophical issue Einstein employs a number of constraints, which are central to the STR. The (...) issue of scientific representation leads to a consideration of the notion of reality and to the realistic commitments implied in the STR. From this point of view, the paper concludes that Einstein was committed to a kind of ‘structural’ realism. (shrink)

This work is a critique of the program of "environment-induced decoherence" as advocated by Zurek, Zeh and Joos, among others. In particular, the alleged relevance of decoherence for a solution of the "measurement problem" is subjected to a detailed philosophical analysis. In the first chapter, an attempt is made to unravel what exactly this "measurement problem" amounts to for the decoherence theorists. The second chapter reviews the standard decoherence literature. The third chapter starts with a brief discussion of the philosophical (...) implications of the decoherence program, followed by a non-standard reconstruction of the decoherence argument that aims to uncover some (mostly hidden) assumptions underlying the approach. It is argued that different subsets of these assumptions result in different versions of the decoherence argument. Next, these assumptions are investigated in more detail, and a number of open problems for the decoherence approach is formulated, in addition to the well-known "problem of outcomes". These problems concern the interpretational relevance of the preferred basis, the role and status of the ignorance interpretation of mixed states, imperfect decoherence and the role of the environment and the definition of subsystems. The fourth chapter addresses the question to what extent the embedding of decoherence in an Everett-like interpretational framework, such as Zurek's "existentional interpretation" and Wallace's structural-realistic version of the many-worlds interpretation, helps to resolve these problems. The main conclusions are formulated in the fifth chapter. Namely: 1) decoherence cannot address the "preferred-basis problem" without adding new interpretational axioms to the standard formalism, 2) the the locality principle (that says that the environment is the "irrelevant" part and should therefore be ignored) is not only problematic but also interpretationally superfluous, 3) the decoherence approach, when formulated in terms of the standard interpretation of quantum mechanics, is predicated on a solution of the "problem of outcomes" and thus cannot claim to account (even partially) for the latter, and 4) that the results of the decoherence program do not increase the plausibility of a realist interpretation of the quantum state. (shrink)

Non-reductive physicalism is the view that mental events cause other events in virtue of their mental properties and that mental properties supervene on, without being identical to, physical properties. Jaegwon Kim has presented several much-discussed arguments against this view. But the much simpler causal closure argument, which purports to establish that every mental property is identical to a physical property, has received less attention than Kim’s arguments. This paper aims to show how a non-reductive physicalist should rebut the causal closure (...) argument. A crucial premise in the argument is a principle stating that the physical world is causally closed. It states, roughly, that every physical event has a physical sufficient cause. I argue that when the principle is formulated in this way, the causal closure argument is invalid. Less frequently, the causal closure principle is formulated in terms of a difference-making conception of causation so that it states that every physical effect has a physical difference-making cause. I argue that the principle, so formulated, is false and the causal closure argument unsound. Either way the argument lacks the apodeictic force to compel acceptance of its conclusion. (shrink)

One of the recurrent problems in the foundations of physics is to explain why we rarely observe certain phenomena that are allowed by our theories and laws. In thermodynamics, for example, the spontaneous approach towards equilibrium is ubiquitous yet the time-reversal-invariant laws that presumably govern thermal behaviour in the microscopic level equally allow spontaneous departure from equilibrium to occur. Why are the former processes frequently observed while the latter are almost never reported? Another example comes from quantum mechanics where the (...) formalism, if considered complete and universally applicable, predicts the existence of macroscopic superpositions—monstrous Schr¨odinger cats—and these are never observed: while electrons and atoms enjoy the cloudiness of waves, macroscopic objects are always localized to definite positions. (shrink)

In this work I argue for the existence of an ontological state in which no entity in it can be more basic than the others in such a state. This is used to provide conceptual justification for a method that is applied to obtain the Schr\"{o}dinger equation, the Klein-Gordon equation, and the Klein-Gordon equation for a particle in an electromagnetic field. Additionally, it is argued that the existence of such state is incompatible with indirect realism; and the discussion suggests that (...) a panexeperientialist view is a straightforward means to embrace it. (shrink)

In Re realism is the two-pronged view that, first, when this and that have the same color, this color and that color are identical. There is just one color, the universal. Second, on the view, this color exists just in case something has it. Say my cat has the same color as the dog I owned when I was a child. Since the dog existed before the cat, and precedence being irreflexive, it seems plausible to infer that the dog and (...) the cat are distinct. Now take the colors. Since the colors are allegedly in re, and thus perhaps somehow elements of the cat and dog, it seems plausible to infer that the dog's color also preceded the cat's color. And therefore that the cat's color cannot be identical with the dog's. Finally, since the in re realist understands the sameness of properties in terms of identity, it follows that the cat's color cannot be the same as the dog's. The problem generalizes: What is the relationship between universals and time? Ignoring the temporality of that which constitutes time, to be temporal is to have a temporal "feature." These "features" are of three kinds: precedence, times, and being present, past, etc. The fundamental question in each case is whether universals have the feature. Do universals precede? Are they at times? Are they present? Time, I argue, is essentially the field in which things happen. To happen, I argue, is for one thing to do something. For one thing to do something is for the thing to exemplify a property. Such exemplifications of properties by objects I call "states of affairs." Only states of affairs precede, are at times, or are present. Universals, not being states of affairs, are not temporal. But, by the same argument which shows that running is not temporal it can be shown that Jack is not, even though Jack's running obviously is. So far I have defined what it is to be temporal; primitive temporality. But since Jack is a constituent of something temporal, he may be justly thought of as derivatively temporal. (shrink)

Pettit (2006) argues that deferring to majority testimony is not generally rational: it may lead to inconsistent beliefs. He suggests that “another ... approach will do better”: deferring to supermajority testimony. But this approach may also lead to inconsistencies. In this paper, I describe conditions under which deference to supermajority testimony ensures consistency, and conditions under which it does not. I also introduce the concept of “consistency of degree k”, which is weaker than full consistency by ruling out only “blatant” (...) inconsistencies in an agent’s beliefs while permitting less blatant ones, and show that, while super-majoritarian deference often fails to ensure full consistency, it is a route to consistency in this weaker sense. (shrink)

Selmer Bringsjord & Joshua Taylor∗ Department of Cognitive Science Department of Computer Science The Rensselaer AI & Reasoning (RAIR) Lab Rensselaer Polytechnic Institute (RPI) Troy NY 12180 USA http://www.rpi.edu/∼brings {selmer,tayloj}@rpi.edu..

In their modern classic ``What Price Substantivalism? The Hole Story'' Earman and Norton argued that substantivalism about spacetime points implies that general relativity is indeterministic and, for that reason, must be rejected as a candidate ontology for the theory. More recently, Earman has cottoned on to a related argument (in fact, related to a \emph{response} to the hole argument) that arises in the context of canonical general relativity, according to which the enforcing of determinism along standard lines---using the machinery of (...) gauge theory---leads to a `frozen universe' picture (grounded in an absence of changes in values of general relativity's observables). \emph{Prima facie} this would seem to land the anti-substantivalist in waters at least as deep as those that Earman and Norton argued troubled substantivalism. In this paper I introduce the argument in what I think are clearer terms than Earman's, and assess his treatment of the problem. For the most part I agree with Earman about the nature of the problem, but I find aspects of his discussion wanting, especially as regards his proposed ontology. I argue that ontological sense can be made of the changelessness if a structuralist stance is adopted with respect to a natural class of observables. (shrink)

In this paper (which is, at best, a work in progress), I discuss different modes of scientific explanation identified by philosophers (Hempel, Salmon, Kitcher, Friedman, Hughes) and examine how well or badly they capture the "explanations" of phenomena that modern quantum theory provides. I tentatively conclude that quantum explanation is best seen as "structural explanation", and spell out in detail how this works in the case of explaining vacuum correlations. Problems and prospects for structural explanation in quantum theory are also (...) discussed. (shrink)

The paper discusses major implications of high energy physics for the scientific realism debate. The first part analyses the ways in which aspects of the empirically well-confirmed standard model of particle physics are relevant for a reassessment of entity realism, ontological realism and structural realism. The second part looks at the implications of more far-reaching concepts like string theory. While those theories have not found empirical confirmation, if they turned out viable, their implications for the realism debate would be more (...) substantial than those of the standard model. (shrink)

Celem artykułu jest pokazanie, skąd się biorą nasze trudności z wyjaśnieniem, na czym polega upływ czasu, oraz przedstawienie pewnej propozycji rozwiązania tego problemu, opartej na koncepcji dynamicznego istnienia rzeczy, a rozwijającej ideę absolutnego stawania się. Rozważania oparte są na założeniu, że nasze podstawowe teorie metafizyczne – podobnie jak te stosowane w naukach przyrodniczych – powinny spełniać warunek spójności, prostoty oraz bogatej zawartości.

Recently some results have been presented which show that certain kinds of deterministic descriptions and indeterministic descriptions are observationally equivalent (Werndl 2009a, 2010). This paper focuses on some philosophical questions prompted by these results. More specifically, first, I will discuss the philosophical comments made by mathematicians about observational equivalence, in particular Ornstein and Weiss (1991). Their comments are vague, and I will argue that, according to a reasonable interpretation, they are misguided. Second, the results on observational equivalence raise the question (...) of whether the deterministic or indeterministic description is preferable relative to all evidence. If none of them is preferable, there is underdetermination. I will criticize Winnie's (1998) argument that, by appealing to different observations, one finds that the deterministic description is preferable. In particular, I will clarify a confusion in this argument. Furthermore, I will argue that if the concern is a strong kind of underdetermination, the argument delivers the desired conclusion but this conclusion is trivial; and for other kinds of underdetermination of interest the argument fails. (shrink)

This paper introduces and examines the prospects of the recent research in a holographic relation between entanglement and spacetime pioneered by Mark van Raamsdonk and collaborators. Their thesis is that entanglement in a holographic quantum state is crucial for connectivity in its spacetime dual. Utilizing this relation, the paper develops a thought experiment that promises to probe the nature of spacetime by monitoring the behavior of a spacetime when all entanglement is removed between local degrees of freedom in its dual (...) quantum state. The thought experiment suggests a picture of spacetime as consisting of robust nodes that are connected by non-robust bulk spacetime that is sensitive to changes in entanglement in the dual quantum state. However, rather than pursuing the thought experiment in further detail, the credibility of the relation between spacetime and entanglement in this zero entanglement limit is questioned. The energy of a quantum system generally increases when all entanglement is removed between subsystems, and so does the energy of its spacetime dual. If a system is subdivided into an infinite number of subsystems and all entanglement between them is removed, then the energy of the quantum system and the energy of its spacetime dual are at risk of diverging. While this is a prima facie worry for the thought experiment, it does not constitute a conclusive refutation. (shrink)

The aim of the paper is to develop a proper mathematical formalism which can help to clarify the necessary conceptual plugins to the special principle of relativity and leads to a deeper understanding of the principle in its widest generality.

In the summer of 1980, I was privileged to be on the teaching staff of the Summer Institute on Medieval Philosophy held at Cornell University under the direction of Norman Kretzmann and the auspices of the Council for Philosophical Studies and the National Endowment for the Humanities. While I was giving a series of lectures on supposition theory, I went to my office one morning, and there under the door some anonymous wag from the Institute had slid the pen and (...) ink drawing you see in the graphic. It represents "Supposition" as a dragon, making a rude face at the viewer. The tail of the dragon is divided — not entirely accurately, as it turns out — into the various branches and subbranches of supposition. If the details are not altogether correct, the spirit is certainly understandable. I have absolutely no idea who the inspired artist was, but I have the original framed on the wall in my office. (shrink)

String Theory is the result of the conjunction of three conceptually independent elements: the metaphysical idea of a nomological unity of the forces, the model-theoretical paradigm of Quantum Field Theory, and the conflict resulting from classical gravity in a quantum world - the motivational starting point of the search for a theory of Quantum Gravity. String Theory is sometimes assumed to solve this conflict: by means of an application of the model-theoretical apparatus of Quantum Field Theory, interpreting gravity as the (...) result of an exchange of gravitons, taken here to be dynamical states of the string. But, String Theory does not really solve the conflict. Rather it exemplifies the inadequacy of the apparatus of Quantum Field Theory in the context of Quantum Gravity: After several decades of development it still exists only in an essentially perturbative formulation. And, due to its quantum field theoretical heritage, it is conceptually incompatible with central implications of General Relativity, especially those resulting from the general relativistic relation between gravity and spacetime. All known formulations of String Theory are background-dependent. And no physical motivation is given for this conceptual incompatibility. On the other hand, although String Theory identifies all gauge bosons as string states, it was not even possible to reproduce the Standard Model. Instead, String Theory led to a multitude of internal problems - and to the plethora of low-energy scenarios with different nomologies and symmetries, known as the String Landscape. All attempts to find a dynamically motivated selection principle remained without success, leaving String Theory without any predictive power. The nomological unification of the fundamental forces, including gravity, is only achieved in a purely formal way within the model-theoretical paradigm of Quantum Field Theory - by means of physically unmotivated epicycles like higher dimensionality, Calabi-Yau spaces, branes, etc. Finally, the possibility remains that some of the central assumptions of String Theory are physically wrong. On the one hand, the idea of a nomological unity of the forces could be simply wrong. On the other hand, even if a nomological unity of all fundamental forces should be realized in nature, the possibility remains that gravity is not a fundamental force, but a residual, emergent and possibly intrinsically classical phenomenon, resulting from a quantum substrate without any gravitational degrees of freedom. (shrink)

Here, we examine hole-freeness - a condition sometimes imposed to rule out seemingly artificial spacetimes. We show that under existing definitions (and contrary to claims made in the literature) there exist inextendible, globally hyperbolic spacetimes which fail to be hole-free. We then propose an updated formulation of the condition which enables us to show the intended result. We conclude with a few general remarks on the strength of the definition and then formulate a precise question which may be interpreted as: (...) Are all physically reasonable spacetimes hole-free? (shrink)

How should our beliefs change over time? Much has been written about how our beliefs should change in the light of new evidence. But that is not the question I’m asking. Sometimes our beliefs change without new evidence. I previously believed it was Sunday. I now believe it’s Monday. In this paper I discuss the implications of such beliefs for philosophy of language. I will argue that we need to allow for ‘dynamic’ beliefs, that we need new norms of belief (...) change to model how they function, and that this gives Perry’s (1977) two tier account the advantage over Lewis’s (1979) theory -/- . (shrink)

I present a discussion of some open issues in the philosophy of space-time theories. Emphasis is put on the ontological nature of space and time, the relation between determinism and predictability, the origin of irreversible processes in an expanding Universe, and the compatibility of relativity and quantum mechanics. In particular, I argue for a Parmenidean view of time and change, I make clear the difference between ontological determinism and predictability, propose that the origin of the asymmetry observed in physical processes (...) is related to the existence of cosmological horizons, and present a non-local concept of causality that can accommodate both special relativity and quantum entanglement. (shrink)

Quantum indeterminism may make available the option of an interactionism that does not have to pay the price of a force over and above those forces that are acknowledged in physics in order to explain how intentions can be physically effective. I show how this option might work in concrete terms and offer a criticism of it.

As it is well known, classical special relativity allows the existence of three different kinds of particles: bradyons, luxons and tachyons. Bradyons have non-zero mass and hence always travel slower than light. Luxons are particles with zero mass, like the photon, and they always travel with invariant velocity. Tachyons are hypothetical superluminal particles that always move faster than light. The existence of bradyons and luxons is firmly established, while the tachyons were never reliably observed. In quantum field theory, the appearance (...) of tachyonic degrees of freedom indicates vacuum instability rather than a real existence of the faster-than-light particles. However, recent controversial claims of the OPERA experiment about superluminal neutrinos triggered a renewed interest in superluminal particles. Driven by a striking analogy of the old Frenkel-Kontorova model of a dislocation dynamics to the theory of relativity, we conjecture in this note a remarkable possibility of existence of the forth type of particles, elvisebrions, which can be superluminal. The characteristic feature of elvisebrions, distinguishing them from tachyons, is that they are outside the realm of special relativity and their energy remains finite when the elvisebrion velocity approaches the light velocity. (shrink)

This paper states and proves a precise sense in which, if all the measurable properties of an ordinary quantum mechanical system are ultimately derivable from position, then time in quantum mechanics can have no preferred direction. In particular, I show that when the position observable forms a complete set of commuting observables, Galilei invariant quantum mechanics is guaranteed to be time reversal invariant.

We investigate the interplay and connections between symmetry properties of equations, the interpretation of coordinates, the construction of observables, and the existence of physical relativity principles in spacetime theories. Using the refined notion of an event as a "point-coincidence" between scalar fields that completely characterise a spacetime model, we also propose a natural generalisation of the relational local observables that does not require the existence of four everywhere invertible scalar fields. The collection of all point-coincidences forms in generic situations a (...) four-dimensional manifold, that is naturally identified with the physical spacetime. (shrink)

The mutual conceptual incompatibility between General Relativity and Quantum Mechanics / Quantum Field Theory is generally seen as the most essential motivation for the development of a theory of Quantum Gravity. It leads to the insight that, if gravity is a fundamental interaction and Quantum Mechanics is universally valid, the gravitational field will have to be quantized, not at least because of the inconsistency of semi-classical theories of gravity. The objective of a theory of Quantum Gravity would then be to (...) identify the quantum properties and the quantum dynamics of the gravitational field. If this means to quantize General Relativity, the general-relativistic identification of the gravitational field with the spacetime metric has to be taken into account. The quantization has to be conceptually adequate, which means in particular that the resulting quantum theory has to be background-independent. This can not be achieved by means of quantum field theoretical procedures. More sophisticated strategies, like those of Loop Quantum Gravity, have to be applied. One of the basic requirements for such a quantization strategy is that the resulting quantum theory has a classical limit that is (at least approximately, and up to the known phenomenology) identical to General Relativity. However, should gravity not be a fundamental, but an induced, residual, emergent interaction, it could very well be an intrinsically classical phenomenon. Should Quantum Mechanics be nonetheless universally valid, we had to assume a quantum substrate from which gravity would result as an emergent classical phenomenon. And there would be no conflict with the arguments against semi-classical theories, because there would be no gravity at all on the substrate level. The gravitational field would not have any quantum properties to be captured by a theory of Quantum Gravity, and a quantization of General Relativity would not lead to any fundamental theory. The objective of a theory of 'Quantum Gravity' would instead be the identification of the quantum substrate from which gravity results. The requirement that the substrate theory has General Relativity as a classical limit – that it reproduces at least the known phenomenology – would remain. The paper tries to give an overview over the main options for theory construction in the field of Quantum Gravity. Because of the still unclear status of gravity and spacetime, it pleads for the necessity of a plurality of conceptually different approaches to Quantum Gravity. (shrink)

A physical system has a chaotic dynamics, according to the dictionary, if its behavior depends sensitively on its initial conditions, that is, if systems of the same type starting out with very similar sets of initial conditions can end up in states that are, in some relevant sense, very different. But when science calls a system chaotic, it normally implies two additional claims: that the dynamics of the system is relatively simple, in the sense that it can be expressed in (...) the form of a mathematical expression having relatively few variables, and that the the geometry of the system’s possible trajectories has a certain aspect, often characterized by a strange attractor. (shrink)

This paper argues that there is no conflict between quantum theory and relativity, and that quantum theory itself helps us explain puzzling “non-local” correlations in a way that contradicts neither Bell’s intuitive locality principle nor his local causality condition. The argument depends on understanding quantum theory along pragmatist lines I have outlined elsewhere, and on a more general view of how that theory helps us explain. The key counterfactuals that hold in such cases manifest epistemic rather than causal connections between (...) distant events. Quantum theory exploits the possibility of private informational links between an agent and events he neither observes nor brings about, in ways that are strikingly independent of the spatiotemporal relations between them. This possibility has interesting implications for theories of chance in a relativistic world. (shrink)

Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity--including such revolutionary areas as black hole physics, relativistic computers, new cosmology--are presented in this paper. We would like to invite the logician reader to take part in this grand enterprise of the new century. Besides general perspective and motivation, we present initial results in this direction.