QR code

Frege’s Theory of Types

Abstract It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory...

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Bruno Bentzen
Formaat: Artigo
Taal:Inglês
Gepubliceerd in: UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência 2023-12-01
Reeks:Manuscrito
Onderwerpen:
Online toegang:http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452023000400403&tlng=en
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!