Online research in philosophy

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.

Kripke and Putnam have convinced most philosophers that we cannot do metaphysics of nature by analysing the senses of natural kind terms -- simply because natural kind terms do not have senses. Neo-descriptivists, especially Frank Jackson and David Chalmers, believe that this view is mistaken. Merging classical descriptivism with a Kaplan-inspired two-dimensional framework, neo-descriptivists devise a semantics for natural kind terms that assigns natural kind terms so-called 'primary intensions'. Since primary intensions are senses by other names, Jackson and Chalmers conclude that we can and should do metaphysics of nature by analysing the natural kind concepts competent speakers possess. I argue that neo-descriptivism does not provide a suitable basis for doing this kind of metaphysics. I first of all give a detailed account of the neo-descriptivist semantics and deflate the intuitive support neo-descriptivists try to draw from their case of the XYZ-world. I then present three arguments -- the Argument from Ignorance, the Argument from Conceptual Analysis, and the Argument from Laziness. Taken together, these arguments undermine the neo-descriptivist analysis of natural kind terms. I conclude that natural kind terms do not have senses, that we cannot do metaphysics of nature by analysing the senses of our kind terms, and that the Kripke-Putnam account still provides the best semantics for natural kind terms we have.

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.

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.

In Naming and Necessity Kripke accuses Frege of conflating two notions of meaning (or sense), one is meaning proper, the other is determining of reference (p. 59). More precisely, Kripke argues that Frege conflated the question of how the meaning of a word is given or determined with the question of how its reference is determined. The criterial mark of meaning determination, according to Kripke, is a statement of synonymy: if we give the sense of “a” by means of “b”, then the two expressions must be synonymous. The criterial mark of reference-determination is knowledge, typically a priori, of the truth of their identity: If the reference of “a” is given by “b”, then we know a priori that a is b. Kripke then argues that Frege’s conceptions of both meaning-determination and of reference determination were wrong, and proposes an alternative picture of reference determination.

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.

This paper develops a model theoretic semantics for so called natural kind terms that reflects the viewpoint of (Kripke, 1980) and (Putnam, 1975). The semantics generates a formal counterpart of the K-mechanism investigated in (Salmon, 1981) and in unpublished work by Keith Donnellan.

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.

Natural kind terms don’t have descriptive meanings, Devitt claims. The paper argues that this claim is tantamount to denying the existence of natural kind concepts, in the usual sense of “concept”, since concepts are predicate meanings. The denial is counterintuitive, and has bad epistemological consequences, since natural kind concepts are among the building blocks of our understanding of the world. The paper ends with a positive proposal, featuring a bold claim: if the standard Kripke-Putnam, line on semantics of natural kind terms is correct, and if there are natural kind concepts, then propositions analyzing these concepts are not apriori knowable. Analyticity does not entail apriority.

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.