|Impredicativeness: Impredicatives are concepts which are defined only by means of the propositional sets to which they themselves belong. Problems arise in connection with possible circular conclusions. To avoid paradoxes, the demand is sometimes made to avoid impredicative concepts. See also Paradoxes, Russellian Paradoxy, Poincaré.|
Books on Amazon
|P. Lorenzen Ein dialogisches Konstruktivitätskriterium (1959) in Karel Berka/L. Kreiser Logik Texte Berlin, 1983
Berka I 266
LorenzenVsHerbrand/ConstructivismVs"Impredicativeness": fable realm of the "Impredicative".
Berka I 269
LorenzenVsImpredicativeness: this condition is the one that excludes the impredicative definitions in the analysis, thus requiring the branching of the types.
Constructive Philosophy Cambridge 1987
K. Berka/L. Kreiser
Logik Texte Berlin 1983