This paper attempts to show how the logical empiricists’ interpretation of the relation between geometry and reality emerges from a “collision” of mathematical traditions. Considering Riemann’s work as the initiator of a 19th century geometrical tradition, whose main protagonists were Helmholtz and Poincaré, the logical empiricists neglected the fact that Riemann’s revolutionary insight flourished instead in a non-geometrical tradition dominated by the works of Christoffel and Ricci-Curbastro roughly in the same years. I will argue that, in the attempt to interpret (...) general relativity as the last link of the chain Riemann–Helmholtz–Poincaré–Einstein, logical empiricists were led to argue that Einstein’s theory of gravitation mainly raised a problem of mathematical under-determination, i.e. the discovery that there are physical differences that cannot be expressed in the relevant mathematical structure of the theory. However, a historical reconstruction of the alternative Riemann–Christoffel–Ricci–Einstein line of evolution shows on the contrary that the main philosophical issue raised by Einstein’s theory was instead that of mathematical over-determination, i.e. the recognition of the presence of redundant mathematical differences that do not have any correspondence in physical reality. (shrink)

While claiming that diagrams can only be admitted as a method of strict proof if the underlying axioms are precisely known and explicitly spelled out, Hilbert praised Minkowski’s Geometry of Numbers and his diagram-based reasoning as a specimen of an arithmetical theory operating “rigorously” with geometrical concepts and signs. In this connection, in the first phase of his foundational views on the axiomatic method, Hilbert also held that diagrams are to be thought of as “drawn formulas”, and formulas as “written (...) diagrams”, thus suggesting that the former encapsulate propositional information which can be extracted and translated into formulas. In the case of Minkowski diagrams, local geometrical axioms were actually being produced, starting with the diagrams, by a process that was both constrained and fostered by the requirement, brought about by the axiomatic method itself, that geometry ought to be made independent of analysis. This paper aims at making a twofold point. On the one hand, it shows that Minkowski’s diagrammatic methods in number theory prompted Hilbert’s axiomatic investigations into the notion of a straight line as the shortest distance between two points, which start from his earlier work focused on the role of the triangle inequality property in the foundations of geometry, and lead up to his formulation of the 1900 Fourth Problem. On the other hand, it purports to make clear how Hilbert’s assessment of Minkowski’s diagram-based reasoning in number theory both raises and illuminates conceptual compatibility concerns that were crucial to his philosophy of mathematics. (shrink)

Philosophers and scientists have often adopted the orthodox version of calibration which involves standardizing an instrument using a known phenomenon. The essential link between theoretical concepts and empirical data, in the philosophy of measurement, has generated the formulation of principles of coordination, synthetic a priori, and revisables. Operationalist thinking wanted to limit the scope of concepts to operations of measurement that are actually achievable. The coherentist perspective in the philosophy of measurement has operated a recovery of coordinationist epistemology and operationalism, (...) relying on a minimal number of ontological principles. Models of an instrument involve a commitment to separation between idealized theories and material things. However, philosophers and metrologists have advocated the requirement of a rich theoretical content in the modeling of measuring instruments. According to other contributions, the epistemic privilege of measurement precedes a background theory and its robustness lies in the free contact with empirical data. Moreover, the applicability regime of a theory dictates its boundary conditions, which guide the experimenter in the design of measuring instruments and provide the basis for operationalizing the meaning of theoretical terms. I support operational pluralism, measurement operations involving different physical indicators, accompanied by dynamic coherentism. The James Webb Space Telescope calibration program is a significant case. Observations of calibration stars by various methods are used to calculate the factors that convert a measurement in instrumental units to physical units. (shrink)

The two greatest mathematicians of the early twentieth century, David Hilbert and Henri Poincaré transformed the mathematics of their time. Their personal interaction was infrequent, until Hilbert invited Poincaré to deliver the first Wolfskehl Lectures in Göttingen in the spring of 1909. A correspondence ensued, which fixed the content and timing of the lecture series. A close reading of the exchange throws light on what Hilbert wanted Poincaré to talk about, and on what Poincaré wanted to present to Hilbert and (...) his colleagues. To answer the latter question, reference is made to the published version of Poincaré’s six talks, with a focus on two of them, concerning the propagation of Hertzian waves, and the theory of relativity. (shrink)

Karl Pearson is the leading figure of XX century statistics. He and his co-workers crafted the core of the theory, methods and language of frequentist or classical statistics – the prevalent inductive logic of contemporary science. However, before working in statistics, K. Pearson had other interests in life, namely, in this order, philosophy, physics, and biological heredity. Key concepts of his philosophical and epistemological system of anti-Spinozism (a form of transcendental idealism) are carried over to his subsequent works on the (...) logic of scientific discovery. This article’s main goal is to analyze K. Pearson early philosophical and theological ideas and to investigate how the same ideas came to influence contemporary science, either directly or indirectly – by the use of variant theories, methods and dialects of statistics, corresponding to variant statistical inference procedures and their specific belief calculi. (shrink)

The paper explores Hermann Weyl’s turn to intuitionism through a philosophical prism of normative framework transitions. It focuses on three central themes that occupied Weyl’s thought: the notion of the continuum, logical existence, and the necessity of intuitionism, constructivism, and formalism to adequately address the foundational crisis of mathematics. The analysis of these themes reveals Weyl’s continuous endeavor to deal with such fundamental problems and suggests a view that provides a different perspective concerning Weyl’s wavering foundational positions. Building on a (...) philosophical model of scientific framework transitions and the special role that normative indecision or ambivalence plays in the process, the paper examines Weyl’s motives for considering such a radical shift in the first place. It concludes by showing that Weyl’s shifting stances should be regarded as symptoms of a deep, convoluted intrapersonal process of self-deliberation induced by exposure to external criticism. (shrink)

We develop a new understanding of the historical horizon of event ontology. Within the general area of the philosophy of nature, event ontology is a still emerging field of investigation in search for the ultimate materialist ontology of the world. While event ontology itself will not be explicated in full mathematical details here, our focus is on its conceptual interrelation with the dominant current of Idealism in Western thought approached by us as a problem in the history of ideas. Our (...) presentation is designed to be accessible to a wider audience. We especially highlight the deep connection between event ontology and postmodernism in general, and the post-war French philosophers Althusser, Foucault, Deleuze, and Guattari in particular, who are viewed as main sources for current and future programs of abstract materialism. (shrink)

This paper explores the main philosophical approaches of David Hilbert’s theory of proof. Specifically, it is focuses on his ideas regarding logic, the concept of proof, the axiomatic, the concept of truth, metamathematics, the a priori knowledge and the general nature of scientific knowledge. The aim is to show and characterize his epistemological approach on the foundation of knowledge, where logic appears as a guarantee of that foundation. Hilbert supposes that the propositional apriorism, proposed by him to support mathematics, sustains (...) — on its turn — a general method for the treatment of the problem in other areas such as natural sciences. This method is axiomatic. Broadly speaking, we intend to recover and update the Hilbert’s philosophical thinking about the role of logic for scientific knowledge. (shrink)

The arguments are exhibited in favour of the necessity to modify the history of the genesis and advancement of general relativity (GR). I demonstrate that the dynamic creation of GR had been continually governed by internal tensions between two research traditions, that of special relativity and Newton’s gravity. The encounter of the traditions and their interpenetration entailed construction of the hybrid domain at first with an irregular set of theoretical models. Step by step, on eliminating the contradictions between the models (...) contrived, the hybrid set was put into order. It is contended that the main reason of the GR victory over the rival programmes of Abraham and Nordström was a synthetic character of Einstein’s programme. Einstein had put forward as a basic synthetic principle the principle of equivalence that radically differed from that of rival approaches by its open, flexible and contra-ontological character. (shrink)

El artículo presenta y analiza un conjunto de notas manuscritas de clases para cursos sobre geometría, dictados por David Hilbert entre 1891 y 1905. Se argumenta que en estos cursos el autor elabora la concepción de la geometría que subyace a sus investigaciones axiomáticas en Fundamentos de la geometría . Por un lado, afirmo que lo que caracteriza esta concepción de la geometría es: i) una posición axiomática abstracta o formal; ii) una posición empirista respecto del origen de la geometría (...) y de su lugar dentro de las distintas teorías matemáticas. Por otro lado, sostengo que el papel que Hilbert le confiere a la intuición geométrica en el proceso de axiomatización de esta teoría, permite apreciar claramente su oposición respecto de las posiciones formalistas con las que habitualmente es identificado. (shrink)

In this paper we present a schema for describing dualities between physical theories, and illustrate it in detail with the example of bosonization: a boson-fermion duality in two-dimensional quantum field theory. The schema develops proposals in De Haro : these proposals include construals of notions related to duality, like representation, model, symmetry and interpretation. The aim of the schema is to give a more precise criterion for duality than has so far been considered. The bosonization example, or boson-fermion duality, has (...) the feature of being simple, yet rich enough, to illustrate the most relevant aspects of our schema, which also apply to more sophisticated dualities. The richness of the example consists, mainly, in its concern with two non-trivial quantum field theories: including massive Thirring-sine-Gordon duality, and non-abelian bosonization. This prompts two comparisons with the recent philosophical literature on dualities:--- Unlike the standard cases of duality in quantum field theory and string theory, where only specific simplifying limits of the theories are explicitly known, the boson-fermion duality is known to hold {\it exactly}. This exactness can be exhibited explicitly. The bosonization example illustrates both the cases of isomorphic and {\it non-isomorphic} models: which we believe the literature on dualities has not so far discussed. (shrink)