Frege on Identity and Identity Statements: 1884/1903

References

• I use the following abbreviations for references to Frege’s works:
   Google Scholar
• BLA: Basic Laws of Arithmetic. Derived Using Concept-Script, vols. I & II, translated and edited by P. A. Ebert and M. Rossberg, Oxford: Oxford University Press 2013.
   Google Scholar
• BS: Begriffsschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle a.S.: L. Nebert 1879.
   Google Scholar
• GGA: Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet, vol. I, Jena: H. Pohle 1893; vol. II, Jena: H. Pohle 1903.
   Google Scholar
• GLA: Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl, Breslau: W. Koebner 1884.
   Google Scholar
• KS: Kleine Schriften, ed. I. Angelelli, Hildesheim: G. Olms 1967.
   Google Scholar
• NS: Nachgelassene Schriften, eds. H. Hermes, F. Kambartel and F. Kaulbach, Hamburg: F. Meiner 1969.
   Google Scholar
• WB: Wissenschaftlicher Briefwechsel, eds. G. Gabriel, et al., Hamburg: F. Meiner 1976.
   Google Scholar
• BG: ‘Über Begriff und Gegenstand’ (1892), in KS, pp. 167–178.
   Google Scholar
• FB: ‘Funktion und Begriff’ (1891), in KS, pp. 125–142.
   Google Scholar
• FTA: ‘Über formale Theorien der Arithmetik’ (1885), in KS, pp. 103–111.
   Google Scholar
• RPA: ‘Review of: E. G. Husserl, Philosophie der Arithmetik. I’ (1894), in KS, pp. 179–192.
   Google Scholar
• SB: ‘Über Sinn und Bedeutung’ (1892), in KS, pp. 143–162.
   Google Scholar
• Boccuni, F. and Woods, J. 2020. ‘Structuralist Neologicism’. Philosophia Mathematica, 28, 296–316.
   Web of Science ®Google Scholar
• Boolos, G. 1987. ‘The consistency of Frege’s Foundations of Arithmetic’, in J. J. Thomson (ed.), On Being and Saying. Essays for Richard Cartwright, Cambridge, MA: The MIT Press, pp. 3–20.
   Google Scholar
• Cook, R. T. 2013. ‘How to read Grundgesetze’, in Frege, BLA, pp. A1–A42.
   Google Scholar
• Cook, R. T. and Ebert, P. A. 2005. ‘Identity and abstraction’, Dialectica, 59, 121–139.
   Web of Science ®Google Scholar
• Cook, R. T. and Ebert, P. A. 2016. ‘Frege’s recipe’, The Journal of Philosophy, 113, 309–345.
   Web of Science ®Google Scholar
• Dedekind, R. 1872. Stetigkeit und irrationale Zahlen, Braunschweig: Friedr. Vieweg & Sohn.
   Google Scholar
• Dedekind, R. 1888. Was sind und was sollen die Zahlen?, Braunschweig: Friedr. Vieweg & Sohn.
   Google Scholar
• Dummett, M. 1991. Frege. Philosophy of Mathematics, London: Duckworth.
   Google Scholar
• Ebels-Duggan, S. 2021. ‘Identifying cardinal abstracts’, Philosophical Studies, 178, 1603–1630.
   Google Scholar
• Ebert, P. A. and Rossberg, M. (eds.) 2019. Essays on Frege’s Basic Laws of Arithmetic, Oxford: Oxford University Press.
   Google Scholar
• Hale, B. and Wright, C. 2001. The Reason’s Proper Study. Essays Towards a Neo-Fregean Philosophy of Mathematics, Oxford: Oxford University Press.
   Google Scholar
• Heck, R. K. 1999. ‘Grundgesetze der Arithmetik I, §10’, Philosophia Mathematica, 7, 258–292.
   Google Scholar
• Heck, R. K. 2003. ‘Frege on identity and identity-statements: a reply to Thau and Caplan’, Canadian Journal of Philosophy, 33, 83–102.
   Web of Science ®Google Scholar
• Heck, R. K. 2012. Reading Frege‘s Grundgesetze, Oxford: Oxford University Press.
   Google Scholar
• Heck, R. K. 2019. ‘Formal arithmetic before Grundgesetze’, in P. A. Ebert and M. Rossberg (eds.), pp. 497–537.
   Google Scholar
• Kremer, M. 2019. ‘Definitions in Begriffsschrift and Grundgesetze’, in P. A. Ebert and M. Rossberg (eds.), pp. 538–566.
   Google Scholar
• Lampert, T. and Säbel, M. 2021. ‘Wittgenstein’s elimination of identity in quantifier-free logic’, The Review of Symbolic Logic, 14, 1–21.
   Web of Science ®Google Scholar
• Leibniz, G. W. 1849–1863. Mathematische Schriften. 7 Vols., ed. C. I. Gerhardt, Berlin: Asher et Comp. (Vols. 1–2), Halle a.S.: H. W. Schmidt (Vols. 3-7). Reprint Hildesheim: G. Olms 1961.
   Google Scholar
• Leibniz, G. W. 1875–1890. Die philosophischen Schriften von G.W. Leibniz, 7 Vols., ed. C. I. Gerhardt, Berlin: Weidmannsche Buchhandlung. Reprint Hildesheim: G. Olms 1965.
   Google Scholar
• Leibniz, G. W. 1903. Opuscules et fragments inédits de Leibniz, ed. L. Couturat, Paris: Alcan. Reprint Hildesheim: G. Olms 1966.
   Google Scholar
• Leibniz, G. W. 1948. Textes inédites, ed. G. Grua, Paris: Presses universitaires de France.
   Google Scholar
• Leibniz, G. W. 1960. Fragmente zur Logik. Selected, translated and explained by F. Schmidt, Berlin: Akademie-Verlag.
   Google Scholar
• May, R. 2001. ‘Frege on identity statements’, in C. Cecchetto, G. Chierchia and M. T. Guasti (eds.), Semantic Interfaces: Reference, Anaphora, and Aspect, Stanford: CSLI Publications, pp. 1–51.
   Google Scholar
• May, R. 2012. ‘What Frege’s theory of identity is not’, Thought, 1, 41–48.
   Google Scholar
• May, R. and Wehmeier, K. F. 2018. ‘The proof of Hume’s principle’, in P. A. Ebert and M. Rossberg (eds.) pp. 182–206.
   Google Scholar
• Panza, M. and Sereni, A. 2019. ‘Frege’s constraint and the nature of Frege’s foundational program’, The Review of Symbolic Logic, 12, 97–143.
   Web of Science ®Google Scholar
• Pardey, U. and Wehmeier, K. F. 2019. ‘Frege’s Begriffsschrift theory of identity vindicated’, in E. Lepore and D. Sosa (eds.), Oxford Studies in Philosophy of Language, Volume 1, Oxford: Oxford University Press, pp. 122–147.
   Google Scholar
• Quine, W. v. O. 1970. Philosophy of Logic, Cambridge, MA: Harvard University Press, 2nd ed. [1986].
   Google Scholar
• Ramsey, F. P. 1931. The Foundations of Mathematics and Other Logical Essays, ed. R. B. Braithwaite, London: Kegan Paul.
   Google Scholar
• Rogers, B. and Wehmeier, K. F. 2012. ‘Tractarian first-order logic, identity and the N-operator’, The Review of Symbolic Logic, 5, 538–573.
   Web of Science ®Google Scholar
• Russell, B. 1903. The Principles of Mathematics, New York: W. W. Norton Company.
   Google Scholar
• Russell, B. 1918. ‘The philosophy of logical atomism’, The Monist, 28, 495–527, 29 (1919), pp. 32–63, 190–222, 345–380. Reprinted in B. Russell, Logic and Knowledge. Essays 1901–1950, ed. R. C. Marsh, London: George Allen & Unwin 1956, pp. 175–281.
   Google Scholar
• Schirn, M. 2010. ‘On translating Frege’s Die Grundlagen der Arithmetik’, History and Philosophy of Logic, 31, 47–72.
   Web of Science ®Google Scholar
• Schirn, M. 2018. ‘The semantics of value-range names and Frege’s proof of referentiality’, The Review of Symbolic Logic, 11, 224–278.
   Web of Science ®Google Scholar
• Schirn, M. 2019. ‘Second-order abstraction before and after Russell’s paradox’, in P.A. Ebert and M. Rossberg (eds.), pp. 437–496.
   Google Scholar
• Schirn, M. 2023a. ‘Frege on the introduction of real and complex numbers by abstraction and cross-sortal identity claims’, Synthese, 1–18, published online. doi:10.1007/s11229–023–04150–1.
   Web of Science ®Google Scholar
• Schirn, M. 2023b. ‘Identity and the cognitive value of logical equations in Frege’s foundational project’, Notre Dame Journal of Formal Logic, 64, 495–544.
   Web of Science ®Google Scholar
• Schirn, M. 2024. ‘On Wittgenstein’s dispensation with “=” in the Tractatus and its philosophical background. A critical study’, Acta Analytica, 1–23, published online. doi:10.1007/s12136–023–00581–0.
   Google Scholar
• Sereni, A. 2019. ‘On the philosophical significance of Frege’s constraint’, Philosophia Mathematica, 27, 244–275.
   Web of Science ®Google Scholar
• Shapiro, S. 2008. ‘Identity, indiscernibility, and ante rem structuralism’, Philosophia Mathematica, 16, 285–309.
   Web of Science ®Google Scholar
• Thau, M. and Caplan, B. 2001. ‘What’s puzzling Gottlob Frege?’, Canadian Journal of Philosophy, 31, 159–200.
   Web of Science ®Google Scholar
• Thomae, J. K. 1898. Elementare Theorie der analytischen Funktionen einer complexen Veränderlichen, Halle a.S.: L. Nebert.
   Google Scholar
• Waismann, F. 1936. ‘Über den Begriff der Identität’, Erkenntnis, 6, 56–64.
   Google Scholar
• Whitehead, A. N. and Russell, B. 1910. Principia Mathematica, Cambridge: Cambridge University Press.
   Google Scholar
• Wittgenstein, L. 1961. Logisch-philosophische Abhandlung, the German text with a new edition of the English translation under the title Tractatus Logico-Philosophicus by D. F. Pears & B. F. McGuinness, London: Routledge & Kegan Paul.
   Google Scholar
• Wittgenstein, L. 1964. Philosophische Bemerkungen (Wittgenstein Schriften; 2), ed. R. Rhees, Frankfurt a.M.: Suhrkamp.
   Google Scholar
• Wittgenstein, L. 1967. Ludwig Wittgenstein und der Wiener Kreis. Gespräche aufgezeichnet von Friedrich Waismann (Wittgenstein Schriften; 3), ed. B. F. McGuinness, Frankfurt a.M.: Suhrkamp.
   Google Scholar
• Wittgenstein, L. 1969a. Schriften 1, Frankfurt a.M.: Suhrkamp.
   Google Scholar
• Wittgenstein, L. 1969b. Philosophische Grammatik (Wittgenstein Schriften; 4), ed. R. Rhees, Frankfurt a.M.: Suhrkamp.
   Google Scholar