Wim Vanrie
University of Ghent
I investigate why Frege rejected the theory of types, as Russell presented it to him in their correspondence. Frege claims that it commits one to violations of the law of excluded middle, but this complaint seems to rest on a dogmatic refusal to take Russell’s proposal seriously on its own terms. What is at stake is not so much the truth of a law of logic, but the structure of the hierarchy of the logical categories, something Frege seems to neglect. To come to a better understanding of Frege’s response, I proceed to investigate his conception of the nature of the logical categories, and how it differs from Russell’s. I argue that, for Frege, our grasp of the logical categories cannot be severed from our grasp of the Begriffsschrift notation itself. Russell, on the other hand, attaches no such importance to notation. From Frege’s point of view, Russell has not succeeded in presenting an alternative conception of the logical hierarchy, since such a conception must go in tandem with the development of a notation. Moreover, Frege has good reasons to think that Russell’s proposal does not admit of a suitable notation.
Keywords Gottlob Frege  Bertrand Russell  Theory of types  Logical categories
Categories (categorize this paper)
Reprint years 2020, 2021
DOI 10.1080/09608788.2020.1807908
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
Through your library

References found in this work BETA

Objectivity and Objecthood: Frege's Metaphysics of Judgment.Thomas Ricketts - 1986 - In Hintikka J. & Haaparanta L. (eds.), Frege Synthesized. Kluwer Academic Publishers. pp. 65--95.
Frege’s Logic.Danielle Macbeth - 2005 - Harvard University Press.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Russell's Notes on Frege for Appendix A of The Principles of Mathematics.Bernard Linsky - 2004 - Russell: The Journal of Bertrand Russell Studies 24 (2):133-172.
Frege‐Russell Semantics?Howard Wettstein - 1990 - Dialectica 44 (1‐2):113-135.
Frege-Russell Numbers: Analysis or Explication?Erich H. Reck - 2007 - In Michael Beaney (ed.), The Analytic Turn. New York: Routledge. pp. 33-50.
Russell’s Notes on Frege’s Grundgesetze der Arithmetik, From §53.Bernard Linsky - 2006 - Russell: The Journal of Bertrand Russell Studies 26 (2).
Frege's Logical Theory. [REVIEW]H. K. R. - 1969 - Review of Metaphysics 22 (3):579-580.
Sense, Reference and Ontology in Early Analytic Philosophy.Max Langan Rosenkrantz - 2000 - Dissertation, The University of Texas at Austin
Types in Logic and Mathematics Before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.


Added to PP index

Total views
87 ( #117,968 of 59,067 )

Recent downloads (6 months)
36 ( #22,658 of 59,067 )

How can I increase my downloads?


My notes