The Propositional Logic of Frege’s Grundgesetze: Semantics and Expressiveness
In this paper we compare the propositional logic of Frege’s Grundgesetze der Arithmetik to modern propositional systems, and show that Frege does not have a separable propositional logic, definable in terms of primitives of Grundgesetze, that corresponds to modern formulations of the logic of “not”, “and”, “or”, and “if…then…”. Along the way we prove a number of novel results about the system of propositional logic found in Grundgesetze, and the broader system obtained by including identity. In particular, we show that the propositional connectives that are definable in terms of Frege’s horizontal, negation, and conditional are exactly the connectives that fuse with the horizontal, and we show that the logical operators that are definable in terms of the horizontal, negation, the conditional, and identity are exactly the operators that are invariant with respect to permutations on the domain that leave the truth-values fixed. We conclude with some general observations regarding how Frege understood his logic, and how this understanding differs from modern views.
Benis-Sinaceur, Hourya, Marco Panza, and Gabriel Sandu, 2015. Functions and the Generality of Logic: Reflections on Dedekind’s and Frege’s Logicisms. Dordrecht: Springer.
Blanchette, Patricia, 2015. “Reply to Cook, Rossberg, and Wehmeier.” Journal for the History of Analytical Philosophy 3.7: 1–13.
Bonnay, Denis, 2008. “Logicality and Invariance.” Bulletin of Symbolic Logic 14: 29–68.
Cook, Roy, 2013. “How to Read Grundgesetze.” Appendix to Frege (2013), pp. A1–A41.
———, 2015. “Comments on Patricia Blanchette’s Book: Frege’s Conception of Logic.” Journal for the History of Analytical Philosophy 3.7: 1–8.
———, 2017. “Abstraction and Four Kinds of Invariance: Or What’s So Logical About Counting.” Philosophia Mathematica 25: 3–25.
Fine, Kit, 2002. The Limits of Abstraction. Oxford: Oxford University Press.
Frege, Gottlob, 1882–83.“Über den Zweck der Begriffsschrift.” Sitzung der Jenaischen Gesellschaft für Medicin und Naturwissenschaft 16: 1–10. Translated as “On the Aim of ‘Conceptual Notation’,” in Frege (2002), pp. 90–100.
———, 2002. Conceptual Notation and Related Articles, edited and translated by T. Bynum. Oxford: Clarendon Press.
———, 2013. Grundgesetze der Arithmetik, vols. I and II, translated by P. Ebert and M. Rossberg. Oxford: Oxford University Press.
Heck, Richard, 2012. Reading Frege’s Grundgesetze. Oxford: Oxford University Press.
Landini, Gregory, 2012. Frege’s Notations: What They Are and How They Mean. Basingstoke: Palgrave Macmillan.
Rossberg, Marcus, 2015. “Blanchette on Frege on Analysis and Content.” Journal for the History of Analytical Philosophy 3.7: 1–11.
Schröder, Ernst, 1880. Review of Frege’s Begriffsschrift. Zeitschrift für Mathematik und Physik 38: 90.
Sher, Gila, 2008. “Tarski’s Thesis.” In New Essays on Tarski and Philosophy, edited by D. Patterson, pp. 300–39. Oxford: Oxford University Press.
Tarski, Alfred, 1936. “On the Concept of Logical Consequence.” Reprinted in Logic, Semantics, Metamathematics, 2nd ed., edited by J. Corcoran, pp. 409–20. Indianapolis: Hackett.
Venn, John, 1880. Review of Frege’s Begriffsschift. Mind 5: 297.
Wehmeier, Kai, 2015. “Critical Remarks on Frege’s Conception of Logic by Patricia Blanchette.” Journal for the History of Analytical Philosophy 3.7: 1–9.
The Public Knowledge Project recommends the use of the Creative Commons license. The Journal for the History of Analytical Philosophy requires authors to agree to a Creative Commons Attribution /Non-commercial license. Authors who publish with the Journal for the History of Analytical Philosophy agree to the following terms:
- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons BY-NC license.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access)
This work is licensed under a Creative Commons Attribution-NonCommercial 3.0 Unported License.