Premium
Around Logical Perfection
Author(s) -
Cruz Morales John A.,
Villaveces Andrés,
Zilber Boris
Publication year - 2021
Publication title -
theoria
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.34
H-Index - 16
eISSN - 1755-2567
pISSN - 0040-5825
DOI - 10.1111/theo.12274
Subject(s) - perfection , trace (psycholinguistics) , epistemology , philosophy , relation (database) , logical conjunction , mathematics , computer science , linguistics , database
Abstract 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.