Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Survey of Predicativity Robin Adams
 

Summary: A Survey of Predicativity
Robin Adams
October 1, 2008
1 The Early Years
1.1 Russell and PoincarŽe
The word 'predicative' first appeared in Russell's note On Some Difficulties in
the Theory of Transfinite Numbers and Order Types [Rus07]. Paradoxes such
as Russell's Paradox show that we cannot form the class {x | (x)} for all
propositional functions (x). Russell proposed we call (x) predicative if it
defines a class and non-predicative otherwise, but did not offer a criterion by
which we could decide which propositional functions are which.
A first such criterion was offered by PoincarŽe in the third part of his paper Les
MathŽematiques et la Logique [Poi06]. He proposed the vicious circle principle:
"The definitions which ought to be regarded as non-predicative are those which
contain a vicious circle." (p. 1063) He indicated by example what he meant by
`vicious circle': in both the Richard paradox and the Burali-Forti paradox, we
define an aggregate E, and make use of E within its own definition.
PoincarŽe proposed that definitions involving such a `vicious circle' are il-
legitimate: "A definition containing a vicious circle defines nothing." [Poi06,
p. 1065]

  

Source: Adams, Robin - Department of Computer Science, Royal Holloway, University of London

 

Collections: Computer Technologies and Information Sciences