This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice. This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued (...) today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics? (shrink)

This is a survey of Gödel's perennial preoccupations with the limits of finitism, its relations to constructivity, and the significance of his incompleteness theorems for Hilbert's program, using his published and unpublished articles and lectures as well as the correspondence between Bernays and Gödel on these matters. There is also an important subtext, namely the shadow of Hilbert that loomed over Gödel from the beginning to the end.

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 this paper, the connection between logicism and the principle of tolerance in Carnap’s philosophy of logic and mathematics is to be presented in terms of the history of its development. Such development is conditioned by two lines of criticism to Carnap’s attempt to combine Logicism and Conventionalism, the first of which comes from Gödel, the second from Alfred Tarski. The presentation will take place in three steps. First, the Logicism of Carnap before the publication of The Logical Syntax of (...) Language will be analyzed in its main features. Second, the relationship between Logicism and the Principle of Tolerance at the time of the publication of Logical Syntax, and thirdly, in the so-called semantical phase of Carnap’s thought will be examined. On the basis of the two preceding points, we will then critically analyze two interpretations of the possibility to maintain a philosophical position like that of Carnap nowadays. (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)

After the 1930s, the research into the foundations of mathematics changed.None of its main directions (logicism, formalism and intuitionism) had any longer the pretension to be the only true mathematics.Usually, the determining factor in the change is considered to be Gödel?s work, while Heyting?s role is neglected.In contrast, in this paper I first describe how Heyting directly suggested the abandonment of the big foundational questions and the putting forward of a new kind of foundational research consisting in the isolation of (...) formal, intuitive, logical and platonistic elements within classical mathematics.Furthermore, I describe how Heyting indirectly influenced the abandon?ment of the old directions of foundational research by making out some lists of degrees of evidence that exist within intuitionism. (shrink)

Der Titel dieses Aufsatzes mag zunächst befremden, gar als unsachliche Bösartigkeit aufgefaßt werden, doch „Vorurteil“ und „Wahn“ sind im Rahmen von Psychologie bzw. Sozialpsychologie und Psychopathologie definierte Begriffe. Untersucht man unter diesem Aspekt den mathematischen Grundlagenstreit in diesem Jahrhundert, der richtiger „logisch-mathematischer Grundlagenstreit“ zu nennen wäre, dann wird ein Argumentationsklima deutlich, das von Vorurteils- und Wahnstrukturen geprägt ist, das sich zu Ungungsten der empirisch orientierten Begründungsposition auswirkte. Sollte sich angesichts erneuter Stimmen für die empirische Position wieder eine Grundlagendiskussion entwickeln, wäre (...) das Argumentationsniveau zu verbessern. Hierzu gehört zunächst die Erwägung von Alternativen, besonders bezüglich möglicher Gegenstände von Logik und Mathematik. Weiterhin wären erkenntnistheoretische Konzepte zu entwickeln, die dem eigenständigen Charakter von „reiner“ Logik und Mathematik gerecht werden, aber dennoch empirische Begründung ermöglichen. (shrink)

In Carnap’s autobiography, he tells the story how one night in January 1931, “the whole theory of language structure” in all its ramifications “came to [him] like a vision”. The shorthand manuscript he produced immediately thereafter, he says, “was the first version” of Logical Syntax of Language. This document, which has never been examined since Carnap’s death, turns out not to resemble Logical Syntax at all, at least on the surface. Wherein, then, did the momentous insight of 21 January 1931 (...) consist? We seek to answer this question by placing Carnap’s shorthand manuscript in the context of his previous efforts to accommodate scientific theories and metalinguistic claims within Wittgenstein’s Tractatus theory of meaning. The breakthrough of January 1931 consists, from this viewpoint, in the rejection of the Tractatus theory in favor of the meta-mathematical perspective of Hilbert, Gödel, and Tarski. This was not yet the standpoint of the published Logical Syntax, as we show, but led naturally to the “principle of tolerance” and thus to Carnap’s mature philosophy, in which the inconsistencies between this first view and the principle of tolerance, which survived into the published Syntax, were overcome. (shrink)

A detailed argument is provided for the thesis that Dedekind was a logicist about arithmetic. The rules of inference employed in Dedekind's construction of arithmetic are, by his lights, all purely logical in character, and the definitions are all explicit; even the definition of the natural numbers as the abstract type of simply infinite systems can be seen to be explicit. The primitive concepts of the construction are logical in their being intrinsically tied to the functioning of the understanding.

A detailed argument is provided for the thesis that Dedekind was a logicist about arithmetic. The rules of inference employed in Dedekind's construction of arithmetic are, by his lights, all purely logical in character, and the definitions are all explicit; even the definition of the natural numbers as the abstract type of simply infinite systems can be seen to be explicit. The primitive concepts of the construction are logical in their being intrinsically tied to the functioning of the understanding.

Nous publions sous ce titre la traduction française de l'essai philosophique de Kurt Gödel intitulé: «Is Mathematics Syntax of Language?» Inédit jusqu'à présent, l'original paraîtra dans le 3e volume des Collected Works de Gödel, dont la publication est imminente. Nous savons par Hao Wang que, le 15 mai 1953, Paul Arthur Schilpp avait invité Gödel à apporter sa contribution au volume consacré à Carnap dans The Library of Living Philosophers. Le manuscrit de Gödel «Carnap and the Ontology of Mathematics», devait (...) être remis au plus tard le 2 avril 1954. Dés le 2 juillet 1953, Gödel donnait son accord à Schilpp pour la rédaction d'un article intitulé «Some Observations on the Nominalistic View of the Nature of Mathematics.» Cependant, le volume consacré à Carnap paraîtra en 1963 sans qu'y figure la contribution de Gödel. En effet — toujours selon Wang — Gödel avait informé Schilpp, le 2 février 1959, qu'il renonçait à l'envoi de l'article, dont il avait composé, surtout en 1954–1955, plusieur s versions sous le titre «Is Mathematics Syntax of Language?» Pour expliquer cet abandon, Wang avance les raisons suivantes: En premier lieu, Gödel était bien convaincu d'avoir réfuté la thése syntaxique, mais il n'était pas satisfait de son argumentation en faveur du platonisme. Deuxiémement, les critiques de Gödel s'adressent aux théses soutenues par Carnap en 1934 plutôt qu'à celles que ce dernier défendra vingt ans aprés, et qui paraissent moins hostiles au platonisme de son interlocuteur. II pouvait paraître douteux, en troisieme lieu, que Carnap ait eu le temps de rédiger, en 1959, la réponse qu'il aurait du faire, conformément aux régies de la collection, à Gödel. Or, en 1943 déjà, Gödel avait voulu retirer sa contribution au volume consacré à Russell dans la même serie, parce que ce dernier n'avait pu répondre à l'article de Gödel dont la rédaction lui avait été communiquée trop tardivement. (shrink)

I attribute an 'intensional reading' of the second incompleteness theorem to its author, Kurt G del. My argument builds partially on an analysis of intensional and extensional conceptions of meta-mathematics and partially on the context in which G del drew two familiar inferences from his theorem. Those inferences, and in particular the way that they appear in G del's writing, are so dubious on the extensional conception that one must doubt that G del could have understood his theorem extensionally. However, (...) on the intensional conception, the inferences are straightforward. For that reason I conclude that G del had an intensional understanding of his theorem. Since this conclusion is in tension with the generally accepted view of G del's understanding of mathematical truth, I explain how to reconcile that view with the intensional reading of the theorem that I attribute to G del. The result is a more detailed account of G del's conception of meta-mathematics than is currently available. (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 aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic. We begin with an historical overview of landmarks along the road to modern logic, and proceed to a philosophical discussion casting doubt on the possibility of a purely rational justification of the actual delimitation of First-Order-Logic. On this basis, we advance the thesis that a certain historical tradition was essential to the emergence of (...) modern logic; this traditional context is analyzed as consisting in some guiding principles and, particularly, a set of exemplares (i.e., paradigmatic instances). Then, we proceed to interpret the historical course of development reviewed in section 1, which can broadly be described as a two-phased movement of expansion and then restriction of the scope of logical theory. We shall try to pinpoint ambivalencies in the process, and the main motives for subsequent changes. Among the latter, one may emphasize the spirit of modern axiomatics, the situation of foundational insecurity in the 1920s, the resulting desire to find systems well-behaved from a proof-theoretical point of view, and the metatheoretical results of the 1930s. Not surprisingly, the mathematical and, more specifically, the foundational context in which Firs-Order-Logic matured will be seen to have played a primary role in its shaping. (shrink)

This paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic. We begin with an historical overview of landmarks along the road to modern logic, and proceed to a philosophical discussion casting doubt on the possibility of a purely rational justification of the actual delimitation of First-Order Logic. On this basis, we advance the thesis that a certain historical tradition was essential to the emergence (...) of modern logic; this traditional context is analyzed as consisting in some guiding principles and, particularly, a set of exemplars (i.e., paradigmatic instances). Then, we proceed to interpret the historical course of development reviewed in section 1, which can broadly be described as a two-phased movement of expansion and then restriction of the scope of logical theory. We shall try to pinpoint ambivalencies in the process, and the main motives for subsequent changes. Among the latter, one may emphasize the spirit of modern axiomatics, the situation of foundational insecurity in the 1920s, the resulting desire to find systems well-behaved from a proof-theoretical point of view, and the metatheoretical results of the 1930s. Not surprisingly, the mathematical and, more specifically, the foundational context in which First-Order Logic matured will be seen to have played a primary role in its shaping.Mathematical logic is what logic, through twenty-five centuries and a few transformations, has become today. (Jean van Heijenoort). (shrink)

The papers of Kurt Gödel were donated to the Institute for Advanced Study by his widow Adele shortly after his death in 1978. They were catalogued by the review.

Jean van Heijenoort was best known for his editorial work in the history of mathematical logic. I survey his contributions to model-theoretic proof theory, and in particular to the falsifiability tree method. This work of van Heijenoort’s is not widely known, and much of it remains unpublished. A complete list of van Heijenoort’s unpublished writings on tableaux methods and related work in proof theory is appended.