Debunking arguments against both moral and mathematical realism have been pressed, based on the claim that our moral and mathematical beliefs are insensitive to the moral/mathematical facts. In the mathematical case, I argue that the role of Hume’s Principle as a conceptual truth speaks against the debunkers’ claim that it is intelligible to imagine the facts about numbers being otherwise while our evolved responses remain the same. Analogously, I argue, the conceptual supervenience of the moral on the natural speaks presents (...) a difficulty for the debunker’s claim that, had the moral facts been otherwise, our evolved moral beliefs would have remained the same. (shrink)

Philosophy of mathematics is moving in a new direction: away from a foundationalism in terms of formal logic and traditional ontology, and towards a broader range of approaches that are united by a focus on mathematical practice. The scientific research network PhiMSAMP (Philosophy of Mathematics: Sociological Aspects and Mathematical Practice) consisted of researchers from a variety of backgrounds and fields, brought together by their common interest in the shift of philosophy of mathematics towards mathematical (...) practice. Hosted by the Rheinische Friedrich- Wilhelms-Universitat Bonn and funded by the Deutsche Forschungsgemeinschaft (DFG) from 2006-2010, the network organized and contributed to a number of workshops and conferences on the topic of mathematical practice. The refereed contributions in this volume represent the research results of the network and consists of contributions of the network members as well as selected paper versions of presentations at the network's mid-term conference, "Is mathematics special?" (PhiMSAMP-3) held in Vienna 2008. (shrink)

The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles, arithmatic of infinites, and calculus were developed. Although many technical studies have been devoted to these innovations, Mancosu provides the first comprehensive account of the relationship between mathematical advances of the seventeenth century and the philosophy of mathematics of the period. (...) Starting with the Renaissance debates on the certainty of mathematics, Mancosu leads the reader through the foundational issues raised by the emergence of these new mathematical techniques, including the influence of the Aristotelian conception of science in Cavalieri and Guldin, the foundational relevance of Descartes' Geometrie, the relation between geometrical and epistemological theories of the infinite, and the Leibnizian calculus and the opposition to infinitesimalist procedures. In the process Mancosu draws a sophisticated picture of the subtle dependencies between technical development and philosophical reflection in seventeenth century mathematics. (shrink)

This lucid and comprehensive essay by a distinguished philosopher surveys the views of Plato, Aristotle, Leibniz, and Kant on the nature of mathematics. It examines the propositions and theories of the schools these philosophers inspired, and it concludes by discussing the relationship between mathematical theories, empirical data, and philosophical presuppositions. 1968 edition.

This volume explores the central problems and exposes intriguing new directions in the philosophy of mathematics, making it an essential teaching resource, ...

Mathematics is one of the most successful human endeavors—a paradigm of precision and objectivity. It is also one of our most puzzling endeavors, as it seems to deliver non-experiential knowledge of a non-physical reality consisting of numbers, sets, and functions. How can the success and objectivity of mathematics be reconciled with its puzzling features, which seem to set it apart from all the usual empirical sciences? This book offers a short but systematic introduction to the philosophy of (...) mathematics. Readers are introduced to all of the classical approaches to the field, including logicism, formalism, intuitionism, empiricism, and structuralism. The book also contains accessible introductions to some more specialized issues, such as mathematical intuition, potential infinity, the iterative conception of sets, and the search for new mathematical axioms. The exposition is always closely informed by ongoing research in the field and sometimes draws on the author’s own contributions to this research. This means that Gottlob Frege—a German mathematician and philosopher widely recognized as one of the founders of analytic philosophy—figures prominently in the book, both through his own views and his criticism of other thinkers. (shrink)

The philosophy of mathematics plays a vital role in the mature philosophy of Charles S. Peirce. Peirce received rigorous mathematical training from his father and his philosophy carries on in decidedly mathematical and symbolic veins. For Peirce, math was a philosophical tool and many of his most productive ideas rest firmly on the foundation of mathematical principles. This volume collects Peirce’s most important writings on the subject, many appearing in print for the first time. Peirce’s determination (...) to understand matter, the cosmos, and "the grand design" of the universe remain relevant for contemporary students of science, technology, and symbolic logic. (shrink)

A number of examples of studies from the field ‘The Philosophy of Mathematical Practice’ (PMP) are given. To characterise this new field, three different strands are identified: an agent-based, a historical, and an epistemological PMP. These differ in how they understand ‘practice’ and which assumptions lie at the core of their investigations. In the last part a general framework, capturing some overall structure of the field, is proposed.

This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the (...) same language. The famous impossibility results by Gödel and Tarski that have dominated the field for the last sixty years turn out to be much less significant than has been thought. All of ordinary mathematics can in principle be done on this first-order level, thus dispensing with the existence of sets and other higher-order entities. (shrink)

The aim of this paper is to present and discuss the philosophical views concerning mathematics of the founders of the so called Warsaw Mathematical School, i.e., Wacław Sierpiński, Zygmunt Janiszewski and Stefan Mazurkiewicz. Their interest in the philosophy of mathematics and their philosophical papers will be considered. We shall try to answer the question whether their philosophical views influenced their proper mathematical investigations. Their views towards set theory and its rôle in mathematics will be emphasized.

This volume offers a selection of the most interesting and important work from recent years in the philosophy of mathematics, which has always been closely linked to, and has exerted a significant influence upon, the main stream of analytical philosophy. The issues discussed are of interest throughout philosophy, and no mathematical expertise is required of the reader. Contributors include W.V. Quine, W.D. Hart, Michael Dummett, Charles Parsons, Paul Benacerraf, Penelope Maddy, W.W. Tait, Hilary Putnam, George Boolos, (...) Daniel Isaacson, Stewart Shapiro, and Hartry Field. (shrink)

The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated by Polish logicians, mathematicians and philosophers in the 1920s and 1930s. It was a remarkable period in the history of Polish science, in particular in the history of Polish logic and mathematics. Therefore, it is justified to ask whether and to what extent the development of logic and mathematics was accompanied by a philosophical reflection. We try to answer those (...) questions by analyzing both works of Polish logicians and mathematicians who have a philosophical temperament as well as their research practice. Works and philosophical views of the following Polish scientists will be analyzed: Wacław Sierpiński, Zygmunt Janiszewski, Stefan Mazurkiewicz, Stefan Banach Hugo Steinhaus, Eustachy Żylińsk and Leon Chwistek, Jan Łukasiewicz, Zygmunt Zawirski, Stanisław Leśniewski, Tadeusz Kotarbiński, Kazimierz Ajdukiewicz, Alfred Tarski, Andrzej Mostowski and Henryk Mehlberg, Jan Sleszyński, Stanisław Zaremba and Witold Wilkosz. To indicate the background of scientists being active in the 1920s and 1930s we consider in Chapter 1 some predecessors, in particular: Jan Śniadecki, Józef Maria Hoene-Wroński, Samuel Dickstein and Edward Stamm. (shrink)

A survey of Euclid's Elements, this text provides an understanding of the classical Greek conception of mathematics and its similarities to modern views as well as its differences. It focuses on philosophical, foundational, and logical questions — rather than strictly historical and mathematical issues — and features several helpful appendixes.

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)

This book offers an up-to-date overview of the research on philosophy of mathematics education, one of the most important and relevant areas of theory. The contributions analyse, question, challenge, and critique the claims of mathematics education practice, policy, theory and research, offering ways forward for new and better solutions. The book poses basic questions, including: What are our aims of teaching and learning mathematics? What is mathematics anyway? How is mathematics related to society in (...) the 21st century? How do students learn mathematics? What have we learnt about mathematics teaching? Applied philosophy can help to answer these and other fundamental questions, and only through an in-depth analysis can the practice of the teaching and learning of mathematics be improved. The book addresses important themes, such as critical mathematics education, the traditional role of mathematics in schools during the current unprecedented political, social, and environmental crises, and the way in which the teaching and learning of mathematics can better serve social justice and make the world a better place for the future. (shrink)

This chapter contains sections titled: Introduction Platonism in Mathematics Nominalism in Mathematics Conclusion References.

_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.

Available from UMI in association with The British Library. ;Plato's philosophy of mathematics must be a philosophy of 4th century B.C. Greek mathematics, and cannot be understood if one is not aware that the notions involved in this mathematics differ radically from our own notions; particularly, the notion of arithmos is quite different from our notion of number. The development of the post-Renaissance notion of number brought with it a different conception of what mathematics (...) is, and we must be able to see the differences before we can begin to appreciate Plato's views, which must never be seen as applying to a revolutionary notion of mathematics . For this reason the first part of this dissertation must comprise a detailed analysis of these differences, along with some criticisms of those of Plato's modern interpreters who have not taken this point. Much of what will be found here can be found in Jacob Klein's Greek Mathematics and the Origin of Algebra, which will be extensively quoted and interpreted. This book is often quoted, but very seldom understood; or at least, those lessons which should be taken from it are rarely applied to Platonic exegesis. In the second part I attempt a better explanation of Plato's mathematical ontology, beginning with the most extensive passage in the dialogues, the triple image of Sun, Line and Cave in Republic. This reveals a relation between sensibles and forms which is at odds with the traditional view that mathematical objects are never precisely accurate instances of their forms--but this view can be refuted. Plato's view of the nature of mathematical objects will be seen to be a metaphorical way of saying what Aristotle says logically, and is entirely appropriate to the aims and methods of his contemporary mathematicians. Aristotle's criticism of Plato's views is examined and found to make sense and to be appropriate to views which Plato could consistently have held. (shrink)

The paper deals with some major themes in early Cassirer’s philosophy of mathema- tics. It appears, that the basis of his thinking about mathematical objects and mathematical concept formation is his Neo-Kantian idealistic theory of concepts which he developed in opposition to what is called the „traditional theory of concepts“ going back to Aristotle. Cassirer often seeks to confirm his philo- sophical insights concerning mathematics by the interpretations the works of significant mathematicians. Therefore, the second part of the (...) paper deals with Cassirer’s attempt to find such a confirmation in famous Dedekind’s theory of natural numbers. Cassirer’s philosophical attitude to Dedekind’s theory is compared with that of Russell. The author raises the sceptical question of whether Cassirer’s view of mathematics – as developed in his early period – could be a sufficient or at least plausible basis for solving philosophical problems of the foundations of mathematics of that time. (shrink)

Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues for local rather than global foundations for mathematics, and provides philosophical viewpoints on the importance of modern model theory for both understanding and undertaking mathematical practice. The volume also addresses the impact (...) of model theory on contemporary algebraic geometry, number theory, combinatorics, and differential equations. This comprehensive and detailed book will interest logicians and mathematicians as well as those working on the history and philosophy of mathematics. (shrink)

SummaryThis note attempts to give a description of mathematics in terms of a process applied to certain ideas. The process is split into a number of distinct stages, each of which is considered seperately. Also, some philosophical problems are briefly discussed in the light of this view of mathematics.

This chapter provides a broad overview of the philosophy of mathematics and the philosophy of logic. It gives brief coverage to the various issues and positions, such as platonism or realism, varieties of nominalism, or anti-realism, logicism, intuitionism, empiricism, and structuralism.

The ten contributions in this volume range widely over topics in the philosophy of mathematics. The four papers in Part I (entitled "Set Theory, Inconsistency, and Measuring Theories") take up topics ranging from proposed resolutions to the paradoxes of naïve set theory, paraconsistent logics as applied to the early infinitesimal calculus, the notion of "purity of method" in the proof of mathematical results, and a reconstruction of Peano's axiom that no two distinct numbers have the same successor. Papers (...) in the second part ("The Challenge of Nominalism") concern the nominalistic thesis that there are no abstract objects. The two contributions in Part III ("Historical Background") consider the contributions of Mill, Frege, and Descartes to the philosophy of mathematics. (shrink)

The twentieth century has witnessed an unprecedented 'crisis in the foundations of mathematics', featuring a world-famous paradox, a challenge to 'classical' mathematics from a world-famous mathematician, a new foundational school, and the profound incompleteness results of Kurt Gödel. In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably with Bertrand Russell, W. V. Quine, and Gödel himself, and which remains at the focus of Anglo-Saxon (...) philosophical discussion. The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field. (shrink)

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.

In lieu of an abstract, here is a brief excerpt of the content:Abraham, Planter of Mathematics":Histories of Mathematics and Astrology in Early Modern EuropeNicholas PopperFrancis Bacon's 1605 Advancement of Learning proposed to dedicatee James I a massive reorganization of the institutions, goals, and methods of generating and transmitting knowledge. The numerous defects crippling the contemporary educational regime, Bacon claimed, should be addressed by strengthening emphasis on philosophy and natural knowledge. To that end, university positions were to be (...) created devoted to "Artes and Sciences at large," rather than to the professions. High salaries would render lecturers "able and sufficient," undistracted from their task. Most famously, he argued that teaching of the "operatiue studie of many Scyences" should involve sophisticated technical education. The study of natural philosophy demanded not only books, but globes, astrolabes, and other "instrumentals." Most significantly, yielding reliable and meaningful knowledge from experiential gleanings required a rigorous system of deductive reasoning.The legacy of this colossal proposal has earned Bacon honored status as devisor of the scientific method.1 But Bacon's educational reform extended [End Page 87] beyond the methods of producing and transmitting knowledge. To facilitate more efficient "vse and administration" of the knowledge produced by his system, he also demanded a searching examination of the history of learning. This history would provide a mirror enabling his contemporaries to deploy the fruits of his method, by considering how learning in the past had been used successfully or ill-advisedly. Producing this history was the ambition of the Advancement, for he explained: "no man hath propounded to himselfe the generall state of learning to bee described and represented from age to age, as many have done the works of Nature, & the State civile and Ecclesiastical." He continued:And yet I am not ignorant that in divers particular sciences, as of the Iurisconsults, the Mathematicians, the Rhetoricians, the Philosophers, there are set down some smal memorials of the Schooles, Authors, and Bookes: and so likewise some barren relations touching the Invention of Arts, or usages. But a iust story of learning, containing the Antiquities and Originalls of Knowledges, & their Sects; their Inventions, their Traditions; their diverse Administrations and Managings; their Flourishings, their Oppositions, Decayes, Depressions, Oblivions, Removes, with the causes, and occasions of them, and all other events concerning learning, throughout the ages of the world; I may truly affirme to be wanting.2Bacon thus positioned himself not only as a Father of Modern Science, but also a Father of the History of Science.Following Bacon's suggestion, I will examine the "small memorials" of the history of mathematics—and particularly the mathematical art of astrology—in the sixteenth and seventeenth centuries. My conclusion, however, will not bear out Bacon's claims. Despite his frustration, Bacon was only one of many early modern scholars appraising the role of mathematics within history. And he devoted less energy than others to mapping its origins and tracing its transmissions between communities. In fact, Bacon's 1605 proposal for a history of mathematics was already out-of-date. Discussions [End Page 88] of the history of mathematics had been rife on the continent and in England throughout the previous century.3The evidence that Renaissance scholars inherited was sprawling and inconclusive. Several genealogies for mathematics could be found within classical Greek, Latin, and patristic references. One lineage claimed mathematics began in ancient Assyria, where the priestly caste, the Chaldeans, practiced a form of mathematics that seemed a corrupt admixture of philosophy, medicine, and religion, and relied heavily on observation of the heavens. Other scholars traced the origins to Egypt, claiming that the field developed to survey lands frequently flooded by the Nile. The real problem for ancient, late antique, and medieval scholars had not been the origins of mathematics, but what exactly mathematics were. For some, the term strictly referred to the quadrivium: geometry, arithmetic, astronomy, and music. But for others, mathematics' origins amongst the Egyptians or Chaldeans inextricably linked it to forms of astrological divination, augury, and necromancy that were unsavory to both Latin and Christian traditions. Mathematici were included alongside ghastly lists of Magi, Brahmins, Aruspices, Genethliaci, and other diabolic practitioners of idolatrous magic. These might or might not be distinguished from mathematici such as Pythagoras... (shrink)

Christopher Ormell; Is the Uncertainty of Mathematics the Real Source of Its Intellectual Charm?, Journal of Philosophy of Education, Volume 27, Issue 1, 30 May.

Although there are many questions to be asked about philosophy of mathematics, the fundamental questions to be asked will be questions about what the mathematical object is in view of being and what the mathematical reasoning is in view of knowledge. It is clear that other problems will develop in parallel within the framework of the answers to these questions. For this reason, when we approach Aristotle's philosophy of mathematics over these two basic problems, we come (...) up with the concept of abstraction. In our work, I will try to explain the mathematical abstraction that Aristotle has developed to understand mathematical philosophy. (shrink)

In his long-awaited new edition of Philosophy of Mathematics, James Robert Brown tackles important new as well as enduring questions in the mathematical sciences. Can pictures go beyond being merely suggestive and actually prove anything? Are mathematical results certain? Are experiments of any real value?" "This clear and engaging book takes a unique approach, encompassing nonstandard topics such as the role of visual reasoning, the importance of notation, and the place of computers in mathematics, as well as (...) traditional topics such as formalism, Platonism, and constructivism. The combination of topics and clarity of presentation make it suitable for beginners and experts alike. The revised and updated second edition of Philosophy of Mathematics contains more examples, suggestions for further reading, and expanded material on several topics including a novel approach to the continuum hypothesis."--BOOK JACKET. (shrink)

For some time now, academic philosophers of mathematics have concentrated on intramural debates, the most conspicuous of which has centered on Benacerraf's epistemological challenge. By the late 1980s, something of a consensus had developed on how best to respond to this challenge. But answering Benacerraf leaves untouched the more advanced epistemological question of how the axioms are justified, a question that bears on actual practice in the foundations of set theory. I suggest that the time is ripe for philosophers (...) of mathematics to turn outward, to take on a problem of real importance for mathematics itself. (shrink)

This work is the long awaited sequel to the author’s classic Frege: Philosophy of Language. But it is not exactly what the author originally planned. He tells us that when he resumed work on the book in the summer of 1989, after a long interruption, he decided to start afresh. The resulting work followed a different plan from the original drafts. The reader does not know what was lost by their abandonment, but clearly much was gained: The present work (...) may be the most compactly organized of Dummett’s philosophical books, and its value as commentary on Frege is enhanced by its being organized as a study of Die Grundlagen der Arithmetik and selected parts of Grundgesetze. Moreover, since Dummett has been thinking and writing about Frege for forty years, we have a single, mature chronological stage of his thought. (shrink)

Why bother to praise mathematics when you claim, as Alain Badiou does, that philosophy is first and foremost a metaphysics of happiness, or else it’s not worth an hour of trouble? What possible relationship can there be between mathematics and happiness? That is precisely the issue at stake in this dialogue, which serves as a very accessible introduction to what mathematics is and an exploration of the crucial influence it has always exerted on the greatest philosophers. (...) Far from the thankless, pointless exercises they are often thought to be, mathematics and logic are indispensable guides to ridding ourselves of dominant opinions and making possible an access to truths, or to a human experience of the utmost value. That is why mathematics may well be the shortest path to the true life, which, when it exists, is characterized by an incomparable happiness. (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.

This text is organized around the distinction between finite and infinite. It includes a brief overview of what different philosophers have said about infinity, and looks at some of the arguments to the effect that one should adopt a pro-infinity attitude. Other chapters contain an exposition of the ontological schools; interactions among these schools and various theories of truth; the relationship between mathematics and values; a history of mathematics; an analysis of mathematical knowledge; the role of mathematics (...) in eduction; the implications of religion for the philosophy of mathematics; and referenc eto mathematical objects. (shrink)

Graduate-level historical study is ideal for students intending to specialize in the topic, as well as those who only need a general treatment. Part I discusses traditional and symbolic logic. Part II explores the foundations of mathematics, emphasizing Hilbert’s metamathematics. Part III focuses on the philosophy of mathematics. Each chapter has extensive supplementary notes; a detailed appendix charts modern developments.

For Wittgenstein mathematics is a human activity characterizing ways of seeing conceptual possibilities and empirical situations, proof and logical methods central to its progress. Sentences exhibit differing 'aspects', or dimensions of meaning, projecting mathematical 'realities'. Mathematics is an activity of constructing standpoints on equalities and differences of these. Wittgenstein's Later Philosophy of Mathematics grew from his Early and Middle philosophies, a dialectical path reconstructed here partly as a response to the limitative results of Gödel and Turing.

Offering a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the philosophy of mathematics, this 2005 book is divided into three parts. Part I contains a general essay on Husserl's conception of science and logic, an essay of mathematics and transcendental phenomenology, and an essay on phenomenology and modern pure geometry. Part II is focused on Kurt Godel's interest in phenomenology. It explores Godel's ideas and also some work of Quine, (...) Penelope Maddy and Roger Penrose. Part III deals with elementary, constructive areas of mathematics. These are areas of mathematics that are closer to their origins in simple cognitive activities and in everyday experience. This part of the book contains essays on intuitionism, Hermann Weyl, the notion of constructive proof, Poincaré and Frege. (shrink)