predicativism
Contents:
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) configurations^{} 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 $\U0001d510$ of natural numbers^{} one has to have a predicate^{} $\varphi (\U0001d535)$ by means of which $\U0001d510$ may be defined by the schema:
$(\mathrm{\u2720})$ $(\forall \U0001d535)[\U0001d535\in \U0001d510\leftrightarrow \varphi (\U0001d535)].$
What is typical of the predicative conception is that the predicate $\varphi (\U0001d535)$ has to have a meaning which is independent of the knowledge about the existence of a set $\U0001d510$ which satisfies $(\mathrm{\u2720})$. The argument^{} is the following:
Let us assume that a decision as to whether $\varphi (\U0001d535)$ is satisfiable^{} depends on knowledge about which elements are members of $\U0001d510$. In that case the question about a definition of an element $\kappa $ of $\U0001d510$ could not be settled by appealing to $\varphi (\U0001d535)$, since that would be indeed a vicious circle. Recall that a sequence^{} ${\U0001d535}_{1},\mathrm{\dots},{\U0001d535}_{n}$ of elements of $\U0001d510$ satisfies $\varphi (\U0001d535)$ if and only if when one inserts, for each $i$, a symbol representing ${\U0001d535}_{i}$ for all free occurrences of ${\U0001d535}_{i}$ in $\varphi $, the resulting proposition^{} is true in $\U0001d510$.
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 character^{} 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.
The exclusion of all definition patterns which violate the vicious circle principle;

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 section^{} 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 equivalent^{}, which is obviously not the case.
There are at least three different formulations of the principle and they lead to three not convergent^{} 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 derivation^{} 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 antirealist 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 infinite^{} conjunction^{}.
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 characterization^{} 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.
Every individual (resp. individual variable) is of type $i$;

2.
A predicate (resp. predicate variable)
$\U0001d504({\U0001d535}_{1},\mathrm{\dots},{\U0001d535}_{n})$
with arguments ${\U0001d535}_{1},\mathrm{\dots},{\U0001d535}_{n}$ of types ${\U0001d531}_{1},\mathrm{\dots},{\U0001d531}_{n}$ is of type
$({\U0001d531}_{1},\mathrm{\dots},{\U0001d531}_{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 $\Re (\U0001d535,\U0001d536,\U0001d509)$, 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 quantifier^{} 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.
Propositions and propositional functions of first order are those in which functions do not occur as free variables^{}. They form a well defined totality which can occur as free variables in propositional functions of a higher order.

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

3.
Propositional functions of order $\mathrm{n}$ are those in which the free variables occurring as arguments are of order less or equal to $n1.$
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\mathrm{+}\mathrm{1}\mathrm{.}$
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 theory^{} 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 identity^{}.
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 continuum^{}.
Here we have to show that every set $\U0001d507$ 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 $\U0001d507$.
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 $\U0001d507$ is the union of its elements. But since this requires quantification over the real numbers in $\U0001d507$, 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,\mathrm{\dots}$
Sets of natural numbers are of type 1 and are denoted by capital roman letters $M,N,\mathrm{\dots}$
To type 2 belong classes of sets of natural numbers and are denoted by small Greek letters $\alpha ,\beta ,\mathrm{\dots}$
Under these circumstances one says that a predicate $\varphi \mathit{}\mathrm{(}x\mathrm{)}$ is arithmetic^{} 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 ${\alpha}_{0}$ of those sets $M$ defined by the schema:
$(\forall x)[x\in M\leftrightarrow \varphi (x)]$
where $\varphi (x)$ is arithmetic.
So if we are given a predicate $\varphi (x)$ we can build the set $M$ by means of the schema:
$(\forall x)[x\in M\leftrightarrow {\varphi}_{{\alpha}_{0}}(x)]$
The index in $\varphi $ is to be interpreted as denoting the restriction^{} of all predicates of type 1 (occurring in $\varphi $) to ${\alpha}_{0}$. The resulting sets are of order 1 and are denoted by ${\varphi}_{1}.$
The general idea is to define ${\mathrm{\Omega}}_{\alpha}$ as being formed by all sets $M$ such that for a predicate $\varphi (x)$ one has the schema:
$(\forall x)[x\in M\leftrightarrow {\varphi}_{\alpha}(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 wellformed formulas of the ramified theory of types), is of order $k+1$. Thus ${\alpha}_{0}$ corresponds to all definable arithmetic sets and ${\mathrm{\Omega}}_{{\alpha}_{k}}={\alpha}_{k+1}.$
If we denote the order as a superscript in a set variable, the general axiom scheme of comprehension has the notation:
$(\exists {M}^{i})(\forall x)[x\in {M}^{i}\leftrightarrow \varphi (x)]$
The condition is that ${M}^{i}$ can not occur free in $\varphi $. 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 byproduct 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 extension^{} of a predicate.
Of course in ontology the crucial question is the status of the power set^{} 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 ordinals^{} and the constructed object by $\U0001d516.$
Axiom 1:
There exists a primitive recursive relation^{} $\mathrm{S}\mathit{}\mathrm{(}\alpha \mathrm{)}$,
the meaning of which is "to build $\mathrm{S}$ in $\alpha $".
Axiom 2:
For every $\mathrm{S}$ and every $\alpha $, $\mathrm{S}\mathit{}\mathrm{(}\alpha \mathrm{)}$ is recursively decidable.
Axiom 3:
If $$ then $\mathrm{S}\mathit{}\mathrm{(}\alpha \mathrm{)}\mathrm{\to}\mathrm{S}\mathit{}\mathrm{(}\beta \mathrm{)}\mathrm{.}$
References
 1 Feferman, S., "Systems of predicative analysis", Journal of Symbolic Logic, 29, 1964.
 2 Gödel, K., Collected works, ed. S. Feferman, Oxford, 19872003.
 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, (19101913) Cambridge University Press, 1962.
Title  predicativism 
Canonical name  Predicativism 
Date of creation  20130322 18:32:45 
Last modified on  20130322 18:32:45 
Owner  gribskoff (21395) 
Last modified by  gribskoff (21395) 
Numerical id  8 
Author  gribskoff (21395) 
Entry type  Topic 
Classification  msc 0301 
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 