With his customary incisiveness, W. V. Quine presents logic as the product of two factors, truth and grammar--but argues against the doctrine that the logical truths are true because of grammar or language. Rather, in presenting a general theory of grammar and discussing the boundaries and possible extensions of logic, Quine argues that logic is not a mere matter of words.

Translated from: W.V.O.Quine, W. H. O. (1986): Philosophy of Logic. Second Edition. Harvard University Press. Cambridge, Massachusetts and London, England, 47-61.

Kant's question 'How are synthetic judgments a priori possible?' pre- cipitated the Critique of Pure Reason. Question and answer notwith- standing, Mill and others persisted in doubting that such judgments were possible at all. At length some of Kant's own clearest purported.

With his customary incisiveness, W. V. Quine presents logic as the product of two factors, truth and grammar-but argues against the doctrine that the logical truths are true because of grammar or language. Rather, in presenting a general theory of grammar and discussing the boundaries and possible extensions of logic, Quine argues that logic is not a mere matter of words.

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 truth 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)

Now much revised since its first appearance in 1941, this book, despite its brevity, is notable for its scope and rigor. It provides a single strand of simple techniques for the central business of modern logic. Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers. Fully one third of this revised edition is (...) new, and presents a nearly complete turnover in crucial techniques of testing and proving, some change of notation, and some updating of terminology. The study is intended primarily as a convenient encapsulation of minimum essentials, but concludes by giving brief glimpses of further matters. (shrink)

SummaryMetatheory may be pursued immanently, i.e., within the object language, or transcendently in metalanguages. Immanently, the hierarchy of metalanguages gives way to a hierarchy of predicates. The immanent approach accentuates the symmetry between Russell's paradox and Cantor's theorem: class shortage versus predicate shortage. Appeal to metatheoretic models, in defining logical truth, gives way to appeal to substitutions of expressions of the object language. Can this be said also of set‐theoretic truth, despite predicate shortage? Equivalently: is substitutional quantification unscathed (...) by predicate shortage? Anyway substitutional quantification balks at impredicative cases. (shrink)

According to the standard story W. V. Quine ’s criticisms of the idea that logic is true by convention are directed against, and completely undermine, Rudolf Carnap’s idea that the logical truths of a language L are the sentences of L that are true-in- L solely in virtue of the linguistic conventions for L, and Quine himself had no interest in or use for any notion of truth by convention. This paper argues that and are both false. Carnap did (...) not endorse any truth -by- convention theses that are undermined by Quine ’s technical observations. Quine knew this. Quine ’s criticisms of the thesis that logic is true by convention are not directed against a truth -by- convention thesis that Carnap actually held, but are part of Quine ’s own project of articulating the consequences of his scientific naturalism. Quine found that logic is not true by convention in any naturalistically acceptable sense. But he also observed that in set theory and other highly abstract parts of science we sometimes deliberately adopt postulates with no justification other than that they are elegant and convenient. For Quine such postulations constitute a naturalistically acceptable and fallible sort of truth by convention. It is only when an act of adopting a postulate is not indispensible to natural science that Quine sees it as affording truth by convention ‘unalloyed’. A naturalist who accepts Quine ’s notion of truth by convention is therefore not limited to accepting only those postulates that she regards as indispensible to natural science. (shrink)

In “Truth by Convention” W.V. Quine gave an influential argument against logical conventionalism. Even today his argument is often taken to decisively refute logical conventionalism. Here I break Quine’s arguments into two— the super-task argument and the regress argument—and argue that while these arguments together refute implausible explicit versions of conventionalism, they cannot be successfully mounted against a more plausible implicit version of conventionalism. Unlike some of his modern followers, Quine himself recognized this, but argued that implicit conventionalism was (...) explanatorily idle. Against this I show that pace Quine’s claim that implicit conventionalism has no content beyond the claim that logic is firmly accepted, implicit rules of inference can be used to distinguish the firmly accepted from the conventional. As part of my case, I argue that positing syntactic rules of inference as part of our linguistic competence follows from the same methodology that leads contemporary linguists and cognitive scientists to posit rules of phonology, morphology, and grammar. The upshot of my discussion is a diagnosis of the fallacy in Quine’s master critique of logical conventionalism and a re-opening of possibilities for an attractive conventionalist theory of logic. (shrink)

W. V. O. Quine's well-known attack upon the analytic-synthetic distinction is held to affect only one of the two species of analytic statements he distinguishes. In particular it is not directed at and does not affect the so-called logical truths. In this paper the scope of Quine's attack is extended so as to embrace the logical truths as well. It is shown that the unclarifiability of the notion of 'synonymy' deprives us not only of "analytic statements that are obtainable from (...) logical truths by the replacement of synonyms with synonyms" but of "logical truths" themselves. (shrink)

Quine claims that the analytic-synthetic distinction lacks a proper characterization of a notion to be used to reduce analytic statements "depending upon essential predication" to logically true statements. the author shows that the same arguments used by quine against analyticity can also be used against logical truth; if one notion is "given up", the other must be also. notions such as "filling blanks alike" and "identical propositions" presupposed by logical truth have the same deficiencies as does analyticity. logical (...) truth is not more basic than analyticity; the two notions stand or fall together. (shrink)

It is a consequence of Quine’s confirmation holism that the logical laws are in principle revisable. Some have worried this is at odds with another dictum in Quine, viz., that any translation which construes speakers as systematically illogical is ipso facto inadequate. In this paper, I try to formulate exactly what the problem is here, and offer a solution to it by (1) disambiguating the term ‘logic,’ and (2) appealing to a Quinean understanding of ‘necessity.’ The result is that the (...) different theses in Quine’s philosophy of logic are to be situated within different contexts of inquiry. (shrink)

The paper is concerned with Quine's substitutional account of logical truth. The critique of Quine's definition tends to focus on miscellaneous odds and ends, such as problems with identity. However, in an appendix to his influential article On Second Order Logic, George Boolos offered an ingenious argument that seems to diminish Quine's account of logical truth on a deeper level. In the article he shows that Quine's substitutional account of logical truth cannot be generalized properly to the (...) general concept of logical consequence. The purpose of this paper is threefold: first, to introduce the reader to the metamathematics of Quine's substitutional definition of logical truth; second, to make Boolos' result accessible to a broader audience by giving a detailed and self-contained presentation of his proof; and, finally, to discuss some of the possible implications and how a defender of the Quinean concepts might react to the challenge posed by Boolos' result. (shrink)

The Löwenheim-Hilbert-Bernays theorem states that, for an arithmetical first-order language L, if S is a satisfiable schema, then substitution of open sentences of L for the predicate letters of S...

There are two main parts to this article: (1) Quine's view of truth is substantive in a way that is not generally recognized. There are elements in the view of deflationism, minimalism, and of course disquotationalism to be sure, but from Quine's perspective the capacity for generalization - ascribing truth not to explicitly given sentences but to kinds of sentences - requires a full-bore Tarskian apparatus. This is necessary in order for truth to play what for Quine (...) are its vital roles in science, philosophy (epistemology and those parts of metaphysics that Quine recognizes), and crucially in logic itself. (These points have not been made with adequate care in the literature). (2) But is Tarskianism sufficient for playing all of those roles? Contrary to an interesting article by Lars Bergström - I argue that it is indeed sufficient, at least from Quine's point of view, and to see the point is to appreciate how thoroughgoing and powerful the notion of truth is, despite its being, 'in itself', only a device of sentential generalization. This dovetails with Quine's famous naturalism, a connection which I bring out at the end. (shrink)

Quine argues that if sentences that are set theoretically equivalent are interchangeable salva veritate, then all transparent operators are truth-functional. Criticisms of this argument fail to take into account the conditional character of the conclusion. Quine also argues that, for any person P with minimal logical acuity, if ‘belief’ has a sense in which it is a transparent operator, then, in that sense of the word, P believes everything if P believes anything. The suggestion is made that he intends (...) that result to show us that ‘believes’ has no transparent sense. Criticisms of this argument are either based on unwarranted assertions or on definitions of key terms that depart from Quine’s usage of those terms. (shrink)

Recent scholarship indicates that Quine’s “Truth by Convention” does not present the radical critiques of analytic truth found fifteen years later in “Two Dogmas of Empiricism.” This prompts a historical question: what caused Quine’s radicalization? I argue that two crucial components of Quine’s development can be traced to the academic year 1940–1941, when he, Russell, Carnap, Tarski, Hempel, and Goodman were all at Harvard together. First, during those meetings, Quine recognizes that Carnap has abandoned the extensional, syntactic approach (...) to philosophical analysis, an approach espoused in Carnap’s 1934 Logical Syntax of Language, and which Quine endorsed his entire career. Second, Tarski presents Quine with a philosophically well-motivated reason to think that an apparently analytic discipline, arithmetic, could be synthetic; this reflects one of the central assertions found in “Two Dogmas” but not in “Truth by Convention.” I use this account of Quine’s development to resolve a dispute between Creath and Mancosu concerning the timeline for Quine’s evolving critiques of analyticity. (shrink)

In _On Empirically Equivalent Systems of the World_ from 1975, Quine formulated a thesis of underdetermination roughly to the effect that every scientific theory has an empirically equivalent but logically incompatible rival, one that cannot be discarded merely as a terminological variant of the former. For Quine, the truth of this thesis was an open question. If true, some would argue that it undermines any belief in scientific theories that is based purely on their empirical success. But despite its (...) potential significance, surprisingly little has been done by way of establishing or refuting it. My aim is to establish the thesis for as large a class of theories as possible. Under various precisifications of the concepts involved, I show that it holds for all consistent and recursively axiomatizable theories that postulate infinitely many theoretical entities. (shrink)

In this paper, I reconstruct Quine’s arguments against quantified modal logic, from the early 1940’s to the early 1960’s. Quine’s concerns were not technical. Quine was looking for a coherent interpretation of quantified-in English modal sentences. I argue that Quine’s main thesis is that the intended objectual interpretation of the quantifiers is incompatible with any semantic reading of the modal operators, for example as expressing analytic necessity, unless the entities in the domain of quantification are intensions, i.e. definitional entities. The (...) difficulty is that it makes no sense to say of an ordinary object that it bears a property necessarily or contingently when the necessity or contingency in question is analytic. However, starting in 1960, Quine claims that quantified-in modal sentences can be coherently interpreted only as essentialist predications. When we say about an object that it necessarily F ’s, we can only coherently mean that it essentially F ’s. In the paper, I argue that adequately qualified the thesis is plausible. Two important qualifications are needed. The first is the assumption that satisfaction is an irreducibly predicative notion, making any explication of satisfaction in terms of truth inadequate. The second is the ontological rejection of purely semantic, i.e. merely definitional, entities. With these qualifications in place, Quine’s rejection of the combination of objectual quantifiers and semantic modalities can be upheld. In this way, we vindicate a qualified version of Quine’s conjecture that quantified modal logic is committed to essentialism. (shrink)

Carnap, Quine, and Putnam held that in our pursuit of truth we can do no better than to start in the middle, relying on already-established beliefs and inferences and applying our best methods for re-evaluating particular beliefs and inferences and arriving at new ones. In this collection of essays, Gary Ebbs interprets these thinkers' methodological views in the light of their own philosophical commitments, and in the process refutes some widespread misunderstandings of their views, reveals the real strengths of (...) their arguments, and exposes a number of problems that they face. To solve these problems, in many of the essays Ebbs also develops new philosophical approaches, including new theories of logical truth, language use, reference and truth, truth by convention, realism, trans-theoretical terms, agreement and disagreement, radical belief revision, and contextually a priori statements. His essays will be valuable for a wide range of readers in analytic philosophy. (shrink)

W. van Orman Quine is one of the leading philosophers in America today. His thinking, however, has received little attention from philosophers in continental Europe. This book is a systematic and critical account of Quine's philosophy which aims at isolating what is of lasting value in his work. Each of his major theses is submitted to a thorough examination both from within and from without his general standpoint. Quine's positions have changed a great deal over the years in response to (...) external criticism and to internal stresses and strains. These changes are described and assessed. Quine's rejection of the analytic-synthetic dichotomy is considered in the light of non-monotonic logic. The multi-farious versions of his holism are brought together and evaluated. Dummett's objection to the effect that holism is inconsistent with empiricism is refuted. lt is argued, however, that the controversial thesis of the indeterminacy of translation becomes implausible as soon as learnability constraints are brought to bear on the matter. Quine's new definition of logical truth in terms of grammatical structure is vindicated. It is shown how the apparent conflict between his earlier and his later views on ontology can be superseded. Can Quine hold a relativist view of ontology and at the same time maintain a non-relativist theory of truth? Can he hold that truth is internal to theories and claim that scientific theories are underdetermined by observational data without lending support to relativism? An affirmative answer to the first question is defended. It is argued, however, that Quine could not meet the second challenge. Quine's penetrating criticism of modal logic has prompted several research programs. Paul Gochet exhibits the interrelations between these programs and argues that Quine's objections against modal logic can be met without any commitment to doctrines such as essentialism. Of interest to: Philosophers, logicians, linguists. (shrink)

This chapter contains sections titled: Redundancy, Utility, and Disquotation Limited Redundancy: A Dilemma Utility and Quine's Ladder A Variant Ladder and Dis‐That‐ISM Climbing the Ladder? Affirming a Lot of Sentences Needing the Truth Predicate? References.

Widespread deflationistic readings of Quine misrepresent his view of disquotation’s significance and the truth predicate’s utility. I demonstrate this by answering a question that philosophers have not directly addressed: how does Quine understand the philosophical problem of truth? A primary thesis of this paper is that we can answer this question only by working from within Quine’s naturalistic framework. Drawing on neglected texts from Quine's corpus, I defend the view that, for Quine, the problem of truth emerges (...) from the development of science, in particular, from logical theorizing. I show that disquotation itself, from this Quinean point of view, is the problematic phenomenon calling for philosophical reflection. I conclude by arguing that Quine does not envisage the kind of explanatory role for disquotation taken up by contemporary deflationists, and he shows no interest in the task that animates deflationism, namely, to show that concerns with truth’s nature are fundamentally confused. (shrink)

W. V. Quine thinks logical truth can be defined in purely extensional terms, as follows: a logical truth is a true sentence that exemplifies a logical form all of whose instances are true. P. F. Strawson objects that one cannot say what it is for a particular use of a sentence to exemplify a logical form without appealing to intensional notions, and hence that Quine's efforts to define logical truth in purely extensional terms cannot succeed. Quine's reply (...) to this criticism is confused in ways that have not yet been noticed in the literature. This may seem to favour Strawson's side of the debate. In fact, however, a proper analysis of the difficulties that Quine's reply faces suggests a new way to clarify and defend the view that logical truth can be defined in purely extensional terms. (shrink)

Quine rejects Peirce's theory of truth because, among other things, its notion of a limit of a sequence of theories is defective in that the notion of a limit depends on that of nearer than which is defined for numbers but not for theories. This paper shows that the missing definition of nearer than applied to theories can be supplied from within Quine's own epistemology. The upshot is that either Quine's epistemology must be rejected or Peirce's pragmatic theory of (...) truth is partially vindicated. (shrink)

For fifty years, Willard Van Orman Quine's books and articles have stimulated intense debate in the fields of logic and the philosophy of language. Many scholars in fact, regard Quine as the greatest living English-speaking philosopher; yet his views remain widely misunderstood and misinterpreted. This book provides the first major explication and defense of Quine's systematic philosophy and is ideally suited for use as a required or supplementary text in a wide variety of undergraduate and graduate courses in philosophy and (...) linguistics.The book explores the far-reaching implications of Quine's views on language for contemporary analytic philosophy. It is unique in providing a lucid and rich description and reconstruction of the historical context from which Quine's work grew, focusing in particular on the role that Russell and Wittgenstein played in shaping the problems inherited by Quine. It presents Quine's difficult later views in an accessible fashion, bringing out as no other study has the very radical nature of his position. One of the book's highlights is its careful examination and assessment of Tarski's theory of truth as it relates to the traditions of Russell and Wittgenstein and to Quine's own philosophy.George D. Romanos took his Ph.D. in philosophy under George D. W. Berry and Paul T. Sagal at Boston University. This book grew out of his dissertation with the active criticism and support of Quine himself. (shrink)

How does Quine fare in the first decades of the twenty-first century? In this paper I examine a cluster of Quinean theses that, I believe, are especially fruitful in meeting some of the current challenges of epistemology and ontology. These theses offer an alternative to the traditional bifurcations of truth and knowledge into factual and conceptual-pragmatic-conventional, the traditional conception of a foundation for knowledge, and traditional realism. To make the most of Quine’s ideas, however, we have to take an (...) active stance: accept some of his ideas and reject others, sort different versions of the relevant ideas, sharpen or revise some of the ideas, connect them with new, non-Quinean ideas, and so on. As a result the paper pits Quine against Quine, in an attempt to identify those Quinean ideas that have a lasting value and sketch potential developments. (shrink)

During the academic year 1940-1941, several giants of analytic philosophy congregated at Harvard, holding regular private meetings, with Carnap, Tarski, and Quine. Carnap, Tarski, and Quine at Harvard allows the reader to act as a fly on the wall for their conversations. Carnap took detailed notes during his year at Harvard. This book includes both a German transcription of these shorthand notes and an English translation in the appendix section. Carnap’s notes cover a wide range of topics, but surprisingly, the (...) most prominent question is: If the number of physical items in the universe is finite, what form should scientific discourse take? This question is closely connected to an abiding philosophical problem: What is the relationship between the logico-mathematical realm and the material realm? Carnap, Tarski, and Quine’s attempts to answer this question involve issues central to philosophy today.This book focuses on three such issues: nominalism, the unity of science, and analyticity. In short, the book reconstructs the lines of argument represented in these Harvard discussions, discusses their historical significance (especially Quine’s break from Carnap), and relates them when possible to contemporary treatments of these issues. (shrink)

In the first part of this paper, I express doubts that Tarski and Carnap were guilty of some confusions about the relations between truth and meaning, attributed to them by Soames. In the second part, I consider Quine's Carrollian argument against conventionalism about logical truth, discussed only briefly and approvingly by Soames, and I explore the question whether some not obviously incorrect forms of conventionalism about logical truth, such as what I call "finitary conventionalism", are immune to (...) Quine's argument. (shrink)

The most influential philosopher in the analytic tradition of his time, Willard Van Orman Quine changed the way we think about language and its relation to the world. His rejection of the analytic/synthetic distinction, his scepticism about modal logic and essentialism, his celebrated theme of the indeterminacy of translation, and his advocacy of naturalism have challenged key assumptions of the prevailing orthodoxy and helped shape the development of much of recent philosophy.This introduction to Quine's philosophical ideas provides philosophers, students, and (...) generalists with an authoritative analysis of Quine's lasting contributions to philosophy. The major themes covered include the adaptation of the language of modern logic to formulate a criterion of ontological commitment; Quine's own ontological commitments; Duhemian-Holistic empiricism and the attendant rejection of a priori knowledge; the nature and grounds of logical truth; Quine's criticisms of such notions as meaning, synonymy, analyticity, and necessity; the conjecture of the indeterminacy of translation; modal logic; propositional attitudes; and Quine's work on naturalized epistemology.Quine's ideas throughout are contrasted with more traditional views, as well as with contemporaries such as Frege, Russell, Carnap, Davidson, Field, Kripke, and Chomsky, enabling the reader to grasp a clear sense of the place of Quine's views in twentieth-century philosophy and the important criticisms of them. (shrink)

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

One central strand in Quine's criticism of common-sense notions of linguistic meaning is an argument from the holism of empirical content. This paper explores (with many digressions) the several versions of the argument, and discovers them to be uniformly bad. There is a kernel of truth in the idea that ?holism?, in some sense, ?undermines the analytic?synthetic distinction?, in some sense; but it has little to do with Quine's radical empiricism, or his radical scepticism about meaning.

As analytic philosophy is becoming increasingly aware of and interested in its own history, the study of that field is broadening to include, not just its earliest beginnings, but also the mid-twentieth century. One of the towering figures of this epoch is W.V. Quine (1908-2000), champion of naturalism in philosophy of science, pioneer of mathematical logic, trying to unite an austerely physicalist theory of the world with the truths of mathematics, psychology, and linguistics. Quine's posthumous papers, notes, and drafts revealing (...) the development of his views in the forties have recently begun to be published, as well as careful philosophical studies of, for instance, the evolution of his key doctrine that mathematical and logical truth are continuous with, not divorced from, the truths of natural science. But one central text has remained unexplored: Quine's Portuguese-language book on logic, his 'farewell for now' to the discipline as he embarked on an assignment in the Navy in WWII. Anglophone philosophers have neglected this book because they could not read it. Jointly with colleagues, I have completed the first full English translation of this book. In this accompanying paper I draw out the main philosophical contributions Quine made in the book, placing them in their historical context and relating them to Quine's overall philosophical development during the period. Besides significant developments in the evolution of Quine's views on meaning and analyticity, I argue, this book is also driven by Quine's indebtedness to Russell and Whitehead, Tarski, and Frege, and contains crucial developments in his thinking on philosophy of logic and ontology. This includes early versions of some arguments from 'On What There Is', four-dimensionalism, and virtual set theory. (shrink)

La position résolument extensionaliste de Quine a été appuyée par des arguments de nature différente, dans ses multiples articles destinés à rejeter le projet de logique modale. On peut classer ces arguments en trois catégories : un argument naturaliste, où l’auteur tente de baser le langage scientifique sur une notation tâchée de décrire la “structure ultime de la réalité” ; un argument esthétique, où Quine fait allusion à des raisons de clarté et d’efficacité démonstrative pour privilégier la théorie des fonctions (...) de vérité ; un argument pratique, dans la mesure où Quine défend la logique classique sur la base du “principe de mutilation minimum”. A travers une étude de ses écrits relatifs aux attitudes propositionnelles, nous montrerons que la philosophie de la logique de Quine a prolongé la partie épistémologique de son oeuvre, optant finalement pour une stratégie de réduction naturaliste des intensions, à l’image du mouvement engagé par Word and Object et prolongé par From Stimulus to Science. Ce projet se soldera par un échec relatif, et Quine résumera cette désillusion par un fossé entre les structures du langage et du monde : la thèse du “monisme anomal” de Davidson sera le dernier mot, amer, du défenseur acharné de la logique classique. (shrink)