Completeness and categoricity, part I: 19th century axiomatics to 20th century metalogic
|Abstract||This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics so as to shed new light on the relevant strengths and limits of higher-order logic.|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|External links||This entry has no external links. Add one.|
|Through your library||Only published papers are available at libraries|
Similar books and articles
S. Awodey & A. W. Carus (2001). Carnap, Completeness, and Categoricity:The Gabelbarkeitssatz OF 1928. Erkenntnis 54 (2):145-172.
Volker Peckhaus (1999). 19th Century Logic Between Philosophy and Mathematics. Bulletin of Symbolic Logic 5 (4):433-450.
Stephen Read (1997). Completeness and Categoricity: Frege, Gödel and Model Theory. History and Philosophy of Logic 18 (2):79-93.
Solomon Feferman, The Development of Programs for the Foundations of Mathematics in the First Third of the 20th Century.
Dirk Schlimm, Axiomatics and Progress in the Light of 20th Century Philosophy of Science and Mathematics.
Steve Awodey & Erich H. Reck, Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics.
Steve Awodey & Erich H. Reck, Completeness and Categoricty, Part II: 20th Century Metalogic to 21st Century Semantics.
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.
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.
Added to index2009-01-28
Total downloads35 ( #34,083 of 548,984 )
Recent downloads (6 months)0
How can I increase my downloads?