Sense, reference and computation
-
Bentzen, Bruno [1]
-
[1] Carnegie Mellon University
Carnegie Mellon University
City of Pittsburgh, Estados Unidos
-
- Localización: Perspectiva Filosófica: PF, ISSN-e 2357-9986, ISSN 0104-6454, Vol. 47, Nº. Extra 2, 2020 (Ejemplar dedicado a: Número Especial sobre Filosofia da Lógica), págs. 179-203
- Idioma: inglés
- Títulos paralelos:
- Sentido, referência e computação
- Enlaces
-
Resumen
- English
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.
- português
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.
- English
