David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
History and Philosophy of Logic 18 (2):79-93 (1997)
Frege?s project has been characterized as an attempt to formulate a complete system of logic adequate to characterize mathematical theories such as arithmetic and set theory. As such, it was seen to fail by Gödel?s incompleteness theorem of 1931. It is argued, however, that this is to impose a later interpretation on the word ?complete? it is clear from Dedekind?s writings that at least as good as interpretation of completeness is categoricity. Whereas few interesting first-order mathematical theories are categorical or complete, there are logical extensions of these theories into second-order and by the addition of generalized quantifiers which are categorical. Frege?s project really found success through Gödel?s completeness theorem of 1930 and the subsequent development of first- and higher-order model theory
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
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
Alfred Tarski (1968/2010). Undecidable Theories. Amsterdam, North-Holland Pub. Co..
Warren D. Goldfarb (1979). Logic in the Twenties: The Nature of the Quantifier. Journal of Symbolic Logic 44 (3):351-368.
Abraham Robinson (1963). Introduction to Model Theory and to the Metamathematics of Algebra. North-Holland.
Citations of this work BETA
Steve Awodey & Erich H. Reck (2002). Completeness and Categoricity. Part I: Nineteenth-Century Axiomatics to Twentieth-Century Metalogic. History and Philosophy of Logic 23 (1):1-30.
Steve Awodey & Erich H. Reck (2002). Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-First-Century Semantics. History and Philosophy of Logic 23 (2):77-94.
Catarina Dutilh Novaes (forthcoming). Axiomatizations of Arithmetic and the First-Order/Second-Order Divide. Synthese.
Toby Meadows (2013). WHAT CAN A CATEGORICITY THEOREM TELL US? Review of Symbolic Logic (3):524-544.
Similar books and articles
James H. Schmerl (1980). Decidability and ℵ0-Categoricity of Theories of Partially Ordered Sets. Journal of Symbolic Logic 45 (3):585 - 611.
Richard Kaye (2007). The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications. Cambridge University Press.
Nikolaj Jang Lee Linding Pedersen & Marcus Rossberg (2010). Open-Endedness, Schemas and Ontological Commitment. Noûs 44 (2):329-339.
Enrico Moriconi (2003). On the Meaning of Hilbert's Consistency Problem (Paris, 1900). Synthese 137 (1-2):129 - 139.
Raymond M. Smullyan (1992). Gödel's Incompleteness Theorems. Oxford University Press.
William Demopoulus & William Bell (1993). Frege's Theory of Concepts and Objects and the Interpretation of Second-Order Logict. Philosophia Mathematica 1 (2):139-156.
S. Awodey & A. W. Carus (2001). Carnap, Completeness, and Categoricity:The Gabelbarkeitssatz OF 1928. [REVIEW] Erkenntnis 54 (2):145-172.
Jean Van Heijenoort (1879/1970). Frege and Gödel. Cambridge, Mass.,Harvard University Press.
Added to index2010-08-10
Total downloads37 ( #88,208 of 1,725,806 )
Recent downloads (6 months)4 ( #166,958 of 1,725,806 )
How can I increase my downloads?