A critical re-examination of the history of the concepts of space (including spacetime of general relativity and relativistic quantum field theory) reveals a basic ontological elusiveness of spatial extension, while, at the same time, highlighting the fact that its epistemic primacy seems to be unavoidably imposed on us (as stated by A.Einstein “giving up the extensional continuum … is like to breathe in airless space”). On the other hand, Planck’s discovery of the atomization of action leads to the fundamental recognition (...) of an ontology of non-spatial, abstract entities (Quine) for the quantum level of reality (QT), as distinguished from the necessarily spatio-temporal, experimental revelations (measurements). The elementary quantum act (measured by Planck’s constant) has neither duration nor extension, and any genuinely quantum process literally does not belong in the Raum and time of our experience. As Heisenberg stresses: “Während also die klassische Physik ein objectives Geschehen in Raum and Zeit zum Gegenstand hat, für dessen Existenz seine Beobachtung völlig irrelevant war, behandelt die Quantentheorie Vorgänge, die sozusagen nur in den Momenten der Beobachtung als raumzeitliche Phänomene aufleuchten, und über die in der zwischenzeit anschaulische physikalische Aussagen sinloss sind”. An admittedly speculative, hazardous conjecture is then advanced concerning the relation of such quantum ontology with the role of the pre-phenomenal continuum (Husserl) in the perception of macroscopically distinguishable objects in the Raum and time of our experience. Although rather venturesome, it brings together important philosophical issues. Coherently with recent general results in works on the foundations of QT, it is assumed that the linearity of quantum dynamical evolution does not apply to the central nervous system of living beings at a certain level of the evolutionary ramification and at the pre-conscious stage of subjectivity. Accordingly, corresponding to the onset of a non-linear dynamic evolution, a ‘primary spatial’ reduction is ‘continually’ taking place, thereby constituting the neural precondition for the experience of distinguishable macroscopic objects in the continuous spatial extension. While preventing the theoretically possible quantum superpositions of macroscopic objects from being perceivable by living beings, the ‘primary reduction’ has no effect on the standard processes concerning quantum level entities involved in laboratory man-made experiments. In this connection, an experimental check which might falsify the conjecture is briefly discussed. The approach suggested here, if sound, leads to a naturalization of that part of Kant’s Transcendental Aesthetics than can survive the Euclidean catastrophe. According to such naturalized transcendentalism, “space can well be transcendental without the axioms being so”, in agreement with a well-known statement by Boltzman. Finally, as far as QT is concerned, the conjecture entails that a scheme for quantum measurement of the von Neumann type cannot even ‘leave the ground’, vindicating Bohr’s viewpoint. A quantum theory of measurement, in a proper sense, turns out to be unnecessary and in fact impossible. (shrink)

An actual infinity of colliding balls can be in a configuration in which the laws of mechanics lead to logical inconsistency. It is argued that one should therefore limit the domain of these laws to a finite, or only a potentially infinite number of elements. With this restriction indeterminism, energy nonconservation and creatio ex nihilo no longer occur. A numerical analysis of finite systems of colliding balls is given, and the asymptotic behaviour that corresponds to the potentially infinite system is (...) inferred. (shrink)

I present a very general and simple argument—based on the no-signalling theorem—showing that within the framework of the unitary Schrödinger equation it is impossible to reproduce the phenomenological description of quantum mechanical measurements (in particular the collapse of the state of the measured system) by assuming a suitable mixed initial state of the apparatus. The thrust of the argument is thus similar to that of the ‘insolubility theorems’ for the measurement problem of quantum mechanics (which, however, focus on the impossibility (...) of reproducing the macroscopic measurement results). Although I believe this form of the argument is new, I argue it is essentially a variant of Einstein’s reasoning in the context of the EPR paradox—which is thereby illuminated from a new angle. (shrink)

One typical realist response to the argument from underdetermination of theories by evidence is an appeal to epistemic criteria besides the empirical evidence to argue that, while scientific theories might be empirically equivalent, they are not epistemically equivalent. In this article, I spell out a new and reformulated version of the underdetermination argument that takes such criteria into account. I explain the notion of epistemic equivalence which this new argument appeals to, and argue that epistemic equivalence can be achieved in (...) several, significantly different, ways. On the basis of this ‘multiple realisability’ of epistemic equivalence, I then proceed to explain and examine some of the main consequences of this reformulated underdetermination argument for both realists and anti-realists. (shrink)

I wish to discuss a supposed implication of one sort of time travel. The sort of time travel is time travel into one’s past along a closed timelike curve. The implication is that in spacetimes with CTCs there can be no temporal passage or “flow” of time. I will argue that the implication does not hold.

This article develops an analogy proposed by Stachel between general relativity (GR) and quantum mechanics (QM) as regards permutation invariance. Our main idea is to overcome Pooley's criticism of the analogy by appeal to paraparticles. In GR, the equations are (the solution space is) invariant under diffeomorphisms permuting spacetime points. Similarly, in QM the equations are invariant under particle permutations. Stachel argued that this feature—a theory's ‘not caring which point, or particle, is which’—supported a structuralist ontology. Pooley criticizes this analogy: (...) in QM the (anti-)symmetrization of fermions and bosons implies that each individual state (solution) is fixed by each permutation, while in GR a diffeomorphism yields in general a distinct, albeit isomorphic, solution. We define various versions of structuralism, and go on to formulate Stachel's and Pooley's positions, admittedly in our own terms. We then reply to Pooley. Though he is right about fermions and bosons, QM equally allows more general types of particle symmetry, in which states (vectors, rays, or density operators) are not fixed by all permutations (called ‘paraparticle states’). Thus Stachel's analogy is revived. (shrink)

Malament-Hogarth spacetimes are the sort of models within general relativity that seem to allow for the possibility of supertasks. There are various ways in which these spacetimes might be considered physically problematic. Here, we examine these criticisms and investigate the prospect of escaping them.

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)

Special relativity is said to prohibit faster-than-light (superluminal) signalling, yet controversy regularly arises as to whether this or that physical phenomenon violates the prohibition. I argue that the controversy is a result of a lack of clarity as to what it means to `signal', and I propose a criterion. I show that although we have no reason to think that one can send signals faster than light, this is not prohibited by special relativity.

We consider to what extent the fundamental question of spacetime singularities is relevant for the philosophical debate about the nature of spacetime. After reviewing some basic aspects of the spacetime singularities within general relativity, we argue that the well known difficulty to localize them in a meaningful way may challenge the received metaphysical view of spacetime as a set of points possessing some intrinsic properties together with some spatiotemporal relations. Considering the algebraic formulation of general relativity, we argue that the (...) spacetime singularities highlight the philosophically misleading dependence on the standard geometric representation of spacetime. †To contact the author, please write to: Department of Philosophy, University of Lausanne, CH-1015 Lausanne, Switzerland; e-mail: [email protected]. (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)

Your story is there waiting for you, it has been waiting for you there a hundred years, long before you were born and you cannot change a comma of it. Everything you do you have to do. You are the twig, and the water you float on swept you here. You are the leaf, and the breeze you were borne on blew you here. This is your story and you cannot escape it.—Cornell Woolrich, I Married a Dead Man.

This article describes abductions as special patterns of inference to the best explanation whose structure determines a particularly promising abductive conjecture and thus serves as an abductive search strategy. A classification of different patterns of abduction is provided which intends to be as complete as possible. An important distinction is that between selective abductions, which choose an optimal candidate from given multitude of possible explanations, and creative abductions, which introduce new theoretical models or concepts. While selective abduction has dominated the (...) literature, creative abductions are rarely discussed, although they are essential in science. The article introduces several kinds of creative abductions, such as theoretical model abduction, common cause abduction and statistical factor analysis, and illustrates them by various real case examples. It is suggested to demarcate scientifically fruitful abductions from purely speculative abductions by the criterion of causal unification. (shrink)

Scientific essentialism aims to account for the natural laws' special capacity to support counterfactuals. I argue that scientific essentialism can do so only by resorting to devices that are just as ad hoc as those that essentialists accuse Humean regularity theories of employing. I conclude by offering an account of the laws' distinctive relation to counterfactuals that portrays laws as contingent but nevertheless distinct from accidents by virtue of possessing a genuine variety of necessity.

Much controversy surrounds the question of what ought to be the proper definition of 'singularity' in general relativity, and the question of whether the prediction of such entities leads to a crisis for the theory. I argue that a definition in terms of curve incompleteness is adequate, and in particular that the idea that singularities correspond to 'missing points' has insurmountable problems. I conclude that singularities per se pose no serious problem for the theory, but their analysis does bring into (...) focus several problems of interpretation at the foundation of the theory often ignored in the philosophical literature. (shrink)

Alan Turing devised his famous test (TT) through a slight modificationof the parlor game in which a judge tries to ascertain the gender of twopeople who are only linguistically accessible. Stevan Harnad hasintroduced the Total TT, in which the judge can look at thecontestants in an attempt to determine which is a robot and which aperson. But what if we confront the judge with an animal, and arobot striving to pass for one, and then challenge him to peg which iswhich? (...) Now we can index TTT to a particular animal and its syntheticcorrelate. We might therefore have TTTrat, TTTcat,TTTdog, and so on. These tests, as we explain herein, are abetter barometer of artificial intelligence (AI) than Turing's originalTT, because AI seems to have ammunition sufficient only to reach thelevel of artificial animal, not artificial person. (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.

Although black holes are objects of central importance across many fields of physics, there is no agreed upon definition for them, a fact that does not seem to be widely recognized. Physicists in different fields conceive of and reason about them in radi- cally different, and often conflicting, ways. All those ways, however, seem sound in the relevant contexts. After examining and comparing many of the definitions used in practice, I consider the problems that the lack of a universally accepted (...) definition leads to, and discuss whether one is in fact needed for progress in the physics of black holes. I conclude that, within reasonable bounds, the profusion of different definitions is in fact a virtue, making the investigation of black holes possible and fruitful in all the many different kinds of problems about them that physicists consider, although one must take care in trying to translate results between fields. (shrink)

What is the contribution of Duhem’s work to the modern historiography? His interpreters have been discussing this question and ordinarily have recognized that the main aspect in his extensive work is connected with his research of medieval science. It has become customary to speak of the “discovery of medieval science” as his foremost historiographic achievement. This paper aims to discuss some aspects of Duhem’s historiography more for its promotion of a new historical perspective than for its results. Duhem’s legacy for (...) modern historiography can be investigated from the characteristics that mark this new perspective, as regarded by Thomas Kuhn. (shrink)

Stephen Hawking, among others, has proposed that the topological stability of a property of space-time is a necessary condition for it to be physically significant. What counts as stable, however, depends crucially on the choice of topology. Some physicists have thus suggested that one should find a canonical topology, a single ‘right’ topology for every inquiry. While certain such choices might be initially motivated, some little-discussed examples of Robert Geroch and some propositions of my own show that the main candidates—and (...) each possible choice, to some extent—faces the horns of a no-go result. I suggest that instead of trying to decide what the ‘right’ topology is for all problems, one should let the details of particular types of problems guide the choice of an appropriate topology. (shrink)

The traditional Bayesian qualitative account of evidential support (TB) takes assertions of the form 'E evidentially supports H' to affirm the existence of a two-place relation of evidential support between E and H. The analysans given for this relation is $C(H,E) =_{def} Pr(H\arrowvertE) \models Pr(H)$ . Now it is well known that when a hypothesis H entails evidence E, not only is it the case that C(H,E), but it is also the case that C(H&X,E) for any arbitrary X. There is (...) a widespread feeling that this is a problematic result for TB. Indeed, there are a number of cases in which many feel it is false to assert 'E evidentially supports H&X', despite H entailing E. This is known, by those who share that feeling, as the 'tacking problem' for Bayesian confirmation theory. After outlining a generalization of the problem, I argue that the Bayesian response has so far been unsatisfactory. I then argue the following: (i) There exists, either instead of, or in addition to, a two-place relation of confirmation, a three-place, 'contrastive' relation of confirmation, holding between an item of evidence E and two competing hypotheses H₁ and H₂. (ii) The correct analysans of the relation is a particular probabilistic inequality, abbreviated C(H₁, H₂, E). (iii) Those who take the putative counterexamples to TB discussed to indeed be counterexamples are interpreting the relevant utterances as implicitly contrastive, contrasting the relevant hypothesis H₁ with a particular competitor H₂. (iv) The probabilistic structure of these cases is such that ∼C(H₁, H₂, E). This solves my generalization of the tacking problem. I then conclude with some thoughts about the relationship between the traditional Bayesian account of evidential support and my proposed account of the three-place relation of confirmation. (shrink)

Jim Weatherall has suggested that Einstein's hole argument, as presented by Earman and Norton, is based on a misleading use of mathematics. I argue on the contrary that Weatherall demands an implausible restriction on how mathematics is used. The hole argument, on the other hand, is in no new danger at all.

I discuss singular space-times in the context of the geometrized formulation of Newtonian gravitation. I argue first that geodesic incompleteness is a natural criterion for when a model of geometrized Newtonian gravitation is singular, and then I show that singularities in this sense arise naturally in classical physics by stating and proving a classical version of the Raychaudhuri-Komar singularity theorem.

While there is a longstanding discussion about the interpretation of the extended, general principle of relativity, there seems to be a consensus that the special principle of relativity is absolutely clear and unproblematic. However, a closer look at the literature on relativistic physics reveals a more confusing picture. There is a huge variety of, sometimes metaphoric, formulations of the relativity principle, and there are different, sometimes controversial, views on its actual content. The aim of this paper is to develop a (...) precise language in order to provide a precise formulation of the principle. In view of the fact that the special relativity principle is considered as a universal meta-law, which must be valid for all physical laws in all situations, we try to keep the formalism as general as possible. The benefit of the formal reconstruction is that it makes explicit all the necessary conceptual components of the principle; it brings out many subtle details and the related conceptual problems. (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.

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.

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)

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)

A new argument is given for the thesis that only symmetry-invariant physical quantities are real. Non-invariant quantities are dynamically epiphenomenal in that they have no effect on the evolution of invariant quantities, and it is a significant theoretical vice to posit epiphenomenal quantities.

Deception has long been an important topic in philosophy. However, the traditional analysis of the concept, which requires that a deceiver intentionally cause her victim to have a false belief, rules out the possibility of much deception in the animal kingdom. Cognitively unsophisticated species, such as fireflies and butterflies, have simply evolved to mislead potential predators and/or prey. To capture such cases of “functional deception,” several researchers Machiavellian intelligence II, Cambridge University Press, Cambridge, pp 112–143, 1997; Searcy and Nowicki, The (...) evolution of animal communication, Princeton University Press, Princeton, 2005; Skyrms, Signals, Oxford University Press, Oxford 2010) have endorsed the broader view that deception only requires that a deceiver benefit from sending a misleading signal. Moreover, in order to facilitate game-theoretic study of deception in the context of Lewisian sender-receiver games, Brian Skyrms has proposed an influential formal analysis of this view. Such formal analyses have the potential to enhance our philosophical understanding of deception in humans as well as animals. However, as we argue in this paper, Skyrms’s analysis, as well as two recently proposed alternative analyses, are seriously flawed and can lead us to draw unwarranted conclusions about deception. (shrink)

Richard Jeffrey developed the formula for probability kinematics with the intent that it would show that strong foundations are epistemologically unnecessary. But the reasons that support strong foundationalism are considerations of dynamics rather than kinematics. The strong foundationalist is concerned with the origin of epistemic force; showing how epistemic force is propagated therefore cannot undermine his position. The weakness of personalism is evident in the difficulty the personalist has in giving a principled answer to the question of when the conditions (...) for the application of the kinematic formula—the rigidity of the posteriors—are fulfilled, a problem made intractable by the personalist commitment to treating changes in intermediate probability as unexplained surds. Because the strong foundationalist admits changes in the intermediate probability of propositions only when there is some change in the foundations, he can avail himself of ananswer to the problem of the rigidity of the posteriors which the personalist cannot regard as complete. While probability kinematics does not make certain foundations unnecessary, the possession of certain foundations also does not make the probability kinematics formula superfluous. The formula allowsus to model the indirect routes by which the foundations influence various non-foundational propositions in the probability distribution. (shrink)

Econophysics is a new and exciting cross-disciplinary research field that applies models and modelling techniques from statistical physics to economic systems. It is not, however, without its critics: prominent figures in more mainstream economic theory have criticized some elements of the methodology of econophysics. One of the main lines of criticism concerns the nature of the modelling assumptions and idealizations involved, and a particular target are ‘kinetic exchange’ approaches used to model the emergence of inequality within the distribution of individual (...) monetary income. This article will consider such models in detail, and assess the warrant of the criticisms drawing upon the philosophical literature on modelling and idealization. Our aim is to provide the first steps towards informed mediation of this important and interesting interdisciplinary debate, and our hope is to offer guidance with regard to both the practice of modelling inequality, and the inequality of modelling practice. _1_ Introduction _1.1_ Econophysics and its discontents _1.2_ Against burglar economics _2_ Modelling Inequality _2.1_ Mainstream economic models for income distribution _2.2_ Econophysics models for income distribution _3_ Idealizations in Kinetic Exchange Models _3.1_ Binary interactions _3.2_ Conservation principles _3.3_ Exchange dynamics _ 4 _ Fat Tails and Savings _ 5 _ Evaluation. (shrink)

The problem of theoretical equivalence is traditionally understood as the problem of specifying when superficially dissimilar accounts of the world are reformulations of a single underlying theory. One important strategy for answering this question has been to appeal to formal relations between theoretical structures. This article presents two reasons to think that such an approach will be unsuccessful and suggests an alternative account of theoretical equivalence, based on the notion of interpretive equivalence, in which the problem is merely an instance (...) of a broader problem in the philosophy of physics. I thus conclude that there is no distinctive problem of theoretical equivalence at all. Two difficulties my approach raises for realist replies to the threat of underdetermination are then discussed, with particular emphasis on a recent reply by Norton. 1 Introduction2 Methodological Confusion3 Asymmetrical Equivalence3.1 Maxwell’s field equations3.2 Classical Lagrangian dynamics4 Formal Approaches: Quine and Glymour5 Theoretical Equivalence as Interpretive Equivalence6 Theoretical Equivalence without Interpretive Judgement?7 Lessons for Underdetermination. (shrink)

An outstanding problem in so-called modal interpretations of quantum mechanics has been the specification of a dynamics for the properties introduced in such interpretations. We develop a general framework (in the context of the theory of stochastic processes) for specifying a dynamics for interpretations in this class, focusing on the modal interpretation by Vermaas and Dieks. This framework admits many empirically equivalent dynamics. We give some examples, and discuss some of the properties of one of them. This approach is applicable (...) to a wider class of theories, in particular, those using (discrete) strict effective—as in decoherence theory—superselection rules. (shrink)

There are two central questions concerning probability. First, what are its formal features? That is a mathematical question, to which there is a standard, widely (though not universally) agreed upon answer. This answer is reviewed in the next section. Second, what sorts of things are probabilities---what, that is, is the subject matter of probability theory? This is a philosophical question, and while the mathematical theory of probability certainly bears on it, the answer must come from elsewhere. To see why, observe (...) that there are many things in the world that have the mathematical structure of probabilities---the set of measurable regions on the surface of a table, for example---but that one would never mistake for being probabilities. So probability is distinguished by more than just its formal characteristics. The bulk of this essay will be taken up with the central question of what this “more” might be. (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.

The idea that the quantum probabilities are best construed as the personal/subjective degrees of belief of Bayesian agents is an old one. In recent years the idea has been vigorously pursued by a group of physicists who fly the banner of quantum Bayesianism. The present paper aims to identify the prospects and problems of implementing QBism, and it critically assesses the claim that QBism provides a resolution of some of the long-standing foundations issues in quantum mechanics, including the measurement problem (...) and puzzles of nonlocality. (shrink)

The difficult issues related to the interpretation of quantum mechanics and, in particular, the “measurement problem” are revisited using as motivation the process of generation of structure from quantum fluctuations in inflationary cosmology. The unessential mathematical complexity of the particular problem is bypassed, facilitating the discussion of the conceptual issues, by considering, within the paradigm set up by the cosmological problem, another problem where symmetry serves as a focal point: a simplified version of Mott’s problem.

If Einstein's equations are to describe a field theory of gravity in Minkowski spacetime, then causality requires that the effective curved metric must respect the flat background metric's null cone. The kinematical problem is solved using a generalized eigenvector formalism based on the Segré classification of symmetric rank 2 tensors with respect to a Lorentzian metric. Securing the correct relationship between the two null cones dynamically plausibly is achieved using the naive gauge freedom. New variables tied to the generalized eigenvector (...) formalism reduce the configuration space to the causality-respecting part. In this smaller space, gauge transformations do not form a group, but only a groupoid. The flat metric removes the difficulty of defining equal-time commutation relations in quantum gravity and guarantees global hyperbolicity. (shrink)

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)

The CPT theorem of quantum field theory states that any relativistic (Lorentz-invariant) quantum field theory must also be invariant under CPT, the composition of charge conjugation, parity reversal and time reversal. This paper sketches a puzzle that seems to arise when one puts the existence of this sort of theorem alongside a standard way of thinking about symmetries, according to which spacetime symmetries (at any rate) are associated with features of the spacetime structure. The puzzle is, roughly, that the existence (...) of a CPT theorem seems to show that it is not possible for a well-formulated theory that does not make use of a preferred frame or foliation to make use of a temporal orientation. Since a manifold with only a Lorentzian metric can be temporally orientable—capable of admitting a temporal orientation—this seems to be an odd sort of necessary connection between distinct existences. The paper then suggests a solution to the puzzle: it is suggested that the CPT theorem arises because temporal orientation is unlike other pieces of spacetime structure, in that one cannot represent it by a tensor field. To avoid irrelevant technical details, the discussion is carried out in the setting of classical field theory, using a little-known classical analog of the CPT theorem. (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)