Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
History and Philosophy of Logic 23 (2):77-94 (2002)
| Abstract | This paper is the second 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesS. Awodey & C. Butz (2000). Topological Completeness for Higher-Order Logic. Journal of Symbolic Logic 65 (3):1168-1182.
Ross T. Brady (1989). A Content Semantics for Quantified Relevant Logics. II. Studia Logica 48 (2):243 - 257.
Arnold Nat (1979). First-Order Indefinite and Uniform Neighbourhood Semantics. Studia Logica 38 (3):277 - 296.
Stephen Read (1997). Completeness and Categoricity: Frege, Gödel and Model Theory. History and Philosophy of Logic 18 (2):79-93.
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.
Analytics
Monthly downloads |
Added to index2010-08-10Total downloads17 ( #71,101 of 549,074 )Recent downloads (6 months)1 ( #63,317 of 549,074 )How can I increase my downloads? |
My notes
Discussion
