Online research in philosophy

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.

Analyticity is a bogus explanatory concept, and is so even granting genuine synonomy. Definitions can't explain the truth of a statement, let alone its necessity and/or our a priori knowledge of it. The illusion of an explanation is revealed by exposing diverse confusions: e.g., between nominal, conceptual and real definitions, and correspondingly between notational, conceptual, and objectual readings of alleged analytic truths, and between speaking a language and operating a calculus. The putative explananda of analyticity are (alleged) truths about essential properties. Real definitions (a la Socrates) are the (alleged) explananda, not the explanans of analyticity. Their truth can be explained neither by conceptual definitions (a la Kant), nor by nominal definitions (a la Frege). The Quinean assault on synonomy is unsuccessful and in any case misplaced, because analyticity turns on the explanatory import of synonomy, not its existence. Synonym substitution in a logical truth cannot yield a necessary truth for it doesn't preserve logical form. Self-identity statements (for properties and/or individuals) differ in logical form from alter-identity statements.

According to Donald Davidson, linguistic meaning is determined by the principle of charity. Because of Davidson's semantic behaviourism, charity's significance is both epistemic and metaphysical: charity not only provides the radical interpreter with a method for constructing a semantic theory on the basis of his data, but it does so because it is the principle metaphysically determining meaning. In this paper, I assume that charity does determine meaning. On this assumption, I investigate both its epistemic and metaphysical status: is charity a priori or a posteriori? And what kind of necessity does it have? According to Davidson himself, charity is an a priori truth and its necessity is conceptual: it is essential to, or constitutive of, our common concepts of meaning and belief. Not only does this generate tension within Davidson's own, Quine-inspired epistemology, but there is independent reason to think of charity as an empirical truth. Even so, charity might be essential to belief and meaning in the sense of being an a posteriori necessity. I conclude that our ordinary modal intuitions might well support charity's psychological-nomological necessity, but that they do not reach all the way to metaphysical necessity.

At the time that Quine wrote "Two Dogmas" an attack on analyticity was considered a simultaneous attack on the very idea of necessary truth. This all changed with Kripke's revival of a non-epistemic, non-linguistic notion of necessity. My paper discusses the question whether we can take Kripke one step further and free analyticity from its epistemic ties, thereby reinstating a notion of analyticity that is immune to Quine's attack, and compatible with his epistemic holism. I discuss this question by examining Tyler Burge's claim that truths of meaning depend on features of the external environment and are a posteriori. I argue that although Burge's construal of analyticity circumvents Quine's objections, it is not well-motivated philosophically and has problematic implications. Kripke's strategy with respect to necessity, I conclude, is not easily transferable to analyticity.

Contemporary philosophy standardly accepts Frege's conceptions of sense as the determiner of reference and of analyticity as (necessary) truth in virtue of meaning. This paper argues that those conceptions are mistaken. It develops referentially autonomous notions of sense and analyticity and applies them to the semantics of natural kind terms. The arguments of Donnellan, Putnam, and Kripke concerning natural kind terms are widely taken to refute internalist and rationalist theories of meaning. This paper shows that the counter-intuitive consequences about the reference of natural kind terms depend as much on Frege's conceptions of sense and analyticity as on what such theories of meaning say about the senses of natural kind terms. Rather than refuting the internalist and rationalist theories of meaning, the arguments of Donnellan, Putnam, and Kripke are best recast as refutations of their own Fregean assumptions. The paper also shows how autonomous notions of sense and analyticity enable us to reconstruct such theories, formulate an internalist/ rationalist account of semantic knowledge, and preserve Donnellan's, Putnam's, and Kripke's insights about reference.

Standard approaches to possible-world semantics allow us to define necessity and logical truth, but analyticity is considerably more difficult to account for. The source of this difficulty lies in the received model-theoretical conception of a language interpretation. In intuitive terms, analyticity amounts to truth in virtue of meaning alone, i.e. solely in virtue of the interpretation of linguistic expressions. In other words, an analytic sentence should remain true under all variations of ‘extralinguistic reality’ as long as the interpretation is kept constant. However, the received conception of an interpretation as a mapping from language to a model frame hinders keeping the interpretation constant while varying other components of the model. To make room for analyticity, the concept of an interpretation should therefore be revised. The latter should be made richer in content than it has usually been assumed. As a by-product, this revision also gives us a one-dimensional analogue of the influential two-dimensional account of a priori. We are thus able to map out the network of formal connections between the notions of analyticity, apriority, logical truth and necessity.

This is what many philosophers believe today about the analytic/synthetic distinction: In his classic early writings on analyticity -- in particular, in "Truth by Convention," "Two Dogmas of Empiricism," and "Carnap and Logical Truth" -- Quine showed that there can be no distinction between sentences that are true purely by virtue of their meaning and those that are not. In so doing, Quine devastated the philosophical programs that depend upon a notion of analyticity -- specifically, the linguistic theory of necessary truth, and the analytic theory of a priori knowledge.

In a series of interesting and influential papers on semantics, Hilary Putnam has developed what he calls a “post-verificationist” theory of meaning. As part of this work, and not I think the most important part, Putnam defends a limited version of the analytic-synthetic distinction. In this paper I will survey and evaluate Putnam’s defense of analyticity and explore its relationship to broader concerns in semantics. Putnam’s defense of analyticity ultimately fails, and I want to show here exactly why it fails. However, I will also argue that this very failure helps open the prospect of a new optimism concerning the theory of meaning, a theory of meaning finally liberated from the dead weight of the notions of analyticity and necessary truth. Putnam’s work, in fact, makes valuable contributions to such a theory.

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.