Sense, reference, and computation

Perspectiva Filosófica 47 (2):179-203 (2020)
  Copy   BIBTEX

Abstract

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions.

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Frege on Indexicals: Sense and Context Sensitivity.Richard Charles Devidi - 1996 - Dissertation, The University of Western Ontario (Canada)
Grundgesetze and the Sense/Reference Distinction.Kevin C. Klement - 2019 - In Philip A. Ebert & Marcus Rossberg (eds.), Essays on Frege's Basic Laws of Arithmetic. Oxford: Oxford University Press. pp. 142-166.
Sense, Reference and Ontology in Early Analytic Philosophy.Max Langan Rosenkrantz - 2000 - Dissertation, The University of Texas at Austin
The Diversity of Sense: An Appreciation of Frege’s Theory of Sense.Dr Sanjit Chakraborty - 2011 - Indian Journal of Analytic Philosophy 4 (2):79-96.
Frege in Context.Delbert Pard Reed - 2000 - Dissertation, University of Minnesota

Analytics

Added to PP
2020-12-02

Downloads
102 (#175,613)

6 months
316 (#6,857)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Bruno Bentzen
Zhejiang University

Citations of this work

Frege’s Theory of Types.Bruno Bentzen - 2023 - Manuscrito 46 (4):2022-0063.
Analyticity and Syntheticity in Type Theory Revisited.Bruno Bentzen - forthcoming - Review of Symbolic Logic:1-27.
The epistemology of “On Sense and Reference”.Junyeol Kim - 2023 - Asian Journal of Philosophy 2 (2):1-17.

Add more citations

References found in this work

Uber Sinn und Bedeutung.Gottlob Frege - 1892 - Zeitschrift für Philosophie Und Philosophische Kritik 100 (1):25-50.
Frege.Michael Dummett - 1975 - Teorema: International Journal of Philosophy 5 (2):149-188.
Funktion und Begriff.Gottlob Frege - 1891 - Jena: Hermann Pohle.
Ueber Sinn und Bedeutung (Summary).Gottlob Frege - 1892 - Philosophical Review 1 (5):574-575.

View all 11 references / Add more references