Abstract In the new millennium there have been important empirical developments in the philosophy of mathematics. One of these is the so-called “Empirical Philosophy of Mathematics”(EPM) of Buldt, Löwe, Müller and Müller-Hill, which aims to complement the methodology of the philosophy of mathematics with empirical work. Among other things, this includes surveys of mathematicians, which EPM believes to give philosophically important results. In this paper I take a critical look at the (...) sociological part of EPM as a case study of ... (shrink)

In the new millennium there have been important empirical developments in the philosophy of mathematics. One of these is the so-called “Empirical Philosophy of Mathematics” of Buldt, Löwe, Müller and Müller-Hill, which aims to complement the methodology of the philosophy of mathematics with empirical work. Among other things, this includes surveys of mathematicians, which EPM believes to give philosophically important results. In this paper I take a critical look at the sociological (...) part of EPM as a case study of sociological approaches to the philosophy of mathematics, focusing on the most concrete development of EPM so far: a questionnaire-based study by Müller-Hill. I argue that the study has many problems and that the EPM conclusion that mathematical knowledge is context-dependent is unwarranted by the evidence. In addition, I consider the general justification and criteria for introducing sociological methods in the philosophy of mathematics. While surveys can give us important data about the philosophical views of mathematicians, there is no reason to believe that mathematicians have a privileged access to philosophical questions concerning mathematics. In order to be philosophically relevant in the way EPM claims, the philosophical views of mathematicians cannot be assessed without considering the argumentation behind them. (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.

Lucid and comprehensive essay surveys the views of Plato, Aristotle, Leibniz and Kant on the nature of mathematics; examines the propositions and theories of the schools these philosophers inspired; and concludes with a discussion on the relation between mathematical theories, empirical data and philosophical presuppositions.

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)

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.

During the course of about ten years, Wittgenstein revised some of his most basic views in philosophy of mathematics, for example that a mathematical theorem can have only one proof. This essay argues that these changes are rooted in his growing belief that mathematical theorems are ‘internally’ connected to their canonical applications, i.e. , that mathematical theorems are ‘hardened’ empirical regularities, upon which the former are supervenient. The central role Wittgenstein increasingly assigns to empirical regularities had (...) profound implications for all of his later philosophy; some of these implications (particularly to rule following) are addressed in the essay. (shrink)

. The circumstance, that the text of Imre Lakatos' doctoral thesis from the University of Debrecen did not survive, makes the evaluation of his career in Hungary and the research of aspects of continuity of his lifework difficult. My paper tries to reconstruct these newer aspects of continuity, introducing the influence of László Kalmár the mathematician and his fellow student, and Sándor Karácsony the philosopher and his mentor on Lakatos' work. The connection between the understanding of the empirical basis (...) of exact ideas—which is a common feature in the papers of the members of the Karácsonycircle—and Lakatos' way of thinking regarding mathematics is more direct and can be documented through his connection to Kalmár. The central element of Lakatos' philosophy of mathematics is criticism of formalism and his tendency is to use the empirical view. Discussions at the 1965 International Colloquium in the Philosophy of Science in London were very helpful in clarifying the quasi-empirical conception. Kalmár's lecture in London, based on one of his papers published by Karácsony in 1942, emphasized the empirical character of mathematics. After this colloquium some elements of the heritage of the Karácsony-circle were integrated again in the development of Lakatos' way of thinking. First I will analyze the Kalmár lecture of 1965 at the Colloquium of Philosophy of Science and Lakatos's reflections on the problem of the foundation of mathematics. Then I will present their common Hungarian background, their education and the beginning of their career, which have many important common features; third I draw attention to the network of contacts of Karácsony-disciples. (shrink)

This paper clarifies and discusses Imre Lakatos’ claim that mathematics is quasi-empirical in one of his less-discussed papers A Renaissance of Empiricism in the Recent Philosophy of Mathematics. I argue that Lakatos’ motivation for classifying mathematics as a quasi-empirical theory is epistemological; what can be called the quasi-empirical epistemology of mathematics is not correct; analysing where the quasi-empirical epistemology of mathematics goes wrong will bring to light reasons to endorse a (...) pluralist view of mathematics. (shrink)

The circumstance that the text of Imre Lakatos' doctoral thesis from the University of Debrecen did not survive makes the evaluation of his career in Hungary and the research of aspects of continuity of his lifework difficult. My paper tries to reconstruct these newer aspects of continuity, introducing the influence of László Kalmár the mathematician and his fellow student, and Sándor Karácsony the philosopher and his mentor on Lakatos' work. The connection between the understanding of the empirical basis of (...) exact ideas—which is a common feature in the papers of the members of the Karácsony-circle—and Lakatos' way of thinking regarding mathematics is more direct and can be documented through his connection to Kalmár. The central element of Lakatos' philosophy of mathematics is criticism of formalism and his tendency is to use the empirical view. Discussions at the 1965 International Colloquium in the Philosophy of Science in London were very helpful in clarifying the quasi-empirical conception. Kalmár's lecture in London, based on one of his papers published by Karácsony in 1942, emphasized the empirical character of mathematics. After this colloquium some elements of the heritage of the Karácsony-circle were integrated again in the development of Lakatos' way of thinking. First I will analyze the Kalmár lecture of 1965 at the Colloquium of Philosophy of Science and Lakatos's reflections on the problem of the foundation of mathematics. Then I will present their common Hungarian background, their education and the beginning of their career, which have many important common features; third I draw attention to the network of contacts of Karácsony-disciples. (shrink)

THE CLOSE CONNECTION BETWEEN mathematics and philosophy has long been recognized by practitioners of both disciplines. The apparent timelessness of mathematical truth, the exactness and objective nature of its concepts, its applicability to the phenomena of the empirical world—explicating such facts presents philosophy with some of its subtlest problems. We shall discuss some of the attempts made by philosophers and mathematicians to explain the nature of mathematics. We begin with a brief presentation of the views (...) of four major classical philosophers: Plato, Aristotle, Leibniz, and Kant. We conclude with a more detailed discussion of the three “schools” of mathematical philosophy which have emerged in the twentieth century: Logicism, Formalism, and Intuitionism. (shrink)

The notion of idealization has received considerable attention in contemporary philosophy of science but less in philosophy of mathematics. An exception was the ‘critical idealism’ of the neo-Kantian philosopher Ernst Cassirer. According to Cassirer the methodology of idealization plays a central role for mathematics and empirical science. In this paper it is argued that Cassirer's contributions in this area still deserve to be taken into account in the current debates in philosophy of mathematics. (...) For extremely useful criticisms on earlier versions I am grateful to B.P. Larvor and another anonymous journal referee. CiteULike Connotea Del.icio.us What's this? (shrink)

One of the most intriguing features of mathematics is its applicability to empirical science. Every branch of science draws upon large and often diverse portions of mathematics, from the use of Hilbert spaces in quantum mechanics to the use of differential geometry in general relativity. It's not just the physical sciences that avail themselves of the services of mathematics either. Biology, for instance, makes extensive use of difference equations and statistics. The roles mathematics plays in (...) these theories is also varied. Not only does mathematics help with empirical predictions, it allows elegant and economical statement of many theories. Indeed, so important is the language of mathematics to science, that it is hard to imagine how theories such as quantum mechanics and general relativity could even be stated without employing a substantial amount of mathematics. (shrink)

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. (shrink)

This essay offers a strategic reinterpretation of Kant’s philosophy of mathematics in Critique of Pure Reason via a broad, empirically based reconception of Kant’s conception of drawing. It begins with a general overview of Kant’s philosophy of mathematics, observing how he differentiates mathematics in the Critique from both the dynamical and the philosophical. Second, it examines how a recent wave of critical analyses of Kant’s constructivism takes up these issues, largely inspired by Hintikka’s unorthodox conception (...) of Kantian intuition. Third, it offers further analyses of three Kantian concepts vitally linked to that of drawing. It concludes with an etymologically based exploration of the seven clusters of meanings of the word drawing to gesture toward new possibilities for interpreting a Kantian philosophy of mathematics. (shrink)

Recent philosophical accounts of mathematics increasingly focus on the quasi-Empirical rather than the formal aspects of the field, The praxis of how mathematics is done rather than the idealized logical structure and foundations of the theory. The ultimate test of any philosophy of mathematics, However idealized, Is its ability to account adequately for the factual development of the subject in real time. As a text case, The works and views of felix klein (1849-1925) were studied. (...) Major advances in mathematics turn out to be most adequately understood as shifts to new conceptualizations at different levels of idealization and abstraction. The implications of the model are explored with special reference to modern philosophical views of the nature and the warrants of mathematical claims to knowledge, And the methodology of the development of this knowledge. (shrink)

Recent philosophical accounts of mathematics increasingly focus on the quasi-Empirical rather than the formal aspects of the field, The praxis of how mathematics is done rather than the idealized logical structure and foundations of the theory. The ultimate test of any philosophy of mathematics, However idealized, Is its ability to account adequately for the factual development of the subject in real time. As a text case, The works and views of felix klein (1849-1925) were studied. (...) Major advances in mathematics turn out to be most adequately understood as shifts to new conceptualizations at different levels of idealization and abstraction. The implications of the model are explored with special reference to modern philosophical views of the nature and the warrants of mathematical claims to knowledge, And the methodology of the development of this knowledge. (shrink)

The distinction between analytic and synthetic propositions, and with that the distinction between a priori and a posteriori truth, is being abandoned in much of analytic philosophy and the philosophy of most of the sciences. These distinctions should also be abandoned in the philosophy of mathematics. In particular, we must recognize the strong empirical component in our mathematical knowledge. The traditional distinction between logic and mathematics, on the one hand, and the natural sciences, on (...) the other, should be dropped. Abstract mathematical objects, like transcendental numbers or Hilbert spaces, are theoretical entities on a par with electromagnetic fields or quarks. Mathematical theories are not primarily logical deductions from axioms obtained by reflection on concepts but, rather, are constructions chosen to solve some collection of problems while fitting smoothly into the other theoretical commitments of the mathematician who formulates them. In other words, a mathematical theory is a scientific theory like any other, no more certain but also no more devoid of content. (shrink)

This article describes .a course in the philosophy of mathematics that compares various metaphysical and epistemological theories of mathematics with portions of the history of the development of mathematics, in particular, the history of calculus.

The Fifth International Congress of Logic, Methodology and Philosophy of Science was held at the University of Western Ontario, London, Canada, 27 August to 2 September 1975. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science, and was sponsored by the National Research Council of Canada and the University of Western Ontario. As those associated closely with the work of the Division (...) over the years know well, the work undertaken by its members varies greatly and spans a number of fields not always obviously related. In addition, the volume of work done by first rate scholars and scientists in the various fields of the Division has risen enormously. For these and related reasons it seemed to the editors chosen by the Divisional officers that the usual format of publishing the proceedings of the Congress be abandoned in favour of a somewhat more flexible, and hopefully acceptable, method of pre sentation. Accordingly, the work of the invited participants to the Congress has been divided into four volumes appearing in the University of Western Ontario Series in Philosophy of Science. The volumes are entitled, Logic, Foundations of Mathematics and Computability Theory, Foun dational Problems in the Special Sciences, Basic Problems in Methodol ogy and Linguistics, and Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science. (shrink)

This paper examines contemporary attempts to explicate the explanatory role of mathematics in the physical sciences. Most such approaches involve developing so-called mapping accounts of the relationships between the physical world and mathematical structures. The paper argues that the use of idealizations in physical theorizing poses serious difficulties for such mapping accounts. A new approach to the applicability of mathematics is proposed.

Imre Lakatos' views on the philosophy of mathematics are important and they have often been underappreciated. The most obvious lacuna in this respect is the lack of detailed discussion and analysis of his 1976a paper and its implications for the methodology of mathematics, particularly its implications with respect to argumentation and the matter of how truths are established in mathematics. The most important themes that run through his work on the philosophy of mathematics and (...) which culminate in the 1976a paper are (1) the (quasi-)empirical character of mathematics and (2) the rejection of axiomatic deductivism as the basis of mathematical knowledge. In this paper Lakatos' later views on the quasi-empirical nature of mathematical theories and methodology are examined and specific attention is paid to what this view implies about the nature of mathematical argumentation and its relation to the empirical sciences. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:400 KANT'S MISREPRESENTATIONS OF HUME'S PHILOSOPHY OF MATHEMATICS IN THE PROLEGOMENA In 1783, Immanuel Kant published the following reflections upon the philosophy of mathematics of David Hume, words which have colored all subsequent interpretations of the letter's work: Hume being prompted to cast his eye over the whole field of a priori cognitions in which human understanding claims such mighty possessions (a calling he felt (...) worthy of a philosopher) heedlessly severed from it a whole, and indeed its most valuable, province, namely, pure mathematics ; for he imagined its nature or, so to speak, the state constitution of this empire depended on totally different principles, namely, on the law of contradiction alone; and although he did not divide judgments in this manner formally and universally as I have done here, what he said was equivalent to this: that mathematics contains only analytical, but metaphysics synthetical, a priori propositions. In this he was mistaken, and the mistake had a decidedly injurious effect upon his whole conception. But for this, he would have extended his question concerning the origin of our synthetical judgments far beyond the metaphysical concept of causality and included in it the possibility of mathematics a priori also, for this latter he must have assumed to be equally synthetical. And then he could not have based his metaphysical propositions on mere experience without subjecting the axioms of mathematics equally to experience, a thing which he was far too acute to do. The good company in which metaphysics would thus have been brought would have saved it from the danger of a contemptuous illtreatment, or the thrust intended for it must have reached mathematics, which was and could not have been Hume's intention. Thus that acute 401 man could have been led into considerations which must needs be similar to those that now occupy us, but would have gained inestimably by his inimitably elegant style. In other words, Hume failed to notice that mathematics, despite its a priori character, is synthetic. It was thus easy for him to conclude that all a priori judgments are analytic, and that therefore metaphysics (conceived of as synthetic ¿ priori judgments) is impossible. Now what considerations led Kant himself to the opposite conclusion, that mathematics is synthetic despite being a priori? Let's consider Kant's own words in a typical passage: Just as little is any principle of geometry analytical. That a straight line is the shortest path between two points is a synthetical proposition. For my concept of straight contains nothing of quantity, but only a quality. The concept 'shortest' is therefore altogether additional and cannot be obtained by any analysis of the concept 'straight line.' Here, too, intuition must come to aid us. It alone makes the synthesis possible. I should like the reader now to compare the following passage from Hume's Treatise of Human 2 Nature, Book I, Part II, Section IV: 'Tis true, mathematicians pretend they give an exact definition of a right line, when they say, it is the shortest way betwixt two points. But in the first place, I observe, that this is more properly the discovery of one of the properties of a right line, than a just definition of it. For I ask any one, if upon mention of a right line he thinks not immediately on such a particular appearance, and if 'tis not by accident only that he considers this property? A right line can be comprehended alone; but this definition is unintelligible 402 without a comparison with other lines, which we conceive to be more extended. In common life 'tis establish 'd as a maxim, that the streightest way is always the shortest; which wou'd be as absurd as to say, the shortest way is always the shortest, if our idea of a right line was not different from that of the shortest way betwixt two points. Style and terminology apart, I defy the reader to distinguish between these two arguments and their conclusions. Hume argues that 'The shortest distance between two points is a straight line' is no definition; furthermore he says almost explicitly that 'There is a longer distance between two points than a straight line... (shrink)

I discuss here the pragmatic problem in the philosophy of mathematics, that is, the applicability of mathematics, particularly in empirical science, in its many variants. My point of depart is that all sciences are formal, descriptions of formal-structural properties instantiated in their domain of interest regardless of their material specificity. It is, then, possible and methodologically justified as far as science is concerned to substitute scientific domains proper by whatever domains —mathematical domains in particular— whose formal (...) structures bear relevant formal similarities with them. I also discuss the consequences to the ontology of mathematics and empirical science of this structuralist approach. (shrink)

I discuss here the pragmatic problem in the philosophy of mathematics, that is, the applicability of mathematics, particularly in empirical science, in its many variants. My point of depart is that all sciences are formal, descriptions of formal-structural properties instantiated in their domain of interest regardless of their material specificity. It is, then, possible and methodologically justified as far as science is concerned to substitute scientific domains proper by whatever domains —mathematical domains in particular— whose formal (...) structures bear relevant formal similarities with them. I also discuss the consequences to the ontology of mathematics and empirical science of this structuralist approach. (shrink)

Mathematical explanation is a topic of great contemporary interest in the philosophy of mathematics. The question of whether mathematics can play an explanatory role in empirical science is thought by many to be the key to making progress on the realism versus anti-realism debate in the philosophy of mathematics. Questions about explanation within mathematics are also interesting and are important for the development of a general account of explanation. In a series of groundbreaking (...) papers from 1978 to 1983, Mark Steiner set the agenda for much of the modern debate about mathematical explanation. In the present paper we look at Steiner’s role in advancing mathematical explanation as a central topic in the philosophy of mathematics and his legacy for the modern debates about mathematical explanation. (shrink)

According to Mark Steiner, Wittgenstein’s intense work in the philosophy of mathematics during the early 1930s brought about a distinct turning point in his philosophy. The crux of this transition, Steiner contends, is that Wittgenstein came to see mathematical truths as originating in empirical regularities that in the course of time have been hardened into rules. This interpretation, which construes Wittgenstein’s later philosophy of mathematics as more realist than his earlier philosophy, challenges another (...) influential interpretation which reads Wittgenstein as moving in the opposite direction, from a more realist toward a less realist position. Both of these readings, I argue here, tend to overlook the crucial role of conventionalism in shaping Wittgenstein’s later philosophy. I show that during the transition period, Wittgenstein was first strongly attracted to conventionalism, but then, upon discovery of the rule following paradox, came to realize its weaknesses. Did this realization mark the end of the liaison with conventionalism and a wholehearted acceptance of the empirical regularities account? Illustrating Wittgenstein’s ongoing ambivalence toward conventionalism and pointing to his novel understanding of this position, I answer this question in the negative. (shrink)

This book explores the results of applying empirical methods to the philosophy of logic and mathematics. Much of the work that has earned experimental philosophy a prominent place in twenty-first century philosophy is concerned with ethics or epistemology. But, as this book shows, empirical methods are just as much at home in logic and the philosophy of mathematics. -/- Chapters demonstrate and discuss the applicability of a wide range of empirical methods (...) including experiments, surveys, interviews, and data-mining. Distinct themes emerge that reflect recent developments in the field, such as issues concerning the logic of conditionals and the role played by visual elements in some mathematical proofs. -/- Featuring leading figures from experimental philosophy and the fields of philosophy of logic and mathematics, this collection reveals that empirical work in these disciplines has been quietly thriving for some time and stresses the importance of collaboration between philosophers and researchers in mathematics education and mathematical cognition. (shrink)

In the paper I discuss the importance of relativistic hypercomputation for the philosophy of mathematics, in particular for our understanding of mathematical knowledge. I also discuss the problem of the explanatory role of mathematics in physics and argue that relativistic computation fits very well into the so-called programming account. Relativistic computation reveals an interesting interplay between the empirical realm and the realm of very abstract mathematical principles that even exceed standard mathematics and suggests, that such (...) principles might play an explanatory role. I also argue that relativistic computation does not have some of the weaknesses of other hypercomputational models, thus it is particularly attractive for the philosophy of mathematics. (shrink)

Since the beginning of the twentieth century, prominent authors including Jean Piaget have drawn attention to Edmond Goblot’s account of mathematical thought experiments. But his contribution to today’s debate has been neglected so far. The main goal of this article is to reconstruct and discuss Goblot’s account of logical operations (the term he used for thought experiments in mathematics) and its interpretation by Piaget against the theoretical background of two open questions in today’s debate: (1) the relationship between (...) class='Hi'>empirical and mathematical thought experiments and (2) the question of whether mathematical thought experiments can play a justificatory function in proofs. The main corollary of this analysis is that Piaget’s interpretation is seriously flawed and insufficiently appreciative of important theses of Goblot’s account. First, Goblot can be easily defended against Piaget’s main criticism, and second, Goblot developed ideas about mathematical thought experiments that still deserve attention. (shrink)

This dissertation provides a careful reading of the later Wittgenstein’s philosophy of mathematics centered around three major themes: reality, determination, and infinity. The reading offered gives pride of place to Wittgenstein’s therapeutic conception of philosophy. This conception views questions often taken as fundamental in the philosophy of mathematics with suspicion and attempts to diagnose the confusions which lead to them. In the first essay, I explain Wittgenstein’s approach to perennial issues regarding the alleged reality to (...) which mathematical truths or propositions correspond. Wittgenstein diagnoses exotic pictures of mathematical reality as stemming from misleading analogies formed across empirical and mathematical propositions. The second essay explains Wittgenstein’s treatment of perplexity regarding the ability of a mathematical rule to determine its applications in advance. This too is found to depend on a misleading analogy, in this case across behavioral and mathematical senses of ‘determine’. The third and final essay discusses Wittgenstein’s general critical approach to “the infinite”. Philosophical perplexity about infinity is shown to depend on the verbal imagery regularly associated with proofs and their power to take hold of one’s imagination. Wittgenstein dampens the imaginative excesses often associated with “the infinite” by offering a sober redescription of Cantor’s famous method of diagonalization. (shrink)

Since the beginning of the twentieth century, prominent authors including Jean Piaget have drawn attention to Edmond Goblot’s account of mathematical thought experiments. But his contribution to today’s debate has been neglected so far. The main goal of this article is to reconstruct and discuss Goblot’s account of logical operations (the term he used for thought experiments in mathematics) and its interpretation by Piaget against the theoretical background of two open questions in today’s debate: (1) the relationship between (...) class='Hi'>empirical and mathematical thought experiments and (2) the question of whether mathematical thought experiments can play a justificatory function in proofs. The main corollary of this analysis is that Piaget’s interpretation is seriously flawed and insufficiently appreciative of important theses of Goblot’s account. First, Goblot can be easily defended against Piaget’s main criticism, and second, Goblot developed ideas about mathematical thought experiments that still deserve attention. (shrink)

This work gives a new argument for ‘Empirical Philosophy of Mathematical Practice’. It analyses different modalities on how empirical information can influence philosophical endeavours. We evoke the classical dichotomy between “armchair” philosophy and empirical/experimental philosophy, and claim that the latter should in turn be subdivided in three distinct styles: Apostate speculator, Informed analyst, and Freeway explorer. This is a shift of focus from the source of the information towards its use by philosophers. We present (...) several examples from philosophy of mind/science and ethics on one side and a case study from philosophy of mathematics on the other. We argue that empirically informed philosophy of mathematics is different from the rest in a way that encourages a Freeway explorer approach, because intuitions about mathematical objects are often unavailable for non-mathematicians. This consideration is supported by a case study in set theory. (shrink)

Maziarz proposes to offer "a solution that meets the requirements of recent developments in mathematics" as well as to chart "the course of its historical development." The leitmotiv of his entire treatment is the doctrine of abstraction. Says he: "...mathematics...in common with all sciences...arises through the mental action of abstraction from sense data," and again, "pure mathematics is a speculative science which originates from the mental action of formal abstraction from things." More specifically, we are told that (...) "the laws of mathematical thinking are imposed on the mind from the very nature of quantified substance as given to the mind as it abstracts from the phantasms given by the sense from extramental reality." The implications of this claim for the status of mathematical entities are then asserted to be the following: "The mathematical natures, though not capable of extramental existence as such, are not purely fictitious; it is the natural state of mathematical natures to be so abstracted and abstractly considered and mathematical natures are still ens naturæ and not merely ens rationis." By virtue of the abstractive pedigree which is claimed for it, mathematics is held to give us knowledge concerning ens naturæ and is therefore accorded essentially the same logical status as empirical knowledge. Maziarz maintains that both types of knowledge derive their truth from what he calls "the identification of the intellect with the thing known" and the mind's "conformableness" to "real, extra-mental being." The knower is said to become "the object in the order of intention... while remaining what he is--man--in the order of nature.". (shrink)

A Volume in Cognition, Equity & Society: International Perspectives formally known as International Perspectives on Mathematics Education - Cognition, Equity & Society Series Editor Bharath Sriraman, The University of Montana and Lyn English, Queensland University of Technology The diversity of research in mathematics education has been addressed as both, a problem and a strength. When manifested through adherence to different intellectual roots and theoretical orientations, diversions constitute 'refractions' of mathematics education. The collection and analysis of empirical (...) data in a study are by necessity refracted through the specific analytical lens employed, as well as the aim of the study itself. Refractions can also refer to looking at old phenomena through new lenses. The chapters in this book are refracted through philosophical, political, mathematical and personal lenses by distinguished authors in the field, addressing issues about the elusive experience of doing mathematics, purification of texts, refractions, mathematics and ethnomathematics, political messages in textbook tasks, mathematics education policy debate, the political in mathematics education research, philosophy and mathematics, meanings and representations, identity of mathematical modeling, and dilemmas in the teaching of calculus. An ancient Sanskrit adage states that Knowledge is something that grows when shared, but shrinks when hoarded. Academics engaged in the generation of new Knowledge are blessed with both the time and the freedom to engage in pursuits that allow for intellectual pleasure. As a phenomenon of the Zeitgeist many have succumbed to the increased corporatization of academic work, engaging in activities for monetary and self advancement purposes. Are there any real intellectuals left in academia, a l Adorno, Bourdieu, Chomsky, Foucault, among others? This Festschrift is dedicated to academics that don't bother with self promotion or aggrandizement of themselves or their ideas in simplistic terms. (shrink)

What are pure geometric forms? In what sense are there an infinite number of points on a line? What is the relationship between empirically correct statements about real bodily figures (or movements) and the ideal truths of a pure mathematical geometry (also in space-time)? Starting from Kant and Wittgenstein, the book demonstrates how our dealings with figures and symbols is to be understood beyond the technical mastery of forms of calculation and proof.

This thesis presents and criticizes Hilary Putnam's argument that mathematics is as empirical as science, in particular the argument that the switch from Euclidean geometry to Riemannian geometry as the approporiate geometry for physical space constituted an instance of revising mathematics as a result of observation. The thesis explains Putnam's views on mathematics as following from his theory of meaning and reference for natural kind terms. It is argued that Putnam's account of reference is unsuitable for (...) mathematical terms and that an "if-thenist" approach to mathematical knowledge is more fruitful. (shrink)

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

A main thread of the debate over mathematical realism has come down to whether mathematics does explanatory work of its own in some of our best scientific explanations of empirical facts. Realists argue that it does; anti-realists argue that it doesn't. Part of this debate depends on how mathematics might be able to do explanatory work in an explanation. Everyone agrees that it's not enough that there merely be some mathematics in the explanation. Anti-realists claim there (...) is nothing mathematics can do to make an explanation mathematical ; realists think something can be done, but they are not clear about what that something is. I argue that many of the examples of mathematical explanations of empirical facts in the literature can be accounted for in terms of Jackson and Pettit's [1990] notion of program explanation, and that mathematical realists can use the notion of program explanation to support their realism. This is exactly what has happened in a recent thread of the debate over moral realism. I explain how the two debates are analogous and how moves that have been made in the moral realism debate can be made in the mathematical realism debate. However, I conclude that one can be a mathematical realist without having to be a moral realist. (shrink)

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery (...) of semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems. (shrink)

Providing a precise definition of “religion”—or an analysis in terms of sufficient and necessary conditions of the concept of religion—has proven to be a difficult task, more so in light of the diverse types of practices considered religious by scholars. Here, I discuss Kevin Schilbrack’s recent definition of “religion”, elaborate it and raise several objections, one of which is based on a specific theory in philosophy of mathematics: mathematical realism.

In this paper I will offer a survey of Quentin Meillassoux’s thought, focusing on what I identify as the central node of his thought, the link between mathematics and contingency. I will then proceed to question the compatibility of his principle of radical contingency with the philosophy—and the practice—of science, and I will propose a possible solution to this problem by pushing Meillassoux along the Pythagorean path. Finally, I will argue that 1) his project of evacuating metaphysical necessity (...) via a mathematization of reality can be read on a continuum with the critiques of metaphysics of presence (and with the special status assigned to mathematical formalism) operated by Jacques Derrida and Alain Badiou; and 2) his philosophy can be understood as a philosophy of science only if we allow speculations aimed at subverting core metaphysical conceptual structures to have a bearing upon empirically-based scientific practice. (shrink)