Abstract
This paper sheds light on an epistemological dimension of Frege’s “On Sense and Reference.” Under my suggested reading of it, one of its aims is to suggest a picture about propositional knowledge and its production. According to this picture, judgment, which produces propositional knowledge, is identification of the truth-value True with the reference of a given sentence. The propositional knowledge that p, produced by the judgment that p, consists in the knowledge of the identity between the True and the reference of “p.” Judgment as such is a primitive kind of identification. It produces non-propositional knowledge of the identity of the True to which propositional knowledge is reduced.
Similar content being viewed by others
Data availability
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.
Notes
Michael Dummett (1981) has developed this semantic interpretation. Donald Davidson also makes crucial contributions to it (e.g., Davidson, 2001a and 2001b). Richard Kimberly Heck (2012) and Eva Picardi (2010) support the semantic interpretation through their analysis of Frege’s elucidatory demonstration of basic laws. Joan Weiner (2020) provides a critical discussion about the semantic interpretation.
I am not denying that there can be a technical reason why Frege regards truth-values as objects. For instance, Duarte (2009, appendix 1) and Bentzen (2020) argue that Frege’s earlier conception of content causes technical issues in Begriffsschrift, and introducing truth-values as objects solves those issues. Also, Ricketts (2003) shows other technical benefits of introducing truth-values as objects into Begriffsschrift. All I am saying here is that it is also a philosophical thesis that truth-values are objects.
For instance, in “Sources of Knowledge of Mathematics and the Mathematical Natural Sciences,” Frege takes “only the recognition of [the truth of a thought], the judgment proper” Frege, (1924) Sources, as knowledge. Given that knowledge is an epistemic state while judgment is an epistemic act, what Frege means seems to be that it is by judgment that we produce knowledge. Here, “knowledge” must mean “propositional knowledge” because he is talking about knowledge related to thoughts.
The sense of a name contains a ‘mode of presentation’ of its reference (1892b, 57).
One might point out that we also need an act of taking a step from \(\langle\)p\(\rangle\) to the False. Indeed, we can negate that p. However, for Frege (1918b), negating that p is just judging that it is not the case that p, i.e., taking a step from \(\langle\) it is not the case that p\(\rangle\) to the True.
Frege provides the same elucidation of assertion in Grundgesetze (1893, §5).
In “Boole’s Logical Calculus and Begriffsschrift,” Frege says about Aristotle and Boole that in their logic, “the logically primitive activity is the formation of concepts by abstraction, and judgment and inference enter in through an immediate or indirect comparison of concepts via their extensions” (1880, 15). In contrast, Frege’s logic starts “from judgments and their contents, and not from concepts” (1880, 16). In addition, the sentences of his logic, Begriffsschrift, must have a judgment-stroke, which is the “representation of a judgment” (1893, §5). In his letter to Jourdain, Frege says that “if \(\cdots\) one were to leave out the judgment-strokes \(\cdots\), something essential would be missing” (1980: 79, italics mine). It is an important question why Frege takes judgment to be essential to logic, though it is not important to our discussion for now. We will come back to this question at the end of Sect. 4.
For a detailed reading and examination of this argument, see Kim, 2021b
The infinite regress we have above is exactly the kind of regress to which Frege appeals to in his argument for the indefinability of truth according to scholars like Ricketts (1996), Heck (2012), and Kim (2021a). If their interpretation of the argument is right, that also constitutes a reason to doubt that deciding that a sense belongs to an object is judging so.
Pagin (2001) provides an interpretation of this argument as an argument that truth is not a property. According to scholars like Ricketts (1996) and Kim (2021a), this is not Frege’s only argument that truth is not a property. They take Frege’s argument for the indefinability of truth also to be his argument that truth is not a property.
According to scholars, “Comments on Sense and Reference” was written between 1892—the year in which “On Sense and Reference” was published—and 1895 (1979, 118n).
The notion of non-judgmental identification is not unfamiliar anymore. For example, Millikan (1998, 2000) provides an extensive discussion about non-judgmental identification. According to her, identifying is not making a judgment, i.e., “harboring an intentional attitude” (2000, §12.7) like a belief. It is rather using an ability to identify an object (or a property). She calls such an ability “substance concept.” Millikan’s characterization of non-judgmental identification thus focuses on expounding the notion of substance concept. To discuss this notion in detail goes beyond the scope of this paper.
One might say that \(\cdots\) is the True” is Frege’s truth-predicate, and thus \(|\)p\(|\) is just identical with \(|\)p is the True \(|\). In reply, first, Frege’s point is that truth is not a property. It does not seem plausible to think that Frege would introduce any predicate for truth. Secondly, Frege’s point in “On Sense and Reference” is that knowledge of identity is substantive only when there is the difference between the senses of relevant names. Judging is identifying, and what judging produces is substantive knowledge of identity. Thus, it cannot be the case that “the True” just has a non-substantive sense. It must have a sense distinguishable from \(|\)p\(|\).
For Frege’s anti-psychologism about logic, see his Foreword of Grundgesetze (1893).
It is clear that Frege is criticizing Kantian epistemology, because he explicitly mentions Kant as his target (1918b, 353).
References
Bentzen, B. (2020). Sense, reference, and computation. Perspectiva Filosófica, 47(2), 179–203.
Davidson, D. (2001a). The method of truth in metaphysics. In D. Davidson (Ed.), Inquiries into truth and interpretation (2nd ed., pp. 199–214). Oxford: Oxford University Press.
Davidson, D. (2001b). Truth and meaning. In D. Davidson (Ed.), Inquiries into truth and interpretation (2nd ed., pp. 17–36). Oxford University Press.
Duarte A (2009). Lógica e Aritmética na Filosohia da Matemática de Frege. PhD thesis, Pontifical Catholic University of Rio de Janeiro.
Dummett M (1981). Frege: Philosophy of language. 2nd. Cambridge: Harvard University Press.
Ebert, P. (2016). Frege on sense identity, basic law V, and analysis. Philosophia Mathematica, 24(1), 9–29. https://doi.org/10.1093/philmat/nkv032
Frege G (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle a. S.: Louis Nebert. Translated by Terrell Bynum as Conceptual Notation. In Conceptual Notation and Related Articles, edited and translated by Terrell Bynum. Oxford: Oxford University Press, 1972.
Frege G (1880). Booles rechnende Logik und die Begriffsschrift. Unpublished Manuscript (Date Unknown). Translated by Peter Long and Roger White as “Boole’s Logical Calculus and the Concept-Script.” In Frege, 1979, 9–46.
Frege G (1891). Funktion und Begriff. Jena: Hermann Pohle. Translated by Peter Geach as “Function and Concept.” In Frege, 1970, 21–41.
Frege G (1892a). Ausführungen über Sinn und Bedeutung. Unpublished Manuscript (Date Unknown). Translated by Peter Long and Roger White as “Comments on Sense and Reference.” In Frege, 1979, 118–125.
Frege, G. (1892b). Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik, 100:25–50. Translated by Max Black as “On Sense and Reference.” In Frege, 1970, 56–78.
Frege, G (1893). Grundgesetze der Arithmetik, volume 1. Jena: Hermann Pohle. Translated by Philip Ebert and Marcus Rossberg as Basic Laws of Arithmetic. Vol. 1. In Basic Laws of Arithmetic, edited and translated by Philip Ebert and Marcus Rossberg. Oxford: Oxford University Press, 2013.
Frege G (1897). Logik. Unpublished manuscript. Translated by Peter Long and Roger White as “Logic.” In Frege, 1979, 126–151.
Frege G (1906). Einleitung in die Logik. Unpublished manuscript. Translated by Peter Long and Roger White as “Introduction to Logic.” In Frege, 1979, 185–196.
Frege G (1914). Logik in der Mathematik. Unpublished manuscript. Translated by Peter Long and Roger White as “Logic in Mathematics.” In Frege, 1979, 203–250.
Frege, G. (1918a). Der Gedanke: Eine logische Untersuchung. Beiträge zur Philosophie des deutschen Idealismus I:58–77. Translated by Peter Geach and R. H. Stoothoff as “Thought.” In Frege, 1997, 325–345.
Frege, G. (1918b). Die Verneinung: Eine logische Untersuchung. Beiträge zur Philosophie des deutschen Idealismus I: 143–157. Translated by Peter Geach and R. H. Stoothoff as “Negation.” In Frege, 1997, 346–361.
Frege, G (1919). [Aufzeichnungen für Ludwig Darmstaedter]. Unpublished Manuscript. Translated by Peter Long and Roger White as “[Notes for Ludwig Darmstaedter].” In Frege, 1979, 253–257.
Frege, G (1924). Erkenntnisquellen der Mathematik und der mathematischen Naturwissenschaften. Unpublished manuscript. Translated by Peter Long and Roger White as “Sources of Knowledge of Mathematics and the Mathematical Natural Sciences.” In Frege, 1979, 267–274.
Frege, G. (1970). Philosophical writings of Gottlob Frege. Edited and translated by Peter Geach and Max Black. Oxford University Press.
Frege, G (1979). Posthumous writings. Edited by Hans Hermes, Friedrich Kambartel, and Friedrich Kaulbach. Translated by Peter Long and Roger White. Chicago: The University of Chicago Press.
Frege, G (1980). Gottlob Frege: Philosophical and mathematical correspondence. Edited by Gottfried Gabriel, Hans Hermes, Friedrich Kambartel, Christian Thiel, Albert Veraart, and BrianMcGuinness. Translated by Hans Kaal. Oxford: Blackwell Publishing.
Frege, G. (1997). The Frege reader. Edited by Michael Beaney. Blackwell Publishing.
Gabriel, G. (1984). Fregean connection: Bedeutung, value and truth-value. Philosophical Quarterly, 34(136), 372–376. https://doi.org/10.2307/2218767
Heck, R. K. (2012). Reading Frege’s Grundgesetze. Oxford University Press.
Kim, J. (2021). Frege’s choice: The indefinability argument, truth, and the Fregean conception of judgment. Journal for the History of Analytical Philosophy, 9(5), 1–26. https://doi.org/10.15173/jhap.v9i5.4337
Kim, J. (2021b). Frege’s conception of logic: Truth, the true, and assertion. Theoria, 87(6), 1397–1417. https://doi.org/10.1111/theo.12345
Kremer, M (2010). Sense and reference: The origins and development of the distinction. In The Cambridge companion to Frege, edited by Tom Ricketts and Michael Potter, 220–292. Cambridge: Cambridge University Press. https://doi.org/10.1017/CCOL9780521624282.007.
Millikan, R. (1998). A common structure for concepts of individuals, stuffs, and real kinds: More mama, more milk, and more mouse. Behavioral and Brain Sciences, 21(1), 55–65.
Millikan, R. (2000). On clear and confused ideas: An essay about substance concepts. Cambridge University Press.
Pagin, P (2001). Frege on truth and judgement. Organon F 8 (1), 1–13. http://www.klemens.sav.sk/fiusav/doc/organon/2001/1/1-13.pdf.
Picardi, E (2010). Frege’s anti-psychologism. In Importance and legacy, edited by Matthias Schirn, 307–329. Berlin: De Gruyter. https://doi.org/10.1515/9783110813043.307.
Ricketts, T. (1996). Logic and truth in Frege. Proceedings of the Aristotelian Society, Supplementary Volumes, 70, 121–140.
Ricketts, T. (2003). Quantifications, sentences, and truth-values. Manuscrito, 26(2), 389–424.
Textor, M. (2018). Frege’s recognition criterion for thoughts and its problems. Synthese, 195(6), 2677–2696. https://doi.org/10.1007/s11229-017-1345-8
Weiner, J. (2020). Taking Frege at his word. Oxford University Press.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing interests
The author declares no competing interests.
Additional information
Current Themes in Epistemology: Asian Epistemology Network ★.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Kim, J. The epistemology of “On Sense and Reference”. AJPH 2, 43 (2023). https://doi.org/10.1007/s44204-023-00092-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s44204-023-00092-0