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.

Michael Friedman maintains that Carnap did not fully appreciate the impact of Gödel's first incompleteness theorem on the prospect for a purely syntactic definition of analyticity that would render arithmetic analytically true. This paper argues against this claim. It also challenges a common presumption on the part of defenders of Carnap, in their diagnosis of the force of Gödel's own critique of Carnap in his Gibbs Lecture. The author is grateful to Michael Friedman for valuable comments. Part of the research (...) towards this paper was carried out while the author was a Visiting Fellow at the Center for Philosophy of Science at the University of Pittsburgh. The paper was presented to the Center's Fellowship Reunion Conference in Athens in 1992. It was committed for publication in the Proceedings of that conference, but those Proceedings never appeared. By the time it became evident that they would never appear, both the hard copy and the source file had been mislaid. The hard copy re-surfaced in 2007. The literature on this topic since 1992 appears to leave some space for the ideas and arguments presented here. Although the paper has been updated in light of the more recent literature, its basic thesis, presented in 1992, remains the same. Only 3 is new, questioning a basic presumption made by more recent commentators in their presentation of Gödel's criticism of Carnap in his Gibbs Lecture. For helpful comments on the current version, the author is indebted to Robert Kraut, Stewart Shapiro, and Adam Podlaskowski. CiteULike Connotea Del.icio.us What's this? (shrink)

This paper has three interdependent aims. The first is to make Reichenbach’s views on induction and probabilities clearer, especially as they pertain to his pragmatic justification of induction. The second aim is to show how his view of pragmatic justification arises out of his commitment to extensional empiricism and moots the possibility of a non-pragmatic justification of induction. Finally, and most importantly, a formal decision-theoretic account of Reichenbach’s pragmatic justification is offered in terms both of the minimax principle and the (...) dominance principle. (shrink)

Widespread deflationistic readings of Quine misrepresent his view of disquotation’s significance and the truth predicate’s utility. I demonstrate this by answering a question that philosophers have not directly addressed: how does Quine understand the philosophical problem of truth? A primary thesis of this paper is that we can answer this question only by working from within Quine’s naturalistic framework. Drawing on neglected texts from Quine's corpus, I defend the view that, for Quine, the problem of truth emerges from the development (...) of science, in particular, from logical theorizing. I show that disquotation itself, from this Quinean point of view, is the problematic phenomenon calling for philosophical reflection. I conclude by arguing that Quine does not envisage the kind of explanatory role for disquotation taken up by contemporary deflationists, and he shows no interest in the task that animates deflationism, namely, to show that concerns with truth’s nature are fundamentally confused. (shrink)

Rudolf Carnap’s principle of tolerance states that there is no need to justify the adoption of a logic by philosophical means. Carnap uses the freedom provided by this principle in his philosophy of mathematics: he wants to capture the idea that mathematical truth is a matter of linguistic rules by relying on a strong metalanguage with infinitary inference rules. In this paper, I give a new interpretation of an argument by E. W. Beth, which shows that the principle of tolerance (...) does not suffice to remove all obstacles to the employment of infinitary rules. (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)

This paper argues that Carnap both did not view and should not have viewed Frege's project in the foundations of mathematics as misguided metaphysics. The reason for this is that Frege's project was to give an explication of number in a very Carnapian sense — something that was not lost on Carnap. Furthermore, Frege gives pragmatic justification for the basic features of his system, especially where there are ontological considerations. It will be argued that even on the question of the (...) independent existence of abstract objects, Frege and Carnap held remarkably similar views. I close with a discussion of why, despite all this, Frege would not accept the principle of tolerance. (shrink)

Rudolf Carnap's 1930s philosophy of logic, including his adherence to the principle of tolerance, is discussed. What theses did Carnap commit himself to, exactly? I argue that while Carnap did commit himself to a certain multitude thesis—there are different logics of different languages, and the choice between these languages is merely a matter of expediency—there is no evidence that he rejected a language-transcendent notion of fact, contrary to what Warren Goldfarb and Thomas Ricketts have prominently argued. (In fact, it is (...) obscure just what Goldfarb and Ricketts claim about Carnap). Toward the end I critically discuss Michael Friedman's suggestion that Carnap believed in a relative a priori. (shrink)

This paper examines Quine’s web of belief metaphor and its role in his various responses to conventionalism. Distinguishing between two versions of conventionalism, one based on the under-determination of theory, the other associated with a linguistic account of necessary truth, I show how Quine plays the two versions of conventionalism against each other. Some of Quine’s reservations about conventionalism are traced back to his 1934 lectures on Carnap. Although these lectures appear to endorse Carnap’s conventionalism, in exposing Carnap’s failure to (...) provide an explanatory account of analytic truth, they in fact anticipate Quine’s later critique of conventionalism. I further argue that Quine eventually deconstructs both his own metaphor and the thesis of under-determination it serves to illustrate. This enables him to hold onto under-determination, but at the cost of depleting it of any real epistemic significance. Lastly, I explore the implications of this deconstruction for Quine’s indeterminacy of translation thesis. (shrink)

La rinascita negli ultimi decenni di un nutrito dibattito intorno alla nozione di analiticità dopo le critiche a suo tempo mosse da Quine alla batteria di nozioni utilizzate da Rudolf Carnap (ad esempio, postulati di significato, regole semantiche, definizioni implicite, convenzioni e stipulazioni esplicite) prende le mosse da una riflessione critica sulle argomentazioni di Quine e tenta, da un lato, di approfondire meglio il legame fra analiticità e conoscenza a priori, e, dall’altro, di capire meglio il ruolo che la definizione (...) può svolgere nella costituzione del significato e nella formulazione di verità concettuali. Questa nuova concezione è detta “epistemica” ed ha fra i suoi più autorevoli fautori Crispin Wright, Bob Hale e Paul Boghossian. Boghossian, al pari di molti filosofi critici della nuova concezione epistemica, come Timothy Williamson, conviene però con Quine nel sostenere che gli enunciati analitici hanno portata fattuale e vertono anch’essi sul mondo, oltre che sul linguaggio. Anche per questa ragione essi possono rendere possibile una genuina estensione delle nostre conoscenze. Tuttavia una seconda linea di obiezioni facenti capo dapprima a Paul Horwich, e in seguito agli stessi Wright e Hale, mette in evidenza rispettivamente due difficoltà corrispondenti alle questioni dell’arroganza e dell’accettazione. In questa discussione una parte importante è svolta dalla ripresa e della discussione del condizionale di Carnap, impiegato per rendere conto del ruolo che i termini teorici svolgono nel quadro dell’intera teoria cui appartengono, senza con ciò sposare le conseguenze dell’olismo quineano. La tesi centrale che questo lavoro cerca di rendere plausibile è che una lettura attenta degli ultimi scritti di Carnap mostri come il carattere aperto che egli attribuisce ai termini teorici in ragione, sia dello loro intrinseca indeterminatezza, sia delle revisioni imposte dalle scoperte scientifiche, è perfettamente compatibile con la fattorizzazione del contenuto di una teoria scientifica data in una parte linguistica, il condizionale di Carnap, riguardante la costituzione del significato di un certo termine teorico, e nella sua controparte empirica, che consente di registrare l’impatto dell’esperienza sulla teoria in questione. Se praticabile, questa concezione può a buon diritto entrare nel novero delle teorie epistemiche dell’analiticità, senza accampare alcuna pretesa di far rivivere i fasti della conoscenza a priori classica. (shrink)

This volumes aim is to provide an introduction to Carnaps book from a historical and philosophical perspective, each chapter focusing on one specific issue. The book will be of interest not only to Carnap scholars but to all those interested in the history of analytical philosophy.

My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the complications of design (...) problems from current work in history of engineering and technology studies. I then model Carnap’s practice based on those lessons and uncover ways in which Carnap’s technical work in inductive logic takes some of these lessons on board. This shows ways in which Carnap’s philosophical project subtly changes right through his late work on induction, providing an important corrective to interpretations that ignore the work on inductive logic. Specifically, I show that paying attention to the historical details of Carnap’s attempt to apply his work in inductive logic to decision theory and theoretical statistics in the 1950s and 1960s helps us understand how Carnap develops and rearticulates the philosophical point of the practical/theoretical distinction in his late work, offering thus a new interpretation of Carnap’s technical work within the broader context of philosophy of science and analytical philosophy in general. (shrink)

This dissertation makes two primary contributions. The first three chapters develop an interpretation of Carnap's Meta-Philosophical Program which places stress upon his methodological analysis of the sciences over and above the Principle of Tolerance. Most importantly, I suggest, is that Carnap sees philosophy as contiguous with science—as a part of the scientific enterprise—so utilizing the very same methods and subject to the same limitations. I argue that the methodological reforms he suggests for philosophy amount to philosophy as the explication of (...) the concepts of science through the construction and use of suitably robust meta-logical languages. My primary interpretive claim is that Carnap's understanding of logic and mathematics as a set of formal auxiliaries is premised upon this prior analysis of the character of logico-mathematical knowledge, his understanding of its role in the language of science, and the methods used by practicing mathematicians. Thus the Principle of Tolerance, and so Carnap's logical pluralism, is licensed and justified by these methodological insights. This interpretation of Carnap's program contrasts with the popular Deflationary reading as proposed in Goldfarb & Ricketts. The leading idea they attribute to Carnap is a Logocentrism: That philosophical assertions are always made relative to some particular language, and that our choice of syntactical rules for a language are constitutive of its inferential structure and methods of possible justification. Consequently Tolerance is considered the foundation of Carnap's entire program. My third chapter argues that this reading makes Carnap's program philosophically inert, and I present significant evidence that such a reading is misguided. The final chapter attempts to extend the methodological ideals of Carnap's program to the analysis of the ongoing debate between category- and set-theoretic foundations for mathematics. Recent criticism of category theory as a foundation charges that it is neither autonomous from set theory, nor offers a suitable ontological grounding for mathematics. I argue that an analysis of concepts can be foundationally informative without requiring the construction of those concepts from first principles, and that ontological worries can be seen as methodologically unfruitful. (shrink)