One of this man's works, written with his former tutor, attempted to derive mathematics from formal logic.
One essay by this thinker discusses the sentence "Scott is the author of Waverley." This man held the view that the world consists of discrete entities which together form facts, which he called logical atomism, but later abandoned it for neutral monism. This author of "On Denoting" devised his "theory of types" to resolve the question of whether the set of all sets that are not members of itself is a member of itself, his namesake paradox. One of this man's works, written with his former tutor, attempted to derive mathematics from formal logic. For 10 points, name this logician who, with Alfred North Whitehead, wrote Principia Mathematica.
One essay by this thinker discusses the sentence "Scott is the author of Waverley."
Bertrand Arthur William Russell, 3rd Earl Russell