Sense, reference, and computation

Perspectiva Filosófica 47 (2):179-203 (2020)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
BENSRA-6
Upload history
Archival date: 2020-12-02
View other versions
Added to PP index
2020-12-02

Total views
38 ( #57,922 of 2,448,329 )

Recent downloads (6 months)
8 ( #51,715 of 2,448,329 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.