This abridged and revised edition of the original book (Springer-Verlag Vienna, 2001) offers the only comprehensive history and documentation of the Vienna Circle based on new sources with an innovative historiographical approach to the study of science. With reference to previously unpublished archival material and more recent literature, it refutes a number of widespread clichés about "neo-positivism" or "logical positivism". Following some insights on the relation between the history of science and the philosophy of science, the book offers an accessible (...) introduction to the complex subject of "the rise of scientific philosophy" in its socio-cultural background and European philosophical networks till the forced migration in the Anglo-Saxon world. The first part of the book focuses on the origins of Logical Empiricism before World War I and the development of the Vienna Circle in "Red Vienna" (with the "Verein Ernst Mach"), its fate during Austro-Fascism (Schlick's murder 1936) and its final expulsion by National-Socialism beginning with the "Anschluss" in 1938. It analyses the dynamics of the Schlick-Circle in the intellectual context of "late enlightenment" including the minutes of the meetings from 1930 on for the first time published and presents an extensive description of the meetings and international Unity of Science conferences between 1929 and 1941. The chapters introduce the leading philosophers of the Schlick Circle (e.g., Hans Hahn, Otto Neurath, Rudolf Carnap, Philipp Frank, Felix Kaufmann, Edgar Zilsel) and describe the conflicting interaction between Moritz Schlick and Otto Neurath, the long term communication between Moritz Schlick, Friedrich Waismann and Ludwig Wittgenstein, as well as between the Vienna Circle with Heinrich Gomperz and Karl Popper. In addition, Karl Menger's "Mathematical Colloquium" with Kurt Gödel is presented as a parallel movement. The final chapter of this section describes the demise of the Vienna Circle and the forced exodus of scientists and intellectuals from Austria.The second part of the book includes a bio-bibliographical documentation of the Vienna Circle members and for the first time of the assassination of Moritz Schlick in 1936, followed by an appendix comprising an extensive list of sources and literature. (shrink)

This is identical with the first edition (see 21: 2716) except for the addition of a Supplement containing 5 previously published articles and the bringing of the bibliography (now 73 items) up to date. The 5 added articles present clarifications or modifications of views expressed in the first edition. (PsycINFO Database Record (c) 2009 APA, all rights reserved).

Das Ziel: Konstitutionssystem der Begriffe Das Ziel der vorliegenden Untersuchungen ist die Aufstellung eines erkenntnismäßig-logischen Systems der ...

"This book is valuable as expounding in full a theory of meaning that has its roots in the work of Frege and has been of the widest influence.

I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...

Review by A. Kanamori, Boston University (author of The Higher Infinite), review in The Bulletin of Symbolic Logic: “Notwithstanding and braving the daunting complexities of this labyrinth, José Ferreirós has written a magisterial account of the history of set theory which is panoramic, balanced and engaging. Not only does this book synthesize much previous work and provide fresh insights and points of view, but it also features a major innovation, a full-fledged treatment of the emergence of the set-theoretic approach in (...) mathematics from the early nineteenth century. Much of history is in the details, and much of good history is in tone, emphasis, and the drawing together of different strands. Without being Whiggish, Ferreirós is never far from major synthetic themes, themes that in the main work toward balance and pull back from excesses of emphasis of some recent histories. The main criticism of the book would have to be on matters of broad interpretation. Yet, Ferreirós brings a considerable mathematical acuity and expertise to his enterprise, and this makes his viewpoints the more compelling.” . (shrink)

The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers.

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 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)

This unique book by Stewart Shapiro looks at a range of philosophical issues and positions concerning mathematics in four comprehensive sections. Part I describes questions and issues about mathematics that have motivated philosophers since the beginning of intellectual history. Part II is an historical survey, discussing the role of mathematics in the thought of such philosophers as Plato, Aristotle, Kant, and Mill. Part III covers the three major positions held throughout the twentieth century: the idea that mathematics is logic (logicism), (...) the view that the essence of mathematics is the rule-governed manipulation of characters (formalism), and a revisionist philosophy that focuses on the mental activity of mathematics (intuitionism). Finally, Part IV brings the reader up-to-date with a look at contemporary developments within the discipline. This sweeping introductory guide to the philosophy of mathematics makes these fascinating concepts accessible to those with little background in either mathematics or philosophy. (shrink)

The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify (...) many concepts in contemporary mathematics, and thus that both first- and higher-order logics are needed to fully reflect current work. Throughout, the emphasis is on discussing the associated philosophical and historical issues and the implications they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic comparable to that provided in a beginning graduate course which includes the incompleteness of arithmetic and the Lowenheim-Skolem theorems. All those concerned with the foundations of mathematics will find this a thought-provoking discussion of some of the central issues in the field today. (shrink)

The first volume of the Library of Living Philosophers (LLP) appeared in 1939, the brainchild of the late Professor Paul A. Schilpp. Schilpp saw that it would help to eliminate confusion and endless sterile disputes over interpretation if great philosophers could be confronted by their capable philosophical peers and asked to reply. As well as a number of critical essays with the chosen philosopher's replies to each essay, each volume would include an intellectual autobiography and an up-to-date bibliography The LLP (...) series has exceeded even Schilpp's expectations, enabling great philosophers to do more than clarify by extending and elaborating their thoughts. A volume in the Library of Living Philosophers is not merely a commentary on a philosopher's work; it is a critical part of that work. (shrink)

In the paper translated here, Carnap and Bachmann shows that the apparently metalinguistic ?extremal' axioms that are added to some axiom systems to the effect that the foregoing axioms are to apply as broadly, or as narrowly, as possible may be formulated directly as proper axioms. They analyze such axioms into four fundamental types, with the help of a concept of ?complete? isomorphism.

This paper examines from a historical perspective Tarski's 1936 essay, "On the concept of logical consequence." I focus on two main aims. The primary aim is to show how Tarski's definition of logical consequence satisfies two desiderata he himself sets forth for it: (1) it must declare logically correct certain formalizations of the -rule and (2) it must allow for variation of the individual domain in the test for logical consequence. My arguments provide a refutation of some interpreters of Tarski, (...) and notably John Etchemendy, who have claimed that his definition does not satisfy those desiderata. A secondary aim of the paper is to offer some basic elements for an understanding of Tarski's definition in the historical logico-philosophical context in which it was proposed. Such historical understanding provides useful insights on Tarski's informal ideas on logical consequence and their internal cohesion. (shrink)

In this article I describe and evaluate the debate that surrounds the proper interpretation of Tarski’s account of logical consequence given in his classic 1936 article ‘On the concept of logical consequence’. In the late 1980s Etchemendy argued that the familiar model theoretic account of logical consequence is not to be found in Tarski’s original article. Whereas the contemporary account of logical consequence is a variable‐domain conception – in that it calls for a reinterpretation of the domain of variation of (...) the quantifiers when evaluating logical consequence –, no such reinterpretation is found in Tarski’s original account, which was rather based on a ‘fixed‐domain’ conception. Etchemendy’s claims have sparked a debate on Tarski’s conception of logical consequence with important contributions by, among others, Bach, Bays, Corcoran, Gómez‐Torrente, Mancosu, Ray, Sagüillo, and Sher. (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)

The modern notion of the axiomatic method developed as a part of the conceptualization of mathematics starting in the nineteenth century. The basic idea of the method is the capture of a class of structures as the models of an axiomatic system. The mathematical study of such classes of structures is not exhausted by the derivation of theorems from the axioms but includes normally the metatheory of the axiom system. This conception of axiomatization satisfies the crucial requirement that the derivation (...) of theorems from axioms does not produce new information in the usual sense of the term called depth information. It can produce new information in a different sense of information called surface information. It is argued in this paper that the derivation should be based on a model-theoretical relation of logical consequence rather than derivability by means of mechanical (recursive) rules. Likewise completeness must be understood by reference to a model-theoretical consequence relation. A correctly understood notion of axiomatization does not apply to purely logical theories. In the latter the only relevant kind of axiomatization amounts to recursive enumeration of logical truths. First-order “axiomatic” set theories are not genuine axiomatizations. The main reason is that their models are structures of particulars, not of sets. Axiomatization cannot usually be motivated epistemologically, but it is related to the idea of explanation. (shrink)

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)

Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung (...) für die weitere Forschung in der Beweistheorie auf das Endziel hin, unsere üblichen Methoden der Mathematik samt und sonders als widerspruchsfrei zu erkennen. Im Hinblick auf dieses Ziel möchte ich hervorheben, daß die zeit weilig aufgekommene Meinung, aus gewissen neueren Ergebnissen von GÖDEL folge die Undurchführbarkeit meiner Beweistheorie, als irrtüm lich erwiesen ist. Jenes Ergebnis zeigt in der Tat auch nur, daß man für die weitergehenden Widerspruchsfreiheitsbeweise den finiten Stand punkt in einer schärferen Weise ausnutzen muß, als dieses bei der Be trachtung der elementaren Formallsmen erforderlich ist. Göttingen, im März 1934 HILBERT Vorwort zur ersten Auflage Eine Darstellung der Beweistheorie, welche aus dem HILBERTschen Ansatz zur Behandlung der mathematisch-logischen Grundlagenpro bleme erwachsen ist, wurde schon seit längerem von HILBERT ange kündigt. (shrink)

Carnap's position on mathematical truth in The Logical Syntax of Language has been attacked from two sides: Kreisel argues that it is formalistic but should not be, and Friedman argues that it is not formalistic but needs to be. In this paper I argue that the Carnap of Syntax does not eliminate our ordinary notion of mathematical truth in favour of a formal analogue; so Carnap's notion of mathematical truth is not formalistic. I further argue that there is no conflict (...) between Carnap's use of informal notions and his principle of tolerance; so Carnap's definition of mathematical truth need not be formalistic. CiteULike Connotea Del.icio.us What's this? (shrink)

The philosopher Rudolf Carnap, although not himself an originator of mathematical advances in logic, was much involved in the development of the subject. He was the most important and deepest philosopher of the Vienna Circle of logical positivists, or, to use the label Carnap later preferred, logical empiricists. It was Carnap who gave the most fully developed and sophisticated form to the linguistic doctrine of logical and mathematical truth: the view that the truths of mathematics and logic do not describe (...) some Platonistic realm, but rather are artifacts of the way we establish a language in which to speak of the factual, empirical world, fallouts of the representational capacity of language. Carnap was also the thinker who, after Russell, most emphasized the importance of modern logic, and the distinctive advances it enables in the foundations of mathematics, to contemporary philosophy. It was through Carnap's urgings, abetted by Hans Hahn, once Carnap arrived in Vienna as Privatdozent in philosophy in 1926, that the Vienna Circle began to take logic seriously and that positivist philosophy began to grapple with the question of how an account of mathematics compatible with empiricism can be given.A particular facet of Carnap's influence is not widely appreciated: it was Carnap who introduced Kurt Gödel to logic, in the serious sense. Although Gödel seems to have attended a course of Schlick's on philosophy of mathematics in 1925–26, his second year at the University, he did not at that time pursue logic further, nor did the seminar leave much of a trace on him. In the early summer of 1928, however, Carnap gave two lectures to the Circle which Gödel attended, or so I surmise. At these occasions, Carnap presented material from his manuscript treatise, Untersuchungen zur allgemeinen Axiomatik, that is, “Investigations into general axiomatics”, which dealt with questions of consistency, completeness and categoricity. Carnap later circulated this material to various people including Gödel. (shrink)

I argue that recent defenses of the view that in 1936 Tarski required all interpretations of a language to share one same domain of quantification are based on misinterpretations of Tarski’s texts. In particular, I rebut some criticisms of my earlier attack on the fixed-domain exegesis and I offer a more detailed report of the textual evidence on the issue than in my earlier work. I also offer new considerations on subsisting issues of interpretation concerning Tarski’s views on the logical (...) correctness of certain omega-arguments, on the Tarskian proof that Etchemendy took to be modal and fallacious, and on Tarski’s appeals to the “common concept of consequence”. (shrink)

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional (...) coverage of introductory material such as sets. Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. Reduced mathematical rigour to fit the needs of undergraduate students. (shrink)

The common thread running through the logicism of Frege, Dedekind, and Russell is their opposition to the Kantian thesis that our knowledge of arithmetic rests on spatio-temporal intuition. Our critical exposition of the view proceeds by tracing its answers to three fundamental questions: What is the basis for our knowledge of the infinity of the numbers? How is arithmetic applicable to reality? Why is reasoning by induction justified?

Throughout more than two millennia philosophers adhered massively to ideal standards of scientific rationality going back ultimately to Aristotle’s Analytica posteriora . These standards got progressively shaped by and adapted to new scientific needs and tendencies. Nevertheless, a core of conditions capturing the fundamentals of what a proper science should look like remained remarkably constant all along. Call this cluster of conditions the Classical Model of Science . In this paper we will do two things. First of all, we will (...) propose a general and systematized account of the Classical Model of Science. Secondly, we will offer an analysis of the philosophical significance of this model at different historical junctures by giving an overview of the connections it has had with a number of important topics. The latter include the analytic-synthetic distinction, the axiomatic method, the hierarchical order of sciences and the status of logic as a science. Our claim is that particularly fruitful insights are gained by seeing themes such as these against the background of the Classical Model of Science. In an appendix we deal with the historiographical background of this model by considering the systematizations of Aristotle’s theory of science offered by Heinrich Scholz, and in his footsteps by Evert W. Beth. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)