Traces the development of British philosopher Russell's (1872-1970) ideas on mathematics from the 1890s to the publication of his Principles of mathematics in 1903. Draws from Russell's unpublished manuscripts, correspondence, and published works to point out the influence of Hegel, Cantor, Whitehead, Peano, and others. No index. Annotation copyrighted by Book News, Inc., Portland, OR.

This article suggests that scientific philosophy, especially mathematical philosophy, might be one important way of doing philosophy in the future. Along the way, the article distinguishes between different types of scientific philosophy; it mentions some of the scientific methods that can serve philosophers; it aims to undermine some worries about mathematical philosophy; and it tries to make clear why in certain cases the application of mathematical methods is necessary for philosophical progress.

Explicit concepts and sufficiently precise definitions are the basis for further advance of a science beyond a given level. To move toward a situation where the whole population has access to the authentic results of science (italics mine) requires making explicit some general philosophical principles which can help to guide the learning, development, and use of mathematics, a science which clearly plays a pivotal role regarding the learning, development and use of all the sciences. Such philosophical principles have not come (...) from speculation but from studying and concentrating the development of actual mathematical subjects such as algebraic geometry, functional analysis, continuum mechanics, combinatorics, etc. The simplifications in the conceptual relations revealed by such philosophical/mathematical advances are of great value, not only in: (1) clarifying and guiding further research in the mathematical sciences, but also in (2) reforming pedagogy and popularization in ways that will not prove deceptive. (shrink)

This book states, illustrates, and evaluates the main points of Russell's Introduction to Mathematical Philosophy. This book also contains a thorough exposition of the fundamentals of set theory, including Cantor's groundbreaking investigations into the theory of transfinite numbers. Topics covered include: *Cardinal number (Frege's analysis) *Cardinal number (von Neumann's analysis) *Ordinal number *Isomorphism *Mathematical induction *Limits and continuity *The arithmetic of transfinites *Set-theoretic definitions of "point" and "instant" *An analysis of cardinal n, for arbitrary n, that, unlike the analyses (...) put forth by Russell and von *Neumann, is not merely adequate but de rigueur. *Cogent analyses of hitherto unsolved paradoxes of set-theory and logic, e.g. the Liar Paradox and Russell's Paradox. (shrink)

Although mathematical philosophy is flourishing today, it remains subject to criticism, especially from non-analytical philosophers. The main concern is that even if formal tools serve to clarify reasoning, they themselves contribute nothing new or relevant to philosophy. We defend mathematical philosophy against such concerns here by appealing to its metaphysical foundations. Our thesis is that mathematical philosophy can be founded on the phenomenological theory of ideas as developed by Roman Ingarden. From this platonist perspective, the “unreasonable (...) effectiveness of mathematics in philosophy”—to adapt Wigner’s phrase—is analogous to that of mathematical explanations in science. As success-criteria for mathematical philosophy, we propose that it should be correct, responsive, illuminating, promising, relevant, and adequate. (shrink)

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and philosophical issues that tie into mathematics. Feferman’s work was largely based in mathematical logic, but also branched out into methodological and philosophical issues, making it well known beyond the borders of the mathematics community. With regard to (...) methodological issues, Feferman supported concrete projects. On the one hand, these projects calibrate the proof theoretic strength of subsystems of analysis and set theory and provide ways of overcoming the limitations imposed by Gödel’s incompleteness theorems through appropriate conceptual expansions. On the other, they seek to identify novel axiomatic foundations for mathematical practice, truth theories, and category theory. In his philosophical research, Feferman explored questions such as “What is logic?” and proposed particular positions regarding the foundations of mathematics including, for example, his “conceptual structuralism.” The contributing authors of the volume examine all of the above issues. Their papers are accompanied by an autobiography presented by Feferman that reflects on the evolution and intellectual contexts of his work. The contributing authors critically examine Feferman’s work and, in part, actively expand on his concrete mathematical projects. The volume illuminates Feferman’s distinctive work and, in the process, provides an enlightening perspective on the foundations of mathematics and logic. (shrink)

This paper deals with Natorp’s version of the Marburg mathematical philosophy of science characterized by the following three features: The core of Natorp’s mathematical philosophy of science is contained in his “knowledge equation” that may be considered as a mathematical model of the “transcendental method” conceived by Natorp as the essence of the Marburg Neo-Kantianism. For Natorp, the object of knowledge was an infinite task. This can be elucidated in two different ways: Carnap, in the Aufbau, contended that (...) this endeavor can be divided into two distinct parts, namely, a finite “constitution” of the object of knowledge and an infinite incompletable empirical description. In contrast, and more in the original spirit of Cohen and Natorp, the physicist and philosopher Margenau in The Nature of Physical Reality (Margenau. 1950) conceived the infinity of this “Aufgabe” as an infinite dialectical process, in which relative “data” and “conceptual constructs” determine each other. This dialectical process eliminates the dichotomy between Anschauung and Begriff that distinguished the Marburg Neo-Kantianism from Kantian orthodoxy, namely, the abandonment of the difference between intuition and concept. Finally, the paper deals with the non-Archimedean geometrical systems that played a central role in Natorp’s defence of Cohen’s “infinitesimal” metaphysics. (shrink)

Because Bertrand Russell adopted much of the logical symbolism of Peano, because Russell always had a high regard for the great Italian mathematician, and because Russell held the logicist thesis so strongly, many English-speaking mathematicians have been led to classify Peano as a logicist, or at least as a forerunner of the logicist school. An attempt is made here to deny this by showing that Peano's primary interest was in axiomatics, that he never used the mathematical logic developed by him (...) for the reduction of mathematical concepts to logical concepts, and that, instead, he denied the validity of such a reduction. (shrink)

_Philosophy of Mathematics_ is an excellent introductory text. This student friendly book discusses the great philosophers and the importance of mathematics to their thought. It includes the following topics: * the mathematical image * platonism * picture-proofs * applied mathematics * Hilbert and Godel * knots and nations * definitions * picture-proofs and Wittgenstein * computation, proof and conjecture. The book is ideal for courses on philosophy of mathematics and logic.

Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order (...) logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic. Treats traditional logic in a modern format. Presents relevance logic with applications. Provides an ideal text for a variety of one-semester upper-level undergraduate courses. (shrink)

I construe mathematical philosophy not in the narrow sense of philosophy of mathematics but in a broad indefinite sense of different manners of giving mathematics a privileged place in the study of philosophy. For example, in one way or another, mathematics plays an important part in the philosophy of Plato, Descartes, Spinoza, Leibniz, and Kant. In contrast, history plays a central role in the philosophy of Vico, Hegel, and Marx. In more recent times, Frege, Husserl, (...) Russell, Ramsey, and Gödel all began as mathematicians. One way of viewing Kant’s system of philosophy might be to stress that he was struck by the synthetic a priori character of mathematical propositions. He went on to offer a remarkable account of this fact and also look for and propose synthetic a priori foundations of physics, morality, and esthetics. (shrink)

No detailed description available for "Studies in the Scientific and Mathematical Philosophy of Charles S. Peirce".

What was the basis for the adoption of mathematics as the primary mode of discourse for describing natural events by a large segment of the philosophical community in the seventeenth century? In answering this question, this book demonstrates that a significant group of philosophers shared the belief that there is no necessary correspondence between external reality and objects of human understanding, which they held to include the objects of mathematical and linguistic discourse. The result is a scholarly reliable, but accessible, (...) account of the role of mathematics in the works of Galileo, Kepler, Descartes, Newton, Leibniz, and Berkeley. This impressive volume will benefit scholars interested in the history of philosophy, mathematical philosophy and the history of mathematics. (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)

Gödel's definitive results and his essays leave us with a rich legacy of philosophical programs that promise to be subject to mathematical treatment. After surveying some of these, we focus attention on the program of circumventing his demonstrated impossibility of a consistency proof for mathematics by means of extramathematical concepts.

This short article pairs the realms of “Mathematics”, “Philosophy”, and “Poetry”, presenting some corners of intersection of this type of scientocreativity. Poetry have long been following mathematical patterns expressed by stern formal restrictions, as the strong metrical structure of ancient Greek heroic epic, or the consistent meter with standardized rhyme scheme and a “volta” of Italian sonnets. Poetry was always connected to Philosophy, and further on, notable mathematicians, like the inventor of quaternions, William Rowan Hamilton, or Ion Barbu, (...) the creator of the Barbilian spaces, have written appreciated poems. We will focus here on an avant-garde movement in literature, art, philosophy, and science, called Paradoxism, founded in Romania in 1980 by a mathematician, philosopher and poet, and on the laboured writing exercises of the Oulipo group, founded in Paris in 1960 by mathematicians and poets, both of them still in act. (shrink)

A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to (...) be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction. (shrink)

In the chapter of Difference and Repetition entitled ‘Ideas and the synthesis of difference,’ Deleuze mobilizes mathematics to develop a ‘calculus of problems’ that is based on the mathematical philosophy of Albert Lautman. Deleuze explicates this process by referring to the operation of certain conceptual couples in the field of contemporary mathematics: most notably the continuous and the discontinuous, the infinite and the finite, and the global and the local. The two mathematical theories that Deleuze draws upon for this (...) purpose are the differential calculus and the theory of dynamical systems, and Galois’ theory of polynomial equations. For the purposes of this paper I will only treat the first of these, which is based on the idea that the singularities of vector fields determine the local trajectories of solution curves, or their ‘topological behaviour’. These singularities can be described in terms of the given mathematical problematic, that is for example, how to solve two divergent series in the same field, and in terms of the solutions, as the trajectories of the solution curves to the problem. What actually counts as a solution to a problem is determined by the specific characteristics of the problem itself, typically by the singularities of this problem and the way in which they are distributed in a system. Deleuze understands the differential calculus essentially as a ‘calculus of problems’, and the theory of dynamical systems as the qualitative and topological theory of problems, which, when connected together, are determinative of the complex logic of different/ciation. (DR 209). Deleuze develops the concept of a problematic idea from the differential calculus, and following Lautman considers the concept of genesis in mathematics to ‘play the role of model ... with respect to all other domains of incarnation’. While Lautman explicated the philosophical logic of the actualization of ideas within the framework of mathematics, Deleuze (along with Guattari) follows Lautman’s suggestion and explicates the operation of this logic within the framework of a multiplicity of domains, including for example philosophy, science and art in What is Philosophy?, and the variety of domains which characterise the plateaus in A Thousand Plateaus. While for Lautman, a mathematical problem is resolved by the development of a new mathematical theory, for Deleuze, it is the construction of a concept that offers a solution to a philosophical problem; even if this newly constructed concept is characteristic of, or modelled on the new mathematical theory. (shrink)

In these selected essays, Charles Parsons surveys the contributions of philosophers and mathematicians who shaped the philosophy of mathematics over the past century: Brouwer, Hilbert, Bernays, Weyl, Gödel, Russell, Quine, Putnam, Wang, and Tait.

This book provides a reading of Kant's theory of the construction of mathematical concepts through a fully contextualised analysis. In this work the author argues that it is only through an understanding of the relevant eighteenth century mathematics textbooks, and the related mathematical practice, that the material and context necessary for a successful interpretation of Kant's philosophy can be provided.

Although many agree that all teaching rests on a theory of knowledge, this is an in-depth exploration of the philosophy of mathematics for education, building on the work of Lakatos and Wittgenstein.

The volume deals with the history of logic, the question of the nature of logic, the relation of logic and mathematics, modal or alternative logics (many-valued, relevant, paraconsistent logics) and their relations, including translatability, to classical logic in the Fregean and Russellian sense, and, more generally, the aim or aims of philosophy of logic and mathematics. Also explored are several problems concerning the concept of definition, non-designating terms, the interdependence of quantifiers, and the idea of an assertion sign. The (...) contributions concerned with Wittgenstein's investigations into the philosophy of logic and mathematics pursue issues relating to logical necessity, the undeniability of the law of the excluded middle, and the source of self-evidence, often characterized in the literature as the "rule-following considerations". Additionally, they examine Wittgenstein's attitudes towards the very idea of set-theory as a possible foundation for arithmetic. The volume also includes a number of contributions on specific issues concerning Wittgenstein's views on moral and religious judgements. (shrink)

In recent years, philosophical work directly concerned with the practice of mathematics has intensified, giving rise to a movement known as the philosophy of mathematical practice . In this paper we offer a survey of this movement aimed at mathematics educators. We first describe the core questions philosophers of mathematical practice investigate as well as the philosophical methods they use to tackle them. We then provide a selective overview of work in the philosophy of mathematical practice covering topics (...) including the distinction between formal and informal proofs, visualization and artefacts, mathematical explanation and understanding, value judgments, and mathematical design. We conclude with some remarks on the potential connections between the philosophy of mathematical practice and mathematics education. (shrink)

Mathematics is everywhere and yet its objects are nowhere. There may be five apples on the table but the number five itself is not to be found in, on, beside or anywhere near the apples. So if not in space and time, where are numbers and other mathematical objects such as perfect circles and functions? And how do we humans discover facts about them, be it Pythagoras’ Theorem or Fermat’s Last Theorem? The metaphysical question of what numbers are and the (...) epistemological question of how we know about them are central to the philosophy of mathematics. These and related philosophical questions are of particular interest because of mathematics’ unusual status. Mathematics is exceptional in that, on the one hand, it appears unhesitatingly true—no one doubts that 2 + 3 = 5—but on the other, as just noted, it is not about the physical world. This ambivalent status is what gives the philosophy of mathematics its special interest. The philosophy of mathematics is also one of the oldest academic fields, more or less coeval with philosophy itself. But contemporary philosophy of mathematics is rather different from its pre-twentieth-century antecedents, largely for three reasons. The first is that since the seventeenth century, mathematics has become integral to science. Science has over the past few centuries become increasingly mathematical, and indeed the fundamental science of nature, physics, is today recognised as a branch of applied mathematics. The second is that mathematics underwent a transformation in the course of nineteenth century: having started the century as a rather traditional-looking science of quantity it emerged a hundred years later a radically transformed abstract theory of structure. The final factor in the transformation of the philosophy of mathematics is the rise of modern logic. Developed by Frege, Cantor and others in the late nineteenth century, modern logic pervades contemporary mathematics, philosophy and computer science, and has had an immeasurable effect on the philosophy of mathematics. These volumes will collect the major works in this major field, with a focus on the last few decades. The anthology will include technical work, which interprets philosophically significant mathematical results or subfields of mathematics, as well as purely philosophical writing, aimed at those without advanced mathematics. The collection should be of interest to both philosophers and mathematicians, as well as to anyone who is susceptible to wondering what the main intellectual tool used in science, economics and finance, and indeed everyday life is ultimately about. (shrink)

This introduction to the philosophy of mathematics focuses on contemporary debates in an important and central area of philosophy. The reader is taken on a fascinating and entertaining journey through some intriguing mathematical and philosophical territory, including such topics as the realism/anti-realism debate in mathematics, mathematical explanation, the limits of mathematics, the significance of mathematical notation, inconsistent mathematics and the applications of mathematics. Each chapter has a number of discussion questions and recommended further reading from both the contemporary (...) literature and older sources. Very little mathematical background is assumed and all of the mathematics encountered is clearly introduced and explained using a wide variety of examples. The book is suitable for an undergraduate course in philosophy of mathematics and, more widely, for anyone interested in philosophy and mathematics. (shrink)

There is an urgent need in philosophy of mathematics for new approaches which pay closer attention to mathematical practice. This book will blaze the trail: it offers philosophical analyses of important characteristics of contemporary mathematics and of many aspects of mathematical activity which escape purely formal logical treatment.

Finally the book concludes with a discussion of the most recent debates between realists and nominalists.

In this ambitious study, David Corfield attacks the widely held view that it is the nature of mathematical knowledge which has shaped the way in which mathematics is treated philosophically and claims that contingent factors have brought us to the present thematically limited discipline. Illustrating his discussion with a wealth of examples, he sets out a variety of approaches to new thinking about the philosophy of mathematics, ranging from an exploration of whether computers producing mathematical proofs or conjectures are (...) doing real mathematics, to the use of analogy, the prospects for a Bayesian confirmation theory, the notion of a mathematical research programme and the ways in which new concepts are justified. His inspiring book challenges both philosophers and mathematicians to develop the broadest and richest philosophical resources for work in their disciplines and points clearly to the ways in which this can be done. (shrink)