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...
Na minha lista:
| 主要作者: | |
|---|---|
| 格式: | Artigo |
| 語言: | Inglês |
| 出版: |
UNICAMP - Universidade Estadual de Campinas, Centro de Lógica, Epistemologia e História da Ciência
2023-12-01
|
| 叢編: | Manuscrito |
| 主題: | |
| 在線閱讀: | http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0100-60452023000400403&tlng=en |
| 標簽: |
沒有標簽, 成為第一個標記此記錄!
|