# mathematics, philosophy of

﻿
mathematics, philosophy of
The philosophy of mathematics attempts to explain both the nature of mathematical facts and entities, and the way in which we have our knowledge of both. Modern philosophy of mathematics began with the foundational studies of Cantor, R. Dedekind, and K. T. W. Weierstrass in the late 19th century. It received its fundamental impulse from the work of Frege and Russell on the relations between numbers, sets, and logic. The logicist programme in the philosophy of mathematics, culminating in Russell and Whitehead's great Principia Mathematica of 1910–13, attempted to reduce mathematics to logic, in the sense of proving that all of mathematics could be represented in a system whose axioms were simply axioms of pure logic. It is generally thought that the programme failed over the need to admit sets as entities subject to their own particular axioms, whose logical status was not at all obvious. At the beginning of the 20th century the place of set theory in mathematics was well established, but the contradictions of naïve set theory, and the sheer scale of the full transfinite hierarchy, divided mathematicians into several camps, reflecting different philosophies of mathematics. Full-scale realism or Platonism takes mathematical entities to be real, independent objects of study about which discoveries (and mistakes) can be made. Constructivism takes it that we ourselves construct what we talk about. Formalism assimilates mathematics to the purely syntactic process of following proof procedures, without any question being raised about the interpretation of the theorems proved. The Achilles heel of formalism has always been the application of mathematics in our best descriptions of the world, so realism and constructivism have emerged as the main contrasting ideologies. The division has mathematical consequences. For the realist there is no problem in admitting completed infinite collections, whether or not we have an effective method of specifying their members. For the constructivist this will be inadmissible.
Quite apart from this issue modern debates on the epistemology of mathematics have been infected by the general flight from the category of a priori knowledge. Suggestions taking its place include the general conventionalism associated with Wittgenstein, the view that abstract objects such as sets are not so frightening after all, and indeed are in fact perceptible, and the view that the general success of science, of which mathematics is an indispensable part, affords an argument for the truth of mathematics.

Philosophy dictionary. . 2011.

### Look at other dictionaries:

• mathematics, philosophy of — Branch of philosophy concerned with the epistemology and ontology of mathematics. Early in the 20th century, three main schools of thought called logicism, formalism, and intuitionism arose to account for and resolve the crisis in the foundations …   Universalium

• philosophy of mathematics — mathematics, philosophy of …   Philosophy dictionary

• mathematics — mathematics, philosophy of …   Philosophy dictionary

• Philosophy of science — is the study of assumptions, foundations, and implications of science. The field is defined by an interest in one of a set of traditional problems or an interest in central or foundational concerns in science. In addition to these central… …   Wikipedia

• Philosophy — For other uses, see Philosophy (disambiguation) …   Wikipedia

• philosophy — /fi los euh fee/, n., pl. philosophies. 1. the rational investigation of the truths and principles of being, knowledge, or conduct. 2. any of the three branches, namely natural philosophy, moral philosophy, and metaphysical philosophy, that are… …   Universalium

• Mathematics Subject Classification — The Mathematics Subject Classification (MSC) is an alphanumerical classification scheme collaboratively produced by staff of and based on the coverage of the two major mathematical reviewing databases, Mathematical Reviews and Zentralblatt MATH.… …   Wikipedia

• Philosophy — broad field of inquiry concerning knowledge; in which the definition of knowledge itself is one of the subjects investigated. Philosophy is the pursuit of wisdom, spans the nature of the universe and human nature (of the mind and the body), the… …   Mini philosophy glossary

• Philosophy — • Detailed article on the history of the love of wisdom Catholic Encyclopedia. Kevin Knight. 2006. Philosophy     Philosophy     † …   Catholic encyclopedia

• Mathematics, Form and Function — is a survey of the whole of mathematics, including its origins and deep structure, by the American mathematician Saunders Mac Lane. Contents 1 Mac Lane s relevance to the philosophy of mathematics 2 Mathematics and human activities …   Wikipedia