Categoricity

History and Philosophy of Logic 1 (1):187-207 (1980)
Abstract
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
Keywords HISTORY  PHILOSOPHY  LOGIC  MATHEMATICS  CATEGORICITY  CATEGORICAL  SECOND-ORDER  ISOMORPHISM  COMPLETENESS  CHURCH
Categories (categorize this paper)
DOI 10.1080/01445348008837010
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Logic, Semantics, Metamathematics.Alfred Tarski - 1956 - Oxford, Clarendon Press.
Introduction to Mathematical Logic.Alonzo Church - 1944 - London: Oxford University PRess.
Introduction to Mathematical Logic.Alonzo Church - 1956 - Princeton: Princeton University Press.

View all 21 references / Add more references

Citations of this work BETA
Carnap's Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.

View all 18 citations / Add more citations

Similar books and articles
Categoricity and Indefinite Extensibility.James Walmsley - 2002 - Proceedings of the Aristotelian Society 102 (3):217–235.
Spinoza's Proof of Necessitarianism.Olli Koistinen - 2003 - Philosophy and Phenomenological Research 67 (2):283–310.
String Theory.John Corcoran, William Frank & Michael Maloney - 1974 - Journal of Symbolic Logic 39 (4):625-637.
Completeness and Categoricity: Frege, Gödel and Model Theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
Second Order Logic or Set Theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.
Categoricity and Ranks.Jürgen Saffe - 1984 - Journal of Symbolic Logic 49 (4):1379-1392.
A Note on Finiteness in the Predicative Foundations of Arithmetic.Fernando Ferreira - 1999 - Journal of Philosophical Logic 28 (2):165-174.
Added to PP index
2009-04-15

Total downloads
206 ( #21,174 of 2,210,874 )

Recent downloads (6 months)
42 ( #4,831 of 2,210,874 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature