The Analytic-Synthetic Distinction

The title of this monograph needs explanation. It certainly sounds too promising. A more adequate, though more cumbersome one, would read: the logical syntax and semantics of the language of empirical theories. The treatment of this subject in the present monograph needs further qualifications. It focusses on what is characteristic of empirical theories as opposed to others, viz. mathematical ones. Now the difference between these two kinds of theories lies evidently, not in their syntax, but semantics. This is why our (...) main concern here is going to be with the problem of interpretation of empirical theories. The fundamental problem here concerns the distinction between the empirical and the a priori elements inherent in any such theory. Accordingly, our final task must include an explication of concepts such as: meaning postulate, analytic, synthetic, empirically meaningful sentence, and others related to them. (shrink)

My target in this paper is a view that has sometimes been called the ‘ Linguistic Doctrine of Necessary Truth ’ and sometimes ‘Conventionalism about Necessity’. It is the view that necessity is grounded in the meanings of our expressions—meanings which are sometimes identified with the conventions governing those expressions—and that our knowledge of that necessity is based on our knowledge of those meanings or conventions. In its simplest form the view states that a truth, if it is necessary, is (...) necessary because it is analytic. It is widely recognized that this simple version of the view faces a prima facie problem with the existence of the necessary a posteriori. Assuming that all analytic truths are a priori, if there are necessary a posteriori truths then there are necessary synthetic truths—contradicting the view’s claim that all necessary truths are analytic. Contemporary L-DONTers have things to say about the problem, but in this paper I want to suggest that there is a different, more serious, problem which arises from the phenomenon of indexicality, which L-DONTers have not taken account of. Though there are many versions of the problem, a simple one is this. Consider Kaplan’s celebrated sentence. (shrink)

Sider offers a new take on a linguistic account of necessity. In this paper, I assess his view’s vulnerability to objections made against more traditional linguistic accounts, especially an argument I call the “indexical problem.” I conclude that the indexical problem has no force against Sider’s approach because the view is able to attribute modal properties directly to propositions, rather than indirectly via analytic sentences that express them. However, Sider also argues that traditional linguistic accounts fail because of two well-known (...) problems, and I argue that the same two problems undermine his own account. (shrink)

This paper looks at what David Kaplan's work on indexicals can teach us about logic and the philosophy of logic, and also what Kaplan's logic (i.e. the Logic of Demonstratives) can teach us about indexicals. The lessons are i) that logical consequence is not necessary truth-preservation, ii) that that the linguistic doctrine of necessary truth (also called conventionalism about modality) fails, and iii) that there is a kind of barrier to entailment between non-context-sensitive and context-sensitive claims.

In (deRosset, 2015), I argued that there are counterexamples to the claim that the sentences analytically entailed by a claim φ require nothing more of the world for their truth than does φ. The counterexamples involve sentences which, I argued, are analytically entailed by certain truths, but which nevertheless require more of the world for their truth. John Horden has offered two interesting criticisms of this argument. First, he contends that its conclusion is inconsistent. Second, he contends that the argument (...) faces a dilemma, depending on which of two hypotheses about the meanings of the sentences involved in the counterexamples turns out to be true. Here I reply to Horden’s criticisms and briefly indicate what I take their lesson to be. (shrink)

У статті висвітлено граматичні особливості й сферу реалізації одного з різновидів подвійного синтаксичного зв’язку, а саме предикативно-кореляційного. Доведено подвійну природу синтаксичного зв’язку в реченнях із займенниковими іменниками другої особи в позиції підмета та звертаннями, аргументовано його предикативно-кореляційний характер, описано механізми його встановлення. З’ясовано роль вокатива в семантико-синтаксичній і формально-граматичній організації таких речень.

ABSTRACT: It is not W.V. Quine’s aim in “Two Dogmas of Empiricism” to prove against all-comers that the analytic/synthetic distinction is untenable or to provide a novel conception of our knowledge. He aims to undermine the empiricist’s appeal to the distinction and show what empiricism unencumbered by dogma comes to. Focusing on §§1-3 and §6, I argue that his treatment of analyticity is framed by important philosophical assumptions and the conception of knowledge he defends is one to which he had (...) long been committed. “Two Dogmas” is less easily dismissed when read in the context of Quine’s early lectures on Carnap. RÉSUMÉ : Le but de W.V. Quine, dans «Deux dogmes de l’empirisme», n’est pas de prouver contre tous que la distinction analytique/synthétique est intenable ni de fournir une conception originale de la connaissance. Il veut plutôt ébranler l’attrait de l’empiriste pour la distinction et montrer ce en quoi réside un empirisme exempt de dogme. En me concentrant sur §§1-3 et §6, je soutiens que son traitement de l’analyticité est structuré par des hypothèses philosophiques fondamentales et que la conception de la connaissance qu’il défend l’habite depuis fort longtemps. «Deux Dogmes» est moins facilement invalidé quand il est interprété en référence aux premières conférences de Quine sur Carnap. (shrink)

: Significant issues remain for understanding and evaluating the Quinean critique of the analytic/synthetic distinction. These issues are highlighted in a puzzling mismatch between the common philosophical attitude toward the critique and its broader intellectual legacy. A discussion of this mismatch sets the larger context for criticism of a recent tradition of interpretation of the critique. I argue that this tradition confuses the roles and relative importance of indeterminacy, a priority, and analyticity in the Quinean critique.

One of the central and most distinctive theses of Kant’s philosophy of mathematics is that mathematical knowledge is synthetic. In this context, synthetic judgments are defined in opposition to analytic ones, whose predicate concept is “contained in” the subject. Kant’s thesis has often been attacked as indefensible, but just as frequently critics have complained that the thesis itself, and even the analytic/synthetic distinction on which it rests, are simply unintelligible. Thus, even prior to questions of its correctness, the Kantian doctrine (...) has been rejected as unclear, based on general skepticism that there is a real distinction of “containment”—or indeed any tolerably clear distinction at all—between analytic and synthetic judgments. (shrink)

Kant's distinction between analytic and synthetic method is connected to the so-called Aristotelian model of science and has to be interpreted in a (broad) directional sense. With the distinction between analytic and synthetic judgments the critical Kant did introduced a new way of using the terms 'analytic'-'synthetic', but one that still lies in line with their directional sense. A careful comparison of the conceptions of the critical Kant with ideas of the precritical Kant as expressed in _Ãœber die Deutlichkeit, leads (...) to the interpretation defended here of Kant's distinction between analytic and synthetic judgments within his philosophy of mathematics. (shrink)

The Fodorian central objections to Inferential Role Semantics can be taken to include an ‘Analyticity Challenge’ and a ‘Circularity Challenge’, which are ultimately challenges to IRS explanations of concept possession. In this paper I present inferential role theories, critically examine these challenges and point out two misunderstandings to which they are exposed. I then state in detail a rationalist version of IRS and argue that this version meets head on the Fodorian challenges. If sound, these considerations show that there is (...) no problem of principle in the consideration of IRS as a good candidate for a theory of concepts. (shrink)

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. (shrink)

German: Unter den nichtlogischen Konstanten der Wissenschaftssprache werden zwei Arten unterschieden, die Beobachtungsterme (z. B. « blau ») und die theoretischen Terme (z. B. « elektrisches Feld »). Die letzteren werden nicht durch Definitionen eingeführt, sondern durch Postulate zweier Arten, nämlich theoretische Postulate, zum Beispiel Grundgesetze der Physik, und Korrespondenzpostulate, die die theoretischen Terme mit Beobachtungstermen verbinden. Wie schon Hilbert gezeigt hat, können in dieser Weise sowohl die Mathematik als auch die theoretische Physik als ungedeutete Kalküle aufgestellt werden. Es wird (...) hier kurz erklärt, dass durch diesen Aufbau auch den mathematischen Termen eine Bedeutung (in einem weiteren Sinne) beigelegt wird. Die theoretischen Terme erhalten durch die Korrespondenzpostulate wenigstens eine unvollständige Deutung. Es wird gezeigt, wie die Unterscheidung von analytischen und synthetischen Sätzen auch für die theoretische Sprache definiert werden kann. -/- English: Among the non‐logical constants of the language of science two kinds are distinguished, the observation terms (e.g., « blue ») and the theoretical terms (e.g., « electric field »). The latter terms are introduced, not by definitions, but by postulates of two kinds, theoretical postulates, e.g., basic laws of physics, and correspondence postulates which connect the theoretical terms with observation terms. As Hilbert has explained, both mathematics and theoretical physics can in this way be constructed in the form of uninterpreted calculi. It is here briefly indicated that by this method of construction also the mathematical terms have meanings (in a wider sense) assigned to them. The theoretical terms obtain at least an incomplete interpretation by means of the correspondence postulates. It is shown how the distinction between analytic and synthetic sentences can be defined also for the theoretical language. (shrink)

In this paper, it is argued that there can be necessary and non-natural desires. After a discussion about what seems wrong with such desires, Epicurus’ classification of desires is treated similarly to Kripke’s treatment of the Kantian table of judgments. A sample of three cases is suggested to make this point.

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.

In the new metalanguage of semantics, it is possible to make statements about the relation of designation and about truth.... To me the usefulness of semantics for philosophy was so obvious that I believed no further arguments were required and it was sucient to list a great number of customary concepts of a semantical nature.

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)

The product of a conference in San Marino in 1990, this volume contains revised versions of fifteen of the conference papers and some thirteen pages of Quine's "reactions" to issues raised elsewhere in the volume. The contributors include Italian and other European scholars together with around a dozen distinguished American visitors.

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.

The double issue of Synthese devoted to essays on the work of W. V. Quine has been re-issued under hard cover with an additional paper by Grice on "Vacuous Names" and a 13-page bibliography of Quine's writings. With the exception of Berry's "Logic with Platonism" and Jensen's "On The Consistency of a Slight. Modification of Quine's New Foundation," the papers are concerned with the key issues of Word and Object. Quine's responses to each of the contributors are not as helpful (...) as they might be, but are at times quite illuminating. He dispels Stenius's view in "Beginning with Ordinary Things" that Quine holds a Russellian epistemology, for example, and clarifies somewhat his account of ontic commitment in replying to Hintikka's "Behavioral Criteria of Radical Translation." Hintikka argues that "to be is to be a value of a bound variable" presupposes the principle, "to be is to be an object of search." Quine rejects this view, identifying his ontology with the range of the variables as opposed to the class of all things to which a theory is ontically committed. The introduction to chapter two of Word and Object by Harman is quite helpful, suggesting among other things that Quine's use of 'propositional attitude' is a misnomer to be better replaced by 'sentential attitude'. An interesting and provocative paper by Kaplan offers a Fregean alternative to Quine's general mode of handling referentially opaque contexts, allowing "Quantifying In" with the variable ranging over expressions. Interestingly enough, Quine's remarks are rather laudatory and sympathetic. Davidson's "On Saying That" suggests a roughly similar account of oratio obliqua discourse. Føllesdal and Sellars discuss "Quine on Modality" and "Some Problems about Belief." There is a discussion of "Quine's Philosophy of Science" by Smart, tracing a shift from instrumentalism to realism on the part of Quine. Also included are papers by Chomsky, Stroud, and Geach, as well as Strawson's familiar "Singular Terms and Predication." In spite of the imposing price and the uneven quality of the essays, the book is a desirable piece of Quineana.--K. T. (shrink)

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)

Given a descriptive word, what is the nature of the relation between it and the features of the object to which it is supposed to apply? What is it that entitles one to assert ‘this is a horse’?A traditional answer has been in terms of ‘Merkmal’: a collection of features, or properties, severally necessary and Jointly sufficient for the application of the word in question. This relation - call it the Merkmal relation - between word and features is common to (...) a variety of theories of meaning that may otherwise be in disagreement about the status of the features themselves in their relation to the object: whether they be actual or believed, perceptual or ‘essential,’ phenomenal or ‘real,’ etc. (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)