Mainstream philosophy of mathematics, namely the philosophy of mathematics that has prevailed for the past century, claims that the philosophy of mathematics cannot concern itself with the making of mathematics, in particular discovery, but only with finished mathematics, namely mathematics presented in finished form. On this basis, mainstream philosophy of mathematics argues that mathematics is theorem proving by the axiomatic method. This, however, is untenable because it is incompatible (...) with Gödel’s incompleteness theorems, and cannot account for many features of mathematics. This book offers an alternative approach, heuristic philosophy of mathematics, according to which the philosophy of mathematics can concern itself with the making of mathematics, in particular discovery. On this basis, the book argues that mathematics is problem solving by the analytic method, and that this can account for all the main features of mathematics: mathematical method, objects, demonstrations, definitions, diagrams, notations, explanations, beauty, applicability, and knowledge. (shrink)

Why study notations, diagrams, or more broadly the variety of nonverbal “representations” or “signs” that are used in mathematical practice? This chapter maps out recent work on the topic by distinguishing three main philosophical motivations for doing so. First, some work (like that on diagrammatic reasoning) studies signs to recover norms of informal or historical mathematical practices that would get lost if the particular signs that these practices rely on were translated away; work in this vein has the potential to (...) broaden our view of the specific normativity of mathematics beyond logical proof. Second, some work focuses on signs to highlight the open-ended and “nonrigorous” aspects of mathematical practice, and the role of these aspects in the historical development of mathematics. The third motivation is based on the following observation: the reason differences in signs matter in mathematics is that humans are finite agents, with cognitive and computational limitations. Accordingly, studying signs can be a way to study how human computational constraints shape the mathematics that we do, and to tackle the topic of mathematical understanding. (shrink)

According to Steiner (1998), in contemporary physics new important discoveries are often obtained by means of strategies which rely on purely formal mathematical considerations. In such discoveries, mathematics seems to have a peculiar and controversial role, which apparently cannot be accounted for by means of standard methodological criteria. M. Gell-Mann and Y. Ne׳eman׳s prediction of the Ω− particle is usually considered a typical example of application of this kind of strategy. According to Bangu (2008), this prediction is apparently based (...) on the employment of a highly controversial principle—what he calls the “reification principle”. Bangu himself takes this principle to be methodologically unjustifiable, but still indispensable to make the prediction logically sound. In the present paper I will offer a new reconstruction of the reasoning that led to this prediction. By means of this reconstruction, I will show that we do not need to postulate any “reificatory” role of mathematics in contemporary physics and I will contextually clarify the representative and heuristic role of mathematics in science. (shrink)

In the philosophy of mathematics, as in its a meta-domain, we find that the words as: consequentialism, implicativity, operationalism, creativism, fertility, … grasp at most of mathematical essence and that the questions of truthfulness, of common sense, or of possible models for (otherwise abstract) mathematical creations,i.e. of ontological status of mathematical entities etc. - of second order. Truthfulness of (necessary) succession of consequences from causes in the science of nature is violated yet with Hume, so that some traditional (...) footings of logico-mathematical conclusions should equally be falled under suspicion in the last century. We have in mind, say, strict-material implication which led the emergence of relevance logics, or the law of excluded middle that denied intuitionists i.e. paraconsistent logical systems where the contradiction is allowed, as well as the quantum logic which doesn't know, say, the definition of implication etc. Kant's beliefs miscarried hereafter that number (arithmetic) and form (geometry) would bring a (finite) truth on space and time, when they revealed relative and curvated, just as it is contradictory essentially understanding of basic phenomena in the nature: of light as an unity of wave – particle, or that both "exist" and "don't exist" numbers as powers of sets between 0א and c (the independence of continuum hypothesis) etc. Mathematical truths are ''truths of possible worlds'', in which we have only to believe that they will meet once recognizable models in reality. At last, we argue in favour of thesis that a possible representing "in relief" of mathematical entities and relations in the "noetic matter" (Aristotle) would be of a striking heuristic character for this science. (shrink)

Some viewpoints on the foundations of mathematics and its philosophy are more connected to scientific practice and its heuristics, mainly with the construction of physical theories and the search for the best explanations of physical phenomena by means of abduction or the solution of problems by the analytical method. Some researchers have introduced the importance of human cultural activities into the cognitive aspects of the mental processes of scientists, proposing an embodied approach in the bridge between mathematics (...) and reality. Fluid mechanics is an interesting area in this sense due to its position if the network of mathematics. By means of an historical example on vortex motion by Helmholtz, we show that the intuitive idea of eddy contains cognitive properties of a mental schema and that it gives many heuristic options for an embodied mathematical explanation about vortex dynamics. (shrink)

Some of the most relevant problems today both in Science and practical problems involves Coupled Socio-ecological Systems, which are some of the best examples of Complex Systems. In this work we discuss groundwater-management as an example of these Coupled Socio-ecological System, also known as Coupled Human and Natural Systems. We argue that it is possible and even necessary to construct a contextual statistical theory of groundwater management. Contextuality implies some very different statistical features as entanglement and complementarity. We discuss some (...) interpretation about statistical entanglement and statistical complementarity in terms of groundwater flow theory and extraction equation. To this end, we propose a non-Kolmogorobian approach following the Växjö school of thought. One of the most straightforward conclusions is that in this way, a statistical-contextual treatment of groundwater management may not only give place to new flow equations, but it could have a profound impact in resource management. Then the new basic unity of analysis should be the indivisible pair. We should not talk any more about aquifer dynamics or resource management plans by themselves. Physical and social systems are coupled in a statistical-contextual fundamental way, and a socio-hydrogeological theory should be developed. (shrink)

The twentieth century has witnessed an unprecedented 'crisis in the foundations of mathematics', featuring a world-famous paradox (Russell's Paradox), a challenge to 'classical' mathematics from a world-famous mathematician (the 'mathematical intuitionism' of Brouwer), a new foundational school (Hilbert's Formalism), 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 (but in different ways) 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)

How do we get new knowledge? Following the maverick tradition in the philosophy of science, Carlo Cellucci gradually came to the conclusion that logic can only fulfill its role in mathematics, science and philosophy if it helps us to answer this question. He argues that mathematical logic is inadequate and that we need a new logic, framed in a naturalistic conception of knowledge and philosophy - the heuristic conception. This path from logic to a naturalistic (...) conception of knowledge and philosophy explains the title, From a Heuristic Point of View, which recalls the celebrated collection of essays, From a Logical Point of View, by Willard Van Orman Quine, the father of modern naturalized epistemology. The word 'heuristic' points to Cellucci's favorite theme and the main difference between him and Quine: the emphasis on discovery and building a 'logic' for generating new knowledge. This book is a collection of essays from leading figures in this field who discuss, criticize, or expand on the main topics in Cellucci's work, dealing with some of the most challenging questions in logic, science and philosophy. (shrink)

The philosophy of physics literature contains conflicting claims on the heuristic significance of general covariance. Some authors maintain that Einstein's general relativity distinguishes itself from other theories in that it must be generally covariant, for example, while others argue that general covariance is a physically vacuous and trivial requirement applicable to virtually any theory. Moreover, when general covariance is invested with heuristic significance, that significance as a rule is assigned to so-called “active” general covariance, underwritten by the (...) principle of background independence, rather than to general covriance as Einstein understood it. While agreeing with the latter group of commentators that general covariance indeed carries heuristic significance, I argue that a background independent theory need not be generally covariant and that instead the Principle of Equivalence as Einstein understood it provides the key to understanding the heuristic power of general covariance as a “mathematical sieve” for determining the gravitational field law. However, heuristic significance accrues to general covariance only indirectly, by its encompassing the relativity of frames underwritten by Einstein's principle of equivalence. (shrink)

This volume is a collection of papers on philosophy of mathematics which deal with a series of questions quite different from those which occupied the minds of the proponents of the three classic schools: logicism, formalism, and intuitionism. The questions of the volume are not to do with justification in the traditional sense, but with a variety of other topics. Some are concerned with discovery and the growth of mathematics. How does the semantics of mathematics change (...) as the subject develops? What heuristics are involved in mathematical discovery, and do such heuristics constitute a logic of mathematical discovery? What new problems have been introduced by the development of mathematics since the 1930s? Other questions are concerned with the applications of mathematics both to physics and to the new field of computer science. Then there is the new question of whether the axiomatic method is really so essential to mathematics as is often supposed, and the question, which goes back to Wittgenstein, of the sense in which mathematical proofs are compelling. Taking these questions together they give part of an emerging agenda which is likely to carry philosophy of mathematics forward into the twenty first century. (shrink)

This lecture will deal with the heuristic power of the deductive method and its contributions to the scientific task of finding new knowledge. I will argue for a new reading of the term 'deductive method.' It will be presented as an architectural scheme for the reconstruction of the processes of gaining reliable scientific knowledge. This scheme combines the activities of doing science with the activities of presenting scientific results. It combines the heuristic and the deductive side of science. (...) The heuristic side is represented, e.g., by the creative methods to find the 'best' hypotheses, to design experimental systems for empirical research in order to formulate general laws, or to create axiomatic systems. The other side consists of the production of deductive knowledge. This combination leads to a clear hierarchy: the heuristic side provides the basic presuppositions from which the deductive side takes off. The former is used to make deductions possible. The deductive method can be presented as an analysis-synthesis scheme as it can be found, e.g., in the tradition of Kant, Jakob Friedrich Fries, and Leonard Nelson. Nelson's critical philosophy can be seen as a key for understanding the philosophy behind David Hilbert's early axiomatic method. This axiomatic method is usually restricted to a non-philosophical approach to pure mathematics. But Hilbert was not an exclusive formalist; he proposed a mathesis universalis in the Cartesian-Leibnizian sense according to which mathematics is the syntactical tool for a general philosophy of science, applicable to all scientific disciplines. In this function, mathematics takes its problems from the sciences. Hilbert did not deny that mathematics should play a role in explaining the world. The analysis-synthesis scheme helps to provide a consistent interpretation of these two sides of Hilbert's attitude towards his working field. (shrink)

Extends the ideas of social constructivism to the philosophy of mathematics, developing a powerful critique of traditional absolutist conceptions of mathematics, and proposing a reconceptualization of the philosophy of mathematics.

In, Jeremy Avigad makes a novel and insightful argument, which he presents as part of a defence of the ‘Standard View’ about the relationship between informal mathematical proofs and their corresponding formal derivations. His argument considers the various strategies by means of which mathematicians can write informal proofs that meet mathematical standards of rigour, in spite of the prodigious length, complexity and conceptual difficulty that some proofs exhibit. He takes it that showing that and how such strategies work is a (...) necessary part of any defence of the Standard View.In this paper, I argue for two claims. The first is that Avigad’s list of strategies is no threat to critics of the Standard View. On the contrary, this observational core of heuristic advice in Avigad’s paper is agnostic between rival accounts of mathematical correctness. The second is that that Avigad’s project of accounting for the relation between formal and informal proofs requires an answer to a prior question: what sort of thing is an informal proof? His paper havers between two answers. One is that informal proofs are ultimately syntactic items that differ from formal derivations only in completeness and use of abbreviations. The other is that informal proofs are not purely syntactic items, and therefore the translation of an informal proof into a derivation is not a routine procedure but rather a creative act. Since the ‘syntactic’ reading of informal proofs reduces the Standard View to triviality, makes a mystery of the valuable observational core of his paper, and underestimates the value of the achievements of mathematical logic, he should choose some version of the second option. (shrink)

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)

Although in the past three decades interest in mathematical explanation revived, recent literature on the subject seems to neglect the strict connection between explanation and discovery. In this paper I sketch an alternative approach that takes such connection into account. My approach is a revised version of one originally considered by Descartes. The main difference is that my approach is in terms of the analytic method, which is a method of discovery prior to axiomatized mathematics, whereas Descartes’s approach is (...) in terms of the analytic–synthetic method, which is a heuristic pattern in already axiomatized mathematics. (shrink)

The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers.

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

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)

Do numbers, sets, and so forth, exist? What do mathematical statements mean? Are they literally true or false, or do they lack truth values altogether? Addressing questions that have attracted lively debate in recent years, Stewart Shapiro contends that standard realist and antirealist accounts of mathematics are both problematic. As Benacerraf first noted, we are confronted with the following powerful dilemma. The desired continuity between mathematical and, say, scientific language suggests realism, but realism in this context suggests seemingly intractable (...) epistemic problems. As a way out of this dilemma, Shapiro articulates a structuralist approach. On this view, the subject matter of arithmetic, for example, is not a fixed domain of numbers independent of each other, but rather is the natural number structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle. Using this framework, realism in mathematics can be preserved without troublesome epistemic consequences. Shapiro concludes by showing how a structuralist approach can be applied to wider philosophical questions such as the nature of an "object" and the Quinean nature of ontological commitment. Clear, compelling, and tautly argued, Shapiro's work, noteworthy both in its attempt to develop a full-length structuralist approach to mathematics and to trace its emergence in the history of mathematics, will be of deep interest to both philosophers and mathematicians. (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.

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.

In the article, questions from the field of philosophy of mathematics are studied. The author is driven by the need to achieve a balance between the philosophy of science and the history of science in formation of concepts of the science development. In this regard, the author justifies the reliance on the methodology of implicit knowledge, combined with the epistemology principle of criticism in studying the development of mathematics as the most expedient and effective. The author (...) expresses the necessity of criticizing the methodology of counterexamples typical for mathematical empiricism declared by I. Lakatos. In the article, an explanation of the concept of implicit knowledge, as well as the examples from mathematics are given. The author believes that application of the concept of implicit knowledge in philosophical and mathematical terms allows us to reveal the unique specificity of mathematical science deeper. The author concludes that it is necessary to recognize the fundamental importance of the methodology of implicit knowledge for the epistemology, as well as for the development of philosophy and methodology of science in general. (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.

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.

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 is a book that no one but Weyl could have written--and, indeed, no one has written anything quite like it since.

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)

We outline a framework for analyzing episodes from the history of science in which the application of mathematics plays a constitutive role in the conceptual development of empirical sciences. Our starting point is the inferential conception of the application of mathematics, recently advanced by Bueno and Colyvan. We identify and discuss some systematic problems of this approach. We propose refinements of the inferential conception based on theoretical considerations and on the basis of a historical case study. We demonstrate (...) the usefulness of the refined, dynamical inferential conception using the well-researched example of the genesis of general relativity. Specifically, we look at the collaboration of the physicist Einstein and the mathematician Grossmann in the years 1912--1913, which resulted in the jointly published ``Outline of a Generalized Theory of Relativity and a Theory of Gravitation,'' a precursor theory of the final theory of general relativity. In this episode, an independently developed mathematical theory, the theory of differential invariants and the absolute differential calculus, was applied in the process of physical theorizing aiming at finding a relativistic theory of gravitation. We argue that the dynamical inferential conception not only provides a natural framework to describe and analyze this episode, but it also generates new questions and insights. We comment on the mathematical tradition on which Grossmann drew, and on his own contributions to mathematical theorizing. We argue that the dynamical inferential conception allows us to identify both the role of heuristics and of mathematical resources as well as the systematic role of problems and mistakes in the reconstruction of episodes of conceptual innovation and theory change. (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)

Without attempting to cover all the philosophical questions posed by modern mathematics, provides a glimpse of a broad vision of the subject. Covering general philosophical perspectives, foundational approaches, the applicability of mathematics, and history, treats selected topics from a variety of perspectives to demonstrate the range of practices in the discipline. Among them are moderate mathematical fictionism, categorical foundations of the protean character of mathematics, the mathematical overdetermination of physics, and Hungarian traditions and the philosophy of (...) non-classical logic. The 21 papers were presented at a meeting of the International Academy of Philosophy of Science, held in Budapest in May 1993. No index. Annotation copyrighted by Book News, Inc., Portland, OR. (shrink)

The present book is an introduction to the philosophy of mathematics. It asks philosophical questions concerning fundamental concepts, constructions and methods - this is done from the standpoint of mathematical research and teaching. It looks for answers both in mathematics and in the philosophy of mathematics from their beginnings till today. The reference point of the considerations is the introducing of the reals in the 19th century that marked an epochal turn in the foundations of (...) mathematics. In the book problems connected with the concept of a number, with the infinity, the continuum and the infinitely small, with the applicability of mathematics as well as with sets, logic, provability and truth and with the axiomatic approach to mathematics are considered. In Chapter 6 the meaning of infinitesimals to mathematics and to the elements of analysis is presented. The authors of the present book are mathematicians. Their aim is to introduce mathematicians and teachers of mathematics as well as students into the philosophy of mathematics. The book is suitable also for professional philosophers as well as for students of philosophy, just because it approaches philosophy from the side of mathematics. The knowledge of mathematics needed to understand the text is elementary. Reports on historical conceptions. Thinking about today‘s mathematical doing and thinking. Recent developments. Based on the third, revised German edition. For mathematicians - students, teachers, researchers and lecturers - and readersinterested in mathematics and philosophy. Contents On the way to the reals On the history of the philosophy of mathematics On fundamental questions of the philosophy of mathematics Sets and set theories Axiomatic approach and logic Thinking and calculating infinitesimally – First nonstandard steps Retrospection. (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 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)

An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, (...) are parts of the physical world and are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

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)

In this book, which is both a philosophical and historiographical study, the author investigates the fallibility and the rationality of mathematics by means of rational reconstructions of developments in mathematics. The initial chapters are devoted to a critical discussion of Lakatos' philosophy of mathematics. In the remaining chapters several episodes in the history of mathematics are discussed, such as the appearance of deduction in Greek mathematics and the transition from Eighteenth-Century to Nineteenth-Century analysis. The (...) author aims at developing a notion of mathematical rationality that agrees with the historical facts. A modified version of Lakatos' methodology is proposed. The resulting constructions show that mathematical knowledge is fallible, but that its fallibility is remarkably weak. (shrink)

The systematic mapping of the interplay of ontology and epistemology in the context of present day philosophy of mathematics constitutes an important heuristic goal. In order to achieve it, we must analyze and reinterpret the position of mathematics in philosophy." -- Back cover.

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.

Proofs are central to mathematical practice in large part due to the heuristic role that some of them play. Not only do they help establish a result, but often provide new avenues of mathematical research. Jody Azzouni has argued that underlying the practice of creating mathematical proofs there is a very specific norm: to each proof there should be a corresponding algorithmic derivation, a derivation in an algorithmic system. Here a framework is provided to classify and assess mathematical proofs. (...) It is argued that there is a plurality of kinds of proofs in mathematics and a plurality of roles these proofs play. In the end, mathematical practice is far less unified in this respect than it may seem to be. (shrink)

The Philosophy of Mathematics Today gives a panorama of the best current work in this lively field, through twenty essays specially written for this collection by leading figures. The topics include indeterminacy, logical consequence, mathematical methodology, abstraction, and both Hilbert's and Frege's foundational programmes. The collection will be an important source for research in the philosophy of mathematics for years to come. Contributors Paul Benacerraf, George Boolos, John P. Burgess, Charles S. Chihara, Michael Detlefsen, Michael Dummett, (...) Hartry Field, Kit Fine, Bob Hale, Richard G. Heck, Jnr., Geoffrey Hellman, Penelope Maddy, Karl-Georg Niebergall, Charles D. Parsons, Michael D. Resnik, Matthias Schirn, Stewart Shapiro, Peter Simons, W.W. Tait, Crispin Wright. (shrink)