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)

It is a commonplace in the analytic geometry of physical space-time that an extended straight line segment, having positive length, is treated as “consisting of” unextended points, each of which has zero length. Analogously, time intervals of positive duration are resolved into instants, each of which has zero duration.

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

This article outlines the work of a group of US mathematicians called the American Postulate Theorists and their influence on Tarski's work in the 1930s that was to be foundational for model theory. The American Postulate Theorists were influenced by the European foundational work of the period around 1900, such as that of Peano and Hilbert. In the period roughly from 1900???1940, they developed an indigenous American approach to foundational investigations. This made use of interpretations of precisely formulated axiomatic theories (...) to prove such metatheoretic properties as independence, consistency, categoricity and, in some cases, completeness of axiom sets. This approach to foundations was in many respects similar to that later taken by Tarski, who frequently cites the work of American Postulate Theorists. Their work served as paradigm examples of the theories and concepts investigated in model theory. The article also examines the possibility of a more specific impetus to Tarski's model theoretic investigation, arising from his having studied in 1927???1929 a paper by C. H. Langford proving completeness for various axiom sets for linear orders. This used the method of elimination of quantifiers. The article concludes with an examination of one example of Langford's methods to indicate how their correct formulation seems to call for model-theoretic concepts. (shrink)

Prompted by the "Panel Discussion of Grünbaum's Philosophy of Science" (Philosophy of Science 36, December, 1969) and other recent literature, this essay ranges over major issues in the philosophy of space, time and space-time as well as over problems in the logic of ascertaining the falsity of a scientific hypothesis. The author's philosophy of geometry has recently been challenged along three main distinct lines as follows: (i) The Panel article by G. J. Massey calls for a more precise and more (...) coherent account of the Riemannian conception of an intrinsic as opposed to an extrinsic metric, which the author has invoked as his basis for the distinction between non-conventional and convention-laden ascriptions of metrical equality and inequality; (ii) the latter distinction has been claimed to suffer from the liabilities of the so-called "standard conception" of scientific theories [36]; and (iii) pursuant to H. Putnam's "An Examination of Grünbaum's Philosophy of Geometry" [56], J. Earman [16, 17] and R. Swinburne [65] have contended that the difference between intrinsic and extrinsic metrics is scientifically unilluminating, and that the associated distinction between non-conventional and convention-laden metrical comparisons does not have the kind of relevance to extant scientific theories that the author has claimed for it. The essay consists of two installments. The present installment, comprising the Introduction and Part A, is devoted to the clarification, correction and further development of the author's prior writings on the philosophy of geometry. Its main objective is constructive elaboration rather than offering polemics. But rebuttals to Earman, [16, 17], Swinburne [65] and Demopoulos [13] are included, because their inclusion conduced to clarity in giving the new exposition. Part B is to appear in a subsequent issue and will be devoted to replies to critiques contained in the Panel Discussion and in other recent literature. It will range over issues in the philosophy of geometry and in the logic of ascertaining the falsity of a scientific hypothesis. By way of merely elliptical anticipation of much more precise statements given in Part A, section 3(ii), the Introduction dissociates the notion of convention-ladenness developed in Part A from the quite different notion integral to the so-called "standard conception" of scientific theories. Thereby, the Introduction prepares the ground for seeing, as a corollary to Part A, section 3(ii), that the notion advocated in the present essay has nothing to fear from the following fact, noted by C. G. Hempel ([36]; cf. also his 1970 Carus Lectures): "even though a sentence may originally be introduced as true by stipulation, it soon joins the club of all other member-statements of the theory and becomes subject to revision in response to further empirical findings and theoretical developments." Part A, which begins with a fairly detailed table of contents, endeavors to meet the aforementioned three-fold challenge to the author's philosophy of geometry. Massey's call for the provision of clear and detailed characterizations of intrinsic and extrinsic metrics is answered with the invaluable aid rendered personally by Massey himself. These characterizations are shown to permit a precise explication of the portions of Riemann's Inaugural Dissertation relevant to (1) Riemann's brilliant anticipation of Einstein's dynamical conception of physical geometry, and (2) the author's philosophical characterization of the metrics and geometries of space, time, and space-time {section 2(c)}. A byproduct of the analysis is to raise two major philosophical doubts concerning Clifford's sketch of a so-called "space-theory of matter" as elaborated in J. A. Wheeler's relativistic geometrodynamics. That theory's vision of understanding matter as a manifestation of empty curved space is questioned in regard to (1) the existence of an intra-geometrodynamic basis for individuating the metrically homogeneous world points of its space-time manifold {section 1(a)}, and (2) the compatibility of the theory with the Riemannian metrical philosophy apparently espoused by its proponents {section 2(c)(i)}. (shrink)

Three different ways in which systems of axioms can contribute to the discovery of new notions are presented and they are illustrated by the various ways in which lattices have been introduced in mathematics by Schröder et al. These historical episodes reveal that the axiomatic method is not only a way of systematizing our knowledge, but that it can also be used as a fruitful tool for discovering and introducing new mathematical notions. Looked at it from this perspective, the creative (...) aspect of axiomatics for mathematical practice is brought to the fore. (shrink)

To prove the equivalence one must start with one side, and the earlier-later side seems, for starting with, logically the clearer. The equivalence is provable on reasonable definitions of ‘past’, ‘present’ and ‘future’ in terms of the earlier-later structure of time. McTaggart's attempted distinction between the past-present-future A series and the earlier-later B series, as though they were rivals for the structure of time, is based on an unexamined, and false, assumption. The equivalence shows they are not rivals; they are (...) quite consistent with each other. A very serious consequence is that all subsequent argument, from the A side or the B, however sophisticated, is flawed to the extent that it accepts McTaggart's false distinction. (shrink)

In the 1930s Otto Selz developed a novel approach to the psychology of perception which he called “synthetic psychology of wholes”. This “synthetic psychology” is based on a phenomenological description of the structural relationships between elementary items building up integral wholes. The present article deals with Selz’s account of spatial cognition within this general framework. Selz Zeitschrift für Psychologie, 114, 351–362 argues that his approach to spatial cognition delivers answers to the long-discussed question of the epistemological status of the laws (...) of geometry. More specifically he tries to derive the Euclidean axioms from the structural laws valid for phenomenal space. After a brief description of the discussion of the status of geometry in the 1920s/1930, the present article explains Selz’s understanding of “phenomenology”. Section 4 then deals with Selz’s attempt to derive the Euclidean laws from the structural phenomenological laws of space. Selz’s attempted derivation suffers from some formal shortcomings, which however can be repaired. The question arises, though, whether the necessary improvements do not rely upon more intricate geometric intuitions and thus render Selz’s attempt to base geometry upon the phenomenology of spatial cognition circular. (shrink)