Sentido, Referência e Computação

Abstract

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 senti-dos 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 ter-mos 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.