predicativism

1 Initial definitions

In the literature on the foundations of mathematics the range of the concept predicativism is formulated in two divergent formulations.

In a rather broad sense predicativism is one of the (many) configurationsMathworldPlanetmathPlanetmath of constructivism, which together with intuitionism disputes the so called classical or realist conception of mathematical knowledge.

But taken in a narrower sense predicativism is not a form of constructivism. It is rather a position in mathematical philosophy, the defining program of which is, in limine, the categorical rejection of the use of impredicative definitions or of the use of the vicious circle principle. Both patterns, impredicative definition and the vicious circle principle, are used not only in classical but also in constructivist, v.g., intuitionistic mathematics.

It is useful to divide the development of predicativism in essentially two periods.

The first to be called classical predicativism, includes Poincaré’s criticism of the use of the impredicative definition together with Bertrand Russell’s pioneering work on the vicious circle principle and the ramified theory.

The second to be called modern predicativism begins around 1960 and is essentially associated with the name of Georg Kreisel. The basic theme of Kreisel’s predicativism has been the predicative reformulation of classical analysis and the attempt to define the limits of this reformulation.

2 The vicious circle principle

The vicious circle principle was explained in Principia mathematica essentially with the following content:

No totality may contain elements definable only in terms of the totality;

anything that can be defined only in terms of all the elements of a totality

can not be an element of the totality.

Example:

In order to be allowed to speak predicatively of a set 𝔐 of natural numbersMathworldPlanetmath one has to have a predicateMathworldPlanetmathPlanetmath ϕ(𝔵) by means of which 𝔐 may be defined by the schema:

()     (𝔵)[𝔵𝔐ϕ(𝔵)].

What is typical of the predicative conception is that the predicate ϕ(𝔵) has to have a meaning which is independent of the knowledge about the existence of a set 𝔐 which satisfies (). The argumentPlanetmathPlanetmath is the following:

Let us assume that a decision as to whether ϕ(𝔵) is satisfiableMathworldPlanetmath depends on knowledge about which elements are members of 𝔐. In that case the question about a definition of an element κ of 𝔐 could not be settled by appealing to ϕ(𝔵), since that would be indeed a vicious circle. Recall that a sequenceMathworldPlanetmathPlanetmath 𝔵1,,𝔵n of elements of 𝔐 satisfies ϕ(𝔵) if and only if when one inserts, for each i, a symbol representing 𝔵i for all free occurrences of 𝔵i in ϕ, the resulting propositionPlanetmathPlanetmathPlanetmath is true in 𝔐.

3 The scope of the vicious circle principle

Under these circumstances the vicious circle principle is essentially a negative principle, in the sense that it makes explicit which definition patterns have to be refused as illegitimate.

This negative characterMathworldPlanetmathPlanetmath renders more difficult the an sich more interesting task of making explicit the class of all definition patterns that the principle could reasonably justify.

In mathematical philosophy this last task is essential, in order to be able to formulate a decision as to which principles one can appeal to in order to assert the existence of classes.

We can map two antagonic possibilities:

  1. 1.

    The exclusion of all definition patterns which violate the vicious circle principle;

  2. 2.

    The admission of all definition patterns which violate the vicious circle principle but whose legitimacy could be otherwise secured by universally accepted principles.

It is immediately obvious that position 2. is not compatible with strict predicativism (see sectionPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath 1 above) and we have to turn to the more positive component of Russell’s work.

4 Russell’s threefold formulation in Principia mathematica

We have learned from Gödel the astonishing fact that already the formulation of the vicious circle principle is a problem at least as difficult as the problem of its evaluation.

The evidence that supports Gödel’s insight is that in different passages of Principia mathematica Russell provides different formulations of the principle, in spite of the fact that he means them to be equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmath, which is obviously not the case.

There are at least three different formulations of the principle and they lead to three not convergentMathworldPlanetmath evaluations:

Vicious circle principle I:

No totality can contain elements definable only in terms of the totality.

Vicious circle principle II:

Everything that involves all the elements of a totality can not be an element of the totality.

Vicious circle principle III:

Everything that presupposes all the elements of a totality can not be an element of the totality.

Only the vicious circle principle I makes it impossible the derivationMathworldPlanetmath of mathematics from logic required by the logicist program (see the PM entry Logicism for a report on this program) as this program was initially conceived by Dedekind and Frege.

But the profound significance of this trichotomy is that the vicious circle principle depends for its application on a previously adopted anti-realist position.

On the contrary if one assumes the realist point of view, according to which concepts and classes have an existence which is independent of the cognitive subject, then one can not exclude the definition of some of them by reference to all.

In contrast impredicative definitions do not violate the vicious circle principle II if one interprets "all" as an infiniteMathworldPlanetmathPlanetmath conjunctionMathworldPlanetmath.

In that case an impredicative definition that characterizes univocally one object does not involve the totality.

Impredicative definitions do not violate the vicious circle principle IIII if one interprets "presuppose" as meaning an assumption for the existence of the totality and not as an assumption for knowledge about it, in the sense that one can reasonably say that a set presupposes its elements in order to exist but not in order to be known.

5 Predicative reasoning in the ramified theory of types

The first contribution for a formal characterizationMathworldPlanetmath of predicative reasoning was the ramified theory of types, in which one combines the type of a variable with a classification of the predicates in orders.

In the Introduction to mathematical philosophy for Russell a type is a domain of arguments for which a function can have values. A propositional function belongs to the totality of all propositional functions which use arguments of a given type and for Russell this totality can not be used in the definition of an argument of this type.

This entails that the division in types builds an hierarchy in different levels, so that in each level a propositional function can only have arguments of a type lower than its own. The type hierarchy builds a pattern according to the following rule:

  1. 1.

    Every individual (resp. individual variable) is of type i;

  2. 2.

    A predicate (resp. predicate variable)

    𝔄(𝔵1,,𝔵n)

    with arguments 𝔵1,,𝔵n of types 𝔱1,,𝔱n is of type

    (𝔱1,,𝔱n).

Examples:

1. Any binary predicate is of type:

(i,i);

2. A predicate whose only argument is itself a predicate with two individual arguments is of type:

((i,i));

3. A predicate (𝔵,𝔶,𝔉), whose arguments are two individuals and a binary function, is of type:

(i,i,(i,i)).

Once the hierarchy of types is introduced one requires that bound variables always have to belong to some definite type. Every quantifierMathworldPlanetmath will range over the totality of all entities whose type equals that of the bound variable.

To get the ramified theory Russell (in Principia mathematica) supplements the theory of types with the theory of orders.

  1. 1.

    Propositions and propositional functions of first order are those in which functions do not occur as free variablesMathworldPlanetmath. They form a well defined totality which can occur as free variables in propositional functions of a higher order.

  2. 2.

    Propositional functions of second order are those without occurrences of free variables of order higher than 1;

  3. 3.

    Propositional functions of order n are those in which the free variables occurring as arguments are of order less or equal to n-1.

A propositional function is said to be predicative when the highest order of some of its arguments is n and the function is of order n+1.

Finally only types higher than individuals are subject to the division by orders.

A concept related to the theory of types which is having a renaissance in the philosophical discussions of category theoryMathworldPlanetmathPlanetmathPlanetmathPlanetmath is the concept of typical ambiguity.

It originates in the fact that many of the propositional functions and symbols of Principia mathematica were conceived as having typical ambiguity.

A good example is identityPlanetmathPlanetmath.

In Principia mathematica x=y is a different propositional function for each of the many types to which x and y may belong. What is regarded as essential is that all these separate identities share the same formal properties, so that it is possible to overlook the distinction of type. It will be simply understood that the symbol "=" will always denote the instantiation of "=" which is needed by the local context.

6 Towards the predicative concept of set

Today with the benefit of hindsight we can separate in the ramified theory two component parts:

  • I. A first partial representation of the predicative concept of set;

  • II. An instrument for the derivation of classical analysis.

The discussion of II. is best known in the literature because of the difficulties that it creates in the foundations of the theory of the classical continuumMathworldPlanetmath.

Here we have to show that every set 𝔇 of real numbers which has an upper bound has a least upper bound, so that a Dedekind cut in the real line always has a corresponding real number. But to prove this we have to use quantification over the elements of 𝔇.

Let us assume that the real numbers are identified with the lower classes of Dedekind cuts in the rational line. Then the least upper bound of 𝔇 is the union of its elements. But since this requires quantification over the real numbers in 𝔇, the propositional function that expresses this procedure is impredicative.

Since in this form the theory can not be used to prove the existence of the least upper bound, in Principia mathematica one then assumes an additional axiom, the axiom of reducibility, the content of which is that to each propositional function f(x) there corresponds a coextensive, i.e., formally equivalent predicative function.

In spite of its obvious ad hoc character Russell and Whitehead still regarded the axiom of reducibility as a tenable, since it is still weaker than the assumption that to every propositional function there corresponds the class of all arguments that satisfy it.

For our purpose I. is more promising and we report on a very interesting idea that goes back to Feferman.

The natural numbers are of type 0 and will be denoted by small roman letters x,y,z,

Sets of natural numbers are of type 1 and are denoted by capital roman letters M,N,

To type 2 belong classes of sets of natural numbers and are denoted by small Greek letters α,β,

Under these circumstances one says that a predicate ϕ(x) is arithmeticPlanetmathPlanetmath if it only contains quantification of type 0.

If one admits the natural numbers (see the qualification bellow) such predicates allow the construction of the class α0 of those sets M defined by the schema:

(x)[xMϕ(x)]

where ϕ(x) is arithmetic.

So if we are given a predicate ϕ(x) we can build the set M by means of the schema:

(x)[xMϕα0(x)]

The index in ϕ is to be interpreted as denoting the restrictionPlanetmathPlanetmathPlanetmath of all predicates of type 1 (occurring in ϕ) to α0. The resulting sets are of order 1 and are denoted by ϕ1.

The general idea is to define Ωα as being formed by all sets M such that for a predicate ϕ(x) one has the schema:

(x)[xMϕα(x)]

Recall that Russell’s thesis was that the class which corresponds to the enumeration of the classes of natural numbers of order k, (determined by well-formed formulas of the ramified theory of types), is of order k+1. Thus α0 corresponds to all definable arithmetic sets and Ωαk=αk+1.

If we denote the order as a superscript in a set variable, the general axiom scheme of comprehension has the notation:

(Mi)(x)[xMiϕ(x)]

The condition is that Mi can not occur free in ϕ. The definition of real numbers by means of predicates, such as the cut predicate, is thereby relativized to an order. In general if the numbers referred to in the definition are of order k, the order of the thereby created set of numbers is of order k+1.

7 Predicative philosophy of mathematics

As far as the philosophical content of the predicativist standpoint is concerned we will briefly mention two kinds of questions, the first on its epistemological significance and the second on the ontological aims of predicativism.

In epistemology the predicativist position can be seen as a form of foundationalism but it can also be seen as a form of nominalism.

In the first position das Gegebene (the given) of the theory is the natural numbers as a totality. But in the nominalist position not even the totality of the natural numbers is accepted as an abstract object.

A by-product of this nominalist position is its pragmatist bias, according to which sets can only be conceived as useful abstractions, which are typically obtained from the extensionPlanetmathPlanetmathPlanetmath of a predicate.

Of course in ontology the crucial question is the status of the power setMathworldPlanetmath of (the set of) the natural numbers. This totality is not considered as existing actualiter but it is only thought of as a potential entity. In this sense the whole content of such a totality can not be known in advance of its construction.

However we can hope to attain a growing insight of its content as we progress along the stages its construction. Of course this notion is not yet formal but we can already attain a perception of some of the axioms that it will eventually have to satisfy.

We denote the stages by ordinalsMathworldPlanetmathPlanetmath and the constructed object by 𝔖.

Axiom 1:

There exists a primitive recursive relationMathworldPlanetmathPlanetmath S(α),

the meaning of which is "to build S in α".

Axiom 2:

For every S and every α, S(α) is recursively decidable.

Axiom 3:

If α<β then S(α)S(β).

References

  • 1 Feferman, S., "Systems of predicative analysis", Journal of Symbolic Logic, 29, 1964.
  • 2 Gödel, K., Collected works, ed. S. Feferman, Oxford, 1987-2003.
  • 3 Kreisel, G., "La predicativité", Bulletin de la Societé Mathematique de France, vol. 88, 1960.
  • 4 Kreisel, G., "Informal rigour and completeness proofs", Problems in the philosophy of mathematics, North Holland, Amsterdam, 1967.
  • 5 Russell, B., Introduction to mathematical philosophy, (1919) Routledge, London, 1956.
  • 6 Russell ,B., and Whitehead, A., Principia mathematica, (1910-1913) Cambridge University Press, 1962.
Title predicativism
Canonical name Predicativism
Date of creation 2013-03-22 18:32:45
Last modified on 2013-03-22 18:32:45
Owner gribskoff (21395)
Last modified by gribskoff (21395)
Numerical id 8
Author gribskoff (21395)
Entry type Topic
Classification msc 03-01
Classification msc 03A05
Synonym predicative set
Related topic Logicism
Related topic FOUNDATIONSOFMATHEMATICSOVERVIEW
Related topic MathematicalPlatonism
Defines impredicative definition
Defines vicious circle principle
Defines hierarchy of types
Defines ramified theory
Defines typical ambiguity
Defines arithmetic predicate