Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science
During the academic year 1940-1941, several giants of analytic philosophy congregated at Harvard: Bertrand Russell, Alfred Tarski, Rudlof Carnap, W. V. Quine, Carl Hempel, and Nelson Goodman were all in residence. This group held regular private meetings, with Carnap, Tarski, and Quine being the most frequent attendees. Carnap, Tarski, and Quine at Harvard allows the reader to act as a fly on the wall for their conversations. Carnap took detailed notes during his year at Harvard. This book includes both a German transcription of these shorthand notes and an English translation in the appendix section. Carnap’s notes cover a wide range of topics, but surprisingly, the most prominent question is: if the number of physical items in the universe is finite (or possibly finite), what form should scientific discourse, and logic and mathematics in particular, take? This question is closely connected to an abiding philosophical problem, one that is of central philosophical importance to the logical empiricists: what is the relationship between the logico-mathematical realm and the material realm studied by natural science? Carnap, Tarski, and Quine’s attempts to answer this question involve a number of issues that remain central to philosophy of logic, mathematics, and science today. This book focuses on three such issues: nominalism, the unity of science, and analyticity. In short, the book reconstructs the lines of argument represented in these Harvard discussions, discusses their historical significance (especially Quine’s break from Carnap), and relates them when possible to contemporary treatments of these issues.

Nominalism. The founding document of twentieth-century Anglophone nominalism is Goodman and Quine’s 1947 “Steps Toward a Constructive Nominalism.” In it, the authors acknowledge that their project’s initial impetus was the conversations of 1940-1941 with Carnap and Tarski. Frost-Arnold's exposition focuses upon the rationales given for and against the nominalist program at its inception. Tarski and Quine’s primary motivation for nominalism is that mathematical sentences will be ‘unintelligible’ or meaningless, and thus perniciously metaphysical, if (contra nominalism) their component terms are taken to refer to abstract objects. Their solution is to re-interpret mathematical language so that its terms only refer to concrete entities—and if the number of concreta is finite, then portions of classical mathematics will be considered meaningless. Frost-Arnold then identifies and reconstructs Carnap’s two most forceful responses to Tarski and Quine’s view: (1) all of classical mathematics is meaningful, even if the number of concreta is finite, and (2) nominalist strictures lead to absurd consequences in mathematics and logic. The second is familiar from modern debates over nominalism, and its force is proportional to the strength of one’s commitment to preserving all of classical mathematics. The first, however, has no direct correlate in the modern debate, and turns upon the question of whether Carnap’s technique for partially interpreting a language can confer meaningfulness on the whole language. Finally, the author compares the arguments for and against nominalism found in the discussion notes to the leading arguments in the current nominalist debate: the indispensability argument and the argument from causal theories of reference and knowledge.

Analyticity. Carnap, Tarski, and Quine’s conversations on finitism have a direct connection to the tenability of the analytic-synthetic distinction: under a finitist-nominalist regime, portions of arithmetic—a supposedly analytic enterprise—become empirical. Other portions of the 1940-41 notes address analyticity directly. Interestingly, Tarski’s criticisms are more sustained and pointed than Quine’s. For example, Tarski suggests that Gödel’s first incompleteness theorem furnishes evidence against Carnap’s conception of analyticity. After reconstructing this argument, Frost-Arnold concludes that it does not tell decisively against Carnap—provided that language is not treated fundamentally proof-theoretically. Quine’s points of disagreement with Carnap in the discussion notes are primarily denials of Carnap’s premises without argument. They do, however, allow us new and more precise characterizations of Carnap and Quine’s differences. Finally, the author forwards two historical conjectures concerning the radicalization of Quine’s critique of analyticity in the period between “Truth by Convention” and “Two Dogmas.” First, the finitist conversations could have shown Quine how the apparently analytic sentences of arithmetic could be plausibly construed as synthetic. Second, Carnap’s shift during his semantic period toward intensional analyses of linguistic concepts, including synonymy, perhaps made Quine, an avowed extensionalist, more skeptical of meaning and analyticity.

Unity of Science. The unity of science movement originated in Vienna in the 1920s, and figured prominently in the transplantation of logical empiricism into North America in the 1940s. Carnap, Tarski, and Quine’s search for a total language of science that incorporates mathematical language into that of the natural and social sciences is a clear attempt to unify the language of science. But what motivates the drive for such a unified science? Frost-Arnold locates the answer in the logical empiricists’ antipathy towards speculative metaphysics, in contrast with meaningful scientific claims. I present evidence that, for logical empiricists over several decades, an apparently meaningful assertion or term is metaphysical if and only if that assertion or term cannot be incorporated into a language of unified science. Thus, constructing a single language of science that encompasses the mathematical and natural domains would ensure that mathematical entities are not on par with entelechies and Platonic Forms. The author explores various versions of this criterion for overcoming metaphysics, focusing on Carnap and Neurath. Finally, I consider an obstacle facing their strategy for overcoming metaphysics: there is no effective procedure to show that a given claim or term cannot be incorporated within a language.
1114335588
Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science
During the academic year 1940-1941, several giants of analytic philosophy congregated at Harvard: Bertrand Russell, Alfred Tarski, Rudlof Carnap, W. V. Quine, Carl Hempel, and Nelson Goodman were all in residence. This group held regular private meetings, with Carnap, Tarski, and Quine being the most frequent attendees. Carnap, Tarski, and Quine at Harvard allows the reader to act as a fly on the wall for their conversations. Carnap took detailed notes during his year at Harvard. This book includes both a German transcription of these shorthand notes and an English translation in the appendix section. Carnap’s notes cover a wide range of topics, but surprisingly, the most prominent question is: if the number of physical items in the universe is finite (or possibly finite), what form should scientific discourse, and logic and mathematics in particular, take? This question is closely connected to an abiding philosophical problem, one that is of central philosophical importance to the logical empiricists: what is the relationship between the logico-mathematical realm and the material realm studied by natural science? Carnap, Tarski, and Quine’s attempts to answer this question involve a number of issues that remain central to philosophy of logic, mathematics, and science today. This book focuses on three such issues: nominalism, the unity of science, and analyticity. In short, the book reconstructs the lines of argument represented in these Harvard discussions, discusses their historical significance (especially Quine’s break from Carnap), and relates them when possible to contemporary treatments of these issues.

Nominalism. The founding document of twentieth-century Anglophone nominalism is Goodman and Quine’s 1947 “Steps Toward a Constructive Nominalism.” In it, the authors acknowledge that their project’s initial impetus was the conversations of 1940-1941 with Carnap and Tarski. Frost-Arnold's exposition focuses upon the rationales given for and against the nominalist program at its inception. Tarski and Quine’s primary motivation for nominalism is that mathematical sentences will be ‘unintelligible’ or meaningless, and thus perniciously metaphysical, if (contra nominalism) their component terms are taken to refer to abstract objects. Their solution is to re-interpret mathematical language so that its terms only refer to concrete entities—and if the number of concreta is finite, then portions of classical mathematics will be considered meaningless. Frost-Arnold then identifies and reconstructs Carnap’s two most forceful responses to Tarski and Quine’s view: (1) all of classical mathematics is meaningful, even if the number of concreta is finite, and (2) nominalist strictures lead to absurd consequences in mathematics and logic. The second is familiar from modern debates over nominalism, and its force is proportional to the strength of one’s commitment to preserving all of classical mathematics. The first, however, has no direct correlate in the modern debate, and turns upon the question of whether Carnap’s technique for partially interpreting a language can confer meaningfulness on the whole language. Finally, the author compares the arguments for and against nominalism found in the discussion notes to the leading arguments in the current nominalist debate: the indispensability argument and the argument from causal theories of reference and knowledge.

Analyticity. Carnap, Tarski, and Quine’s conversations on finitism have a direct connection to the tenability of the analytic-synthetic distinction: under a finitist-nominalist regime, portions of arithmetic—a supposedly analytic enterprise—become empirical. Other portions of the 1940-41 notes address analyticity directly. Interestingly, Tarski’s criticisms are more sustained and pointed than Quine’s. For example, Tarski suggests that Gödel’s first incompleteness theorem furnishes evidence against Carnap’s conception of analyticity. After reconstructing this argument, Frost-Arnold concludes that it does not tell decisively against Carnap—provided that language is not treated fundamentally proof-theoretically. Quine’s points of disagreement with Carnap in the discussion notes are primarily denials of Carnap’s premises without argument. They do, however, allow us new and more precise characterizations of Carnap and Quine’s differences. Finally, the author forwards two historical conjectures concerning the radicalization of Quine’s critique of analyticity in the period between “Truth by Convention” and “Two Dogmas.” First, the finitist conversations could have shown Quine how the apparently analytic sentences of arithmetic could be plausibly construed as synthetic. Second, Carnap’s shift during his semantic period toward intensional analyses of linguistic concepts, including synonymy, perhaps made Quine, an avowed extensionalist, more skeptical of meaning and analyticity.

Unity of Science. The unity of science movement originated in Vienna in the 1920s, and figured prominently in the transplantation of logical empiricism into North America in the 1940s. Carnap, Tarski, and Quine’s search for a total language of science that incorporates mathematical language into that of the natural and social sciences is a clear attempt to unify the language of science. But what motivates the drive for such a unified science? Frost-Arnold locates the answer in the logical empiricists’ antipathy towards speculative metaphysics, in contrast with meaningful scientific claims. I present evidence that, for logical empiricists over several decades, an apparently meaningful assertion or term is metaphysical if and only if that assertion or term cannot be incorporated into a language of unified science. Thus, constructing a single language of science that encompasses the mathematical and natural domains would ensure that mathematical entities are not on par with entelechies and Platonic Forms. The author explores various versions of this criterion for overcoming metaphysics, focusing on Carnap and Neurath. Finally, I consider an obstacle facing their strategy for overcoming metaphysics: there is no effective procedure to show that a given claim or term cannot be incorporated within a language.
49.99 In Stock
Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science

Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science

by Greg Frost-Arnold
Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science

Carnap, Tarski, and Quine at Harvard: Conversations on Logic, Mathematics, and Science

by Greg Frost-Arnold

eBook

$49.99 

Available on Compatible NOOK devices, the free NOOK App and in My Digital Library.
WANT A NOOK?  Explore Now

Related collections and offers


Overview

During the academic year 1940-1941, several giants of analytic philosophy congregated at Harvard: Bertrand Russell, Alfred Tarski, Rudlof Carnap, W. V. Quine, Carl Hempel, and Nelson Goodman were all in residence. This group held regular private meetings, with Carnap, Tarski, and Quine being the most frequent attendees. Carnap, Tarski, and Quine at Harvard allows the reader to act as a fly on the wall for their conversations. Carnap took detailed notes during his year at Harvard. This book includes both a German transcription of these shorthand notes and an English translation in the appendix section. Carnap’s notes cover a wide range of topics, but surprisingly, the most prominent question is: if the number of physical items in the universe is finite (or possibly finite), what form should scientific discourse, and logic and mathematics in particular, take? This question is closely connected to an abiding philosophical problem, one that is of central philosophical importance to the logical empiricists: what is the relationship between the logico-mathematical realm and the material realm studied by natural science? Carnap, Tarski, and Quine’s attempts to answer this question involve a number of issues that remain central to philosophy of logic, mathematics, and science today. This book focuses on three such issues: nominalism, the unity of science, and analyticity. In short, the book reconstructs the lines of argument represented in these Harvard discussions, discusses their historical significance (especially Quine’s break from Carnap), and relates them when possible to contemporary treatments of these issues.

Nominalism. The founding document of twentieth-century Anglophone nominalism is Goodman and Quine’s 1947 “Steps Toward a Constructive Nominalism.” In it, the authors acknowledge that their project’s initial impetus was the conversations of 1940-1941 with Carnap and Tarski. Frost-Arnold's exposition focuses upon the rationales given for and against the nominalist program at its inception. Tarski and Quine’s primary motivation for nominalism is that mathematical sentences will be ‘unintelligible’ or meaningless, and thus perniciously metaphysical, if (contra nominalism) their component terms are taken to refer to abstract objects. Their solution is to re-interpret mathematical language so that its terms only refer to concrete entities—and if the number of concreta is finite, then portions of classical mathematics will be considered meaningless. Frost-Arnold then identifies and reconstructs Carnap’s two most forceful responses to Tarski and Quine’s view: (1) all of classical mathematics is meaningful, even if the number of concreta is finite, and (2) nominalist strictures lead to absurd consequences in mathematics and logic. The second is familiar from modern debates over nominalism, and its force is proportional to the strength of one’s commitment to preserving all of classical mathematics. The first, however, has no direct correlate in the modern debate, and turns upon the question of whether Carnap’s technique for partially interpreting a language can confer meaningfulness on the whole language. Finally, the author compares the arguments for and against nominalism found in the discussion notes to the leading arguments in the current nominalist debate: the indispensability argument and the argument from causal theories of reference and knowledge.

Analyticity. Carnap, Tarski, and Quine’s conversations on finitism have a direct connection to the tenability of the analytic-synthetic distinction: under a finitist-nominalist regime, portions of arithmetic—a supposedly analytic enterprise—become empirical. Other portions of the 1940-41 notes address analyticity directly. Interestingly, Tarski’s criticisms are more sustained and pointed than Quine’s. For example, Tarski suggests that Gödel’s first incompleteness theorem furnishes evidence against Carnap’s conception of analyticity. After reconstructing this argument, Frost-Arnold concludes that it does not tell decisively against Carnap—provided that language is not treated fundamentally proof-theoretically. Quine’s points of disagreement with Carnap in the discussion notes are primarily denials of Carnap’s premises without argument. They do, however, allow us new and more precise characterizations of Carnap and Quine’s differences. Finally, the author forwards two historical conjectures concerning the radicalization of Quine’s critique of analyticity in the period between “Truth by Convention” and “Two Dogmas.” First, the finitist conversations could have shown Quine how the apparently analytic sentences of arithmetic could be plausibly construed as synthetic. Second, Carnap’s shift during his semantic period toward intensional analyses of linguistic concepts, including synonymy, perhaps made Quine, an avowed extensionalist, more skeptical of meaning and analyticity.

Unity of Science. The unity of science movement originated in Vienna in the 1920s, and figured prominently in the transplantation of logical empiricism into North America in the 1940s. Carnap, Tarski, and Quine’s search for a total language of science that incorporates mathematical language into that of the natural and social sciences is a clear attempt to unify the language of science. But what motivates the drive for such a unified science? Frost-Arnold locates the answer in the logical empiricists’ antipathy towards speculative metaphysics, in contrast with meaningful scientific claims. I present evidence that, for logical empiricists over several decades, an apparently meaningful assertion or term is metaphysical if and only if that assertion or term cannot be incorporated into a language of unified science. Thus, constructing a single language of science that encompasses the mathematical and natural domains would ensure that mathematical entities are not on par with entelechies and Platonic Forms. The author explores various versions of this criterion for overcoming metaphysics, focusing on Carnap and Neurath. Finally, I consider an obstacle facing their strategy for overcoming metaphysics: there is no effective procedure to show that a given claim or term cannot be incorporated within a language.

Product Details

ISBN-13: 9780812698374
Publisher: Open Court Publishing Company
Publication date: 08/19/2013
Series: NONE
Sold by: Barnes & Noble
Format: eBook
Pages: 270
File size: 4 MB

About the Author

Greg Frost-Arnold: Is Assistant Professor, Philosophy Department, Hobart&William Smith Colleges. He is Associate Editor, Journal of the History of Analytical Philosophy.

Table of Contents

Preface xiii

1 Overview and Historical Background 1

1.1 Introduction: Setting the Historical Stage 1

1.2 The Main Project: A ?Finitist-Nominalist' Language of Science 3

1.3 Mathematics in a Finitist-Nominalist Language 11

1.4 Pre-history of the 1941 Finitist-Nominalist Project 15

2 Justifications for the Finitist-Nominalist Conditions 27

2.1 First Justification: Verständlichkeit 27

2.2 Second Justification: Overcoming Metaphysics 37

2.3 Third Justification: Inferential Safety 43

2.4 Fourth Justification: Natural Science 45

2.5 Current Justifications for Nominalism 47

3 Objections to the Finitist-Nominalist Project 51

3.1 Why Does Carnap Participate, Given His Reservations? 51

3.2 Higher Mathematics Is Meaningful 54

3.3 Are Any Infinities Compatible with the FN Project? 61

3.4 Attacking the FN Conditions 65

3.5 An Objection Not in the Notes 71

4 The Finitist-Nominalist Project and Analyticity 73

4.1 Under a Finitist-Nominalist Regime, Arithmetic Is Synthetic 74

4.2 Radicalization of Quine's Critique of Analyticity 81

5 Direct Discussions of Analytic Truth in 1940-41 89

5.1 What Is Analyticity, circa 1940? 90

5.2 Tarski's Objections to Analyticity 94

5.3 Quine's Disagreements with Carnap circa 1940 102

6 Overcoming Metaphysics through the Unity of Science 117

6.1 Unity of Language, Not Laws 118

6.2 Overcoming Metaphysics 122

6.3 A Difficulty: What Cannot Be Incorporated into a Language of Science? 133

6.4 Conclusion: The Origin of the Term 'Unified Science' 136

Appendix A Translation 139

Appendix B German Transcription 191

References 243

Index 251

From the B&N Reads Blog

Customer Reviews