It is not by thinking that we create worlds. It is by understanding the world that we learn to think. Cosmovision is a term that should mean a set of foundations from which emerges a systemic understanding of the Universe, its components as life, the world we live in, nature, human phenomena, and their relationships. It is, therefore, a field of analytical philosophy fed by the sciences, whose objective is this aggregated and epistemologically sustainable knowledge about everything that we are (...) and contain, that surrounds us, and that relates to us in any way. It is something as old as human thought, and, in addition to using elements of scientific cosmology, it encompasses everything in philosophy and science that refers to the universe and life. A cosmovision is not a set of ideas, hypotheses, and assumptions but a system based on observation, analysis, evidence, and demonstration. No cosmovision intends to define, establish, or propose but only to understand, analyse, and interpret. Each of us builds and transports his cosmovision throughout life, without establishing forms, as a background for our thinking and behaviour. Linguistically, the term “cosmovision” would derive from the German, equivalent to the concept of “ Weltanschauung,” as used by several philosophers. However, this linguistic relationship is not applicable because it contradicts what we propose as a cosmovision. This German word refers to a pre-logical or proto- experimental vision of reality, with an intuitive context and far from critical knowledge still non-existent at the time of its formulation. Undoubtedly, cosmovisions, in the sense in which we understand them, house and use these proto-experimental or pre-logical elements that include history, the collective unconscious, and all the archetypes we carry. However, in the concept that we apply here, the cosmovision goes far beyond this content, firstly by constantly submitting it to present critical thinking, and finally by making the analytic experience ( and not the thought itself or intuition) its actual universe. António Lopes expose the breadth of this content: -/- "Cosmovisions are not the product of thought. They do not spring from the simple desire to know. The apprehension of reality is an important moment in its configuration, but, nevertheless, it is only one. It comes from the vital conduct, from the experience of life's evaluation, and from the structure of our psychic totality. The elevation of life to consciousness in the knowledge of reality, in the valuation, and in the volitional reality is the slow and arduous work that humanity has done in the development of the conceptions of life. (W. Dilthey, 1992 [1911]: 120)”(1) -/- In this work, we seek to outline a cosmovision based on the realities that science offers today. We do not propose, at any time, to do science; or theorise philosophy, but we will always seek to be supported by them or, at least, protected by them from the cognitive distortions that we usually carry. ________________________________________________ (1) Lopes , Antonio – “ Weltanschauung (Cosmovision)” (2009 ) in Carlos Ceia's E-Dictionary of Literary Terms. -/- . (shrink)

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

These preprints were automatically compiled into a PDF from the collection of papers deposited in PhilSci-Archive in conjunction with the PSA 2018.

The paper considers the "GR-desideratum", that is, the way general relativity implements general covariance, diffeomorphism invariance, and background independence. Two cases are discussed where 5-dimensional generalizations of general relativity run into interpretational troubles when the GR-desideratum is forced upon them. It is shown how the conceptual problems dissolve when such a desideratum is relaxed. In the end, it is suggested that a similar strategy might mitigate some major issues such as the problem of time or the embedding of quantum non-locality (...) into relativistic spacetimes. (shrink)

Cosmovisione è un termine che dovrebbe significare un insieme di fondamenti da cui emerge una comprensione sistemica dell'Universo, delle sue componenti come la vita, il mondo in cui viviamo, la natura, il fenomeno umano e le sue relazioni. Si tratta, quindi, di un campo della filosofia analitica alimentato dalle scienze, il cui obiettivo è questa conoscenza aggregata ed epistemologicamente sostenibile su tutto ciò che siamo e conteniamo, che ci circonda e che in qualche modo si relaziona con noi. È qualcosa (...) di antico quanto il pensiero umano e, oltre a utilizzare elementi di cosmologia scientifica, racchiude tutto ciò che nella filosofia e nella scienza si riferisce all'universo e alla vita. Una cosmovisione non è un insieme d’idee, ipotesi e presupposti, ma un sistema basato su osservazione, analisi, prove e dimostrazione. Nessuna cosmovisione intende definire, stabilire, proporre, ma solo comprendere, analizzare e interpretare. Ognuno di noi costruisce e porta avanti la propria cosmovisione per tutta la vita, senza stabilire forme, come sfondo per il proprio pensiero e comportamento. Linguisticamente il termine “cosmovisione” deriverebbe dal tedesco, equivalente al concetto di“Weltanschauung”, utilizzato da diversi filosofi. Tuttavia, questa relazione linguistica non è applicabile perché contraddice ciò che proponiamo come cosmovisione. Questa parola tedesca rimanda a una visione prelogica o proto-sperimentale della realtà, con un contesto intuitivo e lontana da una conoscenza critica che non esisteva ancora al momento della sua formulazione. Senza dubbio, le cosmovisioni, nel senso in cui le intendiamo, ospitano e utilizzano questi elementi proto-sperimentali o prelogici che includono la storia, l’inconscio collettivo e tutti gli archetipi che portiamo con noi. Tuttavia, nel concetto che qui applichiamo, la cosmovisione va ben oltre questo contenuto, dapprima sottoponendolo costantemente al pensiero critico attuale e, infine, facendo dell'esperienza analitica (e non del pensiero o dell'intuizione stessa) il suo universo reale. In questo lavoro, cerchiamo di delineare una cosmovisione basata sulle realtà che la scienza offre oggi. Non proponiamo, in nessun momento, di fare scienza; o teorizzare la filosofia, ma cercheremo sempre di essere supportati da loro o, almeno, protetti da loro dalle distorsioni cognitive che abitualmente ci portiamo dietro. (shrink)

Космовізі — це термін, який має означати набір основ, з яких виникає системне розуміння Всесвіту, його складових як життя, світу, в якому ми живемо, природи, людського феномену та їхніх взаємозв’язків. Таким чином, це галузь аналітичної філософії, що живиться науками, метою якої є це сукупне та епістемологічно стійке знання про все, що ми є і що містить у собі, що оточує нас і що будь-яким чином до нас відноситься. Це щось таке ж давнє, як людська думка, і, окрім використання елементів наукової (...) космології, воно охоплює все у філософії та науці, що стосується Всесвіту та життя. Космогляд — це не набір ідей, гіпотез і припущень, а система, заснована на спостереженнях, аналізі, доказах і демонстраціях. Жодне космобачення не має на меті визначати, встановлювати чи пропонувати, а лише розуміти, аналізувати та інтерпретувати. Кожен з нас будує і транспортує своє космогляд протягом життя, не встановлюючи форми, як фон для нашого мислення і поведінки . Лінгвістично термін «космовізія» походить від німецької мови, що еквівалентно поняттю « Weltanschauung», яке використовували кілька філософів. Однак цей лінгвістичний зв’язок незастосовний, оскільки він суперечить тому, що ми пропонуємо як космовізію. Це німецьке слово відноситься до дологічного або протоекспериментального бачення реальності з інтуїтивним контекстом і далеко не критичним знанням, яке ще не існувало на момент його формулювання. Безсумнівно, космовізії, у тому сенсі, як ми їх розуміємо, містять і використовують ці протоекспериментальні або до-логічні елементи, які включають історію, колективне несвідоме та всі архетипи, які ми носимо. Однак у концепції, яку ми тут застосовуємо, космовізія виходить далеко за межі цього змісту, по-перше, постійно підпорядковуючи його теперішньому критичному мисленню і, нарешті, роблячи аналітичний досвід (а не саму думку чи інтуїцію) своїм справжнім всесвітом. У цій роботі ми прагнемо окреслити космогляд, заснований на реаліях, які пропонує сьогодні наука. Ми ніколи не пропонуємо займатися наукою; або теоретизувати філософію, але ми завжди будемо прагнути отримати їхню підтримку або, принаймні, захистити їх від когнітивних викривлень, які ми зазвичай несемо. (shrink)

'The arrow of time' refers to the curious asymmetry that distinguishes the future from the past. Reversing the Arrow of Time argues that there is an intimate link between the symmetries of 'time itself' and time reversal symmetry in physical theories, which has wide-ranging implications for both physics and its philosophy. This link helps to clarify how we can learn about the symmetries of our world, how to understand the relationship between symmetries and what is real, and how to overcome (...) pervasive illusions about the direction of time. Roberts explains the significance of time reversal in a way that intertwines physics and philosophy, to establish what the arrow of time means and how we can come to know it. This book is both mathematically and philosophically rigorous yet remains accessible to advanced undergraduates in physics and the philosophy of physics. This title is also available as Open Access on Cambridge Core. (shrink)

Космовидение - термин, под которым следует понимать совокупность оснований, из которых возникает системное понимание Вселенной, таких ее составляющих, как жизнь, мир, в котором мы живем, природа, феномен человека, и их взаимосвязей. таким образом, это область аналитической философии, питаемая науками, целью которой является совокупное и эпистемологически устойчивое знание обо всем, чем мы являемся и что в нас содержится, что нас окружает и что так или иначе с нами связано. это старое, как человеческая мысль, понятие, которое не только использует элементы научной космологии, (...) но и охватывает все, что относится к вселенной и жизни в философии и науке. Космовидение — это не набор идей, гипотез и предположений, а система, основанная на наблюдениях, анализе, доказательствах и демонстрациях. Космовидение не ставит своей целью определить, установить или предложить, а лишь понять, проанализировать и интерпретировать. Каждый из нас строит и переносит свое космовидение в течение жизни, не устанавливая форм, как фон для нашего мышления и поведения. С лингвистической точки зрения термин "космовидение" происходит от немецкого, эквивалентного понятию "Weltanschauung", используемому рядом философов. Однако эта лингвистическая связь неприменима, поскольку противоречит тому, что мы предлагаем в качестве космовидения. Это немецкое слово обозначает дологическое или протоэкспериментальное видение реальности, имеющее интуитивный контекст и далекое от критического знания, еще не существовавшего на момент его формулировки. Несомненно, космовидения в том смысле, как мы их понимаем, содержат и используют эти протоэкспериментальные или дологические элементы, включающие историю, коллективное бессознательное и все архетипы, которые мы носим в себе. Однако в той концепции, которую мы здесь применяем, космовидение выходит далеко за пределы этого содержания, во-первых, постоянно подчиняя его современному критическому мышлению и, наконец, делая аналитический опыт (а не саму мысль или интуицию) своей актуальной вселенной. Антониу Лопес раскрывает широту этого содержания: -/- "Космовидения не являются продуктом мысли. Они не возникают из простого желания знать. Постижение реальности - важный момент в ее конфигурации, но, тем не менее, только один. Оно исходит из жизненного поведения, из жизненного опыта, из структуры нашей психической совокупности. Возвышение жизни до сознания в познании реальности, в оценке жизни и в волевой реальности — это медленная и тяжелая работа, которую проделало человечество в развитии представлений о жизни". (В. Дильтей, 1992 [1911]: 120)". . В данной работе мы стремимся изложить космовидение, основанное на тех реалиях, которые сегодня предлагает наука. Мы ни в коем случае не собираемся заниматься наукой или теоретизировать философию, но всегда будем стремиться опираться на них или, по крайней мере, защищаться ими от тех когнитивных искажений, которые мы обычно несем. (shrink)

Diffeomorphism invariance is sometimes taken to be a criterion of background independence. This claim is commonly accompanied by a second, that the genuine physical magnitudes (the ``observables'') of background-independent theories and those of background-dependent (non-diffeomorphism-invariant) theories are essentially different in nature. I argue against both claims. Background-dependent theories can be formulated in a diffeomorphism-invariant manner. This suggests that the nature of the physical magnitudes of relevantly analogous theories (one background free, the other background dependent) is essentially the same. The temptation (...) to think otherwise stems from a misunderstanding of the meaning of spacetime coordinates in background-dependent theories. (shrink)

Não é pensando que criamos mundos. É compreendendo o mundo que aprendemos a pensar. Cosmovisão é um termo que deve significar um conjunto de fundamentos dos quais emerge uma compreensão sistêmica do Universo, seus componentes como a vida, o mundo em que vivemos, a natureza, o fenômeno humano e suas relações. Trata-se, portanto, de um campo da filosofia analítica alimentado pelas ciências, cujo objetivo é esse conhecimento agregado e epistemologicamente sustentável sobre tudo o que somos e contemos, que nos cerca (...) e que nos relaciona de alguma forma. É algo tão antigo quanto o pensamento humano e, além de utilizar elementos da cosmologia científica, engloba tudo na filosofia e na ciência que se refere ao universo e à vida. Uma cosmovisão não é um conjunto de ideias, hipóteses e suposições, mas um sistema baseado em observação, análise, evidência e demonstração. Nenhuma cosmovisão pretende definir, estabelecer, propor, mas apenas compreender, analisar e interpretar. Cada um de nós constrói e transporta sua cosmovisão ao longo da vida, sem estabelecer formas, como pano de fundo para nosso pensamento e comportamento. Linguisticamente, o termo “cosmovisão” derivaria do alemão, equivalente ao conceito de “ Weltanschauung”, usado por vários filósofos. No entanto, essa relação linguística não é aplicável porque contraria o que propomos como cosmovisão. Esta palavra alemã refere-se a uma visão pré-lógica ou proto-experimental da realidade, com um contexto intuitivo e longe de um conhecimento crítico ainda inexistente no momento da sua formulação. Sem dúvida, as cosmovisões , no sentido em que as entendemos, abrigam e utilizam esses elementos protoexperimentais ou pré-lógicos que incluem a história, o inconsciente coletivo e todos os arquétipos que carregamos. No entanto, no conceito que aqui aplicamos, a cosmovisão vai muito além desse conteúdo, primeiro por submetê-lo constantemente ao pensamento crítico presente e, finalmente, por tornar a experiência analítica (e não o próprio pensamento ou intuição) seu universo real. António Lopes expõe a amplitude deste conteúdo: -/- “Cosmovisões não são o produto do pensamento. Não nascem do simples desejo de saber. A apreensão da realidade é um momento importante em sua configuração, mas, no entanto, é apenas um. Vem da conduta vital, da experiência da vida, da estrutura de nossa totalidade psíquica. A elevação da vida à consciência no conhecimento da realidade, na valorização da vida e na realidade volitiva é o trabalho lento e árduo que a humanidade tem feito no desenvolvimento das concepções de vida. (W. Dilthey, 1992 [1911]: 120)” Neste trabalho, buscamos traçar uma cosmovisão baseada nas realidades que a ciência oferece hoje. Não nos propomos, em nenhum momento, a fazer ciência ou teorizar a filosofia, mas sempre buscaremos ser apoiados por elas ou, pelo menos, protegidos por elas das distorções cognitivas que costumamos carregar. (shrink)

Ce n'est pas en pensant que nous créons des mondes. C'est en comprenant le monde que nous apprenons à penser. La cosmovision est un terme qui devrait désigner un ensemble de fondements d'où émerge une compréhension systémique de l'Univers, de ses composantes comme la vie, le monde dans lequel nous vivons, la nature, le phénomène humain et leurs relations. C'est donc un champ de la philosophie analytique nourri par les sciences, dont l'objectif est cette connaissance agrégée et épistémologiquement soutenable de (...) tout ce que nous sommes et contenons, qui nous entoure, et qui nous concerne de quelques manières que ce soit. C'est quelque chose d'aussi vieux que la pensée humaine et, en plus d'utiliser des éléments de la cosmologie scientifique, il englobe tout ce qui, dans la philosophie et la science, se réfère à l'univers et à la vie. Une cosmovision n'est pas un ensemble d'idées, d'hypothèses et de suppositions, mais un système établi sur l'observation, l'analyse, la preuve et la démonstration. Aucune cosmovision n'entend définir, établir ou proposer, mais seulement comprendre, analyser et interpréter. Chacun de nous construit et transporte sa cosmovision tout au long de sa vie, sans établir de forme, comme toile de fond de nos pensées et de nos comportements. Linguistiquement, le terme « cosmovision » dériverait de l'allemand, équivalent au concept de « Weltanschauung », tel qu'il a été utilisé par plusieurs philosophes. Cependant, cette relation linguistique n'est pas applicable, car elle contredit ce que nous proposons comme cosmovision. Ce mot allemand fait référence à une vision prélogique ou proto-expérimentale de la réalité, avec un contexte intuitif et loin des connaissances critiques encore inexistantes au moment de sa formulation. Sans aucun doute, les cosmovisions, au sens où nous les entendons, abritent et utilisent ces éléments proto-expérimentaux ou prélogiques qui incluent l'histoire, l'inconscient collectif et tous les archétypes que nous portons. Or, dans le concept que nous appliquons ici, la cosmovision va bien au-delà de ce contenu, d'abord en le soumettant constamment à la pensée critique actuelle et enfin en faisant de l'expérience analytique (et non de la pensée elle-même ou de l'intuition) son univers réel. António Lopes expose l'étendue de ce contenu : [ ] « Les cosmovisions ne sont pas le produit de la pensée. Ils ne naissent pas du simple désir de savoir. L'appréhension de la réalité est un moment important dans sa configuration, mais, néanmoins, ce n'en est qu'un. Elle vient de la conduite vitale, de l'expérience de la vie, de la structure de notre totalité psychique. L'élévation de la vie à la conscience dans la connaissance de la réalité, dans l'évaluation de la vie et dans la réalité volitive est le travail lent et ardu que l'humanité a fait dans le développement des conceptions de la vie. (W.Dilthey, 1992 [1911] : 120). Dans cet ouvrage, nous cherchons à esquisser une cosmovision fondée sur les réalités que la science offre aujourd'hui. Nous ne proposons, à aucun moment, de faire de la science ; ou théoriser la philosophie, mais nous chercherons toujours à être soutenus par eux ou, du moins, protégés par eux des distorsions cognitives que nous portons habituellement. -/- . (shrink)

I present a discussion of some issues in the ontology of spacetime. After a characterisation of the controversies among relationists, substantivalists, eternalists, and presentists, I offer a new argument for rejecting presentism, the doctrine that only present objects exist. Then, I outline and defend a form of spacetime realism that I call event substantivalism. I propose an ontological theory for the emergence of spacetime from more basic entities. Finally, I argue that a relational theory of pre-geometric entities can give rise (...) to substantival spacetime in such a way that relationism and substantivalism are not necessarily opposed positions, but rather complementary. In an appendix I give axiomatic formulations of my ontological views. (shrink)

All physical theories, from classical Newtonian mechanics to relativistic quantum field theory, entail propositions concerning the geometric structure of spacetime. To give an example, the general theory of relativity entails that spacetime is curved, smooth, and four-dimensional. In this dissertation, I take the structural commitments of our theories seriously and ask: how is such structure instantiated in the physical world? Mathematically, a property like 'being curved' is perfectly well-defined insofar as we know what it means for a mathematical space to (...) be curved. But what could it mean to say that the physical world is curved? Call this the problem of physical geometry. The problem of physical geometry is a plea for foundations--a request for fundamental truth conditions for physical-geometric propositions. My chief claim is that only a substantival theory of spacetime--a theory according to which spacetime is an entity in its own right, existing over and above the material content of the world--can supply the necessary truth conditions. (shrink)

The questions of what represents space-time in GR, the status of gravitational energy, the substantivalist-relationalist issue, and the exceptional status of gravity are interrelated. If space-time has energy-momentum, then space-time is substantival. Two extant ways to avoid the substantivalist conclusion deny that the energy-bearing metric is part of space-time or deny that gravitational energy exists. Feynman linked doubts about gravitational energy to GR-exceptionalism, as do Curiel and Duerr; particle physics egalitarianism encourages realism about gravitational energy. In that spirit, this essay (...) proposes a third possible view about space-time, one involving a particle physics-inspired non-perturbative split that characterizes space-time with a constant background _matrix_, a sort of vacuum value, thus avoiding the inference from gravitational _energy to substantivalism. On this proposal, space-time is, where eta=diag is a spatio-temporally constant numerical signature matrix, a matrix already used in GR with spinors. The gravitational potential, to which any gravitational energy can be ascribed, is g_{\mu\nu}- eta, an _affine_ geometric object with a tensorial Lie derivative and a vanishing covariant derivative. This non-perturbative split permits strong fields, arbitrary coordinates, and arbitrary topology, and hence is pure GR by almost any standard. This razor-thin background, unlike more familiar backgrounds, involves no extra gauge freedom and so lacks their obscurities and carpet lump-moving. After a discussion of Curiel's GR exceptionalist denial of the localizability of gravitational energy and his rejection of energy conservation, the two traditional objections to pseudotensors, coordinate dependence and nonuniqueness, are explored. Both objections are inconclusive and getting weaker. A literal interpretation involving infinitely many energies corresponding by Noether's first theorem to the infinite symmetries of the _action_ largely answers Schroedinger's false-negative coordinate dependence problem. Bauer's false-positive objection has multiple answers. Non-uniqueness might be handled by Nester et al.'s finding physical meaning in multiplicity in relation to boundary conditions, by an optimal candidate, or by Bergmann's identifying the non-uniqueness and coordinate dependence ambiguities as one. (shrink)

In recent years, philosophers of science have explored categorical equivalence as a promising criterion for when two theories are equivalent. On the one hand, philosophers have presented several examples of theories whose relationships seem to be clarified using these categorical methods. On the other hand, philosophers and logicians have studied the relationships, particularly in the first order case, between categorical equivalence and other notions of equivalence of theories, including definitional equivalence and generalized definitional equivalence. In this article, I will express (...) some skepticism about categorical equivalence as a criterion of physical equivalence, both on technical grounds and conceptual ones. I will argue that “category structure” likely does not capture the structure of a theory, and discuss some recent work in light of this claim. (shrink)

A central issue in the philosophical debates over general relativity concerns the status of the metric field: should it be regarded as part of the background arena in which physical fields evolve, or as a physical field itself? In this paper, we approach this debate through its relationship to the so-called "Problem of Space": the problem of determining which abstract, mathematical geometries are candidate descriptions of physical space. In particular, we explore the way that Hermann Weyl tackled the Problem of (...) Space in the wake of general relativity, and argue that Weyl’s proposed solution reveals a “middle way” between bare-manifold and manifold-plus-metric accounts of spacetime. (shrink)

In a recent article, Halvorson and Manchak (Br J Philos Sci, Forthcoming) claim that there is no basis for the Hole Argument, because (in a certain sense) hole isometries are unique. This raises two important questions: (a) does their argument succeed?; (b) how does this formalist response to the Hole Argument relate to other recent responses to the Hole Argument in the same tradition—in particular, that of Weatherall (Br J Philos Sci 69(2):329–350, 2018)? In this article, _ad_ (a), we argue (...) that Halvorson and Manchak’s claim does not go through; _ad_ (b), we argue that although one _prima facie_ plausible reading would see Halvorson and Manchak as filling an important hole (no pun intended) in Weatherall’s argument, in fact this reading is implausible; there is no need to supplement Weatherall’s work with Halvorson and Manchak’s results. (shrink)

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

Ladyman and Presnell have recently argued that the Hole argument is naturally resolved when spacetime is represented within homotopy type theory rather than set theory. The core idea behind their proposal is that the argument does not confront us with any indeterminism, since the set-theoretically different representations of spacetime involved in the argument are homotopy type-theoretically identical. In this article, we will offer a new resolution based on ZFC set theory to the argument. It neither relies on a constructive-intuitionistic form (...) of mathematics, as used by Ladyman and Presnell, nor is foundationally problematic, such as the existing set-theoretic suggestions. (shrink)

We address the problem of observables in generally invariant spacetime theories such as Einstein’s general relativity. Using the refined notion of an event as a “point-coincidence” between scalar fields that completely characterise a spacetime model, we propose a 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.

Gauge theories are theories that are invariant under a characteristic group of "gauge" transformations. General relativity is invariant under transformations of the diffeomorphism group. This has prompted many philosophers and physicists to treat general relativity as a gauge theory, and diffeomorphisms as gauge transformations. I argue that this approach is misguided.

I consider two usages of the expression "gauge theory". On one, a gauge theory is a theory with excess structure; on the other, a gauge theory is any theory appropriately related to classical electromagnetism. I make precise one sense in which one formulation of electromagnetism, the paradigmatic gauge theory on both usages, may be understood to have excess structure, and then argue that gauge theories on the second usage, including Yang-Mills theory and general relativity, do not generally have excess structure (...) in this sense. (shrink)

I argue that the Hole Argument is based on a misleading use of the mathematical formalism of general relativity. If one is attentive to mathematical practice, I will argue, the Hole Argument is blocked.

I argue that the hole argument is based on a misleading use of the mathematical formalism of general relativity. If one is attentive to mathematical practice, I will argue, the hole argument is blocked. _1._ Introduction _2._ A Warmup Exercise _3._ The Hole Argument _4._ An Argument from Classical Spacetime Theory _5._ The Hole Argument Revisited.

The celu of the philosophical literature on the hole argument is the 1987 paper by Earman \& Norton ["What Price Space-time Substantivalism? The Hole Story" Br. J. Phil. Sci.]. This paper has a well-known back-story, concerning work by Stachel and Norton on Einstein's thinking in the years 1913-15. Less well-known is a connection between the hole argument and Earman's work on Leibniz in the 1970s and 1980s, which in turn can be traced to an argument first presented in 1975 by (...) Howard Stein. Remarkably, this thread originates with a misattribution: the argument Earman attributes to Stein, which ultimately morphs into the hole argument, was not the argument Stein gave. The present paper explores this episode and presents some reflections on how it bears on the subsequent literature. (shrink)

An ontology of Leibnizian relationalism, consisting in distance relations among sparse matter points and their change only, is well recognized as a serious option in the context of classical mechanics. In this paper, we investigate how this ontology fares when it comes to general relativistic physics. Using a Humean strategy, we regard the gravitational field as a means to represent the overall change in the distance relations among point particles in a way that achieves the best combination of being simple (...) and being informative. (shrink)

After identifying some existing explanations offered by nomic necessitarians for the alleged necessary connections between natural properties and their dispositional or nomic features, I discuss a less explored necessitarian strategy. This strategy is available to Platonists who hold that properties exist necessarily, as most do.

The canonical formalism of general relativity affords a particularly interesting characterisation of the infamous hole argument. It also provides a natural formalism in which to relate the hole argument to the problem of time in classical and quantum gravity. In this paper we examine the connection between these two much discussed problems in the foundations of spacetime theory along two interrelated lines. First, from a formal perspective, we consider the extent to which the two problems can and cannot be precisely (...) and distinctly characterised. Second, from a philosophical perspective, we consider the implications of various responses to the problems, with a particular focus upon the viability of a `deflationary' attitude to the relationalist/substantivalist debate regarding the ontology of spacetime. Conceptual and formal inadequacies within the representative language of canonical gravity will be shown to be at the heart of both the canonical hole argument and the problem of time. Interesting and fruitful work at the interface of physics and philosophy relates to the challenge of resolving such inadequacies. (shrink)

Formal criteria of theoretical equivalence are mathematical mappings between specific sorts of mathematical objects, notably including those objects used in mathematical physics. Proponents of formal criteria claim that results involving these criteria have implications that extend beyond pure mathematics. For instance, they claim that formal criteria bear on the project of using our best mathematical physics as a guide to what the world is like, and also have deflationary implications for various debates in the metaphysics of physics. In this paper, (...) I investigate whether there is a defensible view according to which formal criteria have significant non-mathematical implications, of these sorts or any other, reaching a chiefly negative verdict. Along the way, I discuss various foundational issues concerning how we use mathematical objects to describe the world when doing physics, and how this practice should inform metaphysics. I diagnose the prominence of formal criteria as stemming from contentious views on these foundational issues, and endeavor to motivate some alternative views in their stead. (shrink)

The hole argument purports to show that all spacetime theories of a certain form are indeterministic, including the General Theory of Relativity. The argument has given rise to an industry of searching for a metaphysics of spacetime that delivers the right modal implications to rescue determinism. In this paper, I first argue that certain prominent extant replies to the hole argument—namely, those that appeal to an essentialist doctrine about spacetime—fail to deliver the requisite modal implications. As part of my argument, (...) I show that threats to determinism of the sort brought out by the hole argument are more general than has heretofore been recognized. I then use these results to propose a novel essentialist doctrine about spacetime that successfully rescues determinism, what I call sufficiency metric essentialism. However, I go on to argue that once we realize what an essentialist doctrine about spacetime must look like in order to address the hole argument, we should reject all such doctrines, because they can't fulfill their ambition of improving on standard modal replies to the argument. I close by suggesting some lessons for future work on spacetime and the metaphysics of physics more broadly, and also drawing some general morals for contemporary metaphysics, in particular about (i) whether essence can be used to articulate a precise structuralist doctrine, and (ii) the relationship between essence and modality. (shrink)

The consensus among spacetime substantivalists is to respond to Leibniz's classic shift arguments, and their contemporary incarnation in the form of the hole argument, by pruning the allegedly problematic metaphysical possibilities that generate these arguments. Some substantivalists do so by directly appealing to a modal doctrine akin to anti-haecceitism. Other substantivalists do so by appealing to an underlying hyperintensional doctrine that implies some such modal doctrine. My first aim in this paper is to pose a challenge for all extant forms (...) of this consensus position. My second aim is to show what form substantivalism must take in order to uphold the consensus while addressing this challenge. The result is a novel "plenitudinous" substantivalist view, which predicts that certain modal facts about spacetime are vague or indeterminate. I then argue against this view on independent grounds, concluding that substantivalists should reject the consensus position. The paper also discusses the way forward for substantivalists in light of this conclusion. (shrink)

Background independence begins life as an informal property that a physical theory might have, often glossed as 'doesn't posit a fixed spacetime background'. Interest in trying to offer a precise account of background independence has been sparked by the pronouncements of several theorists working on quantum gravity that background independence embodies in some sense an essential discovery of the General Theory of Relativity, and a feature we should strive to carry forward to future physical theories. This paper has two goals. (...) The first is to investigate what a world must be like in order to be truly described by a background independent theory given extant accounts of background independence. The second is to argue that there are no non-empirical reasons to be more confident in theories that satisfy extant accounts of background independence than in theories that don't. The paper concludes by drawing a general moral about a way in which focussing primarily on mathematical formulations of our physical theories can adversely affect debates in the metaphysics of physics. (shrink)

Much discussion was inspired by the publication of Harvey Brown's book \textit{Physical Relativity} and the so-called dynamical approach to Special Relativity there advocated. At the center of the debate there is the question about the nature of the relation between spacetime and laws or, more specifically, between spacetime symmetries and the symmetries of laws. Originally, the relation was mainly assumed to be explanatory and the dispute expressed in terms of the arrow of explanation – whether it goes from spacetime (symmetries) (...) to (symmetries of) laws or vice-versa. Not everybody agreed with a setting that involves leaving ontology out. In a recent turn, the relation has been claimed to be analytical or definitional. In this paper I intend to examine critically this claim and propose a way to generally understand the relation between spacetime symmetries and symmetries of laws as deriving from constitutive principles. (shrink)

Paces of Rationality in the History of Science: On the Temporal Structures of the Quantum Revolution. I argue that the Kuhnian picture of scientific revolutions must be modified by introducing various levels of historical reality (or historiographical reconstruction) and reference points for rational justification in order to permit the constant movement back and forth between long shots and close‐ups that is indispensable in the history of science. Such an account makes it possible to describe a scientific revolution not as a (...) simultaneous break on all levels, but as a sequence of ruptures on different levels, in which some levels allow the formulation of the new points of view or a justification of the transition. The proposed account appears reconcilable both with Michael Friedman's recent philosophical analysis of the dynamics of reason, even though it also admits of social and technological levels that are not representing a constitutive a priori, and Michel Foucault's archeology of nature, which does not contradict the fact that in studying the history of physical theory one typically finds precisely formulated and well‐separated levels of knowledge. It is ironic that Kuhn's original account, which helped to shape the ‘new epistemology’, is still largely indebted to the Logical Empiricists' conception of a single linguistic framework, the establishment of which is merely a matter of convention and pragmatics. At the example of Mara Beller's assessment of the quantum revolution. I argue that the Kuhnian picture represents an obstacle against assessing one particular trait of the German physics of the 1920s, the important formative part played by philosophical convictions of the German physicist‐philosophers. (shrink)

We outline an argument that a single-particle universe (a universe containing precisely one pointlike particle) can be described mathematically, in which observation can be considered meaningful despite the a priori impossibility of distinguishing between an observer and the observed. Moreover, we argue, such a universe can be observationally similar to the world we see around us. It is arguably impossible, therefore, to determine by experimental observation of the physical world whether the universe we inhabit contains one particle or many—modern scientific (...) theories cannot, therefore, be regarded as descriptions of ‘reality’, but are at best human artefacts. Our argument uses a formal model of spacetime that can be considered either relational or substantivalist depending on one’s preferred level of abstraction, and therefore suggests that this long-held distinction is also to some extent illusory. (shrink)

We investigate the fate of determinism in general relativity, comparing the philosopher’s account with the physicist’s well-posed initial value formulations. The fate of determinism is interwoven with the question of what it is for a spacetime to be ‘physically reasonable’. A central concern is the status of global hyperbolicity, a putatively necessary condition for determinism in GR. While global hyperbolicity may fail to be true of all physically reasonable models, we analyze whether global hyperbolicity should be imposed by fiat; established (...) from weaker assumptions, as in cosmic censorship theorems; or justified by beyond-GR physics. (shrink)

This essay explores the use of platonist and nominalist concepts, derived from the philosophy of mathematics and metaphysics, as a means of elucidating the debate on spacetime ontology and the spatial structures endorsed by scientific realists. Although the disputes associated with platonism and nominalism often mirror the complexities involved with substantivalism and relationism, it will be argued that a more refined three-part distinction among platonist/nominalist categories can nonetheless provide unique insights into the core assumptions that underlie spatial ontologies, but it (...) also assists in critiquing alternative uses of nominalism, platonism, and both ontic and epistemic structural realism. (shrink)

This essay presents an alternative to contemporary substantivalist and relationist interpretations of quantum gravity hypotheses by means of an historical comparison with the ontology of space in the seventeenth century. Utilizing differences in the spatial geometry between the foundational theory and the theory derived from the foundational, in conjunction with nominalism and platonism, it will be argued that there are crucial similarities between seventeenth century and contemporary theories of space, and that these similarities reveal a host of underlying conceptual issues (...) that the substantival/relational dichotomy fails to distinguish. (shrink)

This essay explores the possibility of constructing a structural realist interpretation of spacetime theories that can resolve the ontological debate between substantivalists and relationists. Drawing on various structuralist approaches in the philosophy of mathematics, as well as on the theoretical complexities of general relativity, our investigation will reveal that a structuralist approach can be beneficial to the spacetime theorist as a means of deflating some of the ontological disputes regarding similarly structured spacetimes.

This article investigates the problem of the identity of the parts of space in Newton’s natural philosophy, as well as the holistic or structuralist nature of Newton’s ontology of space. Additionally, this article relates the lessons reached in this historical and philosophical investigation to analogous debates in contemporary space-time ontology. While previous contributions, by Nerlich, Huggett, and others, have proven to be informative in evaluating Newton’s claims, it will be argued that the underlying goals of Newton’s views have largely eluded (...) prior analysis and that Newton’s approach is similar, and lends support, to several current structuralist trends in the conception of space-time ontology. (shrink)

By mass-energy equivalence, the gravitational field has a relativistic mass density proportional to its energy density. I seek to better understand this mass of the gravitational field by asking whether it plays three traditional roles of mass: the role in conservation of mass, the inertial role, and the role as source for gravitation. The difficult case of general relativity is compared to the more straightforward cases of Newtonian gravity and electromagnetism by way of gravitoelectromagnetism, an intermediate theory of gravity that (...) resembles electromagnetism. (shrink)

A relationist will account for the use of ‘left’ and ‘right’ in terms of relative orientations, and other properties and relations invariant under mirroring. This analysis will apply whenever mirroring is a symmetry, so it certainly applies to classical mechanics; we argue it applies to any physical theory formulated on a manifold: it is in this sense an a priori symmetry. It should apply in particular to parity violating theories in quantum mechanics; mirror symmetry is only broken in such theories (...) as a special symmetry. (shrink)

Tian Yu Cao has written a serious and scholarly book covering a great deal of physics. He ranges from classical relativity theory, both special and general, to relativistic quantum …eld theory, including non-Abelian gauge theory, renormalization theory, and symmetry-breaking, presenting a detailed and very rich picture of the mainstream developments in quantum physics; a remarkable feat. It has, moreover, a philosophical message: according to Cao, the development of these theories is inconsistent with a Kuhnian view of theory change, and supports (...) better a quali…ed realism. (shrink)

I explore two views about the relationship between spatial experience and spatial reality: spatial functionalism and spatial presentationalism. Roughly, spatial functionalism claims that the instantiated spatial properties are those playing a certain causal role in producing spatial experience while spatial presentationalism claims that the instantiated spatial properties include those presented in spatial experience. I argue that each view, in its own way, leads to an ontologically inflationary form of primitivism: whereas spatial functionalism leads to primitivism about phenomenal representation, spatial presentationalism (...) leads to primitivism about spatial properties. I conclude by discussing how to adjudicate between spatial functionalism and spatial presentationalism. (shrink)

The chief motivation for epiphenomenalist dualism is its promise to solve dualism’s causal exclusion problem without inducing causal overdetermination or violations of the causal closure of the physical. This paper argues that epiphenomenalist dualism is itself susceptible to an exclusion problem. The problem exploits symmetries of determination and influence generated by a wide class of physical theories. Further, I argue that there is an interference effect between solving epiphenomenalist dualism's exclusion problem and using epiphenomenalist dualism as a solution to the (...) causal exclusion problem. What emerges is an overlooked, empirically-motivated challenge to epiphenomenalist dualism. (shrink)

After some background setting in which it is shown how Maudlin's (1989, 1990) response to the hole argument of Earman and Norton (1987) is related to that of Rynasiewicz (1994), it is argued that the syntactic proposals of Mundy (1992) and of Leeds (1995), which claim to dismiss the hole argument as an uninteresting blunder, are inadequate. This leads to a discussion of how the responses of Maudlin and Rynasiewicz relate to issues about gauge freedom and relativity principles.