Mathematics, Philosophy of
MATHEMATICS, PHILOSOPHY OF
Philosophy of mathematics is a broad term including any theory on the nature of mathematics as a whole or on the nature of any part or aspect of mathematics. A specialized branch of learning, it deals with the following and related topics: the origin of mathematical knowledge and its relation to the real world; the nature and type of existence peculiar to mathematical entities; mathematics as viewed by mathematicians and by other scientists—and this either absolutely, or in terms of its relationship to other human and cultural values (hence the "logic of" or the "psychology of" mathematics). A thorough presentation of the philosophy of mathematics would, then, include a discussion of each of these aspects. The analysis here is restricted to a consideration of various theories on the nature of mathematics and a critical evaluation of these theories.
Since a philosophy of mathematics is based on a given mathematical content, this exposition is divided into three parts, roughly corresponding to the three major developments within mathematics itself: the classical, the transitional, and the contemporary.
Classical Period: c. 3000 B.C. to A.D. 1600. From the time of its origin among the Egyptians and of its development as a science by the Greeks (c. 600 b.c.) until the 16th century, the content of pure mathematics embraced arithmetic and basic number theory, along with geometry, the conic sections, and basic trigonometry. Music, astronomy, geography, mechanics, and hydrostatics constituted applied mathematics.
Greek Theories. It is currently held that the philosophy of mathematics originated with the same Greeks who have also been credited with being the founders of mathematics as a science. Among the Pre-Socratics, the py thagoreans proposed the first complete theory: the principles of mathematics, number and form, are the principles and the basic reality of all things. Each thing has its own mathematical number and form: justice is the number four (and therefore a square); time is seven; perfection is ten, etc. The Pythagoreans were largely responsible also for the division of mathematics into arithmetic (and music, as applied arithmetic) and geometry (and astronomy, as applied geometry).
plato modified this view, placing mathematics within the framework of knowledge in general: ordinary knowledge of material things ("opinion") is unstable because the objects known are constantly changing; mathematics achieves more stable knowledge because its objects, numbers and forms, do not change; while the most perfect kind of knowledge ("dialectic") is the contemplation of ideas or forms of which the sense, and even the mathematical words, are but a participation and imitation. Mathematical entities, then, differ from sense objects in being eternal and unchangeable; they differ from the forms in that there are many alike (many circles), while the form is in each case unique. The Pythagorean-Platonic view is adopted totally or with modifications by plotinus, proclus, nicholas of cusa, copernicus, kepler, galileo, and many others.
The Aristotelian view classifies mathematics as one of three speculative sciences (see sciences, classifica tion of). Mathematics arises by means of abstraction from sense data and deals with "quantified substance" as discrete (number), whence arise the arithmetical branches, or as continuous (form), whence arise the geometrical branches. Mathematics is but one way of fulfilling man's ability to know reality; it has a pedagogical and useful value, but it is not a knowledge necessary for, or leading to, an other-worldly contemplation. boethius, avicenna, averroËs, thomas aquinas, and many medieval scholars support this view with modifications, and the writings of Francis bacon, G. W. leibniz, Auguste comte, and many others, show its influence.
The skeptical view of mathematics is ably expressed by Sextus Empiricus (c. 250 a.d.) whose analysis of mathematical notions denies that they are clear, universal, and necessary, and proposes that they are inexact, empirical, and conventional (see skepticism). The British empiricists of the 16th and 17th centuries and some contemporaries adopt a similar interpretation.
Medieval Theory. The view of St. Thomas Aquinas is an instance of the medieval theory of mathematics. Essentially that of Aristotle, whose ideas he enriches with insights and refinements of earlier commentators and by his own metaphysical and terminological precision, Aquinas's theory considers mathematics, physics, and metaphysics as the three speculative (pure) sciences. In mathematics, one considers those aspects of things that depend not on their qualitative modifications but only on the fact that they are "quantified," that is, subject to quantity—either the numerableness of things, or the shapes and forms in which quantity is, or might be, arranged.
In common with the other speculative sciences, mathematics is based upon what might be called preliminary knowledge and experience (now referred to as "prereflective" knowledge) of the quantitative aspects of things. This preliminary knowledge must include at least a vague understanding of the terms with which one expresses quantity (one, two; circle, square). After adding to this prereflective data an explicit understanding of logical procedure, one establishes axioms and postulates, defines mathematical objects (e.g., a square), and then proceeds to deduce the characteristics of those objects that are necessarily implied by the given definition (e.g., that a square is equiangular). The conclusions that are thereby reached are restricted only by the scope of man's imagination. Mathematics is the most exact and certain of the three speculative sciences and exercises a certain hegemony over the sciences of nature.
Greek and medieval thought was familiar with several sciences in which the propositions of pure mathematics are applied to other sciences. Aquinas names astronomy and optics as instances of applied geometry, and music, of applied arithmetic. They are called "intermediate" (scientiae mediae ) because they employ the mathematical method of demonstration (formally mathematical) on subject matter from sensible nature (materially physical).
The liberal arts for Thomas Aquinas are ordered to knowledge and involve some sort of making, working, or producing, as making a syllogism or a speech, composing melodies, and reckoning the course of the stars. Mathematics (arithmetic and music; geometry and astronomy) form the quadrivium (four-ways), while logic, grammar, and rhetoric form the trivium (three-ways) of the seven liberal arts—all of which formed part of the medieval scheme of education, especially aimed at learning philosophy. As a liberal art, mathematics designates the mind's capacity to make concepts symbolic of quantity as discrete (number-symbols) or as continuous (formsymbols).
Transitional Period: 1600 to 1850. During this period, geometry lost its dominance over arithmetic through the invention of analytic geometry. A second significant discovery, the infinitesimal calculus, opened the way for the mathematical study of change and motion. Arithmetic and algebra, trigonometry, and various other branches and aspects of both pure and applied mathematics were either developed or founded anew.
Unfortunately, the philosophy of mathematics was given less attention, and no new and original theories arose to match the new mathematics. The philosopher George berkeley, offered some sound criticism of the loose reasoning that accompanied the first invention of the calculus. But the main growth in the philosophy of mathematics consisted in the dream of a universal science and method that haunted such thinkers as F. bacon, R. descartes, B. pascal, and especially G. W. Leibniz. At the close of this period, this dream was fulfilled through the formulation of symbolic logic.
Immanuel kant is well known for his analysis of mathematics and of science, but apparently he was unaware of the basic changes that mathematics had undergone. He considered mathematics as a system of absolute conceptions (synthetic a priori judgments) constructed within and unified by the central and regulative intuitions of space and time. Other theories during this period generally followed the philosophical outlook of their proponents, as in rationalism, empiricism, idealism, and positivism.
Contemporary Period: 1850 to the Present. In contrast to its earlier status, mathematics in the contemporary period is characterized by two significant changes. First, the invention of symbolic logic and the refinement of the axiomatic method have endowed it with a richer symbolism and led to its presentation as a system of purely deductive structures based on primitive axioms and propositions. Secondly, the change of outlook on such subjects as algebra and geometry, the development of analysis, and the introduction of the infinite into mathematics through Cantor's theory of sets have greatly enlarged the content of contemporary mathematics. Of special importance today are three theories included under the title of "foundations of mathematics."
Logicism, originating principally with G. Boole, G. Frege, and G. Peano, holds mathematics to be a branch of logic; the identity of mathematics with logic was formally proposed in B. Russell and A. N. Whitehead's Principia Mathematica.
Formalism, deriving mainly from David Hilbert (who claims Euclid as forerunner), originally began as a refinement of axiomatic method (as in Euclid's Elements ). It was further developed by Hilbert and his followers to ease the crises caused by the paradoxes of Principia Mathematica, and to demonstrate the consistency of classical mathematics challenged by Brouwer and his school. Hilbert formulated classical mathematics by means of "meaningless" symbols as formal axiomatic theory (especially in his and P. Bernays' Grundlagen der Mathematik ); this "meaningless" formalization, in turn, acquires meaning by becoming an object of a mathematical study called "proof-theory" or metamathematics.
Intuitionism, advocated by L. E. J. Brouwer, as a general philosophy holds that man's primordial experience is mathematical, that mathematics is identical with the exact part of human thought, and that no science (not even philosophy or logic) exercises priority or hegemony over mathematics. As a philosophy of mathematics, it holds to the dependence of mathematics on intuition alone and requires constructibility in terms of the natural numbers as the sole method of mathematical proof. Certain parts of classical mathematics and the logical law of excluded middle are rejected. Language and symbols are instruments for communicating mathematical ideas, but are not to be considered mathematics.
It has been traditional in philosophy to view pure mathematics as a science dealing with quantity as discrete (arithmetic) or as continuous (geometry), and to consider astronomy and music as branches of applied mathematics. But this view needs now to be greatly enlarged by a deeper appreciation of tradition, an understanding of the development of mathematics itself, and an integration of current views on the foundations of mathematics.
Foundations. Mathematics can still be considered a highly abstract science having both a pure, or speculative, and a practical, or applied, aspect. As the intuitionists have partly shown, however, there are two ways in which pure mathematics originates from sense data. (1) Before mind actually "abstracts" the notion of circle or number, it must have previously generalized from sense experience such basic notions as structure (quantitative form), correspondence, the notions of singularity (unity) and group (multitude), and of sequence and order—a group of notions that form the basic architecture of the mind's mathematical universe. (2) It is only into this potentially prepared mathematical world that mind can "abstract" and then "localize" such mathematical entities as group, aggregate, circle, or number.
Once the mind has been equipped with these basic laws and foundational entities, it is to the credit of logicism and formalism to have shown that one can "mathematicize" in three ways. (1) Aided by creative imagination and by renewed recourse to sense imagery, the mind can tend to purify and perfect the entities (e.g., figures and numbers), or to embellish and create new instances of them (as inventing new numbers, or constructing topology). (2) The mind can neglect the basic mathematical paradigms themselves—even to the extent of considering them formless and meaningless inhabitants of this universe—and concentrate on their arrangement, i.e., their relations of priority and posteriority or of simplicity and complexity. Once this has been done, one can reintroduce mathematical entities to see if they can be made conformable to this new structural arrangement. At this point, the formalist school is content if no contradiction can be shown, while the intuitionists require that each new mathematical entity must be "shown" or constructed. (3) Another way of manipulating mathematical entities, pointed up by the invention of the infinitesimal calculus, is to consider them as relatively moveable and changeable, and to determine their laws of generation and their mutual reducibility within the mathematical universe. It is here that the import of such mathematical "actions" as squaring and differentiating is made clear, and the possibility of the infinitely small and the infinitely large is seen to be consistent.
Further Integration. A yet further advance is made when mind compares the mathematical with, say, the logical or the metaphysical universes or with the universe of language; or, again, when mind considers the methodology it employs in mathematics as similar to, or as contrasted with, that of other sciences. These considerations form a large area of interest in contemporary philosophy of mathematics.
A final way of considering mathematical entities is that proper to applied mathematics. This is the "projective" technique of matching such entities with, or imposing mathematical structures upon, the world of experience. Tradition has not always been clear on the distinction between pure and applied mathematics, and was given to emphasizing the static and immobile aspect of mathematics and its closeness to sense experience. The fact of various geometries and algebras shows that in pure mathematics, at least, there is no unique geometry or algebra of the real world, and that in applied mathematics the operational or pragmatic definition of truth applies: whatever mathematical system works best for the problem at hand is true.
A clear notion of mathematical abstraction, however, enables one to hold that mathematics is still a science of reality. To say that mathematics studies "quantity" is a traditional but inexact shorthand for stating that it studies any "ordering or structuring of the parts of quantified substance" (since, even in tradition, no "accident" as "quantity" can be the subject of science). The speculative mathematical universe, then, is the world of the traditional "intelligible" (imaginable) matter within which the mind engages in any of the various types of mathematical activity outlined above.
See Also: quantity; continuum; extension.
Bibliography: e. w. beth, Foundations of Mathematics (Amsterdam 1959). w. c. and m. kneale, The Development of Logic (New York 1962) 379–688. g. t. kneebone, Mathematical Logic and the Foundations of Mathematics (New York 1963). e. a. maziarz, Philosophy of Mathematics (New York 1950). s. kÖrner, The Philosophy of Mathematics (London 1960). b. r. russell, Principles of Mathematics, v.1 (New York 1938).
[e. a. maziarz]
"Mathematics, Philosophy of." New Catholic Encyclopedia. . Encyclopedia.com. (December 15, 2018). https://www.encyclopedia.com/religion/encyclopedias-almanacs-transcripts-and-maps/mathematics-philosophy
"Mathematics, Philosophy of." New Catholic Encyclopedia. . Retrieved December 15, 2018 from Encyclopedia.com: https://www.encyclopedia.com/religion/encyclopedias-almanacs-transcripts-and-maps/mathematics-philosophy
Encyclopedia.com gives you the ability to cite reference entries and articles according to common styles from the Modern Language Association (MLA), The Chicago Manual of Style, and the American Psychological Association (APA).
Within the “Cite this article” tool, pick a style to see how all available information looks when formatted according to that style. Then, copy and paste the text into your bibliography or works cited list.
Because each style has its own formatting nuances that evolve over time and not all information is available for every reference entry or article, Encyclopedia.com cannot guarantee each citation it generates. Therefore, it’s best to use Encyclopedia.com citations as a starting point before checking the style against your school or publication’s requirements and the most-recent information available at these sites:
Modern Language Association
The Chicago Manual of Style
American Psychological Association
- Most online reference entries and articles do not have page numbers. Therefore, that information is unavailable for most Encyclopedia.com content. However, the date of retrieval is often important. Refer to each style’s convention regarding the best way to format page numbers and retrieval dates.
- In addition to the MLA, Chicago, and APA styles, your school, university, publication, or institution may have its own requirements for citations. Therefore, be sure to refer to those guidelines when editing your bibliography or works cited list.