The Analytic-Synthetic Distinction

In this paper, I introduce and defend a notion of analyticity for formal languages. I first uncover a crucial flaw in Timothy Williamson’s famous argument template against analyticity, when it is applied to sentences of formal mathematical languages. Williamson’s argument targets the popular idea that a necessary condition for analyticity is that whoever understands an analytic sentence assents to it. Williamson argues that for any given candidate analytic sentence, there can be people who understand that sentence and yet who fail (...) to assent to it. I argue that, on the most natural understanding of the notion of assent when it is applied to sentences of formal mathematical languages, Williamson’s argument fails. Formal analyticity is the notion of analyticity that is based on this natural understanding of assent. I go on to develop the notion of formal analyticity and defend the claim that there are formally analytic sentences and rules of inference. I conclude by showing the potential payoffs of recognizing formal analyticity. (shrink)

In "Analyticity, Necessity, and the Epistemology of Semantics," Jerrold Katz argues against the Fregean thesis that sense determines reference. He proposes a reconception of sense, uses this to give a non-standard understanding of analyticity, and then goes on to show how these moves block arguments for semantic externalism, evade Quine's attacks on analyticity, and ground a "rationalist/internalist" conception of semantic knowledge. For these reasons it seems that quite a lot hangs on the viability of Katz's proposal. Therefore, the question whether (...) his program can be sustained is of considerable philosophical interest. This paper argues that Katz's program cannot succeed. Because he rejects the Fregean thesis, Katz ends up with an impoverished account of analyticity incapable of doing the work Katz requires of it. If this is right, then we have no reason to endorse Katz's idiosyncratic notions of sense and analyticity over their traditional competitors. (shrink)

Containing three previously unpublished papers by W.V. Quine as well as historical, exegetical, and critical papers by several leading Quine scholars including Hylton, Ebbs, and Ben-Menahem, this volume aims to remedy the comparative lack of historical investigation of Quine and his philosophical context.

According to one view on analyticity in formal languages, a definition of 'analytic' can be given by semantic notions alone. In this contribution we are going to show that a purely semantic conception of analyticity is inadequate. To do so, we provide a method for transforming theories with a synthetic empirical basis into logical equivalent theories with an analytic ``empirical'' basis. We draw the conclusion that a definition of analyticity is adequate only if it is a pragmatic one.

W. V. Quine’s first philosophical monograph, Word and Object, is widely recognized as one of the most influential books of twentieth century philosophy. Notes, letters, and draft manuscripts at the Quine Archives, however, reveal that Quine was already working on a philosophical book in the early 1940s; a project entitled Sign and Object. In this paper, I examine these and other unpublished documents and show that Sign and Object sheds new light on the evolution of Quine’s ideas. Where “Two Dogmas (...) of Empiricism” is usually considered to be a turning point in Quine’s development, this paper redefines the place of ‘Two Dogmas’ in his oeuvre. Not only does Quine’s book project reveal that his views were already fairly naturalistic in the early 1940s ; Sign and Object also unearths the steps Quine had to take in maturing his perspective; steps that will be traced in the second half of this paper. (shrink)

A common account of the distinction between analytic and synthetic truths is that while the former are true solely in virtue of meaning, the latter are true also in virtue of the way of the world. Quine famously disputed this characterization, and his skepticism over the analytic/synthetic distinction has cast a long shadow. Against this skepticism, I argue that the common account comes close to the truth, and that truthmaker theory in particular offers the resources for providing a compelling account (...) of the distinction that preserves the basic ideas behind it, and avoids the standard criticisms facing the distinction. In particular, I argue that analytic truths are truths that ontologically depend in no way whatsoever upon what exists. (shrink)

Carnap suggests that philosophy can be construed as being engaged solely in conceptual engineering. I argue that since many results of the sciences can be construed as stemming from conceptual engineering as well, Carnap’s account of philosophy can be methodologically naturalistic. This is also how he conceived of his account. That the sciences can be construed as relying heavily on conceptual engineering is supported by empirical investigations into scientific methodology, but also by a number of conceptual considerations. I present a (...) new conceptual consideration that generalizes Carnap’s conditions of adequacy for analytic–synthetic distinctions and thus widens the realm in which conceptual engineering can be used to choose analytic sentences. I apply these generalized conditions of adequacy to a recent analysis of scientific theories and defend the relevance of the analytic–synthetic distinction against criticisms by Quine, Demopoulos, and Papineau. (shrink)

This paper concerns the three great modal dichotomies: (i) the necessary/contingent dichotomy; (ii) the a priori/empirical dichotomy; and (iii) the analytic/synthetic dichotomy. These can be combined to produce a tri-dichotomy of eight modal categories. The question as to which of the eight categories house statements and which do not is a pivotal battleground in the history of analytic philosophy, with key protagonists including Descartes, Hume, Kant, Kripke, Putnam and Kaplan. All parties to the debate have accepted that some categories are (...) void. This paper defends the contrary view that all eight categories house statements—a position I dub ‘octopropositionalism’. Examples of statements belonging to all eight categories are given. (shrink)

I argue that code words like “inner city” do not semantically encode hidden or implicit meanings, and offer an account of how they nonetheless manage to bring about the surprising effects discussed in Mendelberg 2001, White 2007, and Stanley 2015.

A critical survey of Quine's arguments against the analytic/synthetic distinction.

I argue that Quinean naturalists’ holism-based arguments against analyticity and apriority are more difficult to resist than is generally supposed, for two reasons. First, although opponents of naturalism sometimes dismiss these arguments on the grounds that the holistic premises on which they depend are unacceptably radical, it turns out that the sort of holism required by these arguments is actually quite minimal. And second, although it’s true, as Grice and Strawson pointed out long ago, that these arguments can succeed only (...) if there isn’t any principled criterion for meaning change, such a criterion turns out to be hard to come by. David Chalmers has recently argued that such a criterion must exist, since the norms governing belief revision are subject to obvious exceptions that can be explained only by appeal to meaning change. But this, I argue, is incorrect: if choices about how to use language are themselves rationally assessable, then there are no such exceptions to be explained. To show that this is so, I formulate a new kind of coherence norm that may be useful for reasoning formally about the relationship between meaning and evidence. (shrink)

The paper criticizes epistemological conceptions of analytic or conceptual truth, on which assent to such truths is a necessary condition of understanding them. The critique involves no Quinean scepticism about meaning. Rather, even granted that a paradigmatic candidate for analyticity is synonymy with a logical truth, both the former and the latter can be intelligibly doubted by linguistically competent deviant logicians, who, although mistaken, still constitute counterexamples to the claim that assent is necessary for understanding. There are no analytic or (...) conceptual truths in the epistemological sense. The critique is extended to purportedly analytic inference rules. An alternative account is sketched on which understanding a word is a matter of participation in a linguistic practice, while synonymy and concept identity consist in sameness of truth-conditional semantic properties. Although there are philosophical questions about concepts, the idea that philosophical questions in general are conceptual questions generates only an illusion of insight into philosophical methodology. (shrink)

In the following we will investigate whether von Mises’ frequency interpretation of probability can be modified to make it philosophically acceptable. We will reject certain elements of von Mises’ theory, but retain others. In the interpretation we propose we do not use von Mises’ often criticized ‘infinite collectives’ but we retain two essential claims of his interpretation, stating that probability can only be defined for events that can be repeated in similar conditions, and that exhibit frequency stabilization. The central idea (...) of the present article is that the mentioned ‘conditions’ should be well-defined and ‘partitioned’. More precisely, we will divide probabilistic systems into object, initializing, and probing subsystem, and show that such partitioning allows to solve problems. Moreover we will argue that a key idea of the Copenhagen interpretation of quantum mechanics (the determinant role of the observing system) can be seen as deriving from an analytic definition of probability as frequency. Thus a secondary aim of the article is to illustrate the virtues of analytic definition of concepts, consisting of making explicit what is implicit. (shrink)

In this paper I defend the concept of metaphysical analyticity, and argue for the notion of analyticity as truth in virtue of the reference determiner, introduced by Gillian K. Russell. Contrary to Russell, I try to show that necessary a posteriori statements are analytic under this notion. Also, I maintain that contingent a priori statements cannot be properly called analytic.

Analytic philosophy and phenomenology represent two major movements in the study of the mind. Both developed in the twentieth century, having roots that go back well before. Even though the two schools of thought have been in dialogue in the past, they are currently at an impasse. In this paper, I examine the origin of this impasse and suggest that at a crucial point in the conversation, right when the issues were clearly articulated and there was broad agreement on the (...) key questions, analytic philosophy abruptly changed the subject. Early analytic philosophers, like Carnap and Schlick, sought to establish a sharp distinction between the objective content of one’s claims and beliefs and what is merely subjective or perspectival. Phenomenologists denied this distinction. When efforts to defend the distinction failed, analytic philosophy took the distinction to be obvious and in no need of defense. I call this a shocking non sequitur. (shrink)

This paper propounds and defends a distinction between analytic and synthetic truth that is suggested by some well-Known remarks by c. S. Peirce. Important objections by quine and others to the usual distinction are discussed, And a definition of cognitive synonymy for predicates is offered. It is argued that the determinateness of a predicate's sense requires an analytic-Synthetic distinction for a large class of statements including that predicate. It is conceded that the predicates of everyday language probably do not possess (...) a fully determinate meaning, But at best this shows, It is argued, That a satisfactory analytic-Synthetic distinction has the character of a conceptual ideal. (shrink)

The present paper is an attempt to give an account of the analytic-synthetic distinction both inside and outside of physical theory. It is hoped that the paper is sufficiently nontechnical to be followed by a reader whose background in science is not extensive; but it has been necessary to consider problems connected with physical science (particularly the definition of 'kinetic energy,' and the conceptual problems connected with geometry) in order to bring out features of the analytic-synthetic distinction that seem to (...) me to be the most important. (shrink)

W. V. Quine assumed that in _Empiricism, Semantics, and Ontology Rudolf Carnap was attempting to dodge commitment to abstract entities--without either renouncing quantification over them or demonstrating their dispensability--by wielding the analytic/synthetic distinction against ontological issues. Quine's interpretation of Carnap's intent--and his criticism of it--is widely endorsed. But Carnap objected, I argue, not to abstract entities, but to his critics' suggestion that empiricism implies nominalism. Quine's and Carnap's views are therefore more akin than Quine ever suspected. Unfortunately, Quine's misinterpretation of (...) Carnap's position has led to a misunderstanding of the implications of Quine's own naturalistic turn for contemporary ontology. (shrink)

Modern empiricism has been conditioned in large part by two dogmas. One is a belief in some fundamental cleavage between truths which are analytic, or grounded in meanings independently of matters of fact and truths which are synthetic, or grounded in fact. The other dogma is reductionism: the belief that each meaningful statement is equivalent to some logical construct upon terms which refer to immediate experience. Both dogmas, I shall argue, are ill founded. One effect of abandoning them is, as (...) we shall see, a blurring of the supposed boundary between speculative metaphysics and natural science. Another effect is a shift toward pragmatism. (shrink)