Online research in philosophy

The philosophy of mathematics plays an important role in analytic philosophy, both as a subject of inquiry in its own right, and as an important landmark in the broader philosophical landscape. Mathematical knowledge has long been regarded as a paradigm of human knowledge with truths that are both necessary and certain, so giving an account of mathematical knowledge is an important part of epistemology. Mathematical objects like numbers and sets are archetypical examples of abstracta, since we treat such objects in our discourse as though they are independent of time and space; finding a place for such objects in a broader framework of thought is a central task of ontology, or metaphysics. The rigor and precision of mathematical language depends on the fact that it is based on a limited vocabulary and very structured grammar, and semantic accounts of mathematical discourse often serve as a starting point for the philosophy of language. Although mathematical thought has exhibited a strong degree of stability through history, the practice has also evolved over time, and some developments have evoked controversy and debate; clarifying the basic goals of the practice and the methods that are appropriate to it is therefore an important foundational and methodological task, locating the philosophy of mathematics within the broader philosophy of science.

This paper considers the role of mathematics in the process of acquiring new knowledge in physics and astronomy. The defining of the notions of continuum and discreteness in mathematics and the natural sciences is examined. The basic forms of representing the heuristic function of mathematics at theoretical and empirical levels of knowledge are studied: deducing consequences from the axiomatic system of theory, the method of generating mathematical hypotheses, “pure” proofs for the existence of objects and processes, mathematical modelling, the formation of mathematics on the basis of internal mathematical principles and the mathematical theory of experiment.

Proof and Knowledge in Mathematics tackles the main problem that arises when considering an epistemology for mathematics, the nature and sources of mathematical justification. Focusing both on particular and general issues, these essays from leading philosophers of mathematics raise important issues for our current understanding of mathematics. Is mathematical justification a priori or a posteriori? What role, if any, does logic play in mathematical reasoning or inference? And how epistemologically important is the formalizability of proof? Michael Detlefsen has brought together an outstanding collection of essays in a volume which will be essential for philosophers and historians of mathematics who are interested in the nature of reasoning and justification. A companion volume, Proof, Knowledge and Formalization is also available from Routledge.

Examples are presented of Aristotle’s use of non-idealized mathematics. Distinctions Husserl makes in Crisis help to delineate the features of this empiricalmathematics, which include the non-persistence of mathematical aspects of things and the selective application of mathematical traits and proper accidents. In antiquity, non-abstracted mathematics was involved with practical sciences that treat motion. The suggestion is made that these sciences were incorporated by Aristotle into natural philosophy without first being abstracted as pure mathematics—a state of affairs not envisioned by Husserl, for whom science recast natural ontology by means of the idealization of pure mathematics. The relation of empirical mathematics to life-world ontology is considered.

The philosophy of mathematics of the last few decades is usually distinguished into mainstream and maverick.1 The mainstream philosophy of mathematics considers mathematics as a static body of knowledge; it is mainly concerned with the question of the justification of mathematical knowledge; it holds that there is an absolutely certain, or at least fairly reliable, foundation for mathematics; it considers mathematical logic as a canon for the philosophy of mathematics; it assumes that a detailed account of mathematical practice would be desirable but not really essential; it generally sets itself within the framework of analytic philosophy. The maverick philosophy of mathematics considers mathematics as a dynamic body of knowledge; it is mainly concerned with the question of the growth of mathematical knowledge, including the dynamics of mathematical discovery; it holds that there is no absolutely certain foundation for mathematics; it considers mathematical logic very useful to show the limitations of the mainstream philosophy of mathematics by means of the limitative results, but inadequate to deal with the question of the growth of mathematical knowledge; it assumes that only a detailed analysis of mathematical practice could lead to a philosophy of mathematics worth its name; it generally sets itself outside the framework of analytic philosophy. The mainstream philosophy of mathematics consists of the three big foundational schools of the first few decades of the twentieth century, namely logicism (Frege, Russell), formalism (Hilbert), intuitionism (Brouwer, Heyting), and the positions which ensued from them in the second half of the twentieth..

What is the nature of mathematical knowledge? Is it anything like scientific knowledge or is it sui generis? How do we acquire it? Should we believe what mathematicians themselves tell us about it? Are mathematical concepts innate or acquired? Eight new essays offer answers to these and many other questions. Written by some of the world's leading philosophers of mathematics, psychologists, and mathematicians, Mathematical Knowledge gives a lively sense of the current state of debate in this fascinating field. Contents 1. Mary Leng: Introduction 2. Michael Potter: What is the problem of mathematical knowledge? 3. Tim Gowers: Mathematics, memory, and mental arithmetic 4. Alan Baker: Is there a problem of induction for mathematics? 5. Marinella Cappelletti and Valeria Giardino: The cognitive basis of mathematical knowledge 6. Mary Leng: What's there to know? A fictionalist account of mathematical knowledge 7. Mark Colyvan: Mathematical recreation versus mathematical knowledge 8. Alexander Paseau: Scientific platonism 9. Crispin Wright: On quantifying into predicate position: Steps towards a (new)tralist position.

Mathematicians tend to think of themselves as scientists investigating the features of real mathematical things, and the wildly successful application of mathematics in the physical sciences reinforces this picture of mathematics as an objective study. For philosophers, however, this realism about mathematics raises serious questions: What are mathematical things? Where are they? How do we know about them? Offering a scrupulously fair treatment of both mathematical and philosophical concerns, Penelope Maddy here delineates and defends a novel version of mathematical realism. She answers the traditional questions and poses a challenging new one, refocusing philosophical attention on the pressing foundational issues of contemporary mathematics.

Most philosophers still tend to believe that mathematics is basically about producing formal proofs. A consequence of this view is that some aspects of mathematical practice are entirely lost from view. My contention is that it is precisely in those aspects that similarities can be found between practices in the exact sciences and in mathematics. Hence, if we are looking for a (more) unified treatment of science and mathematics it is necessary to incorporate these elements into our view of what mathematics is about. As a helpful tool I introduce the notion of a mathematical argument as a more liberalized version of the notion of mathematical proof.

If mathematics is regarded as a science, then the philosophy of mathematics can be regarded as a branch of the philosophy of science, next to disciplines such as the philosophy of physics and the philosophy of biology. However, because of its subject matter, the philosophy of mathematics occupies a special place in the philosophy of science. Whereas the natural sciences investigate entities that are located in space and time, it is not at all obvious that this is also the case with respect to the objects that are studied in mathematics. In addition to that, the methods of investigation of mathematics differ markedly from the methods of investigation in the natural sciences. Whereas the latter acquire general knowledge using inductive methods, mathematical knowledge appears to be acquired in a different way, namely, by deduction from basic principles. The status of mathematical knowledge also appears to differ from the status of knowledge in the natural sciences. The theories of the natural sciences appear to be less certain and more open to revision than mathematical theories. For these reasons mathematics poses problems of a quite distinctive kind for philosophy. Therefore philosophers have accorded special attention to ontological and epistemological questions concerning mathematics.