Ideas from 'Set Theory and its Logic' by Willard Quine [1963], by Theme Structure

green numbers give full details    |     back to texts     |     unexpand this idea

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
Reducibility undermines type ramification, and is committed to the existence of functions
                        Full Idea: Quine charges that the axiom of Reducibility both undoes the effect of the ramification, and commits the theory to a platonist view of propositional functions (which is a theory of sets, once use/mention confusions are cleared up).
                        From: report of Willard Quine (Set Theory and its Logic [1963], p.249-58) by Bernard Linsky - Russell's Metaphysical Logic 6.1