Around Logical Perfection
Bibliographic Data
| ID | 20143361 |
|---|---|
| Authors | John Alexander Cruz Morales (Universidad Nacional de Colombia), Andrés Villaveces (0000-0002-3725-2741, Departamento de Matemáticas Universidad Nacional de Colombia), Boris Zilber (Mathematical Institute University of Oxford) |
| Year | 2021 |
| Volume | 87 |
| Issue | 4 |
| Pages | 971-985 |
| Publication date | 2021-08-01 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Theoria (JOURNAL) |
| Journal identifiers | ISSN: 0040-5825 • E-ISSN: 1755-2567 |
| Publisher | Wiley (PUBLISHER • GB) |
| DOI | 10.1111/theo.12274 |
| OpenAlex | W2987470775 |
| Language | EN |
| References cited | 10 |
In this article we present a notion of “logical perfection”. We first describe through examples a notion of logical perfection extracted from the contemporary logical concept of categoricity. Categoricity (in power) has become in the past half century a main driver of ideas in model theory, both mathematically (stability theory may be regarded as a way of approximating categoricity) and philosophically. In the past two decades, categoricity notions have started to overlap with more classical notions of robustness and smoothness. These have been crucial in various parts of mathematics since the nineteenth century. We postulate and present the category of logical perfection. We draw on various notions of perfection from mathematics of the 19th and 20th centuries and then trace the relation to the concept of categoricity in power as a logical notion of what a “mathematically perfect” structure is
Calculus (dental) · Epistemology · Linguistics · Perfection · Relation (database) · TRACE (psycholinguistics) · Advanced Algebra and Logic · Computer Science · Mathematics · Philosophy
| Highly cited | No |
|---|