Frege's theory of types

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

There is a widespread assumption in type theory that the discipline begins with Russell's efforts to resolve paradoxes concerning the naive notion of a class. My aim in this paper is to argue that Frege's sharp distinction between terms denoting objects and terms denoting functions on the basis of their saturation anticipate a simple type theory, although Frege vacillates between regarding functions as closed terms of a function type and open terms formed under a hypothetical judgment. Frege fails to express his logical views consistently due to his logicist ambitions, which require him to endorse the view that value-ranges are objects.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/05/2023

Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View

Peter Andrews has proposed, in 1971, the problem of finding an analog of...
research
02/19/2020

On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem

Logical relations are one of the most powerful techniques in the theory ...
research
04/08/2022

About Opposition and Duality in Paraconsistent Type Theory

A paraconsistent type theory (an extension of a fragment of intuitionist...
research
11/13/2019

Naive cubical type theory

This paper proposes a way of doing type theory informally, assuming a cu...
research
01/17/2018

Finitary-based Domain Theory in Coq: An Early Report

In domain theory every finite computable object can be represented by a ...
research
06/30/2020

Sense, reference, and computation

In this paper, I revisit Frege's theory of sense and reference in the co...
research
12/13/2017

Decomposing the Univalence Axiom

This paper investigates the univalence axiom in intensional Martin-Löf t...

Please sign up or login with your details

Forgot password? Click here to reset