Prompted by Poincaré, Russell put forward his celebrated vicious-circle principle (vcp) as the solution to the modern paradoxes. Ramsey, Gödel, and Quine, among others, have raised two salient objections against Russell's vcp. First, Gödel has claimed that Russell's various renderings of the vcp really express distinct principles and thus, distinct solutions to the paradoxes, a claim that gainsays one of Russell's positions on the nature of the solution to the paradoxes, namely, that such a solution be uniform. Secondly, Ramsey, Gödel, (...) and Quine have protested that the vcp's proscription against impredicative specification is incompatible with a realistic conception of the domain of quantification, a conception that Russell certainly held. I examine Russell's vcp and defend it against these objections. (shrink)

This paper offers an interpretation of Russell's multiple-relation theory of judgment which characterizes it as direct application of the 1905 theory of definite descriptions. The paper maintains that it was by regarding propositional symbols (when occurring as subordinate clauses) as disguised descriptions of complexes, that Russell generated the philosophical explanation of the hierarchy of orders and the ramified theory of types of _Principia mathematica (1910). The interpretation provides a new understanding of Russell's abandoned book _Theory of Knowledge (1913), the 'direction (...) problems' and Wittgenstein's criticisms. (shrink)

In this article I try to show the philosophical continuity of Russell's ideas from his paradox of classes to Principia mathematica. With this purpose, I display the main results (descriptions, substitutions and types) as moments of the same development, whose principal goal was (as in his The principles) to look for a set of primitive ideas and propositions giving an account of all mathematics in logical terms, but now avoiding paradoxes. The sole way to reconstruct this central period in Russell (...) is to resort to unpublished manuscripts, which show the publications of these years to be the extremities of one same iceberg. Thus the logical problems (doubts about propositions, matrices and functions) are parallel to the ontological (the searching for genuine logical subjects) and methodological ones (the status of eliminative reduction). Paradoxes were the cause that the kind of (constructive) definition already applied by Russell, as an inheritance of Moorean analysis, obtained a new trait: ontological elimination, which, beginning with a ?no classes theory? and the theory of descriptions, led to a new theory of judgment (already present in manuscripts from 1906), ?incomplete symbols, and logical constructions. (shrink)