Steve Awodey and Erich H. Reck. Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics.

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. (shrink)

This paper provides a historically sensitive discussion of Carnaps theory will be assessed with respect to two interpretive issues. The first concerns his mathematical sources, that is, the mathematical axioms on which his extremal axioms were based. The second concerns Carnapcompleteness of the modelss different attempts to explicate the extremal properties of a theory and puts his results in context with related metamathematical research at the time.

In Part I of this paper we argued that the first-order systems HP5 and EG are modest complete descriptive axiomatization of most of Euclidean geometry. In this paper we discuss two further modest complete descriptive axiomatizations: Tarksi’s for Cartesian geometry and new systems for adding $$\pi$$. In contrast we find Hilbert’s full second-order system immodest for geometrical purposes but appropriate as a foundation for mathematical analysis.

The paper outlines an interpretation of one of the most important and original contributions of David Hilbert’s monograph Foundations of Geometry , namely his internal arithmetization of geometry. It is claimed that Hilbert’s profound interest in the problem of the introduction of numbers into geometry responded to certain epistemological aims and methodological concerns that were fundamental to his early axiomatic investigations into the foundations of elementary geometry. In particular, it is shown that a central concern that motivated Hilbert’s axiomatic investigations (...) from very early on was the aim of providing an independent basis for geometry. Accordingly, these concerns about an independent grounding for elementary geometry determined very clear methodological constraints in the process of embedding it into a formal axiomatic system. It is argued that Hilbert not only sought to show that geometry could be considered a pure mathematical theory, once it was presented as a formal axiomatic system; he also aimed at showing that in the construction of such an axiomatic system one could proceed purely geometrically, avoiding concept formations borrowed from other mathematical disciplines like arithmetic or analysis. (shrink)

The theory that ``consistency implies existence'' was put forward by Hilbert on various occasions around the start of the last century, and it was strongly and explicitly emphasized in his correspondence with Frege. Since (Gödel's) completeness theorem, abstractly speaking, forms the basis of this theory, it has become common practice to assume that Hilbert took for granted the semantic completeness of second order logic. In this paper I maintain that this widely held view is untrue to the facts, and that (...) the clue to explain what Hilbert meant by linking together consistency and existence is to be found in the role played by the completeness axiom within both geometrical and arithmetical axiom systems. (shrink)

In 1887 Georg Cantor gave an influential but cryptic proof of theimpossibility of infinitesimals. I first give a reconstruction ofCantor's argument which relies mainly on traditional assumptions fromEuclidean geometry, together with elementary results of Cantor's ownset theory. I then apply the reconstructed argument to theinfinitesimals of Abraham Robinson's nonstandard analysis. Thisbrings out the importance for the argument of an assumption I call theChain Thesis. Doubts about the Chain Thesis are seen to render thereconstructed argument inconclusive as an attack on the (...) infinitelysmall. (shrink)

We suggest that, far from establishing an inconsistency in the standard theory of the geometrical linear continuum, Zeno’s Paradox of Extension merely establishes an inconsistency between the standard theory of geometrical magnitude and a misguided system of length measurement. We further suggest that our resolution of Zeno’s paradox is superior to Adolf Grünbaum’s now standard resolution based on Lebesgue measure theory.