History and Philosophy of Logic 1 (1):187-207 (1980)
Download Edit this record How to cite View on PhilPapers
After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those involving the distinction between characterizing a system and axiomatizing the truths of a system
PhilPapers/Archive ID
Upload history
Archival date: 2015-01-11
View other versions
Added to PP index

Total views
557 ( #11,588 of 65,609 )

Recent downloads (6 months)
27 ( #29,362 of 65,609 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.