This article provides an English translation of a historic discussion on the foundations of mathematics, during which Kurt GÖdel first announced his incompleteness theorem to the mathematical world. The text of the discussion is preceded by brief background remarks and commentary.

Rudolf Carnap's Der logische Aufbau der Welt (The Logical Structure of the World) is generally conceived of as being the failed manifesto of logical positivism. In this paper we will consider the following question: How much of the Aufbau can actually be saved? We will argue that there is an adaptation of the old system which satisfies many of the demands of the original programme. In order to defend this thesis, we have to show how a new 'Aufbau-like' programme may (...) solve or circumvent the problems that affected the original Aufbau project. In particular, we are going to focus on how a new system may address the well-known difficulties in Carnap's Aufbau concerning abstraction, dimensionality, and theoretical terms. (shrink)

The daring idea that convention - human decision - lies at the root of so-called necessary truths, on the one hand, and much of empirical science, on the other, reverberates through twentieth-century philosophy, constituting a revolution comparable to Kant's Copernican revolution. Conventionalism is the first comprehensive study of this radical turn. One of the conclusions it reaches is that the term 'truth by convention', widely held to epitomize conventionalism, reflects a misunderstanding that has led to the association of conventionalism with (...) relativism and postmodernism. Conventionalism, this book argues, did not contend that truths can be stipulated, but rather, that stipulations are often confused with truths. Their efforts were thus directed toward disentangling truth and convention, not reducing truth to convention."--Jacket. (shrink)

The daring idea that convention - human decision - lies at the root both of necessary truths and much of empirical science reverberates through twentieth-century philosophy, constituting a revolution comparable to Kant's Copernican revolution. This book provides a comprehensive study of Conventionalism. Drawing a distinction between two conventionalist theses, the under-determination of science by empirical fact, and the linguistic account of necessity, Yemima Ben-Menahem traces the evolution of both ideas to their origins in Poincaré's geometric conventionalism. She argues that the (...) radical extrapolations of Poincaré's ideas by later thinkers, including Wittgenstein, Quine, and Carnap, eventually led to the decline of conventionalism. This book provides a fresh perspective on twentieth-century philosophy. Many of the major themes of contemporary philosophy emerge in this book as arising from engagement with the challenge of conventionalism. (shrink)

Steve Awodey and A. W. Carus. How Carnap Could Have Replied to Gödel.

Carnap's philosophy is examined from new viewpoints, including three important distinctions: (i) language as calculus vs language as universal medium; (ii) different senses of completeness: (iii) standard vs nonstandard interpretations of (higher-order) logic. (i) Carnap favored in 1930-34 the "formal mode of speech," a corollary to the universality assumption. He later gave it up partially but retained some of its ingredients, e.g., the one-domain assumption. (ii) Carnap's project of creating a universal self-referential language is encouraged by (ii) and by the (...) author's recent work. (iii) Carnap was aware of (iii) and occasionally used the standard interpretation, but was not entirely clear of the nature of the contrast. (shrink)

Recently he has been undergoing a reappraisal, and this book of essays by leading philosophers, logicians, and art historians attempts to return Carnap to his rightful place.

In this paper, I discuss the key role played by Carl G. Hempel's work on theoretical realism and scientific explanation in effecting a crucial philosophical transition between the beginning and the end of the twentieth century. At the beginning of the century, the dominant view was that science is incapable of furnishing explanations of natural phenomena; at the end, explanation is widely viewed as an important, if not the primary, goal of science. In addition to its intellectual benefits, this transition (...) has important practical consequences with respect to dealing with the global problems humans everywhere will face in the twenty-first century. (shrink)

This chapter contains sections titled: Space The constructionist phase Viennese positivism The syntactic phase Semantics Inductive logic The legacy.

Philosophically, there is a book which was a tremendous experience for me: Eino Kaila's hychology of the Person ality _ His thesis that man lives strictly according to his needs - negative and positive - was shattering to me, but terribly true. And I built on this ground. Ingmar Bergman J 1. This introductory essay is neither intended to be a full presentation nor to be a critical evaluation of the contributions to philosophy made by Eino Kaila. Kaila's work will (...) speak to the reader through the four papers here published in English translation from the German. They belong in the tra dition of the Vienna Circle and of logical empiricism. They cover, however, only one period or sector of Kaila's rich and varied life-work. This is the sector best integrated into the mainstream of contemporary philosophic thinking. The primary aim of this essay is to portray an impressive intellectual personality and to make a modest contribution to Finnish and Scandinavian intellectual history. Much of its content may be thought to be of 'local' relevance only. But considering the position which Kaila held in his country and considering his decisive influence on the development of philosophy in Finland, I hope that this local background will also interest an international circle of readers. (shrink)