In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...) paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)

This paper continues a thread in Analysis begun by Adam Rieger and Nicholas Denyer. Rieger argued that Frege’s theory of thoughts violates Cantor’s theorem by postulating as many thoughts as concepts. Denyer countered that Rieger’s construction could not show that the thoughts generated are always distinct for distinct concepts. By focusing on universally quantified thoughts, rather than thoughts that attribute a concept to an individual, I give a different construction that avoids Denyer’s problem. I also note that this problem for (...) Frege’s philosophy was discovered by Bertrand Russell as early as 1902 and has been discussed intermittently since. (shrink)