论文标题
感官，参考和计算
Sense, reference, and computation
论文作者
论文摘要
在本文中，我在类型理论的含义解释的建设性环境中重新审视了弗雷格的意义和参考理论，扩展和锐化了一个程序 - 对Martin-LöfBuilding在Dummett先前工作中提出的意义和参考方面的认识分析。我为感官提出了一个计算认同标准，并认为它验证了我认为对弗莱格的句子和奇异术语的最合理的解释。在这样做之前，我在Grundgesetze的逻辑框架，他的真实价值观学说以及对感官相同的意义上作为主张的平衡性的看法，研究了Frege对他的意义和参考理论的实施。
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.
