In Untersuchungen zur allgemeinen Axiomatik and Abriss der Logistik, Carnap attempted to formulate the metatheory of axiomatic theories within a single, fully interpreted type-theoretic framework and to investigate a number of meta-logical notions in it, such as those of model, consequence, consistency, completeness, and decidability. These attempts were largely unsuccessful, also in his own considered judgment. A detailed assessment of Carnap’s attempt shows, nevertheless, that his approach is much less confused and hopeless than it has often been made out to (...) be. By providing such a reassessment, the paper contributes to a reevaluation of Carnap’s contributions to the development of modern logic. (shrink)

Jean Nicod (1893–1924) is a French philosopher and logician who worked with Russell during the First World War. His PhD, with a preface from Russell, was published under the titleLa géométrie dans le monde sensiblein 1924, the year of his untimely death. The book did not have the impact he deserved. In this paper, I discuss the methodological aspect of Nicod’s approach. My aim is twofold. I would first like to show that Nicod’s definition of various notions of equivalence between (...) theories anticipates, in many respects, the (syntactic and semantic) model-theoretic notion of interpretation of a theory into another. I would secondly like to present the philosophical agenda that led Nicod to elaborate his logical framework: the defense of rationalism against Bergson’s attacks. (shrink)

The aim of this article is to contribute to a better understanding of Frege’s views on semantics and metatheory by looking at his take on several themes in nineteenth century geometry that were significant for the development of modern model-theoretic semantics. I will focus on three issues in which a central semantic idea, the idea of reinterpreting non-logical terms, gradually came to play a substantial role: the introduction of elements at infinity in projective geometry; the study of transfer principles, especially (...) the principle of duality; and the use of counterexamples in independence arguments. Based on a discussion of these issues and how nineteenth century geometers reflected about them, I will then look into Frege’s take on these matters. I conclude with a discussion of Frege’s views and what they entail for the debate about his stance towards semantics and metatheory more generally. (shrink)

The article investigates one of the key contributions to modern structural mathematics, namely Hilbert’sFoundations of Geometry(1899) and its mathematical roots in nineteenth-century projective geometry. A central innovation of Hilbert’s book was to provide semantically minded independence proofs for various fragments of Euclidean geometry, thereby contributing to the development of the model-theoretic point of view in logical theory. Though it is generally acknowledged that the development of model theory is intimately bound up with innovations in 19th century geometry (in particular, the (...) development of non-Euclidean geometries), so far, little has been said about how exactly model-theoretic concepts grew out of methodological investigations within projective geometry. This article is supposed to fill this lacuna and investigates this geometrical prehistory of modern model theory, eventually leading up to Hilbert’sFoundations. (shrink)

The symmetries between points and lines in planar projective geometry and between points and planes in solid projective geometry are striking features of these geometries that were extensively discussed during the nineteenth century under the labels “duality” or “reciprocity.” The aims of this article are, first, to provide a systematic analysis of duality from a modern point of view, and, second, based on this, to give a historical overview of how discussions about duality evolved during the nineteenth century. Specifically, we (...) want to see in which ways geometers’ preoccupation with duality was shaped by developments that lead to modern logic towards the end of the nineteenth century, and how these developments in turn might have been influenced by reflections on duality. (shrink)

Jean Nicod (1893–1924) is a French philosopher and logician who worked with Russell during the First World War. His PhD, with a preface from Russell, was published under the title La géométrie dans le monde sensible in 1924, the year of his untimely death. The book did not have the impact he deserved. In this paper, I discuss the methodological aspect of Nicod’s approach. My aim is twofold. I would first like to show that Nicod’s definition of various notions of (...) equivalence between theories anticipates, in many respects, the (syntactic and semantic) model-theoretic notion of interpretation of a theory into another. I would secondly like to present the philosophical agenda that led Nicod to elaborate his logical framework: the defense of rationalism against Bergson’s attacks. (shrink)

G. Schiemer has recently ascribed to Carnap the so-called domains-as-fields conception of models, which he subsequently used to defend Carnap’s treatment of extremal axioms against J. Hintikka’s criticism that the number of tuples in a relation, and not the domain of discourse, is optimised in Carnap’s treatment. We will argue by a careful textual analysis, however, that this domains-as-fields conception cannot be applied to Carnap’s early semantics, because it includes a notion of submodel and subrelation that is not only absent (...) from Carnap’s work at that time, but even contradicts it. As a consequence, Schiemer’s defense of Carnap’s extremal axioms against Hintikka’s criticism fails. We will reconcile Carnap’s treatment of extremal axioms and Hintikka’s observation by taking into account the practice of axiomatics in the early twentieth century. If one realises that, in Carnap’s time, a predicate for the domain of discourse was often introduced in the formal theory, and that Carnap defined such predicates from the basic relations of an axiom system, the apparent disagreement between optimising relations and optimising domains disappears. (shrink)