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||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Topological Completeness for Higher-Order Logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
A Content Semantics for Quantified Relevant Logics. II.Ross T. Brady - 1989 - Studia Logica 48 (2):243 - 257.
The Development of Programs for the Foundations of Mathematics in the First Third of the 20th Century.Solomon Feferman - manuscript
First-Order Indefinite and Uniform Neighbourhood Semantics.Arnold Nat - 1979 - Studia Logica 38 (3):277 - 296.
Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics.Steve Awodey & Erich H. Reck - unknown
Completeness and Categoricity. Part I: Nineteenth-Century Axiomatics to Twentieth-Century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.
Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-First-Century Semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (2):77-94.
Added to index2009-01-28
Total downloads33 ( #157,540 of 2,178,142 )
Recent downloads (6 months)1 ( #316,663 of 2,178,142 )
How can I increase my downloads?