Russell's Metaphysical Logic

This study reconciles distinct aspects of Russell's thought long thought to be incompatible, the metaphysics of universals and facts from Russell's Logical Atomism period and the philosophical justification of the ramified theory of types in the Introduction to Principia Mathematica. This account, which interprets Russell as being a realist about both universals and propositional functions, while distinguishing the two, provides a defense of some problematic features of the logic of PM incl...