Sense, reference, and computation

06/30/2020
by   Bruno Bentzen, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/20/2023

A genuinely untyped solution to the knower paradoxes

Kaplan and Montague have showed that certain intuitive axioms for a firs...
research
02/27/2022

Ergodic theorems for algorithmically random points

This paper is a survey of applications of the theory of algorithmic rand...
research
05/25/2019

On the Constructive Truth and Falsity in Peano Arithmetic

Recently, Artemov [4] offered the notion of constructive consistency for...
research
06/24/2019

A robot's sense-making of fallacies and rhetorical tropes. Creating ontologies of what humans try to say

In the design of user-friendly robots, human communication should be und...
research
06/30/2020

Frege's theory of types

There is a widespread assumption in type theory that the discipline begi...
research
07/13/2021

From Identity to Difference: A Quantitative Interpretation of the Identity Type

We explore a quantitative interpretation of 2-dimensional intuitionistic...
research
07/26/2022

Tolerance and degrees of truth

This paper explores the relations between two logical approaches to vagu...

Please sign up or login with your details

Forgot password? Click here to reset