Online research in philosophy

It would be ever so nice if there were a viable analytic/synthetic distinction. Though nobody knows for sure, there would seem to be several major philosophical projects that having one would advance. For example: analytic sentences2 are supposed to have their truth values solely in virtue of the meanings (together with the syntactic arrangement) of their constituents; i.e., their truth values are supposed to supervene on their linguistic properties alone.3 So they are true in every possible world where they mean what they mean here.4 So they are necessarily true. So if there were a viable analytic/synthetic distinction (‘a/s distinction’ often hereafter), we would understand the necessity of at least some necessary truths. If, in particular, it were to turn out that the logical and/or the mathematical truths are analytic, we would understand why they are necessary. It would be ever so nice to understand why the logical and/or mathematical truths are necessary (cf. Gibson 1998; Quine 1998). Any account of necessity would be welcome, but one according to which necessary truths are analytic has special virtues. Necessity isn’t, of course, an epistemic property. Still, suppose that the necessity of a sentence arises from the meanings of its parts. It’s natural to assume that one of the things one knows in virtue of knowing one’s language is what the expressions of the language mean (cf., e.g., Boghossian 1994). A treatment of modality in terms of analyticity therefore connects the concept of necessity with the concept of knowledge; and knowledge is, of course, an epistemic property. So maybe if there is an a/s distinction, we could explain why the necessary truths, or at least some of the necessary truths, are knowable a priori by anybody who knows a language that can express them (cf. Quine 1991). It bears emphasis that not every theory of..

Quine correctly argues that Carnap's distinction between internal and external questions rests on a distinction between analytic and synthetic, which Quine rejects. I argue that Quine needs something like Carnap's distinction to enable him to explain the obviousness of elementary mathematics, while at the same time continuing to maintain as he does that the ultimate ground for holding mathematics to be a body of truths lies in the contribution that mathematics makes to our overall scientific theory of the world. Quine's arguments against the analytic/synthetic distinction, even if fully accepted, still leave room for a notion of pragmatic analyticity sufficient for the indicated purpose.

There seems to be something special about sentences like ‘all bachelors are unmarried’ and ‘red is a colour’. Philosophers have claimed that this is because they are analytic, where this is to say that they are true in virtue of meaning, and that anyone who understands one can know that it is true. Some have also claimed that the notion of analyticity can be used to solve problems in epistemology. However, in the last century the work of Quine and Putnam led many to doubt such claims, and to suspect that there is no analyticity, only an illusion of analyticity to be explained.

Recently O'Grady argued that Quine's "Two Dogmas" misses its mark when Carnap's use of the analyticity distinction is understood in the light of his deflationism. While in substantial agreement with the stress on Carnap's deflationism, I argue that O'Grady is not sufficiently sensitive to the difference between using the analyticity distinction to support deflationism, and taking a deflationary attitude towards the distinction itself; the latter being much more controversial. Being sensitive to this difference, and viewing Quine as having reason to insist on a non-arbitrary analyticity distinction, we see that "Two Dogmas" makes direct contact with Carnap's deflationism. We must look beyond "Two Dogmas" to Quine's other critiques of analyticity to understand why the arbitrariness of the distinction threatens to undermine or overextend Carnap's deflationism, collapsing it into a view much like Quine's. Quine is then seen to achieve many of Carnap's ends, with the important exception of deflationism.

Recently O’Grady argued that Quine’s “Two Dogmas” misses its mark when Carnap’s use of the analyticity distinction is understood in the light of his deflationism. While in substantial agreement with the stress on Carnap’s deflationism, I argue that O’Grady is not sufficiently sensitive to the difference between using the analyticity distinction to support deflationism, and taking a deflationary attitude towards the distinction itself; the latter being much more controversial. Being sensitive to this difference, and viewing Quine as having reason to insist on a non-arbitrary analyticity distinction, we see that “Two Dogmas” makes direct contact with Carnap’s deflationism. We must look beyond “Two Dogmas” to Quine’s other critiques of analyticity to understand why the arbitrariness of the distinction threatens to undermine or overextend Carnap’s deflationism, collapsing it into a view much like Quine’s. Quine is then seen to achieve many of Carnap’s ends, with the important exception of deflationism.

Paul Boghossian advocates a version of the analytic theory of a priori knowledge. His defense of an "epistemic" notion of analyticity is based on an implicit definition account ofthe meaning of the logical constants. Boghossian underestimates the power of the classical Quinean criticisms, however; the challenge to substantiate the distinction between empirical and non-empirical sentences, as forcefully presented in Two Dogmas, still stands, and the regress from Truth by Convention still needs to be avoided. Here, Quine also showed that there are no implicit definers for the logical constants. Moreover, even if they existed, their epistemic analyticity would, on Boghossian's own account, be doubtful.

Conceptions of analytic truth -- Hume's fork -- Kant and the analytic/synthetic distinction -- Synthetic a priori propositions -- Bolzano and analyticity -- Analyticity in frege -- Russell's paradox and the theory of descriptions -- The Vienna circle -- Carnap and logical empiricism -- Carnap and Quine -- Demise of the aufbau -- Philosophy as logical syntax -- Logical and descriptive languages -- Physical languages -- Analyticity in syntax -- Carnap's move to semantics -- Explications -- Analyticity in a semantic setting -- Eliminating metaphysics : Carnap's final try -- W.V. Quine : explication is elimination -- Behaviorists ex officio -- Analyticity in the crosshairs -- Analyticity and its discontents -- Questioning analyticity -- Quine's two dogmas of empiricism -- Objections to the coherence of analytic -- Quine's coherence arguments : Carnap's reply -- Other responses to the coherence objection : Grice and Strawson on Quine -- A second dogma of empiricism -- Responses to the existence objections to analyticity -- Analyticity by convention -- Quine's developed attitude toward analyticity -- Analyticity and ontology -- Quine's naturalized ontology -- The indeterminacy of translation -- Some consequences of the indeterminacy arguments : ontological relativity and analyticity -- Responses to Quine's indeterminacy arguments -- Carnap's empiricism, semantics, and ontology -- Some Quinean and other responses to empiricism, semantics, and ontology -- Some recent connections between conceptual truths and ontology -- Quine's criterion of ontological commitment, causality, and exists -- Eli Hirsch and Ted Sider on mereological principles -- The Canberra Project : a resurrection of Carnap's aufbau -- Analyticity and epistemology -- Analytic truths and their role in epistemology : the classical position -- Objecting to the classical position -- Bonjour on moderate empiricism -- Quine's epistemology naturalized -- Quine and evidence : responses to circularity -- Kripke on a priority, analyticity, and necessity -- Analyticity repositioned -- The concept analytic -- One type of statement that might be reasonably called analytic -- Aside on two dimensionalism -- Analyticity and T-analyticity -- How analyticity avoids many common objections to analyticity -- Some brief comments on two other approaches to analyticity -- Mathematical claims as T-analytic -- A further potential application : pure and impure stipulata.

Conceptions of analytic truth -- Hume's fork -- Kant and the analytic/synthetic distinction -- Synthetic a priori propositions -- Bolzano and analyticity -- Analyticity in frege -- Russell's paradox and the theory of descriptions -- The Vienna circle -- Carnap and logical empiricism -- Carnap and Quine -- Demise of the aufbau -- Philosophy as logical syntax -- Logical and descriptive languages -- Physical languages -- Analyticity in syntax -- Carnap's move to semantics -- Explications -- Analyticity in a semantic setting -- Eliminating metaphysics : Carnap's final try -- W.V. Quine : explication is elimination -- Behaviorists ex officio -- Analyticity in the crosshairs -- Analyticity and its discontents -- Questioning analyticity -- Quine's two dogmas of empiricism -- Objections to the coherence of analytic -- Quine's coherence arguments : Carnap's reply -- Other responses to the coherence objection : Grice and Strawson on Quine -- A second dogma of empiricism -- Responses to the existence objections to analyticity -- Analyticity by convention -- Quine's developed attitude toward analyticity -- Analyticity and ontology -- Quine's naturalized ontology -- The indeterminacy of translation -- Some consequences of the indeterminacy arguments : ontological relativity and analyticity -- Responses to Quine's indeterminacy arguments -- Carnap's empiricism, semantics, and ontology -- Some Quinean and other responses to empiricism, semantics, and ontology -- Some recent connections between conceptual truths and ontology -- Quine's criterion of ontological commitment, causality, and exists -- Eli Hirsch and Ted Sider on mereological principles -- The Canberra Project : a resurrection of Carnap's aufbau -- Analyticity and epistemology -- Analytic truths and their role in epistemology : the classical position -- Objecting to the classical position -- Bonjour on moderate empiricism -- Quine's epistemology naturalized -- Quine and evidence : responses to circularity -- Kripke on a priority, analyticity, and necessity -- Analyticity repositioned -- The concept analytic -- One type of statement that might be reasonably called analytic -- Aside on two dimensionalism -- Analyticity and T-analyticity -- How analyticity avoids many common objections to analyticity -- Some brief comments on two other approaches to analyticity -- Mathematical claims as T-analytic -- A further potential application : pure and impure stipulata.

Quine’s paper “Two Dogmas of Empiricism” is famous for its attack on analyticity and the analytic/synthetic distinction. But there is an element of Quine’s attack that should strike one as extremely puzzling, namely his objection to Carnap’s account of analyticity. For it appears that, if this objection works, it will not only do away with analyticity, it will also do away with other semantic notions, notions that (or so one would have thought) Quine does not want to do away with, in particular, it will also do away with truth. I shall argue that there is, indeed, no way for Quine to protect truth against the type of argument he himself advanced in “Two Dogmas” against Carnap’s notion of analyticity. If he wants to keep his argument, Quine has to discard truth along with analyticity. At the end of the paper I suggest an interpretation of Quine on which he can be seen as having done just that.

I want to analyse the Quine-Carnap discussion on analyticity with regard to logical, mathematical and set-theoretical statements. In recent years, the renewed interest in Carnap’s work has shed a new light on the analytic-synthetic debate. If one fully appreciates Carnap’s conventionalism, one sees that there was not a metaphysical debate on whether there is an analytic-synthetic distinction, but rather a controversy on the expedience of drawing such a distinction. However, on this view, there can be no longer a single analytic-synthetic distinction, because several kinds of statements could be regarded as analytic (L-determinate). L-equivalence between extra-logical linguistic predicates has already been heavily debated. The recent consensus states that Quine’s rejection of this analytic-synthetic is pragmatically grounded in his linguistic behaviorism. However, Carnap’s logical frameworks also contain other kinds of statements, and it is worthwhile to compare both Quine and Carnap’s grounds for considering these statements as analytic or not analytic. First, I will discuss logical statements. I will argue that Quine draws a very sharp distinction between first order logic and set theory, which should be regarded as a (pragmatic) analytic-synthetic distinction (as Quine admits in an interview, see Theoria, 40, 1994, p. 199). In fact, Quine’s major worry is whether identity statements are analytic. Second, I will discuss mathematical statements. In Carnap’s Foundations of Logic and Mathematics, it is clear that mathematical statements are analytic. For Quine, all mathematical statements are reducible to set-theoretical statements. Third, I discuss the analyticity of set-theoretical statements. For Quine, the membership predicate should be regarded as an interpreted extra-logical predicate. Quine’s work in set theory and his later philosophy of set theory naturally lead to the view that set-theoretical statements cannot be analytic. A major complication for the Quine-Carnap comparison is that Carnap has no elaborate reflections on set theory, while the influence of set theory on Quine’s views can hardly be underestimated. I conclude with some lessons for the contemporary debate on analyticity.