green numbers give full details | back to texts | unexpand this idea
21717 | 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 |