I argue that there are no physical singularities in space–time. Singular space–time models do not belong to the ontology of the world, because of a simple reason: they are concepts, defective solutions of Einstein’s field equations. I discuss the actual implication of the so-called singularity theorems. In remarking the confusion and fog that emerge from the reification of singularities I hope to contribute to a better understanding of the possibilities and limits of the theory of general relativity.

Kurt Gödel made many affirmations of robust realism but also showed serious engagement with the idealist tradition, especially with Leibniz, Kant, and Husserl. The root of this apparently paradoxical attitude is his conviction of the power of reason. The paper explores the question of how Gödel read Kant. His argument that relativity theory supports the idea of the ideality of time is discussed critically, in particular attempting to explain the assertion that science can go beyond the appearances and ‘approach the (...) things’. Leibniz and post-Kantian idealism are discussed more briefly, the latter as documented in the correspondence with Gotthard Günther. (shrink)

Suppose that God or a demon informs you of the following future fact: despite recent cosmological evidence, the universe is indeed closed and it will have a ‘final’ instant of time; moreover, at that final moment, all 49 of the world’s Imperial Faberge eggs will be in your bedroom bureau’s sock drawer. You’re absolutely certain that this information is true. All of your other dealings with supernatural powers have demonstrated that they are a trustworthy lot.

Recently, Cody Gilmore has deployed an ingenious case involving backwards time travel to highlight an apparent conflict between the theory that objects persist by perduring, and the thesis that wholly coincident objects are impossible. However, careful attention to the concepts of location and parthood that Gilmore’s cases involve shows that the perdurantist faces no genuine objection from these cases, and that the perdurantist has a number of plausible and dialectically appropriate ways to avoid the supposed conflict.

In the exuberance that followed Einstein’s discoveries, philosophers at one time or another have proposed that his theories support virtually every conceivable moral in ontology. I present an opinionated assessment, designed to avoid this overabundance. We learn from Einstein’s theories of novel entanglements of categories once held distinct: space with time; space and time with matter; and space and time with causality. We do not learn that all is relative, that time in the fourth dimension in any non-trivial sense, that (...) coordinate systems and even geometry are conventional or that spacetime should be reduced ontologically to causal, spatio-temporal or other relations. (shrink)

Discussions of the intersection of general relativity and thephilosophy of religion rarely take place on the technical levelthat involves the details of the mathematical physics of generalrelativity. John Earman's discussion of theism and generalrelativity in his recent book on spacetime singularities is anexception to this tendency. By virtue of his technical expertise,Earman is able to introduce novel arguments into the debatebetween theists and atheists. In this paper, I state and examineEarman's arguments that it is rationally acceptable to believethat theism and (...) general relativity form a mutually consistent oreven mutually supportive pair. I conclude that each of hisarguments is unsound. (shrink)

Does Nature permit the implementation of behaviours that cannot be simulated computationally? We consider the meaning of physical computation in some detail, and present arguments in favour of physical hypercomputation: for example, modern scientific method does not allow the specification of any experiment capable of refuting hypercomputation. We consider the implications of relativistic algorithms capable of solving the (Turing) Halting Problem. We also reject as a fallacy the argument that hypercomputation has no relevance because non-computable values are indistinguishable from sufficiently (...) close computable approximations. In addition to considering the nature of computability relative to any given physical theory, we can consider the relationship between versions of computability corresponding to different models of physics. Deutsch and Penrose have argued on mathematical grounds that quantum computation and Turing computation have equivalent formal power. We suggest this equivalence is invalid when considered from the physical point of view, by highlighting a quantum computational behaviour that cannot meaningfully be considered feasible in the classical universe. (shrink)

The hole argument concludes that substantivalism about spacetime entails the radical indeterminism of the general theory of relativity (GR). In this paper, I amend and defend a response to the hole argument first proposed by Butterfield (1989) that relies on the idea of counterpart substantivalism. My amendment clarifies and develops the metaphysical presuppositions of counterpart substantivalism and its relation to various definitions of determinism. My defence consists of two claims. First, contra Weatherall (2018) and others: the hole argument is not (...) a blunder resulting from a mistaken view on how mathematical physics works, and requires a developed (meta)metaphysical response. Second, contra Melia (1999) and others: one can be content with a notion of determinism for GR which is not sensitive to merely haecceitistic differences. (shrink)

Penrose's conformal cyclic cosmology describes the cosmos as a collection of successive universes, the so-called aeons. The beginning and ending of our universe are directly connected to two other, anterior and posterior, universes. Penrose considers but rules out a different interpretation of conformal cyclic cosmology: that the beginning of our universe is connected to its own end in a cosmic loop. The paper argues that the view, aeon monism, should be regarded as a natural interpretation of conformal cyclic cosmology and (...) discusses its implications for the concept of eternal return in light of the most popular metaphysics of time. (shrink)

This chapter contains sections titled: Relationism, Substantivalism and Space‐time Conventionalism about Space‐time Black Holes and Singularities Horizons and Uniformity Conclusion.

The theory of relativity is often regarded as inhospitable to the idea that there is an objective passage of time in the world. In light of this, many philosophers and physicists embrace a “block universe” view, according to which change and temporal passage are merely a subjective appearance or illusion. My aim in this paper is to argue against such a view, and show that we can make sense of an objective passage of time in the setting of relativity theory (...) by abandoning the assumption that the now must be global, and re-conceiving temporal passage as a purely local phenomenon. Various versions of local becoming have been proposed in the literature. Here I focus on the causal diamond theory proposed by Steven F. Savitt and Richard Arthur, which models the now in terms of a local structure called a causal diamond. After defending the reality of temporal passage and exploring its compatibility with relativity theory, I show how the causal diamond approach can be used to counter the argument for the ideality of time due to Kurt Gödel, based on his “rotating universe” solution to the Einstein field equations. I defend the second component of his argument, the modal step, against the consensus view that finds it wanting, and reject the first step, showing that the Gödel universe is compatible with an objective passage of time as long as the latter is construed locally, along the lines of the causal diamond approach. (shrink)

This dissertation is concerned with two of the largest questions that we can ask about the nature of physical reality: first, whether physical reality begin to exist and, second, what criteria would physical reality have to fulfill in order to have had a beginning? Philosophers of religion and theologians have previously addressed whether physical reality began to exist in the context of defending the Kal{\'a}m Cosmological Argument (KCA) for theism, that is, (P1) everything that begins to exist has a cause (...) for its beginning to exist, (P2) physical reality began to exist, and, therefore, (C) physical reality has a cause for its beginning to exist. While the KCA has traditionally been used to argue for God's existence, the KCA does not mention God, has been rejected by historically significant Christian theologians such as Thomas Aquinas, and raises perennial philosophical questions -- about the nature and history of physical reality, the nature of time, the nature of causation, and so on -- that should be of interest to all philosophers and, perhaps, all humans. While I am not a religious person, I am interested in the questions raised by the KCA. In this dissertation, I articulate three necessary conditions that physical reality would need to fulfill in order to have had a beginning and argue that, given the current state of philosophical and scientific inquiry, we cannot determine whether physical reality began to exist. -/- Friends of the KCA have sought to defend their view that physical reality began to exist in two distinct ways. As I discuss in chapter 2, the first way in which friends of the KCA have sought to defend their view that physical reality began to exist involves a family of a priori arguments meant to show that, as a matter of metaphysical necessity, the past must be finite. If the past is necessarily finite, then the past history of physical reality is necessarily finite. And if having a finite past suffices for having a beginning, then, since the past history of physical reality is necessarily finite, physical reality necessarily began to exist. I show that the arguments which have been offered thus far for the view that the past is necessarily finite do not succeed. Moreover, as I elaborate on in chapter 5, having a finite past does not suffice for having a beginning. -/- As I discuss in chapter 3, the second way in which friends of the KCA have sought to defend their view that physical reality began to exist involves a family of a posteriori arguments meant to show that we have empirical evidence that physical reality has a finite past history. For example, the big bang is sometimes claimed to have been the beginning of physical reality and, since we have excellent empirical evidence for the big bang, we have excellent empirical evidence for the beginning of physical reality. The big bang can be understood in two ways. On the one hand, the big bang can be understood as a theory about the history and development of the observable universe. Understood in that sense, then I agree that the big bang is supported by excellent empirical evidence and by a scientific consensus. On the other hand, some authors (particularly science popularizers, science journalists, and religious apologists) have wrongly interpreted big bang theory as a theory about the beginning of the whole of physical reality. As I argue, while a beginning of physical reality may be consistent with classical big bang theory, classical big bang theory does not provide good reason for thinking that physical reality began to exist. -/- In part II, I turn to discussing three necessary, but not necessarily sufficient, conditions for physical reality to have a beginning. Before discussing the three conditions, in chapter 4, I introduce three metaphysical accounts of the nature of time (A-theory, B-theory, and C-theory) as well as some formal machinery that will subsequently become useful in the dissertation. I introduce the first of the three conditions in chapter 5. According to the Modal Condition, physical reality began to exist only if, at the closest possible worlds without time, physical reality does not exist. I show that this condition helps us to make sense of various views in both theology and philosophy of physics. In chapter 6}, I introduce the second of my three conditions, the Direction Condition, according to which, roughly, physical reality began to exist only if all space-time points agree about the direction of time, so that all space-time points can agree that physical reality's putative beginning took place in their objective past. In chapter 7, I discuss the third condition, the Boundary Condition, according to which physical reality began to exist only if there is a past temporal boundary such that physical reality did not exist before the boundary. I show that there are two senses in which physical reality could be said to have had a past temporal boundary. Lastly, in chapter 8, I show that there is a relationship between my three conditions and classical big bang theory, even though the relationship is not the one usually identified in the literature. -/- In part III, I present four arguments for the view that, at the present stage of philosophical and scientific inquiry, we cannot know whether physical reality satisfies the three necessary conditions to have had a beginning and, consequently, we cannot know whether physical reality had a beginning. As I will prove in chapter 9, no set of observations that we currently have, when conjoined with General Relativity, entails that physical reality satisfies the Direction or Boundary Conditions. As I show in chapter 10, considerations in the philosophical foundations of statistical mechanics entail either that the Cosmos violates the Modal Condition or else that there is a transcendental condition on the possibility of our knowledge of the past that prevents our access to data we would need to gather to determine whether physical reality satisfies the Boundary Condition. In chapter 11, I show that there are a number of live cosmological models according to which physical reality does not satisfy the Boundary Condition. As long as we don't know whether any of those cosmological models are correct, we do not know whether physical reality satisfies the Boundary Condition. Lastly, I turn to confirmation theory and show that, at our present stage of inquiry, ampliative inferences for the conclusion that physical reality satisfies the Modal, Direction, and Boundary Conditions are not successful. (shrink)

The causal set programme towards a quantum theory of gravity is situated vis-à-vis the long-standing debate between eternalism (block theory) and past-presentism or possibilism (growing block theory) in the philosophy of time. It is argued that despite 'appearances' and declarations to the contrary, the programme does not side with growing block theorists when it comes to harboring a robust notion of Becoming - at least, not more than familiar relativistic theories on continuous spacetime manifolds. The problem stems mainly from the (...) postulate of discrete general covariance - a requirement imposed upon the only fully worked out kind of dynamics for causal sets to date, a dynamics of a classical stochastic process. (shrink)

The special theory of relativity (STR) is widely supposed to be in tension with A-theories of time, those giving special significance to the present moment. A-theories are diverse in the features they regard as distinctive of the present, but all agree that there is an absolute fact of the matter about which events have the feature of presentness. Famously, the standard notion of simultaneity operationalised within the theory of relativity is not absolute. If A-theorists accept relativistic physics, they must either (...) refine their A-theory and sever joint presentness from simultaneity (‘conciliatory’ responses to the problem), or supplement standard relativity by adding further spacetime structure that grounds a relation of absolute simultaneity (‘supplementing’ responses). This chapter considers the prospects for such approaches, concluding that while there is no knock-down argument from relativity against the A-theory, attempts to marry the A-theory with STR are more trouble than they are worth. (shrink)

Many physicists have thought that absolute time became otiose with the introduction of Special Relativity. William Lane Craig disagrees. Craig argues that although relativity is empirically adequate within a domain of application, relativity is literally false and should be supplanted by a Neo-Lorentzian alternative that allows for absolute time. Meanwhile, Craig and co-author James Sinclair have argued that physical cosmology supports the conclusion that physical reality began to exist at a finite time in the past. However, on their view, the (...) beginning of physical reality requires the objective passage of absolute time, so that the beginning of physical reality stands or falls with Craig's Neo-Lorentzian metaphysics. Here, I raise doubts about whether, given Craig's NeoLorentzian metaphysics, physical cosmology could adequately support a beginning of physical reality within the finite past. Craig and Sinclair's conception of the beginning of the universe requires a past boundary to the universe. A past boundary to the universe cannot be directly observed and so must be inferred from the observed matter-energy distribution in conjunction with auxilary hypotheses drawn from a substantive physical theory. Craig's brand of Neo Lorentzianism has not been sufficiently well specified so as to infer either that there is a past boundary or that the boundary is located in the finite past. Consequently, Neo Lorentzianism implicitly introduces a form of skepticism that removes the ability that we might have otherwise had to infer a beginning of the universe. Furthermore, in analyzing traditional big bang models, I develop criteria that Neo-Lorentzians should deploy in thinking about the direction and duration of time in cosmological models generally. For my last task, I apply the same criteria to bounce cosmologies and show that Craig and Sinclair have been wrong to interpret bounce cosmologies as including a beginning of physical reality. (shrink)

A common feature of all standard theories of the laws of nature is that they are "absolutist": They take laws to be either all metaphysically necessary or all contingent. Science, however, gives us reason to think that there are laws of both kinds, suggesting that standard theories should make way for "non-absolutist" alternatives: theories which accommodate laws of both modal statuses. In this paper, we set out three explanatory challenges for any candidate non-absolutist theory and discuss the prospects of the (...) two extant candidates in light of these challenges. We then develop our own non-absolutist theory, the essentialist DTA account, which combines the nomic-necessitation or DTA account with an essentialist approach to metaphysical modality in order to meet the three explanatory challenges. Finally, we argue that the distinction between kinematical and dynamical laws found in physical theories supports both non-absolutism in general and our proposed essentialist DTA view in particular. (shrink)

On the orthodox interpretation of bounce cosmologies, a preceding universe was compressed to a small size before “bouncing” to form the present expanding universe. William Lane Craig and James Sinclair have argued that the orthodox interpretation is incorrect if the entropy reaches a minimum at the bounce. In their view, the interface between universes represents the birth of two expanding universes, i.e., a “double bang” instead of a “big bounce”. Here, I reply to Craig and Sinclair in defense of the (...) orthodox interpretation. Contrary to their interpretation, features of one universe explain features of the other universe and so must precede the other universe in time. Moreover, contrary to a crucial part of Craig and Sinclair’s interpretation, there are bounce cosmologies in which the thermodynamic arrow of time is continuous through the bounce even though the entropy is “reset” at the bounce. (shrink)

Over time, the general theory of relativity has accumulated several anomalies and discrepancies, indicating the need for a better theory about gravity or other approaches. The ad-hoc hypotheses introduced in general relativity to explain gravitational singularities based on energy conditions are not very efficient. More detailed assumptions on the content of the subject are needed. Many scientists and philosophers have come to the conclusion that singularities must be associated with reaching the limits of the physical validity of general relativity, and (...) a new theory of quantum gravity needs to be developed. DOI: 10.13140/RG.2.2.32579.55848. (shrink)

This article deals with the question of what time reversal means. It begins with a presentation of the standard account of time reversal, with plenty of examples, followed by a popular non-standard account. I argue that, in spite of recent commentary to the contrary, the standard approach to the meaning of time reversal is the only one that is philosophically and physically viable. The article concludes with a few open research problems about time reversal.

Here, formal tools are used to pose and answer several philosophical questions concerning space and time. The questions involve the properties of possible worlds allowed by the general theory of relativity. In particular, attention is given to various causal properties such as “determinism” and “time travel”.

Singularitățile la care se ajunge în relativitatea generală prin rezolvarea ecuațiilor lui Einstein au fost și încă mai sunt subiectul a numeroase dezbateri științifice: Există sau nu, singularități? Big Bang a fost o singularitate inițială? Dacă singularitățile există, care este ontologia acestora? Este teoria generală a relativității o teorie care și-a arătat limitele în acest caz? În acest eseu argumentez faptul că există singularități, iar teoria generală a relativității, ca de altfel oricare altă teorie științifică din prezent, nu este valabilă (...) în interiorul orizontului evenimentelor. Dar asta nu presupune, așa cum consideră unii oameni de știință, că ea trebuie considerată ca fiind perimată. După o scurtă prezentare a aspectelor specifice din teoria clasică newtoniană și teoria specială a relativității, și o scurtă prezentare a teoriei generale a relativității, în capitolul Ontologia relativității generale prezint aspectele ontologice specifice relativității generale. Următorul capitol, Singularități, este dedicat prezentării singularităților care rezultă în relativitatea generală, a aspectelor specifice ale găurilor negre și orizontul evenimentelor, inclusiv dezbaterea despre Big Bang ca singularitate inițială, și argumentele în favoarea existenței singularităților. În Ontologia singularităților vorbesc despre posibilitățile de încadrare ontologică a singularităților în general și a găurilor negre în special, despre argumentul găurii pus în evidență de Einstein, și argumentele prezentate de oamenii de știință că nu există singularități și deci că teoria generală a relativității este în impas. Închei cu Concluziile în care expun și reiau pe scurt argumentele care ămi susțin opiniile prezentate mai sus. Aceasta este o traducere din limba engleză a lucrării: Sfetcu, Nicolae, "The singularities as ontological limits of the general relativity". (shrink)

I argue that the best interpretation of the general theory of relativity has need of a causal entity, and causal structure that is not reducible to light cone structure. I suggest that this causal interpretation of GTR helps defeat a key premise in one of the most popular arguments for causal reductionism, viz., the argument from physics.

I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

I argue that the Carroll-Chen cosmogonic model does not provide a plausible scientific explanation of the past hypothesis (the thesis that our universe began in an extremely low-entropy state). I suggest that this counts as a welcomed result for those who adopt a Mill-Ramsey-Lewis best systems account of laws and maintain that the past hypothesis is a brute fact that is a non-dynamical law.

The argument from contingency for the existence of God is best understood as a request for an explanation of the total sequence of causes and effects in the universe (‘History’ for short). Many puzzles about how there could be such an explanation arise from the assumption that God is being introduced as one more cause prepended to the sequence of causes that (allegedly) needed explaining. In response to this difficulty, this chapter defends three theses. First, it argues that, if the (...) argument from contingency is to succeed, the explanation of History in terms of God must not be a causal explanation; second, that a particular hypothesis about God’s relation to History—that God is what I call the foundational ground of History—is intelligible and explanatory; third and finally, that the explanatory advantages of this hypothesis cannot be had within the confines of naturalism. (shrink)

This is a short, nontechnical introduction to features of time in classical and relativistic physics and their representation in the four-dimensional geometry of spacetime. Topics discussed include: the relativity of simultaneity in special and general relativity; the ‘twin paradox’ and differential aging effects in special and general relativity; and time travel in general relativity.

INTRODUCTION I. CETERIS PARIBUS LAWS An alleged law of nature—like Newton's law of gravitation—is said to be a ceteris paribus law if it does not hold under ...

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)

Special relativity has been understood by many as vindicating a tenseless conception of time, denying the existence of tensed facts and a fortiori objective temporal passage. The reason for this is straightforward: both passage and the obtaining of tensed facts require a universal knife-edge present moment—yet this structure is not easily reconcilable with the relativity of simultaneity. The above being said, the prospects for tense and passage are sometimes claimed to be improved on moving to cosmological solutions of general relativity. (...) In this paper, we evaluate in detail these arguments, finding that there remain several open questions to be addressed if the introduction of tensed facts into the relativistic context is to be compelling. Moreover, we argue that, even setting aside these issues, objective tense stands and falls in relativity for exactly the same reasons that it does in classical philosophical discussions on the matter. (shrink)

Notoriously, the Einstein equations of general relativity have solutions in which closed timelike curves occur. On these curves time loops back onto itself, which has exotic consequences: for example, traveling back into one's own past becomes possible. However, in order to make time travel stories consistent constraints have to be satisfied, which prevents seemingly ordinary and plausible processes from occurring. This, and several other "unphysical" features, have motivated many authors to exclude solutions with CTCs from consideration, e.g. by conjecturing a (...) chronology protection law. In this contribution we shall investigate the nature of one particular class of exotic consequences of CTCs, namely those involving unexpected cases of indeterminism or determinism. Indeterminism arises even against the backdrop of the usual deterministic physical theories when CTCs do not cross spacelike hypersurfaces outside of a limited CTC-region|such hypersurfaces fail to be Cauchy surfaces. We shall compare this CTC-indeterminism with four other types of indeterminism that have been discussed in the philosophy of physics literature: quantum indeterminism, the indeterminism of the hole argument, non-uniqueness of solutions of differential equations and lack of predictability due to insuffcient data. By contrast, a certain kind of determinism appears to arise when an indeterministic theory is applied on a CTC: things cannot be different from what they already were. Again we shall make comparisons, this time with other cases of determination in physics. We shall argue that on further consideration both this indeterminism and determinism on CTCs turn out to possess analogues in other, familiar areas of physics. CTC- indeterminism is close to the epistemological indeterminism we know from statistical physics, while the "fixedness" typical of CTC-determinism is pervasive in physics. CTC- determinism and CTC-indeterminism therefore do not provide incontrovertible grounds for rejecting CTCs as conceptually inadmissible. (shrink)

The singularities from the general relativity resulting by solving Einstein's equations were and still are the subject of many scientific debates: Are there singularities in spacetime, or not? Big Bang was an initial singularity? If singularities exist, what is their ontology? Is the general theory of relativity a theory that has shown its limits in this case? In this essay I argue that there are singularities, and the general theory of relativity, as any other scientific theory at present, is not (...) valid for singularities. But that does not mean, as some scientists think, that it must be regarded as being obsolete. After a brief presentation of the specific aspects of Newtonian classical theory and the special theory of relativity, and a brief presentation of the general theory of relativity, the chapter Ontology of General Relativity presents the ontological aspects of general relativity. The next chapter, Singularities, is dedicated to the presentation of the singularities resulting in general relativity, the specific aspects of the black holes and the event horizon, including the Big Bang debate as original singularity, and arguments for the existence of the singularities. In Singularity Ontology, I am talking about the possibilities of ontological framing of singularities in general and black holes in particular, about the hole argument highlighted by Einstein, and the arguments presented by scientists that there are no singularities and therefore that the general theory of relativity is in deadlock. In Conclusions I outline and summarize briefly the arguments that support my above views. -/- DOI: 10.58679/TW62329. (shrink)

This essay aims to provide a self-contained introduction to time in relativistic cosmology that clarifies both how questions about the nature of time should be posed in this setting and the extent to which they have been or can be answered empirically. The first section below recounts the loss of Newtonian absolute time with the advent of special and general relativity, and the partial recovery of absolute time in the form of cosmic time in some cosmological models. Section II considers (...) the beginning and end of time in a broader class of models in which there is not an analog of Newtonian absolute time. As we will see, reasonable physical assumptions imply that the universe is finite to the past, and Section III turns to consideration of the “beginning” itself. We critically review conventional wisdom that a “singularity” reveals flaws in general relativity and briefly assess ways of avoiding the singularity. (shrink)

There exists a growing literature on the so-called physical Church-Turing thesis in a relativistic spacetime setting. The physical Church-Turing thesis is the conjecture that no computing device that is physically realizable can exceed the computational barriers of a Turing machine. By suggesting a concrete implementation of a beyond-Turing computer in a spacetime setting, Istvan Nemeti and Gyula David have shown how an appreciation of the physical Church-Turing thesis necessitates the confluence of mathematical, computational, physical, and indeed cosmological ideas. In this (...) essay, I will honour Istvan's seventieth birthday, as well as his longstanding interest in, and his seminal contributions to, this field going back to as early as 1987 by modestly proposing how the concrete implementation in Nemeti and D\'avid might be complemented by a quantum-information-theoretic communication protocol between the computing device and the logician who sets the beyond-Turing computer a task such as determining the consistency of Zermelo-Fraenkel set theory. This suggests that even the foundations of quantum theory and, ultimately, quantum gravity may play an important role in determining the validity of the physical Church-Turing thesis. (shrink)

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

It is claimed that unacceptable constraints on initial data are imposed by certain responses to paradoxes that threaten time travel, closed timelike curves (CTCs) and other backwards causation hypotheses. In this paper I argue against the following claims: to say “contradictions are impossible so something must prevent the paradox” commits in general to constraints on initial data, that for fixed point dynamics so-called grey state solutions explain why contradictions do not arise, and the latter have been proved to avoid constraints (...) on initial data. †To contact the author, please write to: Philosophy, University of Queensland, Brisbane, Queensland 4072, Australia; e-mail: [email protected]. (shrink)

Here we briefly review the concept of "prediction" within the context of classical relativity theory. We prove a theorem asserting that one may predict one's own future only in a closed universe. We then question whether prediction is possible at all (even in closed universes). We note that interest in prediction has stemmed from considering the epistemological predicament of the observer. We argue that the definitions of prediction found thus far in the literature do not fully appreciate this predicament. We (...) propose a more adequate alternative and show that, under this definition, prediction is essentially impossible in general relativity. (shrink)

James Thomson envisaged a lamp which would be turned on for 1 minute, off for 1/2 minute, on for 1/4 minute, etc. ad infinitum. He asked whether the lamp would be on or off at the end of 2 minutes. Use of “internal set theory” (a version of nonstandard analysis), developed by Edward Nelson, shows Thomson's lamp is chimerical; its copy within set theory yields a contradiction. The demonstration extends to placing restrictions on other “infinite tasks” such as Zeno's paradoxes (...) of motion and Kant's First Antinomy. Resolution of such logical-philosophical problems leads to some very general constraints which must be placed upon the syntax of physical theories. In particular, at some scale space and time would appear granular. The suitability of internal set theory for analyzing phenomena is examined, using a paper by Alper and Bridger (1997) to frame the discussion. (shrink)

We call attention to different formulations of how physical laws relate to what is physically possible in the philosophical literature, and argue that it may be the case that determinism fails under one formulation but reigns under the other. Whether this is so depends on our view on the nature of laws, and may also depend on the inter-theoretical relationships among our best physical theories, or so shall we argue.

Black holes are extremely relativistic objects. Physical processes around them occur in a regime where the gravitational field is extremely intense. Under such conditions, our representations of space, time, gravity, and thermodynamics are pushed to their limits. In such a situation philosophical issues naturally arise. In this chapter I review some philosophical questions related to black holes. In particular, the relevance of black holes for the metaphysical dispute between presentists and eternalists, the origin of the second law of thermadynamics and (...) its relation to black holes, the problem of information, black holes and hypercomputing, the nature of determinsim, and the breakdown of predictability in black hole space-times. I maintain that black hole physics can be used to illuminate some important problems in the border between science and philosophy, either epistemology and ontology. (shrink)

In this book, Alston articulates and argues for a use-based and normative account of sentence meaning. He proposes that sentence meaning consists in illocutionary act potential, the usability of a sentence for the performance of a certain illocutionary act type. This potential is itself explained in terms of illocutionary rules, normative rules governing the acceptable use of sentences.

Within the context of general relativity, we consider one definition of a “time machine” proposed by Earman, Smeenk, and Wüthrich. They conjecture that, under their definition, the class of time machine spacetimes is not empty. Here, we prove this conjecture. †To contact the author, please write to: Department of Philosophy, University of Washington, Box 353350, Seattle, WA 98195‐3350; e‐mail: [email protected].

Philosophers of physics should be more attentive to the role energy conditions play in General Relativity. I review the changing status of energy conditions for quantum fields-presently there are no singularity theorems for semiclassical General Relativity. So we must reevaluate how we understand the relationship between General Relativity, Quantum Field Theory, and singularities. Moreover, on our present understanding of what it is to be a physically reasonable field, the standard energy conditions are violated classically. Thus the singularity theorems are unavailable (...) for classical General Relativity. Our understanding of singularities in General Relativity turns on delicate issues of what it is to be a matter field-issues distinct from the content of the theory. (shrink)

In the light of his recent (and fully deserved) Nobel Prize, this pedagogical paper draws attention to a fundamental tension that drove Penrose’s work on general relativity. His 1965 singularity theorem (for which he got the prize) does not in fact imply the existence of black holes (even if its assumptions are met). Similarly, his versatile definition of a singular space–time does not match the generally accepted definition of a black hole (derived from his concept of null infinity). To overcome (...) this, Penrose launched his cosmic censorship conjecture(s), whose evolution we discuss. In particular, we review both his own (mature) formulation and its later, inequivalent reformulation in the pde literature. As a compromise, one might say that in “generic” or “physically reasonable” space–times, weak cosmic censorship postulates the appearance and stability of event horizons, whereas strong cosmic censorship asks for the instability and ensuing disappearance of Cauchy horizons. As an encore, an “Appendix” by Erik Curiel reviews the early history of the definition of a black hole. (shrink)

In this paper non-Hausdorff manifolds as potential basic objects of General Relativity are investigated. One can distinguish four stages of identifying an appropriate mathematical structure to describe physical systems: kinematic, dynamical, physical reasonability, and empirical. The thesis of this paper is that in the context of General Relativity, non-Hausdorff manifolds pass the first two stages, as they enable one to define the basic notions of differential geometry needed to pose the problem of the evolution-distribution of matter and are not in (...) conflict with the Einstein equations. With regard to the third stage, various potential conflicts with physical reasonability conditions are considered with a tentative conclusion that non-Hausdorff manifolds are more likely to pass this stage than is typically assumed. When dealing with some of these problems, the modal interpretation of non-Hausdorff manifolds is invoked, according to which they represent bundles of alternative possible spacetimes rather than single spacetimes. (shrink)

I discuss candidates for definitions of determinism in the context of general relativistic spacetimes, and argue that a definition which does not make recourse to any particular region of spacetime should be preferred over alternatives; one such notion is discussed in detail in the light of various physical examples. The emerging picture of determinism is a pluralist one: sometimes there is no unique way of making our intuitive concept of determinism precise. Instead, what is crucial for assessment of determinism of (...) the theory are auxiliary conditions under which it counts as deterministic or indeterministic, and justification for using them in a given situation. (shrink)