Codi QR

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...

Descripció completa

Guardat en:
Dades bibliogràfiques
Autor principal: Bruno Bentzen
Format: Artigo
Idioma:Inglês
Publicat: UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência 2023-12-01
Col·lecció:Manuscrito
Matèries:
Accés en línia:http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452023000400403&tlng=en
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!