PhilSci Archive

Frege's theory of types

Bentzen, Bruno (2020) Frege's theory of types. [Preprint]

WarningThere is a more recent version of this item available.
[img]
Preview
 Text
bentzen2020frege.pdf
Download (140kB) | Preview

Abstract

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.

Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |
Item Type: Preprint
Creators:
CreatorsEmailORCID
Bentzen, Brunob.bentzen@hotmail.com0000-0002-5987-7806
Keywords: Frege, Type theory, Value-ranges, Lambda Calculus
Subjects: Specific Sciences > Mathematics > Foundations
Specific Sciences > Mathematics > History of Philosophy
Specific Sciences > Mathematics > History
Specific Sciences > Mathematics > Logic
Depositing User: Dr. Bruno Bentzen
Date Deposited: 24 Jun 2020 16:12
Last Modified: 24 Jun 2020 16:12
Item ID: 17367
Official URL: https://sites.google.com/site/bbentzena/publicatio...
Subjects: Specific Sciences > Mathematics > Foundations
Specific Sciences > Mathematics > History of Philosophy
Specific Sciences > Mathematics > History
Specific Sciences > Mathematics > Logic
Date: 23 June 2020
URI: https://philsci-archive.pitt.edu/id/eprint/17367

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item