Sense, reference, and computation

30 Jun 2020 Bruno Bentzen

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\"of 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... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • HISTORY AND OVERVIEW
  • LOGIC IN COMPUTER SCIENCE