PhilSci Archive

Sense, reference, and computation

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.

[img]
Preview
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:
Share |

Item Type: Published Article or Volume
Creators:
CreatorsEmailORCID
Bentzen, Brunob.bentzen@hotmail.com0000-0002-5987-7806
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-dev.library.pitt.edu/id/eprint/18464

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Altmetric.com

Actions (login required)

View Item View Item