Wittgenstein's work remains, undeniably, now, that off one of those few philosophers who will be read by all future generations.

First published in 1903, _Principles of Mathematics_ was Bertrand Russell’s first major work in print. It was this title which saw him begin his ascent towards eminence. In this groundbreaking and important work, Bertrand Russell argues that mathematics and logic are, in fact, identical and what is commonly called mathematics is simply later deductions from logical premises. Highly influential and engaging, this important work led to Russell’s dominance of analytical logic on western philosophy in the twentieth century.

This paper concerns Carnap’s early contributions to formal semantics in his work on general axiomatics between 1928 and 1936. Its main focus is on whether he held a variable domain conception of models. I argue that interpreting Carnap’s account in terms of a fixed domain approach fails to describe his premodern understanding of formal models. By drawing attention to the second part of Carnap’s unpublished manuscript Untersuchungen zur allgemeinen Axiomatik, an alternative interpretation of the notions ‘model’, ‘model extension’ and ‘submodel’ (...) in his theory of axiomatics is presented. Specifically, it is shown that Carnap’s early model theory is based on a convention to simulate domain variation that is not identical but logically comparable to the modern account. (shrink)

The book shows how the art of mathematical imagining is not as mysterious as it seems. Drawing on a variety of artistic resources the author reveals how anyone can begin to visualize the enigmatic 'imaginary numbers' that first baffled mathematicians in the 16th century.

In 1887–1894, Richard Dedekind explored a number of ideas within the project of placing mappings at the very center of pure mathematics. We review two such initiatives: the introduction in 1894 of groups into Galois theory intrinsically via field automorphisms, and a new attempt to define the continuum via maps from ℕ to ℕ in 1891. These represented the culmination of Dedekind’s efforts to reconceive pure mathematics within a theory of sets and maps and throw new light onto the nature (...) of his structuralism and its specificity in relation to the work of other mathematicians. (shrink)

The philosophy of mathematics has long been an important part of philosophy in the analytic tradition, ever since the pioneering works of Frege and Russell. Richard Dedekind was roughly Frege's contemporary, and his contributions to the foundations of mathematics are widely acknowledged as well. The philosophical aspects of those contributions have been received more critically, however. In the present essay, Dedekind's philosophical reception is reconsidered. At the essay’s core lies a comparison of Frege's and Dedekind's legacies, within and outside of (...) analytic philosophy. While the comparison proceeds historically, it is shaped by current philosophical concerns, especially by debates about neo-logicist and neo-structuralist views. In fact, philosophical and historical considerations are intertwined thoroughly, to the benefit of both. The underlying motivation is to rehabilitate Dedekind as a major philosopher of mathematics, in relation, but not necessarily in opposition, to Frege. (shrink)

In his “Kant and Finitism” Tait attempts to connect his analysis of finitist arithmetic with Kant’s perspective on arithmetic. The examination of this attempt is the basis for a distinctive view on the dramatic methodological shift from Kant to Dedekind and Hilbert. Dedekind’s 1888 essay “Was sind und was sollen die Zahlen?” gives a logical analysis of arithmetic, whereas Hilbert’s 1899 book “Grundlagen der Geometrie” presents such an analysis of geometry or, as Hilbert puts it, of our spatial intuition. This (...) shift in the late ninteenth century required a radical expansion of logic: first by the inclusion of principles for “systems” and “mappings”, but second by a structuralist broadening of axioms and inferential principles. The interaction of mathematics and logic in mathematical logic opened, around 1920, fields of investigation with enormous impact on the philosophy of mathematics, promoting a deeper integration of mathematical practice and philosophical reflection. (shrink)

One of the most important philosophical topics in the early twentieth century and a topic that was seminal in the emergence of analytic philosophy was the relationship between Kantian philosophy and modern geometry. This paper discusses how this question was tackled by the Neo-Kantian trained philosopher Ernst Cassirer. Surprisingly, Cassirer does not affirm the theses that contemporary philosophers often associate with Kantian philosophy of mathematics. He does not defend the necessary truth of Euclidean geometry but instead develops a kind of (...) logicism modeled on Richard Dedekind's foundations of arithmetic. Further, because he shared with other Neo-Kantians an appreciation of the developmental and historical nature of mathematics, Cassirer developed a philosophical account of the unity and methodology of mathematics over time. With its impressive attention to the detail of contemporary mathematics and its exploration of philosophical questions to which other philosophers paid scant attention, Cassirer's philosophy of mathematics surely deserves a place among the classic works of twentieth century philosophy of mathematics. Though focused on Cassirer's philosophy of geometry, this paper also addresses both Cassirer's general philosophical orientation and his reading of Kant. (shrink)

On knowledge and practices: a manifesto -- The web of practices -- Agents and frameworks -- Complementarity in mathematics -- Ancient Greek mathematics: a role for diagrams -- Advanced math: the hypothetical conception -- Arithmetic certainty -- Mathematics developed: the case of the reals -- Objectivity in mathematical knowledge -- The problem of conceptual understanding.

Dieses historische Buch kann zahlreiche Tippfehler und fehlende Textpassagen aufweisen. Kaufer konnen in der Regel eine kostenlose eingescannte Kopie des originalen Buches vom Verleger herunterladen (ohne Tippfehler). Ohne Indizes. Nicht dargestellt. 1910 edition. Auszug:...endliche als durch sie erzeugt; oder diese in jener involviert und aus ihr sich evolvierend. Der wahre Erzeuger der endlichen Grosse ist nicht die unendlichkleine" Grosse (das Unendlichkleine ware dem Grossenwert nach vielmehr Null), sondern es ist das Gesetz der Grosse (als Veranderlicher), das man sich nun wie (...) in einen Punkt zusammengezogen, d. h. fur den einzelnen Punkt ausgedruckt, oder an einer endlichen Erstreckung sich darstellend denken kann, das aber dem letzten Sachgehalt nach dasselbe ist fur den Punkt und die endliche Erstreckung, wenn es auch in Bezug auf beide verschiedene, im allgemeinen auseinander ableitbare Ausdrucke erhalten muss. Da aber die endliche Grosse uberhaupt von Punkt zu Punkt entstehend (d. h. veranderlich) gedacht wird, so ist insofern der punktuelle, d. h. infinitesimale Ausdruck der fundamentale, aus dem der extensionale gleichsam erst hervorwachst. Die Differenz entsteht eben von der Null an; nicht aus ihr; aus Null wird keine extensive Grosse; wohl aber von der Null, d. h. dem Nichtsein dessen, was werden soll, oder ganz schlicht1) vom Ausgangs wert an; woraus? Aus dem Gesetz; eine andere Antwort ist nicht zu geben und nicht zu verlangen. Durch dies Gesetz aber ist die Grosse als Eines, Identisches, im Unterschied von den sukzessiven Grossenwerten, also in ihrem Gattungsausdruck definiert. i) Vgl. oben S. 122. Fragt man also: wie soll aus der Null gewordenen, verschwundenen" Grosse die endliche Grosse wiederentstehen? so ist zu antworten: die Grosse zwar (yuantitas). (shrink)

Philosophy, from the earliest times, has made greater claims, and achieved fewer results, than any other branch of learning. In Our Knowledge of the External World , Bertrand Russell illustrates instances where the claims of philosophers have been excessive, and examines why their achievements have not been greater.

Die Allgemeine Erkenntnislehre gilt als das Hauptwerk von Moritz Schlick. Hierin entwickelt Schlick in Auseinandersetzung mit zeitgenössischen Positionen seine einflussreichen Gedanken zum Wesen der Erkenntnis, zum Verhältnis zwischen Psychologie und Logik, zum Leib-Seele-Problem und zum erkenntnistheoretischen Realismusstreit. Der Text wurde während der frühen Rostocker Jahre Schlicks, von 1911 bis 1916, verfasst. Die Allgemeine Erkenntnislehre ist ein Meilenstein der wissenschaftlichen Philosophie und grundlegend für die spätere Entwicklung des Wiener Kreises des Logischen Empirismus.

Das Ziel: Konstitutionssystem der Begriffe Das Ziel der vorliegenden Untersuchungen ist die Aufstellung eines erkenntnismäßig-logischen Systems der ...

Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der fonnalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet fUr die Logik eine ahnliche Fonnel­ sprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebrauchlich ist. In der Mathematik wurde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewohnlichen Sprache bedienen. Die groBen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum (...) wesentlichen Teil mit dadurch bedingt, daB es gelang, einen brauchbaren und leistungsfahigen Fonnalismus zu finden. - Was durch die Formel­ sprache in der Mathematik erreicht wird, das solI auch in der theoretischen Logik durch diese erzielt werden, namlich eine exakte, wissenschaftliche Behandlung ihres Gegenstandes. Die logischen Sachverhalte, die zwischen Urteilen, Begriffen usw. bestehen, finden ihre Darstellung durch Formeln, deren Interpretation frei ist von den Unklarheiten, die beim sprachlichen Ausdruck leicht auftreten konnen. Der Dbergang zu logischen Folgerungen, wie er durch das SchlieBen geschieht, wird in seine letzten Elemente zerlegt und erscheint als fonnale Umgestaltung der Ausgangsfonneln nach gewissen Regeln, die den Rechenregeln in der Algebra analog sind; das logische Denken findet sein Abbild in einem LogikkalkUl. Dieser Kalkiil macht die erfolgreiche Inangriffnahme von Problemen moglich, bei denen das rein inhaltliche Denken prinzipiell versagt. Zu diesen gehort z. B. (shrink)

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...) audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (shrink)

First published in 1903, _Principles of Mathematics_ was Bertrand Russell’s first major work in print. It was this title which saw him begin his ascent towards eminence. In this groundbreaking and important work, Bertrand Russell argues that mathematics and logic are, in fact, identical and what is commonly called mathematics is simply later deductions from logical premises. Highly influential and engaging, this important work led to Russell’s dominance of analytical logic on western philosophy in the twentieth century.

"This book is valuable as expounding in full a theory of meaning that has its roots in the work of Frege and has been of the widest influence.

In this book the author analyzes the work of physicists, mathematicians, biologists, historians, and philosophers in order to discover the principles that underlie their various ways of knowing and in terms of which they describe the ...

Paolo Mancosu provides an original investigation of historical and systematic aspects of the notions of abstraction and infinity and their interaction. A familiar way of introducing concepts in mathematics rests on so-called definitions by abstraction. An example of this is Hume's Principle, which introduces the concept of number by stating that two concepts have the same number if and only if the objects falling under each one of them can be put in one-one correspondence. This principle is at the core (...) of neo-logicism. In the first two chapters of the book, Mancosu provides a historical analysis of the mathematical uses and foundational discussion of definitions by abstraction up to Frege, Peano, and Russell. Chapter one shows that abstraction principles were quite widespread in the mathematical practice that preceded Frege's discussion of them and the second chapter provides the first contextual analysis of Frege's discussion of abstraction principles in section 64 of the Grundlagen. In the second part of the book, Mancosu discusses a novel approach to measuring the size of infinite sets known as the theory of numerosities and shows how this new development leads to deep mathematical, historical, and philosophical problems. The final chapter of the book explore how this theory of numerosities can be exploited to provide surprisingly novel perspectives on neo-logicism. (shrink)

In this excellent book Sebastien Gandon focuses mainly on Russell's two major texts, Principa Mathematica and Principle of Mathematics, meticulously unpicking the details of these texts and bringing a new interpretation of both the mathematical and the philosophical content. Winner of The Bertrand Russell Society Book Award 2013.

Universal Algebra has become the most authoritative, consistently relied on text in a field with applications in other branches of algebra and other fields such as combinatorics, geometry, and computer science. Each chapter is followed by an extensive list of exercises and problems. The "state of the art" account also includes new appendices and a well selected additional bibliography of over 1250 papers and books which makes this an indispensable new edition for students, faculty, and workers in the field.

In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...

Introduction: Science and Common Sense Long before the beginnings of modern civilization, men ac- quired vast funds of information about their environment. ...

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)

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)

Jewish German philosopher Ernst Cassirer was a leading proponent of the Marburg school of neo-Kantianism. The essays in this volume provide a window into Cassirer’s discovery of the symbolic nature of human existence—that our entire emotional and intellectual life is configured and formed through the originary expressive power of word and image, that it is in and through the symbolic cultural systems of language, art, myth, religion, science, and technology that human life realizes itself and attains not only its form, (...) its visibility, but also its reality. Thought and being are set in opposition and united in genuine correspondence by the symbolic strife between them that Cassirer calls _Auseinandersetzung,_ which determines the ethical relationship of the self to the other. (shrink)

This is the first volume on category theory for a broad philosophical readership. It is designed to show the interest and significance of category theory for a range of philosophical interests: mathematics, proof theory, computation, cognition, scientific modelling, physics, ontology, the structure of the world.

"Cassirer employs his remarkable gift of lucidity to explain the major ideas and intellectual issues that emerged in the course of nineteenth century scientific and historical thinking. The translators have done an excellent job in reproducing his clarity in English. There is no better place for an intelligent reader to find out, with a minimum of technical language, what was really happening during the great intellectual movement between the age of Newton and our own."—_New York Times._.

Grassmann n’est pas le premier à créer un nouveau calcul :Möbius, Hamilton, Bellavitis, Cauchy, et bien d’autres l’ont précédé dans cette voie qui témoigne de toute l’importance des mutations subies par l’algèbre et de l’évolution des rapports complexes entretenus entre ce domaine et son « exacte contrepartie » la Géométrie euclidienne : à l’heure où s’élaborent les premières « structures » et les « morphismes », la géométrie euclidienne perd son statut de « critère de vérité » et d’« existence (...) » des entités algébriques, notamment dénoncé par un prétendu « retour à la rigueur ».L’introduction « philosophique », décriée par ses contemporains ne voyant là que « fausse philosophie », ne pouvait être impunément écartée : la « seconde » Ausdehnungslehre de 1862 (A2) — pourtant proposée telle une nouvelle version rédigée conformément au style « souhaité » par son époque — ne conviendra pas plus à ses trop rares lecteurs. Tout lecteur averti reconnaît que A2ne peut être parfaitement entendu sans les nécessaires éclaircissements de A1.Trois points nous paraissent aujourd’hui significatifs :– L’Ausdehnungslehre est une science formelle qui trouve sa place dans le système mathématique de Grassmann. Ce système « améliore » celui déjà classique (notamment connu du père de Grassmann) qui résulte du croisement entre les deux contrastes fluants « continu/discret » et « distinct/égal ».– L’Ausdehnungslehre admet la géométrie comme première « application » remarquable. La géométrie [Geometrie] (ou encore la théorie de l’espace [Raumlehre]) est devenue une science réelle (l’espace préexiste), elle ne peut donc légitimement figurer au sein de la mathématique pure.– Une partie précède la séparation en les quatre branches précédentes de la mathématique pure (ou théorie des formes). La théorie générale des formes présente leurs lois communes, soit cette série de vérités qui, de la même manière se rapportent à toutes les branches des mathématiques et qui ne supposent donc que les concepts généraux d égalité, de diversité, de liaison et de séparation. (shrink)

Grassmann n’est pas le premier à créer un nouveau calcul :Möbius, Hamilton, Bellavitis, Cauchy, et bien d’autres l’ont précédé dans cette voie qui témoigne de toute l’importance des mutations subies par l’algèbre et de l’évolution des rapports complexes entretenus entre ce domaine et son « exacte contrepartie » la Géométrie euclidienne : à l’heure où s’élaborent les premières « structures » et les « morphismes », la géométrie euclidienne perd son statut de « critère de vérité » et d’« existence (...) » des entités algébriques, notamment dénoncé par un prétendu « retour à la rigueur ».L’introduction « philosophique », décriée par ses contemporains ne voyant là que « fausse philosophie », ne pouvait être impunément écartée : la « seconde » Ausdehnungslehre de 1862 (A2) — pourtant proposée telle une nouvelle version rédigée conformément au style « souhaité » par son époque — ne conviendra pas plus à ses trop rares lecteurs. Tout lecteur averti reconnaît que A2ne peut être parfaitement entendu sans les nécessaires éclaircissements de A1.Trois points nous paraissent aujourd’hui significatifs :– L’Ausdehnungslehre est une science formelle qui trouve sa place dans le système mathématique de Grassmann. Ce système « améliore » celui déjà classique (notamment connu du père de Grassmann) qui résulte du croisement entre les deux contrastes fluants « continu/discret » et « distinct/égal ».– L’Ausdehnungslehre admet la géométrie comme première « application » remarquable. La géométrie [Geometrie] (ou encore la théorie de l’espace [Raumlehre]) est devenue une science réelle (l’espace préexiste), elle ne peut donc légitimement figurer au sein de la mathématique pure.– Une partie précède la séparation en les quatre branches précédentes de la mathématique pure (ou théorie des formes). La théorie générale des formes présente leurs lois communes, soit cette série de vérités qui, de la même manière se rapportent à toutes les branches des mathématiques et qui ne supposent donc que les concepts généraux d égalité, de diversité, de liaison et de séparation. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

There are two general questions which many views in the philosophy of mathematics can be seen as addressing: what are mathematical objects, and how do we have knowledge of them? Naturally, the answers given to these questions are linked, since whatever account we give of how we have knowledge of mathematical objects surely has to take into account what sorts of things we claim they are; conversely, whatever account we give of the nature of mathematical objects must be accompanied by (...) a corresponding account of how it is that we acquire knowledge of those objects. The connection between these problems results in what is often called "Benacerraf's Problem", which is a dilemma that many philosophical views about mathematical objects face. It will be my goal here to present a view, attributed to Richard Dedekind, which approaches the initial questions in a different way than many other philosophical views do, and in doing so, avoids the dilemma given by Benacerraf's problem. (shrink)

Dedekind's major work on the foundations of arithmetic employs several techniques that have left him open to charges of psychologism, and through this, to worries about the objectivity of the natural-number concept he defines. While I accept that Dedekind takes the foundation for arithmetic to lie in certain mental powers, I will also argue that, given an appropriate philosophical background, this need not make numbers into subjective mental objects. Even though Dedekind himself did not provide that background, one can nevertheless (...) be found in the work of the neo-Kantian Ernst Cassirer on mathematical concept formation. (shrink)

The no-miracles argument for realism and the pessimistic meta-induction for anti-realism pull in opposite directions. Structural Realism---the position that the mathematical structure of mature science reflects reality---relieves this tension.

SummaryenThe main argument for scientific realism is that our present theories in science are so successful empirically that they can't have got that way by chance - instead they must somehow have latched onto the blueprint of the universe. The main argument against scientific realism is that there have been enormously successful theories which were once accepted but are now regarded as false. The central question addressed in this paper is whether there is some reasonable way to have the best (...) of both worlds: to give the argument from scientific revolutions its full weight and yet still adopt some sort of realist attitude towards presently accepted theories in physics and elsewhere. I argue that there is such a way - through structural realism, a position adopted by Poincare, and here elaborated and defended. (shrink)