Develops a structuralist understanding of mathematics, as an alternative to set- or type-theoretic foundations, that respects classical mathematical truth while ...

There is a long tradition, in the history and philosophy of science, of studying Kant’s philosophy of mathematics, but recently philosophers have begun to examine the way in which Kant’s reflections on mathematics play a role in his philosophy more generally, and in its development. For example, in the Critique of Pure Reason , Kant outlines the method of philosophy in general by contrasting it with the method of mathematics; in the Critique of Practical Reason , Kant (...) compares the Formula of Universal Law, central to his theory of moral judgement, to a mathematical postulate; in the Critique of Judgement , where he considers aesthetic judgment, Kant distinguishes the mathematical sublime from the dynamical sublime. This last point rests on the distinction that shapes the Transcendental Analytic of Concepts at the heart of Kant’s Critical philosophy, that between the mathematical and the dynamical categories. These examples make it clear that Kant's transcendental philosophy is strongly influenced by the importance and special status of mathematics. The contributions to this book explore this theme of the centrality of mathematics to Kant’s philosophy as a whole. This book was originally published as a special issue of the Canadian Journal of Philosophy. (shrink)

For the purposes of this monograph, "by a degree" is meant a degree of recursive unsolvability. A degree [script bold]m is said to be minimal if 0 is the unique degree less than [script bold]m. Each of the six chapters of this self-contained monograph is devoted to the proof of an existence theorem for minimal degrees.

According to one popular nominalist picture, even when mathematics features indispensably in scientific explanations, this mathematics plays only a purely representational role: physical facts are represented, and these exclusively carry the explanatory load. I think that this view is mistaken, and that there are cases where mathematics itself plays an explanatory role. I distinguish two kinds of explanatory generality: scope generality and topic generality. Using the well-known periodical-cicada example, and also a new case study involving bicycle gears, (...) I argue that what is picked out by the mathematics are structural facts that go beyond any specific physical facts. (shrink)

Here the author of How to Solve It explains how to become a "good guesser." Marked by G. Polya's simple, energetic prose and use of clever examples from a wide range of human activities, this two-volume work explores techniques of guessing, inductive reasoning, and reasoning by analogy, and the role they play in the most rigorous of deductive disciplines.

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 article focuses on defective conditionals ? namely indicative conditionals whose antecedents are false and whose truth-values therefore cannot be determined. The problem is to decide which formal connective can adequately represent this usage. Classical logic renders defective conditionals true whereas traditional mathematics dismisses them as irrelevant. This difference in treatment entails that, at the propositional level, classical logic validates some sentences that are intuitively false in plane geometry. With two proofs, I show that the same flaw is shared (...) by a family of trivalent logics. I go on to examine the strict conditional and its derivatives. This family is the only one to avoid the faulty inference but it does so without addressing the status of the truth-value assigned to defective conditionals. (shrink)

This unique book by Stewart Shapiro looks at a range of philosophical issues and positions concerning mathematics in four comprehensive sections. Part I describes questions and issues about mathematics that have motivated philosophers since the beginning of intellectual history. Part II is an historical survey, discussing the role of mathematics in the thought of such philosophers as Plato, Aristotle, Kant, and Mill. Part III covers the three major positions held throughout the twentieth century: the idea that (...) class='Hi'>mathematics is logic (logicism), the view that the essence of mathematics is the rule-governed manipulation of characters (formalism), and a revisionist philosophy that focuses on the mental activity of mathematics (intuitionism). Finally, Part IV brings the reader up-to-date with a look at contemporary developments within the discipline. This sweeping introductory guide to the philosophy of mathematics makes these fascinating concepts accessible to those with little background in either mathematics or philosophy. (shrink)

Part of the ambiguity lies in the various points of view from which this question might be considered. The crudest di erence lies between the point of view of the working mathematician and that of the logician concerned with the foundations of mathematics. Now some of my fellow mathematical logicians might protest this distinction, since they consider themselves to be just more of those \working mathematicians". Certainly, modern logic has established itself as a very respectable branch of mathematics, (...) and there are quite a few highly technical journals in logic, such as The Journal of Sym-. (shrink)

Realists persuaded by indispensability arguments af- firm the existence of numbers, genes, and quarks. Van Fraassen's empiricism remains agnostic with respect to all three. The point of agreement is that the posits of mathematics and the posits of biology and physics stand orfall together. The mathematical Platonist can take heart from this consensus; even if the existence of num- bers is still problematic, it seems no more problematic than the existence of genes or quarks. If the two positions just (...) described were the only ones possible, there could be no objection to this melding of numbers with genes and quarks. However, the position I call contrastive empiricism (Sober 1990a) stands opposed to both realism and to Van Fraassen's em- piricism. As it turns out, contrastive empiricism entails that coalesc- ing mathematics with empirical science is highly problematic. I believe that there is an important kernel of truth in abductive ar- guments for genes and quarks. But no counterpart argument exists for the case of numbers. Of course, the existence of this third way would be uninteresting, if contrastive empiricism were wholly implausible. However, I will argue that contrastive empiricism captures what makes sense in standard versions of realism and empiricism, while avoiding the excesses of each. This third way is a middle way; it cannot be dismissed out of hand. (shrink)

It is commonly suggested that evolutionary considerations generate an epistemological challenge for moral realism. At first approximation, the challenge for the moral realist is to explain our having many true moral beliefs, given that those beliefs are the products of evolutionary forces that would be indifferent to the moral truth. An important question surrounding this challenge is the extent to which it generalizes. In particular, it is of interest whether the Evolutionary Challenge for moral realism is equally a challenge for (...) mathematical realism. It is widely thought not to be. In this paper, I argue that the Evolutionary Challenge for moral realism is equally a challenge for mathematical realism. Along the way, I substantially clarify the Evolutionary Challenge, discuss its relation to more familiar epistemological challenges, and broach the problem of moral disagreement. The paper should be of interest to ethicists because it places pressure on anyone who rejects moral realism on the basis of the Evolutionary Challenge to reject mathematical realism as well. And the paper should be of interest to philosophers of mathematics because it presents a new epistemological challenge for mathematical realism that bears, I argue, no simple relation to Paul Benacerraf's familiar challenge. (shrink)

The rise of the field of “ experimental mathematics” poses an apparent challenge to traditional philosophical accounts of mathematics as an a priori, non-empirical endeavor. This paper surveys different attempts to characterize experimental mathematics. One suggestion is that experimental mathematics makes essential use of electronic computers. A second suggestion is that experimental mathematics involves support being gathered for an hypothesis which is inductive rather than deductive. Each of these options turns out to be inadequate, and (...) instead a third suggestion is considered according to which experimental mathematics involves calculating instances of some general hypothesis. The paper concludes with the examination of some philosophical implications of this characterization. (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.

Widespread interest in Frege's general philosophical writings is, relatively speaking, a fairly recent phenomenon. But it is only very recently that his philosophy of mathematics has begun to attract the attention it now enjoys. This interest has been elicited by the discovery of the remarkable mathematical properties of Frege's contextual definition of number and of the unique character of his proposals for a theory of the real numbers. This collection of essays addresses three main developments in recent work on (...) Frege's philosophy of mathematics: the emerging interest in the intellectual background to his logicism; the rediscovery of Frege's theorem; and the reevaluation of the mathematical content of The Basic Laws of Arithmetic. Each essay attempts a sympathetic, if not uncritical, reconstruction, evaluation, or extension of a facet of Frege's theory of arithmetic. Together they form an accessible and authoritative introduction to aspects of Frege's thought that have, until now, been largely missed by the philosophical community. (shrink)

The subject of this paper is the philosophical problem of accounting for the relationship between mathematics and non-mathematical reality. The first section, devoted to the importance of the problem, suggests that many of the reasons for engaging in philosophy at all make an account of the relationship between mathematics and reality a priority, not only in philosophy of mathematics and philosophy of science, but also in general epistemology/metaphysics. This is followed by a (rather brief) survey of the (...) major, traditional philosophies of mathematics indicating how each is prepared to deal with the present problem. It is shown that (the standard formulations of) some views seem to deny outright that there is a relationship between mathematics and any non-mathematical reality; such philosophies are clearly unacceptable. Other views leave the relationship rather mysterious and, thus, are incomplete at best. The final, more speculative section provides the direction of a positive account. A structuralist philosophy of mathematics is outlined and it is proposed that mathematics applies to reality though the discovery of mathematical structures underlying the non-mathematical universe. (shrink)

Batterman raises a number of concerns for the inferential conception of the applicability of mathematics advocated by Bueno and Colyvan. Here, we distinguish the various concerns, and indicate how they can be assuaged by paying attention to the nature of the mappings involved and emphasizing the significance of interpretation in this context. We also indicate how this conception can accommodate the examples that Batterman draws upon in his critique. Our conclusion is that ‘asymptotic reasoning’ can be straightforwardly accommodated within (...) the inferential conception. 1 Introduction2 Immersion, Inference and Partial Structures3 Idealization and Surplus Structure4 Renormalization and the Stability of Mathematical Representations5 Explanation and Eliminability6 Requirements for Explanation7 Interpretation and Idealization8 Explanation, Empirical Regularities and the Inferential Conception9 Conclusion. (shrink)

In his influential book, The Nature of Morality, Gilbert Harman writes: “In explaining the observations that support a physical theory, scientists typically appeal to mathematical principles. On the other hand, one never seems to need to appeal in this way to moral principles.” What is the epistemological relevance of this contrast, if genuine? This chapter argues that ethicists and philosophers of mathematics have misunderstood it. They have confused what the chapter calls the justificatory challenge for realism about an area, (...) D—the challenge to justify our D-beliefs—with the reliability challenge for D-realism—the challenge to explain the reliability of our D-beliefs. Harman’s contrast is relevant to the first, but not, evidently, to the second. One upshot of the discussion is that genealogical debunking arguments are fallacious. Another is that indispensability considerations cannot answer the Benacerraf–Field challenge for mathematical realism. (shrink)

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 chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer’s logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics. Thus, this work addresses the lack of research on these subjects in the context of Schopenhauer’s oeuvre by exposing their links to modern research areas, such as the “proof without words” movement, analytic philosophy and diagrammatic reasoning, demonstrating its continued relevance to current discourse on (...) logic. -/- Beginning with Schopenhauer’s philosophy of language, the chapters examine the individual aspects of his semantics, semiotics, translation theory, language criticism, and communication theory. Additionally, Schopenhauer’s anticipation of modern contextualism is analyzed. The second section then addresses his logic, examining proof theory, metalogic, system of natural deduction, conversion theory, logical geometry, and the history of logic. Special focus is given to the role of the Euler diagrams used frequently in his lectures and their significance to broader context of his logic. In the final section, chapters discuss Schopenhauer’s philosophy of mathematics while synthesizing all topics from the previous sections, emphasizing the relationship between intuition and concept. -/- Aimed at a variety of academics, including researchers of Schopenhauer, philosophers, historians, logicians, mathematicians, and linguists, this title serves as a unique and vital resource for those interested in expanding their knowledge of Schopenhauer’s work as it relates to modern mathematical and logical study. (shrink)

A version of nonstandard analysis, Internal Set Theory, has been used to provide a resolution of Zeno's paradoxes of motion. This resolution is inadequate because the application of Internal Set Theory to the paradoxes requires a model of the world that is not in accordance with either experience or intuition. A model of standard mathematics in which the ordinary real numbers are defined in terms of rational intervals does provide a formalism for understanding the paradoxes. This model suggests that (...) in discussing motion, only intervals, rather than instants, of time are meaningful. The approach presented here reconciles resolutions of the paradoxes based on considering a finite number of acts with those based on analysis of the full infinite set Zeno seems to require. The paper concludes with a brief discussion of the classical and quantum mechanics of performing an infinite number of acts in a finite time. (shrink)

This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated (...) by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

It is explained that, in the sense of the sociologist Erving Goffman, mathematics has a front and a back. Four pervasive myths about mathematics are stated. Acceptance of these myths is related to whether one is located in the front or the back.

First published in 1937. Routledge is an imprint of Taylor & Francis, an informa company.

Mathematics has a great variety ofapplications in the physical sciences.This simple, undeniable fact, however,gives rise to an interestingphilosophical problem:why should physical scientistsfind that they are unable to evenstate their theories without theresources of abstract mathematicaltheories? Moreover, theformulation of physical theories inthe language of mathematicsoften leads to new physical predictionswhich were quite unexpected onpurely physical grounds. It is thought by somethat the puzzles the applications of mathematicspresent are artefacts of out-dated philosophical theories about thenature of mathematics. In this paper (...) I argue that this is not so.I outline two contemporary philosophical accounts of mathematics thatpay a great deal of attention to the applicability of mathematics and showthat even these leave a large part of the puzzles in question unexplained. (shrink)

Moritz Pasch (1843ber neuere Geometrie (1882), in which he also clearly formulated the view that deductions must be independent from the meanings of the nonlogical terms involved. Pasch also presented in these lectures the main tenets of his philosophy of mathematics, which he continued to elaborate on throughout the rest of his life. This philosophy is quite unique in combining a deductivist methodology with a radically empiricist epistemology for mathematics. By taking into consideration publications from the entire span (...) of Paschs highly original, but virtually unknown, philosophy of mathematics is presented. (shrink)

My goal here is to explore the relationship between pure and applied mathematics and then, eventually, to draw a few morals for both. In particular, I hope to show that this relationship has not been static, that the historical rise of pure mathematics has coincided with a gradual shift in our understanding of how mathematics works in application to the world. In some circles today, it is held that historical developments of this sort simply represent changes in (...) fashion, or in social arrangements, governments, power structures, or some such thing, but I resist the full force of this way of thinking, clinging to the old school notion that we have gradually learned more about the world over time, that our opinions on these matters have improved, and that seeing how we reached the point we now occupy may help us avoid falling back into old philosophies that are now no longer viable. In that spirit, it seems to me that once we focus on the general question of how mathematics relates to science, one observation is immediate: the march of the centuries has produced an amusing reversal of philosophical fortunes. Let me begin there. In the beginning, that is, in Plato, mathematical knowledge was sharply distinguished from ordinary perceptual belief about the world. According to Plato’s metaphysics, mathematics is the study of eternal and unchanging abstract Forms,1 while science is uncertain and changeable opinion about the world of mere becoming. Indeed, in Plato’s lights, of the two, only mathematics deserves to be called ‘knowledge’ at all! Of course if sense perception cannot give us knowledge, if mathematics is not about perceivable things, then Plato owes us an account of how we ordinary humans achieve this wonderful insight into the properties of the abstract world of Forms. Plato’s answer is that we do not actually acquire mathematical knowledge at all; rather, we recollect it from a time before birth, when our souls, unencumbered by physical bodies, were free to commune with the Forms, and not just the mathematical ones, either – also Truth, Beauty, Justice, the Good, and so on.2 Whatever appeal this position may have held for the ancient Greeks, it will not begin to satisfy a contemporary, scientifically minded philosopher.. (shrink)

Many advocates of non-classical logic for reasons external to mathematics claim that their proposed revisions are consistent with the use of classical logic within pure mathematics. Doubts are raised about such claims, concerning the applicability of pure mathematics to natural and social science. -/- .

How far should our realism extend? For many years philosophers of mathematics and philosophers of ethics have worked independently to address the question of how best to understand the entities apparently referred to by mathematical and ethical talk. But the similarities between their endeavours are not often emphasised. This book provides that emphasis. In particular, it focuses on two types of argumentative strategies that have been deployed in both areas. The first—debunking arguments—aims to put pressure on realism by emphasising (...) the seeming redundancy of mathematical or moral entities when it comes to explaining our judgements. In the moral realm this challenge has been made by Gilbert Harman and Sharon Street; in the mathematical realm it is known as the 'Benacerraf-Field' problem. The second strategy—indispensability arguments—aims to provide support for realism by emphasising the seeming intellectual indispensability of mathematical or moral entities, for example when constructing good explanatory theories. This strategy is associated with Quine and Putnam in mathematics and with Nicholas Sturgeon and David Enoch in ethics. Explanation in Ethics and Mathematics addresses these issues through an explicitly comparative methodology which we call the 'companions in illumination' approach. By considering how argumentative strategies in the philosophy of mathematics might apply to the philosophy of ethics, and vice versa, the papers collected here break new ground in both areas. For good measure, two further companions for illumination are also broached: the philosophy of chance and the philosophy of religion. Collectively, these comparisons light up new questions, arguments, and problems of interest to scholars interested in realism in any area. (shrink)

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 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)

I examine the role that mathematics plays in understanding and modelling finance, especially stock markets, and how philosophy affects it. To this end, I explore how mathematics penetrates finance via physics, constructing a ‘financial physics’, and I outline the philosophical backgrounds of this process, in particular the ‘philosophy of equilibrium’ and that of critical points or ‘out-of-equilibrium’. I discuss the main characteristics and a few weaknesses of these mathematizations of financial systems, notably econometrics and econophysics, and I compare (...) the two ways, top-down and bottom-up, of building mathematical approaches to finance. The top-down approach is the most used and the most conservative. I argue that it guarantees a mathematical account, but it is less effective than the more difficult bottom-up approach, which is more appropriate and which may end up without a mathematical account of financial phenomena. I then consider two important issues raised by a mathematical approach to finance, that is, the performative and the reversing side of mathematics, and an ethics of mathematics. In the first case I argue that mathematics not only can be a performative device, but it also enables ‘reversing’ dynamics, that is, a mathematical model may become not a representational tool, but a device of social engineering—a mathematical way of investigating what are the initial conditions and processes needed to obtain an intended result. In the second case I argue that this specific relation between mathematical modelling and prediction raises an ethical question in finance, namely, a responsible construction and use of the mathematical models provided by a financial physics. (shrink)

Kurt Gdel was the most outstanding logician of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of Gdel's writings. The first three volumes, already published, consist of the papers and essays of Gdel. The final two volumes of the set deal with Gdel's correspondence with his contemporary mathematicians, this fourth volume consists of material from correspondents from A-G.

The human attempts to access, measure and organize physical phenomena have led to a manifold construction of mathematical and physical spaces. We will survey the evolution of geometries from Euclid to the Algebraic Geometry of the 20th century. The role of Persian/Arabic Algebra in this transition and its Western symbolic development is emphasized. In this relation, we will also discuss changes in the ontological attitudes toward mathematics and its applications. Historically, the encounter of geometric and algebraic perspectives enriched the (...) mathematical practices and their foundations. Yet, the collapse of Euclidean certitudes, of over 2300 years, and the crisis in the mathematical analysis of the 19th century, led to the exclusion of “geometric judgments” from the foundations of Mathematics. After the success and the limits of the logico-formal analysis, it is necessary to broaden our foundational tools and re-examine the interactions with natural sciences. In particular, the way the geometric and algebraic approaches organize knowledge is analyzed as a cross-disciplinary and cross-cultural issue and will be examined in Mathematical Physics and Biology. We finally discuss how the current notions of mathematical (phase) “space” should be revisited for the purposes of life sciences. (shrink)

Marcus Giaquinto presents an investigation into the different kinds of visual thinking involved in mathematical thought, drawing on work in cognitive psychology, philosophy, and mathematics. He argues that mental images and physical diagrams are rarely just superfluous aids: they are often a means of discovery, understanding, and even proof.

This book provides an accessible, critical introduction to the three main approaches that dominated work in the philosophy of mathematics during the twentieth century: logicism, intuitionism and formalism.

This paper addresses the actual practice of justifying definitions in mathematics. First, I introduce the main account of this issue, namely Lakatos's proof-generated definitions. Based on a case study of definitions of randomness in ergodic theory, I identify three other common ways of justifying definitions: natural-world justification, condition justification, and redundancy justification. Also, I clarify the interrelationships between the different kinds of justification. Finally, I point out how Lakatos's ideas are limited: they fail to show how various kinds of (...) justification can be found and can be reasonable, and they fail to acknowledge the interplay among the different kinds of justification. (shrink)

The question that is the subject of this article is not intended to be a sociological or statistical question about the practice of today’s mathematicians, but a philosophical question about the nature of mathematics, and specifically the method of mathematics. Since antiquity, saying that mathematics is problem solving has been an expression of the view that the method of mathematics is the analytic method, while saying that mathematics is theorem proving has been an expression of (...) the view that the method of mathematics is the axiomatic method. In this article it is argued that these two views of the mathematical method are really opposed. In order to answer the question whether mathematics is problem solving or theorem proving, the article retraces the Greek origins of the question and Hilbert’s answer. Then it argues that, by Gödel’s incompleteness results and other reasons, only the view that mathematics is problem solving is tenable. (shrink)

This book puts forward a new role for mathematics in the natural sciences. In the traditional understanding, a strong viewpoint is advocated, on the one hand, according to which mathematics is used for truthfully expressing laws of nature and thus for rendering the rational structure of the world. In a weaker understanding, many deny that these fundamental laws are of an essentially mathematical character, and suggest that mathematics is merely a convenient tool for systematizing observational knowledge. The (...) position developed in this volume combines features of both the strong and the weak viewpoint. In accordance with the former, mathematics is assigned an active and even shaping role in the sciences, but at the same time, employing mathematics as a tool is taken to be independent from the possible mathematical structure of the objects under consideration. Hence the tool perspective is contextual rather than ontological. Furthermore, tool-use has to respect conditions like suitability, efficacy, optimality, and others. There is a spectrum of means that will normally differ in how well they serve particular purposes. The tool perspective underlines the inevitably provisional validity of mathematics: any tool can be adjusted, improved, or lose its adequacy upon changing practical conditions. (shrink)

Simone Weil wrote in her notebooks that “Friendship, like beauty, is a miracle.” This paper investigates her discussions of friendship in the larger context of her understanding of the mediation of opposites, modeled on the Pythagorean and Platonic models of mathematics. For Weil, friendship was not only miraculous, butalso a key to understanding the relationship of the divine to the human. Convinced that friendship and love create equality between parties where none exists naturally, Weil concluded that friendship “is full (...) of marvelous meanings with regard to God, with regard to the communion of God and man, and with regard to men.”. (shrink)