foundations of mathematics: overview

foundations of mathematics: overview

The term ’

foundations of mathematics

’ denotes a set of theories which from the late XIX century onwards have tried to characterize the nature of mathematical reasoning. Common to all these theories is the use of the metaphor according to which knowledge is a building for which we must secure reliable

foundations

. The metaphor comes from Descartes VI Metaphysical Meditation and by the beginning of the XX century the foundations of mathematics were the single most interesting result obtained by the epistemological position known as foundationalism.

In this period we can find three main theories which differ essentially as to what is to be properly considered a foundation for mathematical reasoning or for the knowledge that it generates.

The first is

logicism

, the position held by Frege and Russell, according to which the analytical

propositions

of logic are the foundation upon which mathematical inference can be justified and the knowledge gained validated. The second is Hilbert’s Program, improperly called

formalism

, a theory according to which the only foundation of mathematical knowledge is to be found in the synthetic character of combinatorial reasoning. The third is Brouwer’s intuitionism a theory which maintains that mathematical knowledge needs no exogenous foundation,

logical or

otherwise, because the mathematician’s knowledge has an evidence as imediate as our perception of time.

In the course of the XX century these three main theories motivated some new mixed forms. Originating in the early version of Hilbert’s Program is Wittgenstein’s finitism, a conception according to which we have only reliable knowledge of finite objects and processes.

Infinity

is merely a

faÃÂ§on de parler

with no real content and has to be eliminated in every

context

.

Predicativism

originates in some of Russell’s and PoincarÃÂ©’s work but today is mainly associated with the names of Georg Kreisel and Solomon Feferman. The predicativist attitude is a

minimal

form of platonism: the only ”given” is the set of natural numbers and all other mathematical objects and

structures

can be, at least in principle, obtained from them by means of suitable

arithmetical

definitions

and

predicates

.

In the second half of the XX century Paul Benaceraff and Michael Resnick discovered the philosophical significance of Dedekind’s work and using the

language

of modern algebra proposed a rejection of the primacy of the concept of mathematical object in favour of the abstract notion of structure. A corollary of this position was that the consensus that

set theory

and its objects was the proper theory of mathematical inference was broken and a general theory of structures was going to be the new foundation.

In spite of the fact that

category theory

goes back to 1945, Benaceraff and Resnick never went so far as to propose category theory as the new foundation. In the course of time Benaceraff came to reject to be defined as a structuralist but M. Resnick has expressed his affinity with the

categorical

point of view. Structuralism today has many forms and a separate entry would be necessary to account for all of them.

There is a bridge that connects problems in the foundations of mathematics with the philosphy of mathematics: it is the dispute over what is to be considered a foundation or over the best definition of reliable inference. For example the structuralist thesis that the priority given to the concept of mathematical object is to be abandoned in favour of the concept of mathematical structure can not be evaluated without using the conceptual machinery of epistemology or ontology.

It would be desirable to separate foundations from philosophy arguing that foundations is mathematical work usually carried out in mathematical logic and philosophy is a

second order

activity upon the first order data obtained in mathematical logic. But one is justified in entertaining a residual doubt, because in the end foundations will always have to do with understanding rather than classifying and it is possible that a general theory of all mathematical structures will not have a mathematical formulation.

References

1

Feferman, S. ”Systems of Predicative

Analysis

”,

JSL

, vol.29, I, 1964

2

Frege, G.,

Die Grundlagen der Arithmetik

, Breslau, 1884.

3

Hilbert, D., Bernays, P.,

Die Grundlagen der Mathematik

, Berlin, 1939.

4

Heyting, A.,

Intuitionism, An

Introduction

, Amsterdam, 1956.

5

Kreisel, G., ”La PredicativitÃÂ©”,

Bulletin de la SocietÃÂ© MathÃÂ©matique

, vol. 88, Paris, 1960.

6

Resnick, M.,

Mathematics as a Science of Structures

, Oxford, 1997.

7

Russell, B., Whitehead, A.,

Principia Mathematica

, Cambridge, 1910.

8

Wittgenstein, L.,

Bemerkungen ÃÂ¼ber die Grundlagen der Mathematik

, Oxford, 1956.

Title

foundations of mathematics: overview

Canonical

name

FoundationsOfMathematicsOverview

Date of creation

2013-03-22 18:21:01

Last modified on

2013-03-22 18:21:01

Owner

gribskoff (21395)

Last modified by

gribskoff (21395)

Numerical id

13

Author

gribskoff (21395)

Entry type

Topic

Classification

msc 03-01

Classification

msc 03A05

Related topic

AxiomaticAndCategoricalFoundationsOfMathematicsII2

Related topic

FormalLogicsAndMetaMathematics

Related topic

BeyondFormalism

Related topic

AdjointFunctor

Related topic

IntuitionisticLogic

Related topic

ConsistencyOfClassicNumberTheory

Related topic

InclusionOfClassicalIntoIntuitionisticLogic

Related topic

InterpretationOfIntuitionisticLogicByM

Defines

Foundations of Mathematics

Defines

Philosophy of Mathematics

Generated on Thu Feb 8 19:20:38 2018 by

LaTeXML