This paper outlines the intellectual biography of Walter Dubislav. Besides being a leading member of the Berlin Group headed by Hans Reichenbach, Dubislav played a defining role as well in the Society for Empirical/Scientific Philosophy in Berlin. A student of David Hilbert, Dubislav applied the method of axiomatic to produce original work in logic and formalist philosophy of mathematics. He also introduced the elements of a formalist philosophy of science and addressed more general problems concerning the substantiation of human knowledge. (...) What set Dubislav apart from the other logical empiricists was his expertise in the history of logic and exact philosophy which enabled him to elucidate and advance the thinking in both disciplines. In the realm of logic proper, Dubislav is best known for his pioneering work in theory of definitions. What is more, he did original work on the so called ‘quasi truth-tables’ which aided Reichenbach in developing his logic of probability. Dubislav also elaborated an influe.. (shrink)

In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the type-theoretic tradition, in the style of Principia Mathematica, tends to be downplayed or ignored in this connection. Indeed, the shift from type theory to first-order logic is sometimes seen as involving a radical break that first made possible the rise of modern model theory. While comparing several early attempts to develop the semantics (...) of axiomatic theories in the 1930s, by two proponents of the type-theoretic tradition and two proponents of the first-order tradition, we argue that, instead, the move from type theory to first-order logic is better understood as a gradual transformation, and further, that the contributions to semantics made in the type-theoretic tradition should be seen as central to the evolution of model theory. (shrink)

The aim of this paper is make a contribution to the ongoing search for an adequate concept of the a priori element in scientific knowledge. The point of departure is C.I. Lewis’s account of a pragmatic a priori put forward in his "Mind and the World Order" (1929). Recently, Hasok Chang in "Contingent Transcendental Arguments for Metaphysical Principles" (2008) reconsidered Lewis’s pragmatic a priori and proposed to conceive it as the basic ingredient of the dynamics of an embodied scientific reason. (...) The present paper intends to further elaborate Chang’s account by relating it with some conceptual tools from cognitive semantics and certain ideas that first emerged in the context of the category-theoretical foundations of mathematics. (shrink)

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)

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

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)

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)

A definition of a property P is impredicative if it quantifies over a domain to which P belongs. Due to influential arguments by Ramsey and Gödel, impredicative mathematics is often thought to possess special metaphysical commitments. It seems that an impredicative definition of a property P does not have the intended meaning unless P already exists, suggesting that the existence of P cannot depend on its explicit definition. Carnap (1937 [1934], p. 164) argues, however, that accepting impredicative definitions amounts to (...) choosing a "form of language" and is free from metaphysical implications. This paper explains this view in its historical context. I discuss the development of Carnap’s thought on the foundations of mathematics from the mid-1920s to the mid-1930s, concluding with an account of Carnap’s (1937 [1934]) non-Platonistic defense of impredicativity. This discussion is also important for understanding Carnap’s influential views on ontology more generally, since Carnap’s (1937 [1934]) view, according to which accepting impredicative definitions amounts to choosing a "form of language", is an early precursor of the view Carnap presents in "Empiricism, Semantics and Ontology" (1956 [1950]), according to which referring to abstract entities amounts to accepting a "linguistic framework". (shrink)

This paper concerns Carnap’s early contributions to formal semantics in his work on general axiomatics between 1928 and 1936. Its main focus is on whether he held a variable domain conception of models. I argue that interpreting Carnap’s account in terms of a fixed domain approach fails to describe his premodern understanding of formal models. By drawing attention to the second part of Carnap’s unpublished manuscript Untersuchungen zur allgemeinen Axiomatik, an alternative interpretation of the notions ‘model’, ‘model extension’ and ‘submodel’ (...) in his theory of axiomatics is presented. Specifically, it is shown that Carnap’s early model theory is based on a convention to simulate domain variation that is not identical but logically comparable to the modern account. (shrink)

Hans Hahn's long-neglected philosophy of mathematics is reconstructed here with an eye to his anticipation of the doctrine of logical pluralism. After establishing that Hahn pioneered a post-Tractarian conception of tautologies and attempted to overcome the traditional foundational dispute in mathematics, Hahn's and Carnap's work is briefly compared with Karl Menger's, and several significant agreements or differences between Hahn's and Carnap's work are specified and discussed.

In a letter to Frege of 29 December 1899, Hilbert advances his formalist doctrine, according to which consistency of an arbitrary set of mathematical sentences is a sufficient condition for its truth and for the existence of the concepts described by it. This paper discusses Frege's analysis, as carried out in the context of the Frege-Hilbert correspondence, of the formalist approach in particular and the axiomatic method in general. We close with a speculation about Frege's influence on Hilbert's later work (...) in foundations, which we consider to have been greater than previously assumed. This conjecture is based on a hitherto neglected revision of Hilbert's talk "Über den Zahlbegriff". (shrink)

In 1929 Carnap gave a paper in Prague on Investigations in General Axiomatics; a briefsummary was published soon after. Its subject lookssomething like early model theory, and the mainresult, called the Gabelbarkeitssatz, appears toclaim that a consistent set of axioms is complete justif it is categorical. This of course casts doubt onthe entire project. Though there is no furthermention of this theorem in Carnap''s publishedwritings, his Nachlass includes a largetypescript on the subject, Investigations inGeneral Axiomatics. We examine this work here,showing (...) that it provides important insights intoCarnap''s development during this critical period, thetransition from Aufbau to Syntax,especially regarding the nature and motivation ofCarnap''s logicism. Moreover, we show how theAxiomatics influenced Carnap''s student Gödel inreaching the fundamental logical results that soonafterwards undermined Carnap''s project. (shrink)

In 1936 Tarski sketched a rigorous definition of the concept of logical consequence which, he claimed, agreed quite well with common usage-or, as he also said, with the common concept of consequence. Commentators of Tarski's paper have usually been elusive as to what this common concept is. However, being clear on this issue is important to decide whether Tarski's definition failed (as Etchemendy has contended) or succeeded (as most commentators maintain). I argue that the common concept of consequence that Tarski (...) tried to characterize is not some general, all-purpose notion of consequence, but a rather precise one, namely the concept of consequence at play in axiomatics. I identify this concept and show that Tarski's definition is fully adequate to it. (shrink)

This paper discusses Carnap’s attempts in the late 1920s to provide a formal reconstruction of modern axiomatics.1 One interpretive theme addressed in recent scholarly literature concerns Carnap’s underlying logicism in his philosophy of mathematics from that time, more specifically, his attempt to “reconcile” the logicist approach of reducing mathematics to logic with the formal axiomatic method. For instance, Awodey & Carus characterize Carnap’s manuscript Untersuchungen zur allgemeinen Axiomatik from 1928 as a “large-scale project to reconcile axiomatic definitions with logicism, and (...) transform implicit into explicit definitions.” It is argued that Carnap’s central idea was to balance a Fregean foundational stance with the modern model-theoretic viewpoint introduced in Hilbert’s Grundlagen der Geometrie ). It was also shown in recent literature that Carnap’s attempt to provide a logicist reconstruction of axiomatics is limited in several ways.2 No closer attention, however, has so far been dedicated to some of the details of his proposed reconciliation. (shrink)

In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the type-theoretic tradition, in the style ofPrincipia Mathematica, tends to be downplayed or ignored in this connection. Indeed, the shift from type theory to first-order logic is sometimes seen as involving a radical break that first made possible the rise of modern model theory. While comparing several early attempts to develop the semantics of (...) axiomatic theories in the 1930s, by two proponents of the type-theoretic tradition (Carnap and Tarski) and two proponents of the first-order tradition (Gödel and Hilbert), we argue that, instead, the move from type theory to first-order logic is better understood as a gradual transformation, and further, that the contributions to semantics made in the type-theoretic tradition should be seen as central to the evolution of model theory. (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.