Moving beyond both realist and anti-realist accounts of mathematics, Shapiro articulates a "structuralist" approach, arguing that the subject matter of a mathematical theory is not a fixed domain of numbers that exist independent of each other, but rather is the natural structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle.

Hermann von Helmholtz’s geometrical papers have been typically deemed to provide an implicitly group-theoretical analysis of space, as articulated later by Felix Klein, Sophus Lie, and Henri Poincaré. However, there is less agreement as to what properties exactly in such a view would pertain to space, as opposed to abstract mathematical structures, on the one hand, and empirical contents, on the other. According to Moritz Schlick, the puzzle can be resolved only by clearly distinguishing the empirical qualities of spatial perception (...) from those describable in terms of axiomatic geometry. This paper offers a partial defense of the group-theoretical reading of Helmholtz along the lines of Ernst Cassirer in the fourth volume of The Problem of Knowledge of 1940. In order to avoid the problem raised by Schlick, Cassirer relied on a Kantian view of space not so much as an object of geometry, but as a precondition for the possibility of measurement. Although the concept of group does not provide a description of space, the modern way to articulate the concept of space in terms of transformation groups reveals something about the structure and the transformation of spatial concepts in mathematical and natural sciences. (shrink)

Bas C. van Fraassen presents an original exploration of how we represent the world.

An early, very preliminary edition of this book was circulated in 1962 under the title Set-theoretical Structures in Science. There are many reasons for maintaining that such structures play a role in the philosophy of science. Perhaps the best is that they provide the right setting for investigating problems of representation and invariance in any systematic part of science, past or present. Examples are easy to cite. Sophisticated analysis of the nature of representation in perception is to be found already (...) in Plato and Aristotle. One of the great intellectual triumphs of the nineteenth century was the mechanical explanation of such familiar concepts as temperature and pressure by their representation in terms of the motion of particles. A more disturbing change of viewpoint was the realization at the beginning of the twentieth century that the separate invariant properties of space and time must be replaced by the space-time invariants of Einstein's special relativity. Another example, the focus of the longest chapter in this book, is controversy extending over several centuries on the proper representation of probability. The six major positions on this question are critically examined. Topics covered in other chapters include an unusually detailed treatment of theoretical and experimental work on visual space, the two senses of invariance represented by weak and strong reversibility of causal processes, and the representation of hidden variables in quantum mechanics. The final chapter concentrates on different kinds of representations of language, concluding with some empirical results on brain-wave representations of words and sentences. (shrink)

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

This massive two-volume reference presents a comprehensive selection of the most important works on the foundations of mathematics. While the volumes include important forerunners like Berkeley, MacLaurin, and D'Alembert, as well as such followers as Hilbert and Bourbaki, their emphasis is on the mathematical and philosophical developments of the nineteenth century. Besides reproducing reliable English translations of classics works by Bolzano, Riemann, Hamilton, Dedekind, and Poincare, William Ewald also includes selections from Gauss, Cantor, Kronecker, and Zermelo, all translated here for (...) the first time. (shrink)

This text features nearly 200 entries which introduce basic mathematical tools and vocabulary, trace the development of modern mathematics, define essential ...

Review by A. Kanamori, Boston University (author of The Higher Infinite), review in The Bulletin of Symbolic Logic: “Notwithstanding and braving the daunting complexities of this labyrinth, José Ferreirós has written a magisterial account of the history of set theory which is panoramic, balanced and engaging. Not only does this book synthesize much previous work and provide fresh insights and points of view, but it also features a major innovation, a full-fledged treatment of the emergence of the set-theoretic approach in (...) mathematics from the early nineteenth century. Much of history is in the details, and much of good history is in tone, emphasis, and the drawing together of different strands. Without being Whiggish, Ferreirós is never far from major synthetic themes, themes that in the main work toward balance and pull back from excesses of emphasis of some recent histories. The main criticism of the book would have to be on matters of broad interpretation. Yet, Ferreirós brings a considerable mathematical acuity and expertise to his enterprise, and this makes his viewpoints the more compelling.” . (shrink)

It is a remarkable fact that Hilbert's programmatic papers from the 1920s still shape, almost exclusively, the standard contemporary perspective of his views concerning (the foundations of) mathematics; even his own, quite different work on the foundations of geometry and arithmetic from the late 1890s is often understood from that vantage point. My essay pursues one main goal, namely, to contrast Hilbert's formal axiomatic method from the early 1920s with his existential axiomatic approach from the 1890s. Such a contrast illuminates (...) the circuitous beginnings of the finitist consistency program and connects the complex emergence of existential axiomatics with transformations in mathematics and philosophy during the 19th century; the sheer complexity and methodological difficulties of the latter development are partially reflected in the well known, but not well understood correspondence between Frege and Hilbert. Taking seriously the goal of formalizing mathematics in an effective logical framework leads also to contemporary tasks, not just historical and systematic insights; those are briefly described as “one direction” for fascinating work. (shrink)

This book offers a reconstruction of the debate on non-Euclidean geometry in neo-Kantianism between the second half of the nineteenth century and the first decades of the twentieth century. Kant famously characterized space and time as a priori forms of intuitions, which lie at the foundation of mathematical knowledge. The success of his philosophical account of space was due not least to the fact that Euclidean geometry was widely considered to be a model of certainty at his time. However, such (...) later scientific developments as non-Euclidean geometries and Einstein’s general theory of relativity called into question the certainty of Euclidean geometry and posed the problem of reconsidering space as an open question for empirical research. The transformation of the concept of space from a source of knowledge to an object of research can be traced back to a tradition, which includes such mathematicians as Carl Friedrich Gauss, Bernhard Riemann, Richard Dedekind, Felix Klein, and Henri Poincaré, and which finds one of its clearest expressions in Hermann von Helmholtz’s epistemological works. Although Helmholtz formulated compelling objections to Kant, the author reconsiders different strategies for a philosophical account of the same transformation from a neo-Kantian perspective, and especially Hermann Cohen’s account of the aprioricity of mathematics in terms of applicability and Ernst Cassirer’s reformulation of the a priori of space in terms of a system of hypotheses. This book is ideal for students, scholars and researchers who wish to broaden their knowledge of non-Euclidean geometry or neo-Kantianism. (shrink)

Excerpt from Substanzbegriff und Funktionsbegriff: Untersuchungen Uber die Grundfragen der Erkenntniskritik Die erste Anregung zu den Untersuchungen, die dieser Band enthalt, ist mir aus Studien zur Philosophie der Mathe matik erwachsen. Indem ich versuchte, von Seiten der Logik aus einen Zugang zu den Grundbegriffen der Mathematik zu gewinnen, erwies es sich vor allem als notwendig, die B e g r i f f s f u n k t i 0 n e'lhsimaher zu zergliedern und auf ihre Voraussetzungen zuruckzufuhren. Hier (...) aber machte sich alsbald eine eigentumliche Schwierigkeit geltend: die her kommliche logische Lehre vom Begriff zeigte sich in ihren bekannten Hauptzugen als unzureichend, die Probleme, zu denen die Prinzipienlehre der Mathematik hinfuhrt, auch nur vollstandig z u b e z e i c h n e n. Die exakte Wissenschaft war hier, wie sich mir immer deutlicher zu ergeben schien, zu Fragen gelangt, fur welche die Formensprache der tradi tionellen Logik kein genaues Correlat besitzt. Der sachliche Gehalt der mathematischen Erkenntnisse wies auf eine Grund form des Begriffs zuruck, die in der Logik selbst nicht zu klarer Bezeichnung und Anerkennung gekommen war. Ins besondere waren es Untersuchungen jiber den Reihenbegriff und den Grenzbegriff (deren spezielles Ergebnis in die allgemeineren Erorterungen dieses Buches nich? 3iffge nommen werden konnte), die diese Uberzeugung in mir be festigten und damit zu einer erneuten Analyse der Prinzipien der Begriffsbildung selbsfhindrangten. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

Dedekind’s structuralism is a crucial source for the structuralism of mathematical practice—with its focus on abstract concepts like groups and fields. It plays an equally central role for the structuralism of philosophical analysis—with its focus on particular mathematical objects like natural and real numbers. Tensions between these structuralisms are palpable in Dedekind’s work, but are resolved in his essay Was sind und was sollen die Zahlen? In a radical shift, Dedekind extends his mathematical approach to “the” natural numbers. He creates (...) the abstract concept of a simply infinite system, proves the existence of a “model”, insists on the stepwise derivation of theorems, and defines structure-preserving mappings between different systems that fall under the abstract concept. Crucial parts of these considerations were added, however, only to the penultimate manuscript, for example, the very concept of a simply infinite system. The methodological consequences of this radical shift are elucidated by an analysis of Dedekind’s metamathematics. Our analysis provides a deeper understanding of the essay and, in addition, illuminates its impact on the evolution of the axiomatic method and of “semantics” before Tarski. This understanding allows us to make connections to contemporary issues in the philosophy of mathematics and science. (shrink)

Various contributors to recent philosophy of mathematics havetaken Richard Dedekind to be the founder of structuralismin mathematics. In this paper I examine whether Dedekind did, in fact, hold structuralist views and, insofar as that is the case, how they relate to the main contemporary variants. In addition, I argue that his writings contain philosophical insights that are worth reexamining and reviving. The discussion focusses on Dedekind''s classic essay Was sind und was sollen die Zahlen?, supplemented by evidence from Stetigkeit und (...) irrationale Zahlen, his scientific correspondence, and his Nachlaß. (shrink)

Wilfred Sieg and Dirk Schlimm. Dedekind's Analysis of Number: Systems and Axioms.

The paper outlines a novel version of mathematical structuralism related to invariants. The main objective here is twofold: first, to present a formal theory of structures based on the structuralist methodology underlying work with invariants. Second, to show that the resulting framework allows one to model several typical operations in modern mathematical practice: the comparison of invariants in terms of their distinctive power, the bundling of incomparable invariants to increase their collective strength, as well as a heuristic principle related to (...) the search for new invariants. (shrink)