Erkenntnis:1-22 (forthcoming)

Bruno Bentzen
Carnegie Mellon University
The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for senses is provided. It is argued that providing a solution based on proofs is more satisfactory from the standpoint of constructive semantics.
Keywords Frege's puzzle  Cognitive significance  Type theory  Equality
Categories (categorize this paper)
DOI 10.1007/s10670-020-00275-8
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,646
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

What Types Should Not Be.Bruno Bentzen - 2020 - Philosophia Mathematica 28 (1):60-76.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Constructive Mathematics and Equality.Bruno Bentzen - 2018 - Dissertation, Sun Yat-Sen University
¿Está Disuelto El Puzzle de Frege? Tres Objeciones a Howard Wettstein.David Suarez-Rivero - 2016 - Principia: An International Journal of Epistemology 20 (3):427-453.
Names, Sense and Kripke’s Puzzle.Tim Crane - 1992 - From the Logical Point of View 2:11-26.
What is the Sense of Phos and Hes?Robert M. Harnish - 1994 - Grazer Philosophische Studien 47 (1):185-196.
Frege’s Puzzle and Semantic Relationism.Surajit Barua - 2019 - Journal of Indian Council of Philosophical Research 36 (1):197-210.
De Se Puzzles and Frege Puzzles.Stephan Torre & Clas Weber - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy.
Can Frege Pose Frege's Puzzle?Stavroula Glezakos - 2009 - In Joseph Almog & Paolo Leonardi (eds.), The Philosophy of David Kaplan. Oxford University Press. pp. 202.
Frege’s Puzzle is About Identity After All.Elmar Unnsteinsson - 2019 - Philosophy and Phenomenological Research 99 (3):628-643.


Added to PP index

Total views
5 ( #1,120,432 of 2,385,996 )

Recent downloads (6 months)
5 ( #160,569 of 2,385,996 )

How can I increase my downloads?


My notes