Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2406.05442 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866910480754278400 |
|---|---|
| author | Kostić, Jovana Vujošević, Slobodan |
| author_facet | Kostić, Jovana Vujošević, Slobodan |
| contents | The literature dealing with Gödel's legacy is largely preoccupied with challenging his philosophical views, regarding them as outdated. We believe that such an approach prevents us from seeing Gödel's views in the right light and understanding their rationale. In this article, his views are discussed in the philosophical realm in which he himself understood them. We explore the consequences of Gödel's incompleteness theorems for the question of the objectivity of mathematics and its epistemology. Taking set theory as the paradigm of formal mathematical theories, we examine the relationship between its incompleteness and extensionality. We argue, based on his philosophical views, that Gödel believed incompleteness can be overcome only by some intensional considerations about concepts from the basis of mathematical theories. These considerations should eventually lead to founding the so-called logic of concepts. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2406_05442 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Kurt Gödel and the Logic of Concepts Kostić, Jovana Vujošević, Slobodan History and Overview The literature dealing with Gödel's legacy is largely preoccupied with challenging his philosophical views, regarding them as outdated. We believe that such an approach prevents us from seeing Gödel's views in the right light and understanding their rationale. In this article, his views are discussed in the philosophical realm in which he himself understood them. We explore the consequences of Gödel's incompleteness theorems for the question of the objectivity of mathematics and its epistemology. Taking set theory as the paradigm of formal mathematical theories, we examine the relationship between its incompleteness and extensionality. We argue, based on his philosophical views, that Gödel believed incompleteness can be overcome only by some intensional considerations about concepts from the basis of mathematical theories. These considerations should eventually lead to founding the so-called logic of concepts. |
| title | Kurt Gödel and the Logic of Concepts |
| topic | History and Overview |
| url | https://arxiv.org/abs/2406.05442 |