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...
Bewaard in:
| Hoofdauteur: | |
|---|---|
| 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: |
Geen labels, Wees de eerste die dit record labelt!
|