Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science

History and Philosophy of Logic 26 (4):327-357 (2005)
Abstract
Tarski, Carnap and Quine spent the academic year 1940?1941 together at Harvard. In their autobiographies, both Carnap and Quine highlight the importance of the conversations that took place among them during the year. These conversations centred around semantical issues related to the analytic/synthetic distinction and on the project of a finitist/nominalist construction of mathematics and science. Carnap's Nachlaß in Pittsburgh contains a set of detailed notes, amounting to more than 80 typescripted pages, taken by Carnap while these discussions were taking place. In my article, I present a survey of these notes with special emphasis on Tarski's rejection of the analytic/synthetic distinction, the passage from typed languages to first-order languages, Tarski's finitism/nominalism, and the construction of a finitist language for mathematics and science
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/01445340500141586
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 25,100
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Testability and Meaning.Rudolf Carnap - 1936 - Philosophy of Science 3 (4):419-471.
What Are Logical Notions?John Corcoran & Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
Encyclopedia of Philosophy.Leonard Linsky - 1970 - Ethics 80 (4):322-323.
Steps Toward a Constructive Nominalism.Nelson Goodman & W. V. Quine - 1947 - Journal of Symbolic Logic 12 (4):105-122.

View all 12 references / Add more references

Citations of this work BETA
‘‘Quine’s Evolution From ‘Carnap’s Disciple’ to the Author of “Two Dogmas.Greg Frost-Arnold - 2011 - Hopos: The Journal of the International Society for the History of Philosophy of Science 1 (2):291-316.
Carnapian and Tarskian Semantics.Pierre Wagner - 2017 - Synthese 194 (1):97-119.
Can First-Order Logical Truth Be Defined in Purely Extensional Terms?Gary Ebbs - 2014 - British Journal for the History of Philosophy 22 (2):343-367.

View all 7 citations / Add more citations

Similar books and articles
Carnap and Translational Indeterminacy.William H. Berge - 1995 - Synthese 105 (1):115 - 121.
Does Ontology Rest on a Mistake?Stephen Yablo - 1998 - Aristotelian Society Supplementary Volume 72 (1):229 - 283.
Analyticity, Carnap, Quine, and Truth.Marian David - 1996 - Philosophical Perspectives 10:281 - 296.
Two Dogmas'–All Bark and No Bite? Carnap and Quine on Analyticity.Paul A. Gregory - 2003 - Philosophy and Phenomenological Research 67 (3):633–648.
Putting the Bite Back Into.Paul Gregory - 2003 - Principia 7 (1-2):115-129.
Empirical Equivalence in the Quine-Carnap Debate.Eric J. Loomis - 2006 - Pacific Philosophical Quarterly 87 (4):499–508.
Quine, Analyticity and Philosophy of Mathematics.John P. Burgess - 2004 - Philosophical Quarterly 54 (214):38–55.

Monthly downloads

Added to index

2010-08-10

Total downloads

35 ( #139,488 of 2,132,880 )

Recent downloads (6 months)

1 ( #388,052 of 2,132,880 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums