Bentzen, Bruno (2020) Sense, reference, and computation. Perspectiva Filosofica, 47 (2). pp. 179-203. ISSN 2357-9986
This is the latest version of this item.
|
Text
bentzen2020sense.pdf Download (142kB) | Preview |
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.
Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
Social Networking: |
Item Type: | Published Article or Volume | ||||||
---|---|---|---|---|---|---|---|
Creators: |
|
||||||
Keywords: | Sense and reference; Constructive semantics; Type theory; Frege | ||||||
Subjects: | Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > History of Philosophy Specific Sciences > Mathematics > History Specific Sciences > Mathematics > Logic |
||||||
Depositing User: | Dr. Bruno Bentzen | ||||||
Date Deposited: | 29 Nov 2020 19:58 | ||||||
Last Modified: | 29 Nov 2020 19:58 | ||||||
Item ID: | 18464 | ||||||
Journal or Publication Title: | Perspectiva Filosofica | ||||||
Official URL: | https://periodicos.ufpe.br/revistas/perspectivafil... | ||||||
DOI or Unique Handle: | https://periodicos.ufpe.br/revistas/perspectivafilosofica/article/view/248896 | ||||||
Subjects: | Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > History of Philosophy Specific Sciences > Mathematics > History Specific Sciences > Mathematics > Logic |
||||||
Date: | May 2020 | ||||||
Page Range: | pp. 179-203 | ||||||
Volume: | 47 | ||||||
Number: | 2 | ||||||
ISSN: | 2357-9986 | ||||||
URI: | https://philsci-archive.pitt.edu/id/eprint/18464 |
Available Versions of this Item
-
Sense, reference, and computation. (deposited 30 Jun 2020 15:56)
- Sense, reference, and computation. (deposited 29 Nov 2020 19:58) [Currently Displayed]
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Altmetric.com
Actions (login required)
View Item |