arXiv:2406.05442math.HO
Kurt Gödel and the Logic of Concepts
Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.
Abstract
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.
> What Godel actually proved is that given a consistent formal system capable of representing arithmetic, there are statements in the language of that system such that neither the statement nor its negation can be proved in the system. It goes what step further, there are…
EthanHeilmanView on HNParent context