Combining Texts

Ideas for 'Idealism: a critical survey', 'Russell's Metaphysical Logic' and '23: First Epistle of John'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


1 idea

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
Reducibility says any impredicative function has an appropriate predicative replacement [Linsky,B]
     Full Idea: The Axiom of Reducibility avoids impredicativity, by asserting that for any predicate of given arguments defined by quantifying over higher-order functions or classes, there is another co-extensive but predicative function of the same type of arguments.
     From: Bernard Linsky (Russell's Metaphysical Logic [1999], 1)
     A reaction: Eventually the axiom seemed too arbitrary, and was dropped. Linsky's book explores it.