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.

Deflationsism about truth is a pot-pourri, variously claiming that truth is redundant, or is constituted by the totality of 'T-sentences', or is a purely logical device (required solely for disquotational purposes or for re-expressing finitarily infinite conjunctions and/or disjunctions). In 1980, Hartry Field proposed what might be called a 'deflationary theory of mathematics', in which it is alleged that all uses of mathematics within science are dispensable. Field's criterion for the dispensability of mathematics turns on a property of theories, (...) called conservativeness. I present some technical results, some of which may be found in Tarski (1936), concerning the logical properties of truth theories; in particular, concerning the conservativeness of adding a truth theory for an object level language to any theory expressed in it. It transpires that various deflationary truth theories behave somewhat differently from the standard Tarskian truth theory. These results suggest that Tarskian theories of truth are not redundant or dispensable. Finally, I hint at an analogy between the behaviour of mathematical theories and of standard (Tarskian) theories of truth with respect to their indispensability to, as Quine would put, our 'scientific world-view'. (shrink)

Compared to the extensive amount of literature on various themes of W.V.O. Quine’s philosophy, his immanent concept of truth remains a relatively unexplored topic. This relative lack of research contributes to a persistent confusion on the deflationary and inflationary details of Quine’s truth. According to a popular reading, Quine’s disquotational definition of the truth predicate exhausts the content of truth, thus amounting to a deflationary view. Others promote opposing interpretations. I argue that by relying on Tarski’s semantic (...) conception of truth, Quine’s disquotational account inherits a commitment to classical correspondence intuitions. Based on this, Quine posits a firm constitution for truth as an intermediary between language and the world. From this constitution claim follows that the disquotational account proves incompatible with both the general deflationary thesis and, more specifically, the minimalist account, which deny any constitution for truth past what is given by the preferred deflationary schema. This reading is significant for refuting the widespread misrepresentations of Quine as a prominent deflationist. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Erictho and Demogorgon: Poetry against Metaphysics DAVID QUINT Epic without the gods? The Roman poet Lucan (39–65 ce) created a secular counter-epic inside classical epic, removing the genre’s usual pantheon of Olympian deities and replacing them with Fortune. His Bellum civile (titled De bello civili in manuscripts, alternately titled Pharsalia) a poem about the conflict between Julius Caesar and Pompey, thereby delegitimizes the emperors who succeeded the dying Roman (...) republic, including Nero, the reigning emperor of Lucan’s day.1 They are not part of a divine plan: no such plan has ever existed. In an epic where the gods are silent or refuse to speak, Pompey’s son, Sextus, anxious to know the future, has to seek other means. In Book 6, he consults the Thessalian witch Erictho about the outcome of the approaching battle in Pharsalia. She reanimates the corpse of a dead soldier on Pompey’s republican side and makes it talk (BC 6.419–830).2 Lucan’s scene of necromancy gave birth to a major antimetaphysical strain in the European literary tradition. Among others, Dante, Cervantes, Marlowe, Spenser, Goethe, and Shelley confronted this episode of the Pharsalia and pondered its implications. Erictho’s magic is a figure for poetic making itself. It turns the supernatural into theater— the divine machinery of epic exposed as a deus ex machina— and these authors’ responses to Erictho will shift from epic into dramatic forms. In place of the gods, in place of the epic visit to the underworld, particularly in place of and in response to Aeneas’s trip to the realm of the dead arion 28.2 fall 2020 2 erictho and demogorgon in the corresponding Book 6 of the Aeneid, Lucan presents Erictho’s macabre performance: human witchcraft and intimations of an alternate, eerie numen residing in the earth, a force of nature. Subsequent readers would give this latter power a name: Demogorgon.3 Lucan links republicanism and freedom to a kind of atheism and to historical contingency. He unmasks and strips the props of religion from Caesarism and monarchy. (In vain for the poet: Lucan was forced to commit suicide in 65 ce, after he was implicated in the failed Pisonian conspiracy against Nero.) Lucan desacralizes poetry itself, which here confesses its limits, which are the limits of human mortality, even as Erictho seems, however briefly, to overcome them. No, poetry cannot literally raise the dead: it is a magic trick that makes the words on the page form into images, take life, and speak to us. Lucan answers the criticisms the philosopher and theologian make to poetry by openly acknowledging the false bottom of the hat from which poetry pulls its rabbits. It has no access to a real bottom, an underworld beyond death; it is all representation.4 The philosopher and the theologian may be poets no less than he is, but they do not want to know it, too busy, perhaps, in supporting tyranny over human minds and bodies. Plato and Augustine are two such critics on either historical side of Lucan, and they help us to understand the stakes of the Roman poet’s project. Both were dissatisfied with literature and they wanted to be something more than the great rhetoricians that they were. In the Symposium, Plato demystifies the archetypal myth of poetry, the singing of Orpheus that sought to bring Eurydice back from death: the gods sent Orpheus away from Hades empty-handed and showed him the mere shadow [eidolon] of the woman he had come to seek: Eurydice herself they would not let him take, because he seemed, like the mere minstrel that he was, to be a lukewarm lover, lacking the courage to die as Alcestis died for love, and choosing rather to scheme his way, living, into Hades. And it was for this that the gods doomed him, and doomed him justly, David Quint 3 to meet his death at the hands of women. (179d)5 Behind the words of his shallowly sentimental speaker Phaedrus we can detect Plato’s familiar hostility to poetry, his objection in Book 10 of the Republic that the poet merely imitates the appearances of things and is... (shrink)

In this second lecture, Quine provides a further rational reconstruction of human progress from sensory stimulation to our current scientific theory. This project consists in his further speculations concerning how we have acquired cognitive language. Here, Quine talks of observation sentences and explains how he thinks they can be learned by ostension. This leads him to further speculate concerning how we could master standing sentences, predication and the use of relative clauses. At this stage the language learner has (...) acquired a grammar that is equivalent to first order predicate calculus, which Quine famously advocates as the canonical framework for the language of science. He elaborates on the nature of objective reference, emphasizing that this appears with the predication of general terms since only then are things separated from the terms that name them. (shrink)

The church in Africa, like its counterparts elsewhere in the world, is called to fulfil the mission of God as expressed in the call ‘Missio Dei’ and influentially remains with the integrity of the mission of Christ, which is liberative and practical. For Christ was not only concerned with the spiritual needs of the people, but also with their material well-being. The following question therefore arises: how can the church in Africa, in general, and in Zimbabwe, in particular, (...) actively do God’s mission and remain with integrity in the midst of the reality of suffering. Furthermore, how can the church for mission and reconstruction be understood in a post-colonial Zimbabwe given the contextual realities of political crises, corruption, poverty, moral decadence, defined or censored truth, leadership crises and no freedom of expression? This article argues that, although the church is faced with these arduous realities, it remains called by God to do God’s mission. While in post-colonial Zimbabwe the socio-political, socio-economic and socio-religious situation might seem hopeless, the church has remained vibrant and alive for reconstruction theology. The transformation of society is possible given the authority and mission mandate of the church. This article argues that the church is a key player in reconstruction theology and in the transformation of society. For transformation to be possible, the church should witness to the gospel of Christ without fear of being labelled, castrated and persecuted. The article asserts that the spirit of the Bible should be revived in a time of reconstruction in Zimbabwe. The assumption in this article is that Zimbabwe is ready for reconstruction discourse. For this to happen, the researchers argue that the church as a critical relevant player in reconstruction needs to ‘be church’ in its missional mandates. Integrity is essential if a church wants to be relevantly missional and reconstructive. Integrity means that the church has to embrace the risks and opportunities associated with mission. (shrink)

In this third lecture, Quine returns to the mentalistic language accompanying perception and wonders to what extent it is physically defensible and respectable. He explains that even at the level of observation sentences we have a device for ascribing perceptual events. There is a bifurcation between physicalistic and mentalistic talk with basic observation sentences as seen in the difference between ‘It is raining’ and ‘Bob perceives that it is raining’. He explains how the relation of perception between humans and (...) objects can fit his physicalistic framework while remaining very disjointed. What holds its disjointed nature together is a trait of a higher order found in the learning process itself. Each class of perceptual events, be they auditory, visual or otherwise, is a class by which a subject can be taught to name the object in question. (shrink)

In this article we investigate whether the following conjecture is true or not: does the addition-free theta functions form a canonical notation system for the linear versions of Friedman’s well-partial-orders with the so-called gap-condition over a finite set of n labels. Rather surprisingly, we can show this is the case for two labels, but not for more than two labels. To this end, we determine the order type of the notation systems for addition-free theta functions in terms (...) of ordinals less than ε0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varepsilon _0$$\end{document}. We further show that the maximal order type of the Friedman ordering can be obtained by a certain ordinal notation system which is based on specific binary theta functions. (shrink)

In this paper I defend a Quinean view on ontological commitment against some recent challenges. I outline the virtues and limitations of the Quinean approach before considering two different theories. Thomas Hofweber argues that commitment in natural language is ambiguous and that Quine’s canonical notation is incapable of representing the two functions of natural language quantifiers. Truthmaker theorists argue that Quine’s approach is based on a fallacious view of the relation between true sentences and the truthmaking (...) domain (the world). In response I argue that both objections are aimed at a particularly strong version of the Quinean approach, and that rather than abandon it we can use these challenges to understand its true value. (shrink)

This chapter contains sections titled: Introduction A Methodology for Ontology The Need for a Criterion of Ontological Commitment The Role of a Canonical Notation The Ontology of Mathematics The Notion of Existence The Ontology of Natural Sciences Do Intensions Belong to the Furniture of the World? How to Treat Intensional Contexts without Positing Intensions Fiction, Intentional Objects and Existence Lesniewski's Ontology Acknowledgments.

This book is a contribution to the flourishing field of formal and philosophical work on truth and the semantic paradoxes. Our aim is to present several theories of truth, to investigate some of their model-theoretic, recursion-theoretic and proof-theoretic aspects, and to evaluate their philosophical significance. In Part I we first outline some motivations for studying formal theories of truth, fix some terminology, provide some background on Tarski’s and Kripke’s theories of truth, and then discuss the prospects of classical type-free truth. (...) In Chapter 4 we discuss some minimal adequacy conditions on a satisfactory theory of truth based on the function that the truth predicate is intended to fulfil on the deflationist account. We cast doubt on the adequacy of some non-classical theories of truth and argue in favor of classical theories of truth. Part II is devoted to grounded truth. In chapter 5 we introduce a game-theoretic semantics for Kripke’s theory of truth. Strategies in these games can be interpreted as reference-graphs of the sentences in question. Using that framework, we give a graph-theoretic analysis of the Kripke-paradoxical sentences. In chapter 6 we provide simultaneous axiomatizations of groundedness and truth, and analyze the proof-theoretic strength of the resulting theories. These range from conservative extensions of Peano arithmetic to theories that have the full strength of the impredicative system ID1. Part III investigates the relationship between truth and set-theoretic comprehen- sion. In chapter 7 we canonically associate extensions of the truth predicate with Henkin-models of second-order arithmetic. This relationship will be employed to determine the recursion-theoretic complexity of several theories of grounded truth and to show the consistency of the latter with principles of generalized induction. In chapter 8 it is shown that the sets definable over the standard model of the Tarskian hierarchy are exactly the hyperarithmetical sets. Finally, we try to apply a certain solution to the set-theoretic paradoxes to the case of truth, namely Quine’s idea of stratification. This will yield classical disquotational theories that interpret full second-order arithmetic without set parameters, Z2- . We also indicate a method to recover the parameters. An appendix provides some background on ordinal notations, recursion theory and graph theory. (shrink)

"Some Pow'r did us the giftie grant/ To see oursels as others can't." With that play on Burns' famous line as a preface, Willard Van Orman Quine sets out to spin the yarn of his life so far. And it is a gift indeed to see one of the world's most famous philosophers as no one else has seen him before. To catch an intimate glimpse of his seminal and controversial theories of philosophy, logic, and language as they evolved, (...) and to hear his warm and often amusing comments on famous contemporary philosophers.From his beginnings in Akron, Ohio in the early 1900s, Quine takes us on a tour of over 100 countries over three-quarters of a century, including close observations of the Depression and two world wars. Far from a philosophical tract, it is an ebullient, folksy account of a richly varied and rounded life. When he does dip into philosophy, it is generally of the armchair sort, and laced with a gentle good humor: "There is that which one wants to do for the glory of having done it, and there is that which one wants to do for the joy of doing it. One can want to be a scientist because he wants to see himself as a Darwin or an Einstein, and one can want to be a scientist because he is curious about what makes things tick.... In normal cases the two kinds of motivation are in time brought to terms.... In me the glory motive lingered......In this book, Quine approaches the details of his life the way he has always approached them with a sharp sense of interest, adventure and fun. And he has a skill for picking a word that is just off-center enough to pull an ordinary event out of the humdrum of daily life and evoke its personal meaning. The result is a book of memories that is utterly mesmerizing.Willard Van Orman Quine is the author of numerous books, including Word and Object, published by The MIT Press in 1960.A Bradford Book. (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 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)

Just as Quine and others have argued for a deflationism about the property of truth, Sinan Dogramaci has argued for a deflationism about rationality. Specifically, Dogramaci claims that we have no reason to think that the basic, deductive, epistemic rules we call “rational” have any sort of “unifying property.” A “unifying property” is a property that is necessary, sufficient, and explanatorily illuminating. My goal in this paper is to undermine Dogramaci’s argument for this radical position. I (...) do this by first outlining Dogramaci’s distinctive view on the function of our epistemically evaluative terms. This view, called epistemic communism, has it that the function of terms like “rational” is to support the coordination of our community on a single set of epistemic rules. I offer a reconstruction of Dogramaci’s argument from epistemic communism to deflationism about rationality. I next raise an objection to Dogramaci’s argument: different sets of epistemic rules do not equally support the coordinative function. Dogramaci has a response to this objection, but I argue that this response is less than satisfactory. I illustrate that this response is unsatisfactory by employing work by David Enoch and Joshua Schechter. After pushing my objection to Dogramaci’s argument, I develop, on Dogramaci’s behalf, an objection to my non-deflationary attempt to undermine his argument. In the final section of the paper, I reply to this objection offered on Dogramaci’s behalf and conclude that whether we are epistemic communists or not, we need not accept deflationism. (shrink)

It is widely held that truth and reference play an indispensable explanatory role in theories of meaning. By contrast, so-called deflationists argue that the functions of these concepts are merely expressive and never explanatory. Robert Brandom has proposed both a variety of deflationism — the anaphoric theory —, and a theory of meaning — inferentialism — which doesn’t rely on truth or reference. He argues that the anaphoric theory counts against his (chiefly referentialist) rivals in the debate on (...) meaning and thereby paves the way for inferentialism. In this paper, I give a friendly reconstruction of anaphoric deflationism (section II) and point to a distinguishing feature of the theory with respect to other deflationist proposals. While Brandom simply assumes, but doesn’t earn this feature, I propose a natural argument to justify it (section III). Then, however, I point out a subtle but clear sense in which truth and reference can play a role in explaining meaning, even if the anaphoric theory holds. Thus, anaphoric deflationism will turn out to be neutral in the debate on meaning (section IV). (shrink)

Suppose now that two philosophers, McX and I, differ over ontology. Suppose McX maintains there is something which I maintain there is not. McX can, quite consistently with his own point of view, describe our difference of opinion by saying that I refuse to recognize certain entities. I should protest of course that he is wrong in his formulation of our disagreement, for I maintain that there are no entities, of the kind which he alleges, for me to (...) recognize; but my finding him wrong in his formulation of our disagreement is unimportant, for I am committed to considering him wrong in his ontology anyway. When I try to formulate our difference of opinion, on the other hand, I seem to be in a predicament. I cannot admit that there are some things which McX countenances and I do not, for in admitting that there are such things I should be contradicting my own rejection of them. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by (...) taking the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the Liar Paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the Liar Paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

Besides serving us at the growing edge of science and beyond, metaphor figures even in our first learning of language; or, if not quite metaphor, something akin to it. We hear a word or phrase on some occasion, or by chance we babble a fair approximate ourselves on what happens to be a pat occasion and are applauded for it. On a later occasion, then, one that resembles the first occasion by our lights, we repeat the expression. Resemblance of occasions (...) is what matters, here as in metaphor. We generalize our application of the expression by degrees of subjective resemblance of occasions, until we discover from other people's behavior that we have pushed analogy too far and exceeded the established usage. If the crux of metaphor is creative extension through analogy, then we have forged a metaphor at each succeeding application of that early word of phrase. These primitive metaphors differ from the deliberate and sophisticated ones, however, in that they accrete directly to our growing store of standard usage. They are metaphors stillborn. It is a mistake, then, to think of linguistic usage as literalistic in its main body and metaphorical in its trimming. Metaphor, or something like it, governs both the growth of language and our acquisition of it. What comes as a subsequent refinement is rather cognitive discourse itself, at its most dryly literal. The neatly worked inner stretches of science are an open space in the tropical jungle, created by clearing tropes away. W. V. Quine is the Edgar Pierce professor emeritus of philosophy at Harvard University. His many influential works include Methods of Logic, Word and Object, and The Roots of Reference. "On the Nature of Moral Values," his previous contribution to Critical Inquiry, appeared in the Spring 1979 issue. (shrink)

This Element lays the foundation, introduces a framework, and sketches the program for a systematic study of mathematical notations. It is written for everyone who is curious about the world of symbols that surrounds us, in particular researchers and students in philosophy, history, cognitive science, and mathematics education. The main characteristics of mathematical notations are introduced and discussed in relation to the intended subject matter, the language in which the notations are verbalized, the cognitive resources needed for learning and (...) understanding them, the tasks that they are used for, their material basis, and the historical context in which they are situated. Specific criteria for the design and assessment of notations are discussed, as well as ontological, epistemological, and methodological questions that arise from the study of mathematical notations and of their use in mathematical practice. (shrink)

What does it take for two logics to be mere notational variants? The present paper proposes a variety of different ways of cashing out notational variance, in particular isolating a constraint on any reasonable account of notational variance which makes plausible that the only kinds of translations which can witness notational variance are what are sometimes called definitional translations.

In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal (...) formulae. We summarize main ideas and results, and outline further research perspectives. (shrink)

Central to any form of Deflationism concerning truth (hereafter ‘DT’) is the claim that truth has no substantial theoretical role to play. For this reason, DT faces the following immediate challenge: if truth can play no substantial theoretical role then how can we model various prevalent kinds of indeterminacy—such as the indeterminacy exhibited by vague predicates, future contingents, liar sentences, truth-teller sentences, incomplete stipulations, cases of presupposition failure, and such-like? It is too hasty to assume that these phenomena are (...) all to be modelled via some epistemic conception of indeterminacy whereby indeterminacy is just some special species of ignorance which arises because of our limited powers of discrimination. Some non-epistemic model is called for—at least for certain species of indeterminacy. On what is perhaps the most enduring and popular non-epistemic model, indeterminacy gives rise to truth-value gaps. But is DT compatible with the possibility of truth-value gaps? Compatibilism says Yes; Incompatibilism says No. The broad goal of this paper is to defend a form of Incompatibilism. If DT is to make sense of various kinds of indeterminacy then truth-value gaps cannot be invoked to do so. The particular goals of this paper are: (i) To set forth a new form of Compatibilism which can address an argument against truth-value gaps given by Williamson (1994, pp. 187-192). (ii) To offer a new argument against truth-value gaps using principles entailed by DT, thereby undermining Compatibilism. (shrink)

Peano's contributions to logic are surveyed under several headings. His use of class abstraction is considered first, together with his recognition of the distinction between membership and inclusion. Then his strategy of notational inversion is appraised. Finally, class abstraction is considered again, from ontological points of view; and Peano's achievements are compared with Frege's.

The aim of this chapter is to explain, motivate, and provide the central details of a specific version of what has come to be called alethic fictionalism—namely, a fictionalist account of truth (or, more accurately, of truth-talk, that fragment of discourse that involves the truth-predicate and other alethic-locutions). Our particular brand of alethic fictionalism is sometimes described as a “pretense theory of truth,” and a catchphrase for our view is “truth is a pretense.” But a more precise label for the (...) view that we will present is “semantic pretense-involving fictionalism about truth-talk.” Our endorsement of this view (for short, our SPIF account) stems from our belief that deflationism is the right approach to take on the topic of truth. This already shifts the focus away from any property of truth, since deflationism “about truth” (or, as we will call this view, T-deflationism) is best understood as an approach to analyzing truth-talk. We arrive specifically at our SPIF account of truth-talk because we also think that versions of T-deflationism should be understood as a kind of fictionalism (which, again, puts the focus on discourse, rather than metaphysics) and because we maintain that a SPIF account is the best variety of fictionalism to apply specifically to truth-talk. We will explain some of our reasons for holding these beliefs below, laying out the basics of our SPIF account of truth-talk and highlighting the merits of endorsing our particular account of that talk. (shrink)

This chapter contains sections titled: Introduction Two Dogmas of Empiricism Pragmatism and Naturalism Indeterminacy of Translation Canonical Notation Naturalistic Epistemology The Objectivity of Science.

We propose a general framework for dynamic epistemic logics. It consists of a generic language for DELs and a class of structures, called model transition systems, that describe model transformations in a static way. An MTS can be viewed as a two-layered Kripke model and consequently inherits standard concepts such as bisimulation and bounded morphism from the ordinary Kripke models. In the second half of this article we add the global operator to the language, which enables us to define (...) the notions of a canonical MTS and canonicity of a DEL formula for a property of MTSs. Using these notions, we clarify correspondences between axioms of DELs and properties of MTSs. (shrink)

The explanation of a child's discriminate responses to his environment turns on ascribing to the child a perceptual discrimination which counts certain things as more similar to one another than to some other thing. As Quine forcefully puts it:If an individual is to learn at all, differences in degree of similarity must be implicit in his learning pattern. Otherwise any response, if reinforced, would be conditioned equally and indiscriminately to any and every future episode, all these being equally (...) similar.Now for those determined to cleave to behaviourist canons, the problem is to use ‘perceptual similarity’ in explaining the subject's discriminating responses in a way which does not imply the existence of mental states and entities. What this really means is that the behaviourist must reconstruct the notion of ‘perceptual similarity', purifying it of its mentalistic dimension. So long as physicalism is a reasonable position, and while we are awaiting and abetting the neurophysiological millennium, the behaviourist's project is of significant moment. Now in Word and Object Quine does not seriously attempt to provide behavioural criteria for a subject's perceiving similarities, and he provisionally permits himself the mentalistic idiom he avows finally to eschew. (shrink)

Naturalism holds that there is no higher access to truth than empirically testable hypotheses. Still it does not repudiate untestable hypotheses. They fill out interstices of theory and lead to further hypotheses that are testable.A hypothesis is tested by deducing, from it and a background of accepted theory, some observation categorical that does not follow from the background alone. This categorical, a generalized conditional compounded of two observation sentences, admits in turn of a primitive experimental test.The observation sentences themselves, like (...) ape cries and bird calls, are in holophrastic association with ranges of neural intake. Denotation of determinate objects figures neither in this association nor in deducing the categorical from the scientific hypotheses. Hence the indeterminacy of reference; ontology is purely auxiliary to the structure of theory. Truth, however, is seen still as transcendent at least in this sense: we say of a superseded scientific theory not that it ceased to be true, but that it is found to have been false. (shrink)

It is gratifying to see that philosophers' continued interest in Words and Objections has been so strong as to motivate a paperback edition. This is gratifying because it vindicates the editors' belief in the permanent im portance of Quine's philosophy and in the value of the papers com menting on it which were collected in our volume. Apart from a couple of small corrections, only one change has been made. The list of Professor Quine's writings has been (...) brought up to date. The editors cannot claim any credit for this improvement, however. We have not tried to imitate the Library of Living Philosophers volumes and to include Professor Quine's autobiography in this volume, but we are fortunate to publish here his brand-new auto bibliography. 1975 THE EDITORS TABLE OF CONTENTS V PREFACE 1 EDITORIAL INTRODUCTION 1. 1. C. SMAR T / Quine's Philosophy of Science 3 GILBERT HARMAN / An Introduction to 'Translation and Meaning', Chapter Two of Word and Object 14 ERIK STENIUS / Beginning with Ordinary Things 27 NOAM CHOMSKY / Quine's Empirical Assumptions 53 1AAKKO HINTIKKA / Behavioral Criteria of Radical Translation 69 BARRY STROUD / Conventionalism and the Indeterminacy of Translation 82 P. F. STRA WSON / Singular Terms and Predication 97 118 H. P. GRICE / Vacuous Names P. T. (shrink)

The problem of identity is central to epistemic transference. However, relative identity appears to be the only way to work out an epistemic useful notion of identity. Relative identity, on its part, is either parasitic on strict identity or not identity at all. If, on the contrary, we ought for a strict concept of identity capable of satisfying its requirements, we end up with a tautologic and epistemic worthless category. The paper provides an answer to this problem, which, while (...) working with a strict notion, shows how it might still serve epistemic purposes. In doing so, it shows how a formal reconstruction of our objectual world and the identities we refer to poses a workable model upon which our messy epistemic one acquires stability. The paper focuses primarily on the Geach-Quine discussion on identity. (shrink)

This paper spells out the positive theory sketched at the end of "Against Stepping Back".): According to deflationists, [p] is true is in some sense equivalent to p. The problem that the semantic paradoxes pose for the deflationist is to explicate this equivalence without relying on a semantics grounded in the sort of real reference relations that a deflationist thinks do not exist. More generally, the deflationist is challenged to give an account of logical validity that does not force us (...) to countenance such relations. (The usual model-theoretic definition seems to presuppose that there is some special interpretation, the intended interpretation, such that truth simpliciter is truth on that intended interpretation. So if the deflationist adopts this sort of definition, the deflationist will be challenged to identify the intended interpretation without positing real reference relations.) Fortunately, a precise semantics compatible with the deflationist philosophy can be had as follows: First, we define a context as a certain sort of set constructed from a basis of literals (atomic sentences and negations of atomic sentences). This formal account of contexts has to be supplemented with an account of the conditions under which a structure satisfying the formal definition is the structure of that kind pertinent ot a given conversation. For each syntactic type of sentence, we define the conditions under which a sentence of that type is assertible relative to a context. In particular, we define the conditions under which sentences of the form " [p] is true" are assertible in a context, and we define the conditions under which sentences of the form "[p] is assertible in context G" are assertible in a context. Finally, logical validity is defined as preservation of assertibility in a context. It is demonstrated that this approach to semantics resists the semantic paradoxes. (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)

Deflationism about truth, what is often simply called “deflationism”, is really not so much a theory of truth in the traditional sense, as it is a different, newer sort of approach to the topic. Traditional theories of truth are part of a philosophical debate about the nature of a supposed property of truth. Philosophers offering such theories often make suggestions like the following: truth consists in correspondence to the facts; truth consists in coherence with a set of beliefs (...) or propositions; truth is what is acceptable in the ideal limit of inquiry. According to deflationists, such suggestions are mistaken, and, moreover, they all share a common mistake. The common mistake is to assume that truth has a nature of the kind that philosophers might find out about and develop theories of. The main idea of the deflationary approach is (a) that all that can be significantly said about truth is exhausted by an account of the role of the expression ‘true’ or of the concept of truth in our talk and thought, and (b) that, by contrast with what traditional views assume, this role is neither metaphysically substantive nor explanatory. For example, according to deflationary accounts, to say that ‘snow is white’ is true, or that it is true that snow is white, is in some sense strongly equivalent to saying simply that snow is white, and this, according to the deflationary approach, is all that can be said significantly about the truth of ‘snow is white’. Philosophers looking for some underlying nature of some truth property that is attributed with the use of the expression ‘true’ are bound to be frustrated, the deflationist says, because they are looking for something that isn’t there. Deflationism comprises a variety of different versions, each of which have gone by different names, including at least the following: disquotationalism, minimalism, prosententialism, the redundancy theory, the disappearance theory, the no-truth theory. There has not always been terminological consensus in the literature about how to use these labels: sometimes they have been used interchangeably; sometimes they have been used to mark distinctions between different developments of the same general approach. The actual variety of deflationary views has not always been clear in discussions of this approach, especially in the earlier literature, where important differences are occasionally missed. To help clear this up, we will use ‘deflationism’ to denote the general approach we want to discuss and reserve other names for specific versions of that approach. (shrink)

G. Jäger gave in Arch. Math. Logik Grundlagenforsch. 24 , 49-62, a recursive notation system on a basis of a hierarchy Iαß of α-inaccessible regular ordinals using collapsing functions following W. Buchholz in Ann. Pure Appl. Logic 32 , 195-207. Jäger's system stops, when ordinals α with Iα0 = α enter. This border is now overcome by introducing additional a hierarchy Jαß of weakly inaccessible Mahlo numbers, which is defined similarly to the Jäger hierarchy. An ordinal μ is (...) called Mahlo, if every normal-function f : μ → μ has regular fixpoints. Collapsing is defined for both Mahlo and simply regular ordinals such that for every Mahlo ordinal μ out of the J-hierarchy Ψμα is a regular σ such that Iσ0 = σ. For these regular σ again collapsing functions Ψσ are defined. To get a proper systematical order into the collapsing procedure, a pair of ordinals is associated to σ and α, and the definition of Ψσα is given by recursion on a suitable well-ordering of these pairs. Thus a fairly large system of ordinal notations can be established. It seems rather straightforward, how to extend this setting further. (shrink)

Ontological pluralism is the view that there are different ways to exist. It is a position with deep roots in the history of philosophy, and in which there has been a recent resurgence of interest. In contemporary presentations, it is stated in terms of fundamental languages: as the view that such languages contain more than one quantifier. For example, one ranging over abstract objects, and another over concrete ones. A natural worry, however, is that the languages proposed by the (...) pluralist are mere notational variants of those proposed by the monist, in which case the debate between the two positions would not seem to be substantive. Jason Turner has given an ingenious response to this worry, in terms of a principle that he calls ‘logical realism’. This paper offers a counter-response on behalf of the ‘notationalist’. I argue that, properly applied, the principle of logical realism is no threat to the claim that the languages in question are notational variants. Indeed, there seems to be every reason to think that they are. (shrink)

Quine is routinely perceived as having changed his mind about the scope of the Duhem-Quine thesis, shifting from what has been called an 'extreme holism' to a more moderate view. Where the Quine of 'Two Dogmas of Empiricism' argues that “the unit of empirical significance is the whole of science” (1951, 42), the later Quine seems to back away from this “needlessly strong statement of holism” (1991, 393). In this paper, I show that the received view (...) is incorrect. I distinguish three ways in which Quine's early holism can be said to be wide-scoped and show that he has never changed his mind about any one of these aspects of his early view. Instead, I argue that Quine's apparent change of mind can be explained away as a mere shift of emphasis. (shrink)

Fictionalism has long presented an attractive alternative to both heavy-duty realist and simple eliminativist views about entities such as properties, propositions, numbers, and possible worlds. More recently, a different alternative to these traditional views has been gaining popularity: a form of deflationism that holds that trivial arguments may lead us from uncontroversial premisses to conclude that the relevant entities exist — but where commitment to the entities is a trivial consequence of other claims we accept, not a posit to (...) explain what makes the relevant claims true. The deflationist’s trivial arguments, however, have been attacked by fictionalists, who suggest that the ontological conclusions we get from these arguments should not be taken as serious ontological assertions at all, but rather as implicitly in the context of a fiction or simulation. This paper examines the fictionalist’s criticisms of ‘easy’ arguments for numbers, properties, and other entities, and concludes that they beg the question against the deflationist and so do not undermine the deflationist’s position. Close attention to the argument also reveals a crucial disanalogy between overtly fictional discourse and discourse about numbers, properties, and so on, which undermines the case for fictionalism. Finally, I argue that the motivations for fictionalism (particularly those based in its ability to offer a good account of the discourse) are served as well or better by deflationism. Overall, this gives us reason to think that deflationism may provide a preferable approach for those looking for an alternative to both traditional realism and traditional eliminativism. (shrink)

I argue that Quine''s famous claim, any statement can be held true come what may, demands an interpretation that implies that the meanings of the expressions in the held-true statement change. The intended interpretation of this claim is not clear from its context, and so it is often misunderstood by philosophers (and is misleadingly taught to their students). I explain Fodor and Lepore''s (1992) view that the above interpretation would render Quine''s assertion entirely trivial and reply, on (...) both textual and philosophical grounds, that only this trivial reading is consistent with Quine''s famous denial of analyticity. I also explain briefly how the trivial reading lends support to meaning holism, which, regardless of one''s views of its consequences, is an important position in the philosophy of language and mind. (shrink)

In this first lecture Quine argues for a physicalistic monism and examines how mentalistic discourse can be located in that framework. He defends the following standard: a mental event qualifies as physically genuine if it is specifiable strictly by physiological description, presumably neurological, without any appeal to mentalistic terms. He further characterizes the basic mentalistic level that his view can accept: the learning process involving perception, expectation, action and pleasure, which all have important neural analogues. It is from (...) this starting point that he further speculates how it is possible to move from such perceptual events to our knowledge of nature. Lastly, he reflects more generally on what epistemology looks like when it is placed within this physicalist framework with its focus on language. (shrink)

Some of Quine’s critics charge that he arrives at a behavioristic account of linguistic meaning by starting from inappropriately behavioristic assumptions (Kripke 1982, 14; Searle 1987, 123). Quine has even written that this account of linguistic meaning is a consequence of his behaviorism (Quine 1992, 37). I take it that the above charges amount to the assertion that Quine assumes the denial of one or more of the following claims: (1) Language-users associate mental ideas with their (...) linguistic expressions. (2) A language-user can have a private theory of linguistic meaning which guides his or her use of language. (3) Language learning relies on innate mechanisms. Call an antecedent denial of one or more of these claims illicit behaviorism. In this paper I show that Quine is prepared to grant, if only for the sake of argument, all three of the above claims. I argue that his claim that there is nothing in linguistic meaning beyond what is to be gleaned from overt behavior in observable circumstances is unscathed by these allowances (Quine 1992, 38). And I show that the behaviorism which Quine does assume should be viewed as a largely uncontroversial aspect of his evidential empiricism. I conclude that if one sets out to dismiss Quine’s arguments for internal-meaning skepticism, this dismissal should not be motivated by the charge that his conclusions rely on the illicitly behavioristic assumptions that some have suggested that they do. (shrink)

After putting forward his celebrated deflationary theory of truth (Horwich, 1998a), Paul Horwich added a compatible theory of meaning (Horwich, 1998b). I am calling also this latter theory deflationism (although it may be a slightly misleading name in that, as Paul himself notes, his theory of meaning is deflationary more in the sense of being forced by the deflationary theory of truth than of being particularly deflationary in itself). In contrast, what I call inferentialism is the theory of (...) meaning which I am going to advocate here – the view, in a nutshell, that meaning is a matter of inferential role. Various versions of this theory have been defended by Wilfried Sellars, Robert Brandom and a couple of other philosophers including myself. And the thesis I wish to present in this paper – to put it as a provocation right off – is that Paul is an inferentialist led astray. Both deflationism and inferentialism can be seen as elaborations of what can be called the use theory of meaning; for both seem to agree that. (shrink)

Quine, the famous American empiricist philosopher, in wake of his criticisms of quantified modal logic, believes that the logic is committed to a doctrine which he calls Aristotelian Essentialism, and tries to prove that the doctrine is meaningless. He defines Aristotelian Essentialism as a doctrine which distinguishes between things’ essential and accidental properties, and the distinction is independent from the language in which the things are referred to, and also the ways by which they are (...) specified. In the present paper, based on Aristotle's works, I have tried to find out whether Quine has defined the Aristotelian essentialism correctly, and whether his criticisms of essentialism include what Aristotle means by essentialism or not? I have argued that Quine has not analyzed Aristotelian essentialism correctly. Keywords: Essentialism, Modality, Aristotle, Quine. (shrink)

Amongst those views sometimes attributed to the later Wittgenstein are included both a deflationary theory of truth, as well as a non-factualism about certain regions of discourse. Evidence in favor of the former attribution, it is thought, can be found in Wittgenstein’s apparent affirmation of the basic definitional equivalence of ‘p’ is true and p in §136 of his Philosophical Investigations. Evidence in favor of the latter attribution, it might then be presumed, can be found in the context of the (...) so-called ‘private language argument’, wherein Wittgenstein provides an expressivist treatment of first-person present tense sensation utterances. In this paper, by contrast, I will argue that Wittgenstein’s later philosophy is best understood as endorsing neither a non-factualism about sensation utterances, nor a deflationism about truth. Wittgenstein should instead be understood as offering a ‘mixed’ view of sensation utterances according to which some while not others are apt for expressivist treatment. Moreover, he should be thought of as identifying truth-conditions with semantic ‘correctness-conditions’, and thus truth with semantic ‘assertibility’. (shrink)

In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called \emph{elementary}. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called \emph{canonical}. This is a survey of a recent and ongoing study of the class of elementary and canonical modal (...) formulae. We summarize main ideas and results, and outline further research perspectives. (shrink)

In its most general sense a canon of conceptualization is an authoritative principle of thought or discourse. It may exist in explicit formulation in a text or it may be implicit in a convention of speech or even of conduct in a community united by culture, persuation or some cognate criterion. When a canon appertains to those basic modes of conceptualization called categories it may exercise the profoundest influence on life and thought, which may be all the more decisive (...) in cases where that influence is less than fully conscious. And when canons of this sort conflict dialogue is apt to bog down in mutual incomprehension, providing fertile breeding grounds for relativistic meta-reflections. (shrink)

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive (...) formulae are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

Le canon 812 du Code de droit canon de 1983 exige que ceux qui enseignent une discipline théologique dans une université catholique aient un mandatum de la part de l’autorité ecclésiastique compétente. Entre insistances et rappels à l’ordre romains, s’en suivirent aux Etats-Unis neuf ans de consultations, discussions et conflits qui impliquèrent évêques, présidents d’universités et théologiens. Il y a là un fait théologique et ecclésial dont les Eglises d’autres pays n’ont pas fait la même expérience. L’examen des enjeux ecclésiologiques (...) de ces péripéties constitue l’objet de ces réflexions qui représentent ainsi une sorte de lettre théologique des Etats-Unis. Pourquoi l’acuité de la question dans ce pays ? Comment comprendre le mandatum avec l’emploi du concept de communion ? Qu’est-ce que ce mandatum comme fait historique et comme institution ecclésiale ? Telles sont les questions auxquelles tente de répondre J.G. Mueller dans cet article.Canon 812 of the Code of Canon Law of 1983 requires that those who teach a theological discipline in a Catholic university have a mandatum from the competent church authority. In between Rome’s insistence and calls to order, there followed nine years of consultations, discussions, and conflicts in the United States involving bishops, university presidents, and theologians. This is a theological and ecclesial fact of which Churches in other countries have not had the same experience. An examination of the ecclesiological stakes of these vicissitudes constitutes the subject of these reflections, which represents a sort of theological letter from the United States. Why the acuity of the question in this country? How can we understand the mandatum by using the concept of communion? What is this mandatum as a historical fact and as an ecclesiastical institution? Such are the questions that J.G. Mueller attempts to answer in this article. (shrink)

First published in 1924, Memoirs of a Positivist is both an autobiography of the author and a history of the English Positivist movement in the nineteenth and twentieth centuries. It especially elaborates on the influence of the Positivist movement in the religious life of people and the manners in which scientific reasons were sought for religious beliefs. This book will be of interest to students of philosophy, religion and history.

One of the main differences between Quine’s and Davidson’s theories of knowledge and mind lies in their accounts of the content of perception and the way in which it contributes to our knowledge of the external world. Both thinkers are very sensitive to these differences and it has been the subject of discussion between them in recent publications. To put it very roughly, Quine holds firmly to the position that although we finally manage to get veridical knowledge (...) of the external world, the content of our perceptions are just the triggerings of our sense receptors that give us reliable clues about the objects and happenings in our environment. Davidson considers this view to be a naturalized successor of an older defective empiricism which should be abandoned. In its place he proposes an externalist theory of perceptual content, according to which content is fully determined or constituted by the objects and events in the external world. This move, among other things, bypasses many of the troubles that Quine’s approach faces and gives a solid ground for our intersubjective communication. In other words, if the central concern of Quine’s epistemological project is epistemology naturalized, so the central concern of Davidson’s corresponding project is epistemology externalised. (shrink)

Spontaneously, one might want to object that it is essential to ordered pairs that they can contain the same members and yet be different: ≠. Hence, it may be argued, no set-theoretical substitute can fully capture the sense in which ordered pairs are ordered. Quine, however, rejects all such talk of essences and senses. As I will show, this anti-essentialist attitude is intimately related to his view of the ontological import of explication procedures. According to Quine, an (...) explication should help us reform our established theory of the world so that the resulting scheme assumes an ontology that is as sparse as possible. Allegedly, what Wiener and Kuratowski show is simply that whatever good is accomplished by talking of ordered pairs can be accomplished by talking of sets. And, Quine adds, ‘[a] similar view can be taken of every case of explication: explication is elimination’. (shrink)