Sense, reference and computation

Bibliographic Details
Main Author: Bentzen, Bruno
Publication Date: 2020
Format: Article
Language: eng
Source: Perspectiva Filosófica (Online)
Download full: https://periodicos.ufpe.br/revistas/perspectivafilosofica/article/view/248896
Summary: In this paper, I revisit Frege’s theory of sense and reference in the constructi-ve setting of the meaning explanations of type theory, extending and sharpe-ning a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational iden-tity 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.
id UFPE-10_5a65ceb8921a2a118c68a422fe6db59c
oai_identifier_str oai:oai.periodicos.ufpe.br:article/248896
network_acronym_str UFPE-10
network_name_str Perspectiva Filosófica (Online)
repository_id_str
spelling Sense, reference and computationSentido, referência e computaçãosensereferencecomputationtype theorysentidoreferênciacomputaçãoteoria dos tiposIn this paper, I revisit Frege’s theory of sense and reference in the constructi-ve setting of the meaning explanations of type theory, extending and sharpe-ning a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational iden-tity 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.Neste artigo, eu revisito a teoria do sentido e referência de Frege no cenário construtivo das explicações de significado da teoria dos tipos, estendendo e aprimorando a análise em termos de programa-valor da teoria de sentido e referência proposta por Martin-Löf, baseada em trabalhos anteriores de Dummett. Eu proponho um critério de identidade computacional para sentidos e defendo que ele valida o que considero a interpretação mais plausível do princípio de equipolência de Frege, tanto para sentenças quanto para termos singulares. Antes de fazer isso, examino a implementação de Frege de sua teoria dos sentidos e referência no quadro lógico de Grundgesetze, sua doutrina dos valores da verdade, e sua interpretação de igualdade de sentido como equipolência de afirmações.Universidade Federal de Pernambuco (UFPE)2020-11-27info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.ufpe.br/revistas/perspectivafilosofica/article/view/24889610.51359/2357-9986.2020.248896Perspectiva Filosófica; Vol. 47 No. 2 (2020): Filosofia da Lógica; 179-203Perspectiva Filosófica; Vol. 47 Núm. 2 (2020): Filosofía de la Lógica; 179-203Perspectiva Filosófica; v. 47 n. 2 (2020): Filosofia da Lógica; 179-2032357-99860104-6454reponame:Perspectiva Filosófica (Online)instname:Universidade Federal de Pernambuco (UFPE)instacron:UFPEenghttps://periodicos.ufpe.br/revistas/perspectivafilosofica/article/view/248896/37094Copyright (c) 2020 Bruno Bentzeninfo:eu-repo/semantics/openAccessBentzen, Bruno2023-09-26T14:09:59Zoai:oai.periodicos.ufpe.br:article/248896Revistahttps://periodicos.ufpe.br/revistas/perspectivafilosofica/indexPUBhttps://periodicos.ufpe.br/revistas/perspectivafilosofica/oairevistaperspectivafilosofica@gmail.com2357-99860104-6454opendoar:2023-09-26T14:09:59Perspectiva Filosófica (Online) - Universidade Federal de Pernambuco (UFPE)false
dc.title.none.fl_str_mv Sense, reference and computation
Sentido, referência e computação
title Sense, reference and computation
spellingShingle Sense, reference and computation
Bentzen, Bruno
sense
reference
computation
type theory
sentido
referência
computação
teoria dos tipos
title_short Sense, reference and computation
title_full Sense, reference and computation
title_fullStr Sense, reference and computation
title_full_unstemmed Sense, reference and computation
title_sort Sense, reference and computation
author Bentzen, Bruno
author_facet Bentzen, Bruno
author_role author
dc.contributor.author.fl_str_mv Bentzen, Bruno
dc.subject.por.fl_str_mv sense
reference
computation
type theory
sentido
referência
computação
teoria dos tipos
topic sense
reference
computation
type theory
sentido
referência
computação
teoria dos tipos
description In this paper, I revisit Frege’s theory of sense and reference in the constructi-ve setting of the meaning explanations of type theory, extending and sharpe-ning a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational iden-tity 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.
publishDate 2020
dc.date.none.fl_str_mv 2020-11-27
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://periodicos.ufpe.br/revistas/perspectivafilosofica/article/view/248896
10.51359/2357-9986.2020.248896
url https://periodicos.ufpe.br/revistas/perspectivafilosofica/article/view/248896
identifier_str_mv 10.51359/2357-9986.2020.248896
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv https://periodicos.ufpe.br/revistas/perspectivafilosofica/article/view/248896/37094
dc.rights.driver.fl_str_mv Copyright (c) 2020 Bruno Bentzen
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2020 Bruno Bentzen
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de Pernambuco (UFPE)
publisher.none.fl_str_mv Universidade Federal de Pernambuco (UFPE)
dc.source.none.fl_str_mv Perspectiva Filosófica; Vol. 47 No. 2 (2020): Filosofia da Lógica; 179-203
Perspectiva Filosófica; Vol. 47 Núm. 2 (2020): Filosofía de la Lógica; 179-203
Perspectiva Filosófica; v. 47 n. 2 (2020): Filosofia da Lógica; 179-203
2357-9986
0104-6454
reponame:Perspectiva Filosófica (Online)
instname:Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
instname_str Universidade Federal de Pernambuco (UFPE)
instacron_str UFPE
institution UFPE
reponame_str Perspectiva Filosófica (Online)
collection Perspectiva Filosófica (Online)
repository.name.fl_str_mv Perspectiva Filosófica (Online) - Universidade Federal de Pernambuco (UFPE)
repository.mail.fl_str_mv revistaperspectivafilosofica@gmail.com
_version_ 1839551724036030464

Similar Items