Dans cet article, j’entends décrire comment évolue la philosophie de la physique de Weyl au cours de la période 1918-1927. Je rappellerai en particulier qu’il développe différentes formes d’« apriorisme» entre 1918 et 1923: un apriorisme « spéculatif» avec sa théorie unifiée des champs (1918-1921), puis une conception des connaissances a priori largement inspirée de la Wesensanalyse de Husserl dans ses travaux sur le problème de l’espace (1921-1923). Je montrerai par ailleurs que le holisme de Weyl, i.e., la thèse selon (...) laquelle seule une théorie physique envisagée comme un tout peut faire l’objet de tests empiriques, occupe le devant de la scène dès 1924-1925 dans des textes qui portent sur les fondements des mathématiques. Ce holisme est étroitement lié à sa conception de la théorie physique comme construction symbolique de la réalité. Au bout du compte je caractériserai le point de vue holiste de Weyl en le comparant à certaines réflexions développées par Cassirer, Einstein et Hilbert à peu près au même moment. (shrink)

This paper, written in Romanian, compares fictionalism, nominalism, and neo-Meinongianism as responses to the problem of objectivity in mathematics, and then motivates a fictionalist view of objectivity as invariance.

This paper argues that Carnap's project in the Aufbau is best considered as an attempt to determine the conditions for both objectivity and understanding, thus aiming at refuting the skeptical contention that objectivity and understanding are incompossible ideals of science.

The article attempts to reconsider the relationship between Leibniz’s and Kant’s philosophy of geometry on the one hand and the nineteenth century debate on the foundation of geometry on the other. The author argues that the examples used by Leibniz and Kant to explain the peculiarity of the geometrical way of thinking are actually special cases of what the Jewish-German mathematician Felix Hausdorff called “transformation principle”, the very same principle that thinkers such as Helmholtz or Poincaré applied in a more (...) general form in their celebrated philosophical writings about geometry. The first two parts of the article try to show that Leibniz’s and Kant’s philosophies of geometry, despite their differences, appear to be preoccupied with the common problem of the impossibility to grasp conceptually the intuitive difference between two figures (such as a figure and its scaled, displaced or mirrored copy). In the third part, it is argued that from the perspective of Hausdorff’s philosophical-geometrical reflections, this very same problem seems to find a more radical application in Helmholtz’s or Poincaré’s thought experiments on the impossibility of distinguishing distorted copies of our universe from the original one. I draw the conclusion that in Hausdorff’s philosophical work, which has received scholarly attention only recently, one can find not only an original attempt to frame these classical arguments from a set-theoretical point of view, but also the possibility of considering the history of philosophy of geometry from an uncommon perspective, where especially the significance of Kant’s infamous appeal to “intuition” can be judged by more appropriate standards. (shrink)

This paper argues that Weyl took formalism to prevail over intuitionism with respect to supporting scientific objectivity, rather than grounding classical mathematics, and that this was what he thought was enough for rejecting pure phenomenology as well.

For over a decade, the hypercomputation movement has produced computational models that in theory solve the algorithmically unsolvable, but they are not physically realizable according to currently accepted physical theories. While opponents to the hypercomputation movement provide arguments against the physical realizability of specific models in order to demonstrate this, these arguments lack the generality to be a satisfactory justification against the construction of any information-processing machine that computes beyond the universal Turing machine. To this end, I present a more (...) mathematically concrete challenge to hypercomputability, and will show that one is immediately led into physical impossibilities, thereby demonstrating the infeasibility of hypercomputers more generally. This gives impetus to propose and justify a more plausible starting point for an extension to the classical paradigm that is physically possible, at least in principle. Instead of attempting to rely on infinities such as idealized limits of infinite time or numerical precision, or some other physically unattainable source, one should focus on extending the classical paradigm to better encapsulate modern computational problems that are not well-expressed/modeled by the closed-system paradigm of the Turing machine. I present the first steps toward this goal by considering contemporary computational problems dealing with intractability and issues surrounding cyber-physical systems, and argue that a reasonable extension to the classical paradigm should focus on these issues in order to be practically viable. (shrink)

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such (...) that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. (shrink)

In early major works, Cassirer and Schlick differently recast traditional doctrines of the concept and of the relation of concept to intuitive content along the lines of recent epistemological discussions within the exact sciences. In this, they attempted to refashion epistemology by incorporating as its basic principle the notion of functional coordination, the theoretical sciences' own methodological tool for dispensing with the imprecise and unreliable guide of intuitive evidence. Examining their respective reconstructions of the theory of knowledge provides an axis (...) of comparison along which to locate Cassirer's Neo-Kantianism and Schlick's pre-positivist empiricism, and an immediate background of contrast to the subsequent rise of logical empiricism. For in the absence of intuition all our knowledge is without objects and therefore remains entirely empty. (Kant A62/B87) And how awkward is the human mind in diving the nature of things when forsaken by the analogy of what we see and touch directly? (Boltzmann 1895). (shrink)

Kant’s theory of arithmetic is not only a central element in his theoretical philosophy but also an important contribution to the philosophy of arithmetic as such. However, modern mathematics, especially non-Euclidean geometry, has placed much pressure on Kant’s theory of mathematics. But objections against his theory of geometry do not necessarily correspond to arguments against his theory of arithmetic and algebra. The goal of this article is to show that at least some important details in Kant’s theory of arithmetic can (...) be picked up, improved by reconstruction and defended under a contemporary perspective: the theory of numbers as products of rule following construction presupposing successive synthesis in time and the theory of arithmetic equations, sentences or “formulas”—as Kant says—as synthetic a priori. In order to do so, two calculi in terms of modern mathematics are introduced which formalise Kant’s theory of addition as a form of synthetic operation. (shrink)

Does the materiality of a three-dimensional model have an effect on how this model operates in an exploratory way, how it prompts discovery of new mathematical results? Material mathematical models were produced and used during the second half of the nineteenth century, visualizing mathematical objects, such as curves and surfaces—and these were produced from a variety of materials: paper, cardboard, plaster, strings, wood. However, the question, whether their materiality influenced the status of these models—considered as exploratory, technical, or representational—was hardly (...) touched upon. This article aims to approach this question by investigating two case studies: Beltrami’s paper models vs. Dyck’s plaster ones of the hyperbolic plane; and Chisini’s string models of braids vs. Artin’s and Moishezon’s algebraization of these braids. These two case studies indicate that materiality might have a decisive role in how the model was taken into account mathematically: either as an exploratory or rather as a technical or pedagogical object. (shrink)

The paper offers a historical overview of Einstein's oscillating attitude towards a "phenomenological" and "dynamical" treatment of rods and clocks in relativity theory. Contrary to what it has been usually claimed in recent literature, it is argued that this distinction should not be understood in the framework of opposition between principle and constructive theories. In particular Einstein does not seem to have plead for a "dynamical" explanation for the phenomenon rods contraction and clock dilation which was initially described only "kinematically". (...) On the contrary textual evidence shows that, according to Einstein, a realistic microscopic model of rods and clocks was needed to account for the very existence of measuring devices of "identical construction" which always measure the same unit of time and the same unit of length. In fact, it will be shown that the empirical meaningfulness of both relativity theories depends on what, following Max Born, one might call the "principle of the physical identity of the units of measure". In the attempt to justify the validity of such principle, Einstein was forced by different interlocutors, in particular Hermann Weyl and Wolfgang Pauli, to deal with the genuine epistemological, rather then physical question whether a theory should be able or not to described the material devices that serve to its own verification. (shrink)

This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

Accelerating Turing machines have attracted much attention in the last decade or so. They have been described as “the work-horse of hypercomputation” (Potgieter and Rosinger 2010: 853). But do they really compute beyond the “Turing limit”—e.g., compute the halting function? We argue that the answer depends on what you mean by an accelerating Turing machine, on what you mean by computation, and even on what you mean by a Turing machine. We show first that in the current literature the term (...) “accelerating Turing machine” is used to refer to two very different species of accelerating machine, which we call end-stage-in and end-stage-out machines, respectively. We argue that end-stage-in accelerating machines are not Turing machines at all. We then present two differing conceptions of computation, the internal and the external, and introduce the notion of an epistemic embedding of a computation. We argue that no accelerating Turing machine computes the halting function in the internal sense. Finally, we distinguish between two very different conceptions of the Turing machine, the purist conception and the realist conception; and we argue that Turing himself was no subscriber to the purist conception. We conclude that under the realist conception, but not under the purist conception, an accelerating Turing machine is able to compute the halting function in the external sense. We adopt a relatively informal approach throughout, since we take the key issues to be philosophical rather than mathematical. (shrink)

In a letter to Frege of 29 December 1899, Hilbert advances his formalist doctrine, according to which consistency of an arbitrary set of mathematical sentences is a sufficient condition for its truth and for the existence of the concepts described by it. This paper discusses Frege's analysis, as carried out in the context of the Frege-Hilbert correspondence, of the formalist approach in particular and the axiomatic method in general. We close with a speculation about Frege's influence on Hilbert's later work (...) in foundations, which we consider to have been greater than previously assumed. This conjecture is based on a hitherto neglected revision of Hilbert's talk "Über den Zahlbegriff". (shrink)

In this paper I investigate the relation between physics and metaphysics in Plato’s participation theory. I show that the logic shoring up Plato’s metaphysics in paraconsistent, as had been suggested already by Graham Priest. The transformation of the paradoxical One-and-Many of the pre-Socratics into a paraconsistent Great-and-Small bridges the abyss between archaic rationality and the world of classical logic based ultimately on the principle of contradiction. Indeed, language is an organ of perception, not simply a means of communication. J. Jaynes, (...) Origin of Consciousness. (shrink)

Since the discovery of incommensurability in ancient Greece, arithmeticism and geometricism constantly switched roles. After ninetieth century arithmeticism Frege eventually returned to the view that mathematics is really entirely geometry. Yet Poincaré, Brouwer, Weyl and Bernays are mathematicians opposed to the explication of the continuum purely in terms of the discrete. At the beginning of the twenty-first century ‘continuum theorists’ in France (Longo, Thom and others) believe that the continuum precedes the discrete. In addition the last 50 years witnessed the (...) revival of infinitesimals (Laugwitz and Robinson—non-standard analysis) and—based upon category theory—the rise of smooth infinitesimal analysis and differential geometry. The spatial whole-parts relation is irreducible (Russell) and correlated with the spatial order of simultaneity. The human imaginative capacities are connected to the characterization of points and lines (Euclid) and to the views of Aristotle (the irreducibility of the continuity of a line to its points), which remained in force until the ninetieth century. Although Bolzano once more launched an attempt to arithmetize continuity, it appears as if Weierstrass, Cantor and Dedekind finally succeeded in bringing this ideal to its completion. Their views are assessed by analyzing the contradiction present in Grünbaum’s attempt to explain the continuum as an aggregate of unextended elements (degenerate intervals). Alternatively a line-stretch is characterized as a one-dimensional spatial subject, given at once in its totality (as a whole) and delimited by two points—but it is neither a breadthless length nor the (shortest) distance between two points. The overall aim of this analysis is to account for the uniqueness of discreteness and continuity by highlighting their mutual interconnections exemplified in the nature of a line as a one-dimensional spatial subject, while acknowledging that points are merely spatial objects which are always dependent upon an extended spatial subject. Instead of attempting to reduce continuity to discreteness or discreteness to continuity, a third alternative is explored: accept the irreducibility of number and space and then proceed by analyzing their unbreakable coherence. The argument may be seen as exploring some implications of the view of John Bell, namely that the “continuous is an autonomous notion, not explicable in terms of the discrete.” Bell points out that initially Brouwer, in his dissertation of 1907, “regards continuity and discreteness as complementary notions, neither of which is reducible to each other.”. (shrink)

The aim of this essay is a criticism of reductionism ? both in its ?static? interpretation (usually referred to as the layer model or level?picture of science) and in its ?dynamic? interpretation (as a theory of the growth of scientific knowledge), with emphasis on the latter ? from the point of view of Popperian fallibilism and Feyerabendian pluralism, but without being committed to the idiosyncrasies of these standpoints. In both aspects of criticism, the rejection is based on the proposal of (...) a global alternative. Hummell and Opp's research programme for the reduction of sociology to psychology is used as a starting?point and taken as the primary object of criticism. Following the introductory Section I, Section II analyses the three crucial notions of Hummell and Opp's research programme ? their explications of the notions of ?sociology?, ?psychology? and the concept of reduction itself ? and criticizes the authors? deficient ?logic of reduction?. Although the ?local? shortcomings of our authors? ?logic of reduction? do not affect reductionism as such, i.e. logically sound versions of reductionism as devised by Kemeny, Nagel, Oppenheim, Putnam, Woodger et al., it is argued that the logical soundness of sophisticated reductionism cannot compensate for its additional epistemological and methodological deficiencies. Section III analyses the ?dynamic? interpretation of reductionism as a particular developmental pattern of scientific growth. It is argued that even reductionism at its best can produce only cumulative progress, thus ?a priori? excluding scientific revolutions which are inevitably counter?inductive as well as counter?reductive. Section IV discusses the philosophical background of modern reductionism, and examines the effects both of reductionism and of anti?reductionistic pluralism on the autonomy of scientific fields. It is argued that pluralistic anti?reductionism undermines spurious claims for autonomy much more effectively than reductionism. As a ?local? improvement of the reductionistic research programme, the replacement of the predominant one?way reductionism by a less restrictive many?way reductionism is proposed. It is argued that the appropriate treatment for an allegedly backward science (say sociology) is not its reduction to an allegedly more advanced science (say psychology) but its non?reductive replacement by new theories (of the same or of another field) that do not incorporate the older ones. As a ?global? alternative to the reduction of sociology to psychology, the frontier?crossing direct application of psychological theories to sociological phenomena is proposed. A plea is made for a pluralistic science without reduction, based on intra? and interscientific criticism as the proper method for the advancement of knowledge. (shrink)

Holography is a fruitful concept in modern physics. However, there is no generally accepted definition of the term, and its significance, especially as a guiding principle in quantum gravity, is rather uncertain. The present paper critically evaluates variants of the holographic principle from two perspectives: their relevance in contemporary approaches to quantum gravity and in closely related areas; their historical forerunners in the early twentieth century and the role played by past and present concepts of holography in attempts to unify (...) physics. By combining these two perspectives a certain depth of focus is gained which allows us to draw some tentative conclusions about what might be reasonable aspirations and prospects for holography in quantum gravity. By the same token, we will have a brief and critical look at wider philosophical interpretations of the term. (shrink)

The ArgumentRecent archival research has brought about a new understanding of the import of Einstein's puzzling remarks (1916) attributing a physical meaning to general covariance. Debates over the scope and meaning of general covariance still persist, even within physics. But already in 1921 Cassirer identified the significance of general covariance as a novel stage in the development of the criterion of objectivity within physics; an account of this development, and its implications, is the primary task undertaken in his monograph of (...) “epistemological considerations” on the theory of relativity. Cassirer's assessment is correct: general covariance, understood as an injunction against dynamical theories with background elements, is a “limiting heuristic principle” guiding Einstein's fundamental conception of a “complete field theory”; as such, it underlies a “separation principle” built into the conceptual framework of the EPR criticism of quantum mechanics. In conclusion, a further parallel is noted: mutual recognition that the principle of general covariance is but a form of “anthropomorphism.”. (shrink)

The paper explores the view that in mathematics, in particular where the infinite is involved, the application of classical logic to statements involving the infinite cannot be taken for granted. L. E. J. Brouwer’s well-known rejection of classical logic is sketched, and the views of David Hilbert and especially Hermann Weyl, both of whom used classical logic in their mathematical practice, are explored. We inquire whether arguments for a critical view can be found that are independent of constructivist premises and (...) consider the entanglement of logic and mathematics. This offers a convincing case regarding second-order logic, but for first-order logic, it is not so clear. Still, we ask whether we understand the application of logic to the higher infinite better than we understand the higher infinite itself. (shrink)

In applied problems mathematics is used as language or as a metalanguage on which metatheories are built, E.G., Mathematical theory of experiment. The structure of pure mathematics is grammar of the language. As opposed to pure mathematics, In applied problems we must keep in mind what underlies the sign system. Optimality criteria-Axioms of applied mathematics-Prove mutually incompatible, They form a mosaic and not mathematical structures which, According to bourbaki, Make mathematics a unified science. One of the peculiarities of applied mathematical (...) language is a variety of dialects: a problem can be presented in terms of various mathematical notions. Another peculiarity is polysemy: a problem can be presented in the framework of one dialect by a set of various models with equal right to exist. The pragmatic sense of distinction between applied and pure mathematics must lead to specific training in each case. (shrink)

In 'General Propositions and Causality' Ramsey rejects his earlier view that universal generalizations are infinite conjunctions, arguing that they are not genuine propositions at all. We argue that his new position is unstable. The issues about infinity that lead Ramsey to the new view are essentially those underlying Wittgenstein's rule-following considerations. If they show that generalizations are not genuine propositions, they show that there are no genuine propositions. The connection raises interesting historical questions about the direction of influence between Ramsey (...) and Wittgenstein, the origin of the rule-following argument, and the influence of writers such as Brouwer. (shrink)

A revisionist movement in Anglo-Saxon philosophy of science seeking to modulate the positivistic stress on formalized systems and to consider science as ongoing research in finite historical context strikes resonances with hermeneutical phenomenology , whose ontology likewise shifts the locus of truth from verification to discovery. Fusion of the two traditions is utilized to illuminate hitherto relatively unexplored facets of the logic and psychology of scientific discovery, as well as its ontology, here developed from the intentional intertwining of man and (...) nature and finding its locus in the linguistic historicity of fundamental scientific concepts. (shrink)

Es indudable la importancia de la noción de función para la matemática y la lógica actuales y es sabido que es G. W. Leibniz quien utiliza por vez primera el término función en un sentido matemático, un término que, además, es introducido en el marco de su cálculo infinitesimal. Puesto que el pensador alemán es, junto con I. Newton, uno de los descubri­dores del cálculo, suele pensarse que también debemos a él el concepto de función. Sin embargo, poco se ha (...) escrito sobre la manera específica en la que Leibniz utilizó el término función, evadiendo con frecuencia la pregunta de si acaso el término y el concepto han correspondido siempre. En el presente trabajo exploramos el significado del término en el contexto de su surgimiento: el manuscrito de 1673 De functionibus plagulae quattuor. Con tal objetivo, hacemos, en primer lugar, una breve reconstrucción de la historia del instinto de funcionalidad que sirva de marco para comprender el significado del término función. Este significado es obtenido, en segundo lugar, atendiendo a los usos que el autor hace del término en dicho manuscrito. (shrink)

By inserting the dialogue between Einstein, Schlick and Reichenbach into a wider network of debates about the epistemology of geometry, this paper shows that not only did Einstein and Logical Empiricists come to disagree about the role, principled or provisional, played by rods and clocks in General Relativity, but also that in their lifelong interchange, they never clearly identified the problem they were discussing. Einstein’s reflections on geometry can be understood only in the context of his ”measuring rod objection” against (...) Weyl. On the contrary, Logical Empiricists, though carefully analyzing the Einstein–Weyl debate, tried to interpret Einstein’s epistemology of geometry as a continuation of the Helmholtz–Poincaré debate by other means. The origin of the misunderstanding, it is argued, should be found in the failed appreciation of the difference between a “Helmholtzian” and a “Riemannian” tradition. The epistemological problems raised by General Relativity are extraneous to the first tradition and can only be understood in the context of the latter, the philosophical significance of which, however, still needs to be fully explored. (shrink)

Kant's theory of arithmetic is not only a central element in his theoretical philosophy but also an important contribution to the philosophy of arithmetic as such. However, modern mathematics, especially non-Euclidean geometry, has placed much pressure on Kant's theory of mathematics. But objections against his theory of geometry do not necessarily correspond to arguments against his theory of arithmetic and algebra. The goal of this article is to show that at least some important details in Kant's theory of arithmetic can (...) be picked up, improved by reconstruction and defended under a contemporary perspective: the theory of numbers as products of rule following construction presupposing successive synthesis in time and the theory of arithmetic equations, sentences or "formulas"—as Kant says—as synthetic a priori. In order to do so, two calculi in terms of modern mathematics are introduced which formalise Kant's theory of addition as a form of synthetic operation. (shrink)

Dans cet article, j’entends décrire comment évolue la philosophie de la physique de Weyl au cours de la période 1918-1927. Je rappellerai en particulier qu’il développe différentes formes d’« apriorisme» entre 1918 et 1923: un apriorisme « spéculatif» avec sa théorie unifiée des champs, puis une conception des connaissances a priori largement inspirée de la Wesensanalyse de Husserl dans ses travaux sur le problème de l’espace. Je montrerai par ailleurs que le holisme de Weyl, i.e., la thèse selon laquelle seule (...) une théorie physique envisagée comme un tout peut faire l’objet de tests empiriques, occupe le devant de la scène dès 1924-1925 dans des textes qui portent sur les fondements des mathématiques. Ce holisme est étroitement lié à sa conception de la théorie physique comme construction symbolique de la réalité. Au bout du compte je caractériserai le point de vue holiste de Weyl en le comparant à certaines réflexions développées par Cassirer, Einstein et Hilbert à peu près au même moment. (shrink)

Dans cet article, j’entends décrire comment évolue la philosophie de la physique de Weyl au cours de la période 1918-1927. Je rappellerai en particulier qu’il développe différentes formes d’« apriorisme» entre 1918 et 1923: un apriorisme « spéculatif» avec sa théorie unifiée des champs (1918-1921), puis une conception des connaissances a priori largement inspirée de la Wesensanalyse de Husserl dans ses travaux sur le problème de l’espace (1921-1923). Je montrerai par ailleurs que le holisme de Weyl, i.e., la thèse selon (...) laquelle seule une théorie physique envisagée comme un tout peut faire l’objet de tests empiriques, occupe le devant de la scène dès 1924-1925 dans des textes qui portent sur les fondements des mathématiques. Ce holisme est étroitement lié à sa conception de la théorie physique comme construction symbolique de la réalité. Au bout du compte je caractériserai le point de vue holiste de Weyl en le comparant à certaines réflexions développées par Cassirer, Einstein et Hilbert à peu près au même moment. (shrink)

The determination of inertia by matter is looked at in general relativity, where inertia can be represented by affine or projective structure. The matter tensor T seems to underdetermine affine structure by ten degrees of freedom, eight of which can be eliminated by gauge choices, leaving two. Their physical meaning---which is bound up with that of gravitational waves and the pseudotensor t, and with the conservation of energy-momentum---is considered, along with the dependence of reality on invariance and of causal explanation (...) on conservation. (shrink)

It is argued that Weyl’s theory of gravitation and electricity came out of ‘mathematical justice’: out of the equal rights direction and length. Such mathematical justice was manifestly at work in the context of discovery, and is enough to derive all of source-free electromagnetism. Weyl’s repeated references to coordinates and gauge are taken to express equal treatment of direction and length.

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)