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...
Guardat en:
| Autor principal: | |
|---|---|
| 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: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|