In his influential Naming and Necessity lectures, Saul Kripke made new sense of modal statements: “Kant might have been a bachelor”, “Königsberg is necessarily identical with Kaliningrad”. Many took the notions he introduced-metaphysical necessity and rigid designation -- to herald new metaphysical issues and have important consequences. In fact, the Kripkean insight is at bottom semantic, rather than metaphysical: it is part of how proper names work that they purport to refer to individuals to whom modal properties can be ascribed. (...) We can see this by reflecting on analytic truths that ground modal claims like the two examples above. (shrink)

The article presents a critical semantic analysis of the so-called analytical truths as they were discussed by R. Carnap and building on some new empirical data that are not fully satisfactorily explained by Carnap’s theory. A theoretical reconstruction of Carnap’s theory of analytical truths is proposed. It is demonstrated how his understanding of analytical truths, as statements that are true in all possible worlds and amenable to a quite obvious definition on a par with the concepts of sense (meaning) and (...) synonymy, applies exclusively to artificial languages of logic. Therefore, Carnap’s theory remains unreachable for the well-known criticism of W. Quine, who, in turn, pointed out the difficulties in defining these concepts for natural languages. A theoretical reconstruction of Carnap’s explication of the mentioned concepts in the theory of meaning for natural languages is carried out. The connection of Carnap’s approach with the perspective of contemporary formal semantics is established. Subsequently, problematic cases and the difficulties they pose for Carnap’s concept are examined. An explanation is proposed for analytical truths as containing in their logical form an (unpronounced) quantifier over possible worlds (situations). (shrink)

The author describes an interpreted modal language and produces some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.

After defining a standard modal language and semantics, we offer some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.

When new theoretical terms are introduced into scientific discourse, prevailing accounts imply, analytic or semantic truths come along with them, by way of either definitions or reference-fixing descriptions. But there appear to be few or no analytic truths in scientific theory, which suggests that the prevailing accounts are mistaken. This paper looks to research on the psychology of natural kind concepts to suggest a new account of the introduction of theoretical terms that avoids both definition and reference-fixing description. (...) At the core of the account is a novel psychological process that I call introjection. (shrink)

Hilary Putnam once proposed a semantic approach to, as well as a deflationist resolution of, the problem of analyticity. I take up and defend both ideas. First of all, I defend Putnam's semantic construal of the issue against Quine's reductive understanding. Secondly, I devise a semantics that successfully explains the genesis of the relevant analytic truths and that shows them to be harmless. Finally, I rebut the aspirations of the neo-descriptivist semantics, prominently propounded by David Chalmers and Frank Jackson, (...) that is widely presumed to spearhead the re-establishment of substantial analyticities. I conclude that analytic truths—at least those discussed—are indeed harmless. (shrink)

I draw attention to how one of Donald Davidson’s arguments against the claim that others have an alternative conceptual scheme does not look compatible with his rejection of analytic truths – how his rejection of the third dogma of empiricism depends on accepting the first. The appendix contests Davidson’s approach to organizing the Pacific Ocean.

This book answers three questions: (i) What is it for a statement to be analytically true? (ii) What is a priori knowledge? (How does it differ from inherited empirical knowledge? And how does it differ from acquired conceptual (non-empirical) knowledge, such as one's knowledge that not all continuous functions are differentiable?). (iii) Do we have a priori knowledge? It is shown that content-externalism is an 'epistemologicization' of the (logically, not psychologically) innocuous fact that, if a sentence S of natural language (...) expresses a multiply quantified generalization, S also expresses each quantified generalization obtained by permuting the quantifiers in it. It is also shown that, through judicious usage of Kaplan's dthat-operator, the shred of truth in content externalism can be reconciled with the datum that, in virtue of having a given representational content R, a mental state M has causal powers that it would not otherwise have. And it is thereby shown how to reconcile content-externalism, so far as the latter is true, with the legitimacy of individualist approaches to psychology. Finally, it is shown that content-externalism embodies a crude and false conception of the nature of the relationship between the literal meanings of linguistic expressions, on the one hand, and, on the other hand, the contents of the thoughts underlying our usage of such expressions. More precisely, content-externalism presupposes that literal meaning and cognitive content are in lockstep with each other; which, it is shown, is not the case and---what is also shown---only appears to be the case because of a failure on the part of semanticists to know where to draw the line between semantics and pragmatics. (shrink)

In this paper Rudolf Carnap's definition of 'analytic truth' based upon a meaning postulate At, for theoretical predicates of a given scientific theory is subjected to critique. It is argued that this definition is both too exclusive and too inclusive. Assuming that the preceding is correct, At is subjected to further scrutiny to determine how to interpret it and whether, and under what conditions, it need even be true. It is argued that a given At need not be (...) true as a sentence in a scientific theory and that it must be regarded as a confusedly presented rule for the same. It is then argued that even as a semantical rule for the theory, At cannot provide a guarantee of truth for some meaning postulate similar to At in the theory itself. It is thus argued that Carnap's definition of 'analytic truth' for theoretical predicates is unsatisfactory. (shrink)

This is a clearly written account of Martin's views of analytic truth, containing, in addition to the philosophical considerations, some novel formal results. The formal theory offered is shown to satisfy plausible adequacy conditions, and is notable for economy of assumptions--a reflection of Martin's conviction that semantical metalanguages should, so far as possible, be neutral to issues in ontology. But one need not share the author's extensionalist outlook in order to find much of interest here.--A. R. A.

This book is a volume in the Penn Press Anniversary Collection. To mark its 125th anniversary in 2015, the University of Pennsylvania Press rereleased more than 1,100 titles from Penn Press's distinguished backlist from 1899-1999 that had fallen out of print. Spanning an entire century, the Anniversary Collection offers peer-reviewed scholarship in a wide range of subject areas.

The problem of necessity is fundamentally a problem of knowledge: how can we know not just that something is so but that it must be so, not just that a statement is true but that it must be true? The problem arises the moment we make two fairly familiar assumptions: that all knowledge comes, in the end, from experience; and that experience can tell us only that something is so and not that it must be so. From these it follows (...) immediately that there can be no knowledge of necessary truths. Yet obviously we do have such knowledge: we know that bachelors must be unmarried and that the angles of a Euclidean triangle must total 180°. It seems equally obvious that we do not learn such facts from experience, from observing bachelors and triangles, so it seems clear which of the assumptions is mistaken. Whatever may be the success of Locke's attack on innate knowledge, it seems undeniable that we do have knowledge which does not come from experience. We do possess some a priori knowledge, viz. knowledge of necessary truths. (shrink)

This book is a volume in the Penn Press Anniversary Collection. To mark its 125th anniversary in 2015, the University of Pennsylvania Press rereleased more than 1,100 titles from Penn Press's distinguished backlist from 1899-1999 that had fallen out of print. Spanning an entire century, the Anniversary Collection offers peer-reviewed scholarship in a wide range of subject areas.

The uniform reflection principle for the theory of uniform T-sentences is added to PA. The resulting system is justified on the basis of a disquotationalist theory of truth where the provability predicate is conceived as a special kind of analyticity. The system is equivalent to the system ACA of arithmetical comprehension. If the truth predicate is also allowed to occur in the sentences that are inserted in the T-sentences, yet not in the scope of negation, the system with (...) the reflection schema for these T-sentences assumes the strength of the Kripke-Feferman theory KF, and thus of ramified analysis up to go. (shrink)

R. Lanier Anderson presents a new account of Kant's distinction between analytic and synthetic judgments, and provides it with a clear basis within traditional logic. He reconstructs compelling claims about the syntheticity of elementary mathematics, and re-animates Kant's arguments against traditional metaphysics in the Critique of Pure Reason.

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)

The question whether we can have a priori knowledge, and if so to what extent, has lain at the center of philosophy practically since the beginning. For many philosophers, including Plato, Leibniz, Kant, Frege, Russell, Wittgenstein and most of the Logical Positivists, to name just a few, it seems to have been the problem around which everything else was made to turn. It's an interesting question why philosophers have been so obsessed with this problem and why they have been inclined (...) to assign it so much importance. One reason, no doubt, has to do with its relation to the possibility of philosophy itself. Although it has become fashionable in some circles to pretend otherwise, I don't really see that anyone out there has much idea how analytic philosophy is to be done, if not a priori; in particular, I don't really see that anyone has much idea how it is to be done without a hefty helping of a priori conceptual analysis.... (shrink)

On the political nature of the analytic - continental distinction in professional philosophy and the general tendency to discredit continental philosophy while redesignating the rubric as analytically conceived.

The uniform reflection principle for the theory of uniform T-sentences is added to PA. The resulting system is justified on the basis of a disquotationalist theory of truth where the provability predicate is conceived as a special kind of analyticity. The system is equivalent to the system ACA of arithmetical comprehension. If the truth predicate is also allowed to occur in the sentences that are inserted in the T-sentences, yet not in the scope of negation, the system with (...) the reflection schema for these T-sentences assumes the strength of the Kripke-Feferman theory KF, and thus of ramified analysis up to $\varepsilon_0$. (shrink)