I argue that on very weak assumptions about truth (in particular, that there are coherent norms governing the use of "true"), there is a proposition absolutely inexpressible with conventional language, or something very close. I argue for this claim "constructively": I use a variant of the Berry Paradox to reveal a particular thought for my readership to entertain that very strongly resists conventional expression. I gauge the severity of this expressive limitation within a taxonomy of expressive failures, and argue that (...) despite its strength there is nothing incoherent about admitting its existence. The argument forms part of a project of clarifying precisely what trade-offs are required to secure the kinds of expressive power truth theorists typically want, in the process showing that the admission of very strong expressive limitations may ultimately prove to be the lesser of two evils. (shrink)

Aboutness has been studied from any number of angles. Brentano made it the defining feature of the mental. Phenomenologists try to pin down the aboutness-features of particular mental states. Materialists sometimes claim to have grounded aboutness in natural regularities. Attempts have even been made, in library science and information theory, to operationalize the notion. But it has played no real role in philosophical semantics. This is surprising; sentences have aboutness-properties if anything does. Aboutness is the first book to examine through (...) a philosophical lens the role of subject matter in meaning. A long-standing tradition sees meaning as truth-conditions, to be specified by listing the scenarios in which a sentence is true. Nothing is said about the principle of selection--about what in a scenario gets it onto the list. Subject matter is the missing link here. A sentence is true because of how matters stand where its subject matter is concerned. Stephen Yablo maintains that this is not just a feature of subject matter, but its essence. One indicates what a sentence is about by mapping out logical space according to its changing ways of being true or false. The notion of content that results--directed content--is brought to bear on a range of philosophical topics, including ontology, verisimilitude, knowledge, loose talk, assertive content, and philosophical methodology. Written by one of today's leading philosophers, Aboutness represents a major advance in semantics and the philosophy of language. (shrink)

This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

The tradition descending from Frege and Russell has typically treated theories of meaning either as theories of meanings, or as theories of truth conditions. However, propositions of the classical sort don't exist, and truth conditions can't provide all the information required by a theory of meaning. In this book, one of the world's leading philosophers of language offers a way out of this dilemma. Traditionally conceived, propositions are denizens of a "third realm" beyond mind and matter, "grasped" by mysterious Platonic (...) intuition. As conceived here, they are cognitive-event types in which agents predicate properties and relations of things--in using language, in perception, and in nonlinguistic thought. Because of this, one's acquaintance with, and knowledge of, propositions is acquaintance with, and knowledge of, events of one's cognitive life. This view also solves the problem of "the unity of the proposition" by explaining how propositions can be genuinely representational, and therefore bearers of truth. The problem, in the traditional conception, is that sentences, utterances, and mental states are representational because of the relations they bear to inherently representational Platonic complexes of universals and particulars. Since we have no way of understanding how such structures can be representational, independent of interpretations placed on them by agents, the problem is unsolvable when so conceived. However, when propositions are taken to be cognitive-event types, the order of explanation is reversed and a natural solution emerges. Propositions are representational because they are constitutively related to inherently representational cognitive acts. Strikingly original, What Is Meaning? is a major advance. (shrink)

A transcript of three lectures, given at Princeton University in 1970, which deals with (inter alia) debates concerning proper names in the philosophy of language.

Presentism is the view that only present things exist. So understood, presentism is primarily an ontological doctrine; it’s a view about what exists, absolutely and unrestrictedly. The view is the subject of extensive discussion in the literature on time and change, with much of it focused on the problems that presentism allegedly faces. Thus, most of the literature that frames the development of presentism has grown up either in formulating objections to the view (e.g., Sider 2001: 11–52), or in response (...) to such objections (e.g., Bigelow 1996; Markosian 2004), with exceptions to this largely coming via the ways in which presentism is motivated. This entry mirrors the structure of that literature, for the most part. Here’s the plan for what follows. We begin with a more detailed sketch of presentism, unpacking its commitments and motivations. Then, we move to consider several concerns raised for presentists. We use these to illustrate the breadth and severity of the challenges that presentism faces, as well as the range of different versions of presentism developed to help meet these challenges. (shrink)

In his book The Things We Mean, Stephen Schiffer advances a subtle defence of what he calls the ‘face-value’ analysis of attributions of belief and reports of speech. Under this analysis, ‘Harold believes that there is life on Venus’ expresses a relation between Harold and a certain abstract object, the proposition that there is life on Venus. The present essay first proposes an improvement to Schiffer’s ‘pleonastic’ theory of propositions. It then challenges the face-value analysis. There will be such things (...) as propositions only if they possess conditions of identity and distinctness. By analyzing Frege’s theory of propositions (Gedanken), I argue that such conditions may be found for the special case of beliefs and sayings advanced as premises and conclusions of deductive arguments. These conditions, however, are not applicable to most ordinary beliefs and sayings. Ordinary attributions and reports, then, do not place thinkers and speakers in relations to propositions. A bonus is exposure of the fallacy in the Putnam-Taschek objection to Frege’s theory of sense and reference. (shrink)

am going to discuss some issues inspired by a well-known paper ofKeith Donnellan, "Reference and Definite Descriptions,”2 but the interest—to me—of the contrast mentioned in my title goes beyond Donnellan's paper: I think it is of considerable constructive as well as critical importance to the philosophy oflanguage. These applications, however, and even everything I might want to say relative to Donnellan’s paper, cannot be discussed in full here because of problems of length. Moreover, although I have a considerable interest in (...) the substantive issues raised by Donnellan’s paper, and by related literature, my own conclusions will be methodological, not substantive. I can put the matter this way: Donnellan’s paper claims to give decisive objections both to Russell’s theory of definite descriptions (taken as a theory about English) and to Strawson’s. My concem is not primarily with the question; is Donnellan right, or is Russell (or Strawson)? Rather, it is with the question: do the considerations in Donneilarfs paper refute Russell’s theory (or Strawson’s)? For definiteness, I will concentrate on Donnellan versus Russell, leaving Strawson aside. And about this issue I will draw a definite conclusion, one which I think will illuminate a few methodological maxims about language. Namely, I will conclude that the considerations in Donnellan’s paper, by themselves, do not refute Russell’s theory. Any conclusions about Russell’s views per se, or Donnellan’s, must be tentative, IfI were to be asked for a tentative stab about Russell, I would say that although his theory does a far better job of handling ordinary discourse than many have thought, and although many popular arguments against it are inconclusive, probably it ultimately fails. The considerations I have in mind have to do with the existence of “improper” definite descriptions, such as “the table," where uniquely specifying conditions are not contained in the description itself.. (shrink)

Physicalism is the thesis that everything is physical, or as contemporary philosophers sometimes put it, that everything supervenes on, or is necessitated by, the physical. The thesis is usually intended as a metaphysical thesis, parallel to the thesis attributed to the ancient Greek philosopher Thales, that everything is water, or the idealism of the 18th Century philosopher Berkeley, that everything is mental. The general idea is that the nature of the actual world (i.e. the universe and everything in it) conforms (...) to a certain condition, the condition of being physical. Of course, physicalists don't deny that the world might contain many items that at first glance don't seem physical — items of a biological, or psychological, or moral, or social nature. But they insist nevertheless that at the end of the day such items are either physical or supervene on the physical. (shrink)

According to Conceptual Role Semantics, the meaning of a representation is the role of that representation in the cognitive life of the agent, e.g. in perception, thought and decision-making. It is an extension of the well known "use" theory of meaning, according to which the meaning of a word is its use in communication and more generally, in social interaction. CRS supplements external use by including the role of a symbol inside a computer or a brain. The uses appealed to (...) are not just actual, but also counterfactual: not only what effects a thought does have, but what effects it would have had if stimuli or other states had differed. The view has arisen separately in philosophy and in cognitive science. The source of the view is Wittgenstein and Sellars, but the source in contemporary philosophy is a series of papers by Harman and Field. Other proponents in philosophy have included Block, Horwich, Loar, McGinn and Peacocke. In cognitive science, they include Woods and Miller and Johnson-Laird. (shrink)

are synthetic a priori judgements possible?" In both cases, i~thas usually been t'aken for granted in fife one case by Kant that synthetic a priori judgements were possible, and in the other case in contemporary,'d-". philosophical literature that contingent statements of identity are ppss. ible. I do not intend to deal with the Kantian question except to mention:ssj~".

Equality1 gives rise to challenging questions which are not altogether easy to answer. Is it a relation? A relation between objects, or between names or signs of objects? In my Begriffsschrift I assumed the latter. The reasons which seem to favour this are the following: a = a and a = b are obviously statements of differing cognitive value; a = a holds a priori and, according to Kant, is to be labeled analytic, while statements of the form a = (...) b often contain very valuable extensions of our knowledge and cannot always be established a priori. The discovery that the rising sun is not new every morning, but always the same, was one of the most fertile astronomical discoveries. Even to-day the identification of a small planet or a comet is not always a matter of course. Now if we were to regard equality as a relation between that which the names ‘a’ and ‘b’ designate, it would seem that a = b could not differ from a = a (i.e. provided a = b is true). A relation would thereby be expressed of a thing to itself, and indeed one in which each thing stands to itself but to no other thing. What is intended to be said by a = b seems to be that the signs or names ‘a’ and ‘b’ designate the same thing, so that those signs themselves would be under discussion; a relation between them would be asserted. But this relation would hold between the names or signs only in so far as they named or designated something. It would be mediated by the connexion of each of the two signs with the same designated thing. But this is arbitrary. Nobody can be forbidden to use any arbitrarily producible event or object as a sign for something. In that case the sentence a = b would no longer refer to the subject matter, but only to its mode of designation; we would express no proper knowledge by its means. But in many cases this is just what we want to do. If the sign ‘a’ is distinguished from the sign ‘b’ only as object (here, by means of its shape), not as sign (i.e. not by the manner in which it designates something), the cognitive value of a = a becomes essentially equal to that of a = b, provided a = b is true.. (shrink)

It is my aim in this paper to show that the contemporary assimilation of essence to modality is fundamentally misguided and that, as a consequence, the corresponding conception of metaphysics should be given up. It is not my view that the modal account fails to capture anything which might reasonably be called a concept of essence. My point, rather, is that the notion of essence which is of central importance to the metaphysics of identity is not to be understood in (...) modal terms or even to be regarded as extensionally equivalent to a modal notion. The one notion is, if I am right, a highly refined version of the other; it is like a sieve which performs a similar function but with a much finer mesh. (shrink)

Available for the first time in 20 years, here is the Rudolf Carnap's famous principle of tolerance by which everyone is free to mix and match the rules of ...

"This book is valuable as expounding in full a theory of meaning that has its roots in the work of Frege and has been of the widest influence.

In arithmetic, if only because many of its methods and concepts originated in India, it has been the tradition to reason less strictly than in geometry, ...

The paper argues that, although a distinction between a priori and a posteriori knowledge (or justification) can be drawn, it is a superficial one, of little theoretical significance. The point is not that the distinction has borderline cases, for virtually all useful distinctions have such cases. Rather, it is argued by means of an example, the differences even between a clear case of a priori knowledge and a clear case of a posteriori knowledge may be superficial ones. In both cases, (...) experience plays a role that is more than purely enabling but less than strictly evidential. It is also argued that the cases at issue are not special, but typical of a wide range of others, including knowledge of axioms of set theory and of elementary logical truths. Attempts by Quine and others to make all knowledge a posteriori (‘empirical’) are repudiated. The paper ends with a call for a new framework to be developed for analysing the epistemology of cognitive uses of the imagination. (shrink)

The purpose of this book is to develop a terminological structure in which private perceptions can be discussed publicly without bringing into existence the usual unnecessary philosophical problems of confused usage of language. chisholm displays an appraisive, quasi-ethical use of language, whereby he claims that a thing has some particular sensible property is to have adequate evidence that it actually does have that property. (staff).

In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...

Philosophical theories often hinge on claims about what is necessary or possible. But what are possibilities and necessities, and how could we come to know about them? This book aims to help demystify the methodology of philosophy, by treating such claims not as attempted descriptions of strange facts or distant 'possible worlds', but rather as ways of expressing rules or norms.

Alan Sidelle's Necessity, Essence, and Individuation is a sustained defense of empiricism—or, more generally, conventionalism—against recent attacks by realists. Sidelle focuses his attention on necessity a posteriori, a kind of necessity which contemporary realists have taken to support realism over empiricism. Turning the tables against the realists, Sidelle argues that if there are in fact truths necessary a posteriori, it is not realism, but rather empiricism which provides the best explanation for them.

Zettel, an en face bilingual edition, collects fragments from Wittgenstein's work between 1929 and 1948 on issues of the mind, mathematics, and language.

Many philosophers, including direct reference theorists, appeal to naively to 'modes of presentation' in the analysis of belief reports. I show that a variety of such appeals can be analyzed in terms of a precise theory of modes of presentation. The objects that serve as modes are identified intrinsically, in a noncircular way, and it is shown that they can function in the required way. It is a consequence of the intrinsic characterization that some objects are well-suited to serve as (...) modes that present individuals and while others are well-suited to serve as modes that present properties (though such modes do not `determine' the objects they present---there is no necessary connection between a mode m and the individual x or property F that it presents). Moreover, it is also a consequence that the modes for properties and individuals can be organized into complexes that are structurally identical to Russellian propositions having the represented properties and individuals as constituents. Not only is the relationship between modes and Fregean senses and modes of presentation explored in the paper, but also the idea that the theory of modes of presentation developed in the paper can serve as a theory of concepts. (shrink)

Perhaps the most important work of philosophy written in the twentieth century, the Tractatus Logico-Philosophicus first appeared in 1921 and was the only philosophical work that Ludwig Wittgenstein (1889-1951) published during his lifetime. Written in short, carefully numbered paragraphs of extreme compression and brilliance, it immediately convinced many of its readers and captivated the imagination of all. Its chief influence, at first, was on the Logical Positivists of the 1920s and 30s, but many other philosophers were stimulated by its philosophy (...) of language, finding attractive, if ultimately unsatisfactory, its view that propositions were pictures of reality. Perhaps most of all, Wittgenstein himself, after his return to philosophy in the late 1920s, was fascinated by its vision of an inexpressible, crystalline world of logical relationships. The posthumous publication of other writings has, therefore, only served to reawaken interest in the Tractatus and to illuminate its more neglected aspects. David Pears and Brian McGuinness revised their translation in the light of Wittgenstein's own suggestions and comments in his correspondence with C.K. Ogden about the first translation. In addition, this edition contains the introduction by Bertrand Russell which appeared in the original English translation. (shrink)

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

Since Hilary Putnam and Saul Kripke's first attacks on traditional, descriptivist theories of natural kind terms, it has become customary to speak of the ‘Putnam-Kripke’ view of meaning and reference. This article argues that this is a mistake, and that Putnam's account of natural kind terms is importantly different from that of Kripke. In particular, Putnam has from the very start been sceptical of Kripke's modal claims, and in later papers he explicitly rejects the proposal that theoretical identity statements are (...) metaphysically necessary (if true). I suggest that this is wholly in line with Putnam's earlier, Quine-inspired writings on general terms, and his preoccupation with the philosophy of science. Moreover, I argue that the picture of general terms that emerges from Putnam's writings is more plausible than that suggested by Kripke. However, contrary to Putnam, I also suggest that Putnam's later views on natural kinds and natural kind terms do not support standard Twin Earth externalism. (shrink)

Several recent epistemologists have used understanding-assent links in theories of a priori knowledge and justification, but Williamson influentially argued against the existence of such links. Here I (1) clarify the nature of understanding-assent links and their role in epistemology; (2) clarify and clearly formulate Williamson’s arguments against their existence; (3) argue that Williamson has failed to successfully establish his conclusion; and (4) rebut Williamson’s claim that accepting understanding-assent links amounts to a form of dogmatism.

Some philosophers have argued that putative logical disagreements aren't really disagreements at all since when you change your logic you thereby change the meanings of your logical constants. According to this picture classical logicians and intuitionists don't really disagree, they just mean different things by terms like “not” and “or”. Quine gave an infamous “translation argument” for this view. Here I clarify the change of logic, change of meaning (CLCM) thesis, examine and find fault with Quine's translation argument for the (...) thesis, offer a modified translation argument in its stead, defend my modified argument from a crucial objection, discuss where the CLCM thesis leaves logical disputes, and discuss if and how the thesis coheres with Quine's influential view of logic. (shrink)

Williamsonian modal epistemology is characterized by two commitments: realism about modality, and anti-exceptionalism about our modal knowledge. Williamson’s own counterfactual-based modal epistemology is the best known implementation of WME, but not the only option that is available. I sketch and defend an alternative implementation which takes our knowledge of metaphysical modality to arise, not from knowledge of counterfactuals, but from our knowledge of ordinary possibility statements of the form ‘x can F’. I defend this view against a criticism indicated in (...) Williamson’s own work, and argue that it is better connected to the semantics of modal language. (shrink)

Many philosophers have argued or taken for granted that Frege's puzzle has little or nothing to do with identity statements. I show that this is wrong, arguing that the puzzle can only be motivated relative to a thinker's beliefs about the identity or distinctness of the relevant object. The result is important, as it suggests that the puzzle can be solved, not by a semantic theory of names or referring expressions as such, but simply by a theory of identity statements. (...) To show this, I sketch a framework for developing solutions of this sort. I also consider how this result could be implemented by two influential solutions to Frege's puzzle, Perry's referential-reflexivism and Fine's semantic relationism. (shrink)

The Twin Earth thought experiment invites us to consider a liquid that has all of the superficial properties associated with water (clear, potable, etc.) but has entirely different deeper causal properties (composed of “XYZ” rather than of H2O). Debates about natural kind concepts have sought to accommodate an apparent fact about ordinary people's judgments: Intuitively, the Twin Earth liquid is not water. We present results showing that people do not have this intuition. Instead, people tend to judge that there is (...) a sense in which the liquid is not water but also a sense in which it is water. (shrink)

This book maintains that our conception of consciousness and cognition begins with and depends upon a few fundamental errors. Thau elucidates these errors by discussing three important philosophical puzzles - Spectrum Inversion, Frege's Puzzle, and Black-and-White Mary - each of which concerns some aspect of either consciousness or cognition. He argues that it has gone unnoticed that each of these puzzles presents the very same problem and, in bringing this commonality to light, the errors in our natural conception of consciousness (...) and cognition are also reviewed. (shrink)

According to Amie Thomasson’s modal normativism, the function of modal discourse is to convey semantic rules. But what is a "semantic rule"? I raise three worries according to which there is no conception of a semantic rule that can serve the needs of a modal normativist. The first worry focuses on de re and a posteriori necessities. The second worry concerns Thomasson's inferential specification of the meaning of modal terms. The third worry asks about the normative status of semantic rules.

This article surveys recent developments in the epistemology of modality.

[Robert Stalnaker] Saul Kripke made a convincing case that there are necessary truths that are knowable only a posteriori as well as contingent truths that are knowable a priori. A number of philosophers have used a two-dimensional model semantic apparatus to represent and clarify the phenomena that Kripke pointed to. According to this analysis, statements have truth-conditions in two different ways depending on whether one considers a possible world 'as actual' or 'as counterfactual' in determining the truth-value of the statement (...) relative to that possible world. There are no necessary a posteriori or contingent a priori propositions: rather, contingent a priori and necessary a posteriori statements are statements that are necessary when evaluated one way, and contingent when evaluated the other way. This paper distinguishes two ways that the two-dimensional framework can be interpreted, and argues that one of them gives the better account of what it means to 'consider a world as actual', but that it provides no support for any notion of purely conceptual a priori truth. /// [Thomas Baldwin] Two-dimensional possible world semantic theory suggests that Kripke's examples of the necessary a posteriori and contingent a priori should be handled by interpreting names as implicitly indexical. Like Stalnaker, I reject this account of names and accept that Kripke's examples have to be accommodated within a metasemantic theory. But whereas Stalnaker maintains that a metasemantic approach undermines the conception of a priori truth, I argue that it offers the opportunity to develop a conception of the a priori aspect of stipulations, conceived as linguistic performances. The resulting position accommodates Kripke's examples in a way which is both intrinsically plausible and fits with Kripke's actual discussion of them. (shrink)

The book also sheds new light on the nature of metaphysical theorizing by exploring the interaction of semantic and metaphysical issues, the connections between different metaphysical issues, and the nature of ontological commitment.

In this book, Scott Soames defends the revolution in philosophy led by Saul Kripke, Hilary Putnam, and David Kaplan against attack from those wishing to revive ..

In this book, Scott Soames argues that the revolution in the study of language and mind that has taken place since the late nineteenth century must be rethought. The central insight in the reigning tradition is that propositions are representational. To know the meaning of a sentence or the content of a belief requires knowing which things it represents as being which ways, and therefore knowing what the world must be like if it is to conform to how the sentence (...) or belief represents it. These are truth conditions of the sentence or belief. But meanings and representational contents are not truth conditions, and there is more to propositions than representational content. In addition to imposing conditions the world must satisfy if it is to be true, a proposition may also impose conditions on minds that entertain it. The study of mind and language cannot advance further without a conception of propositions that allows them to have contents of both of these sorts. Soames provides it. He does so by arguing that propositions are repeatable, purely representational cognitive acts or operations that represent the world as being a certain way, while requiring minds that perform them to satisfy certain cognitive conditions. Because they have these two types of content—one facing the world and one facing the mind—pairs of propositions can be representationally identical but cognitively distinct. Using this breakthrough, Soames offers new solutions to several of the most perplexing problems in the philosophy of language and mind. (shrink)

In this paper I present a new theory of propositions, according to which propositions are abstract mathematical objects: well-formed formulas together with models. I distinguish the theory from a number of existing views and explain some of its advantages  chief amongst which are the following. On this view, propositions are unified and intrinsically truth-bearing. They are mind- and language-independent and they are governed by logic. The theory of propositions is ontologically innocent. It makes room for an appropriate interface with (...) formal semantics and it does not enforce an overly fine or overly coarse level of granularity. (shrink)

In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks drawing semantic distinctions (...) between sentences that, from a Fregean perspective, do not differ in meaning. This is what we call the ‘new problem’ of hyperintensionality to distinguish it from the ‘old problem’ that faced the intensional theory. We show that our semantic framework offers a joint solution to both these problems by virtue of satisfying a version of Frege’s so-called ‘equipollence principle’ for sense individuation. Frege’s principle, we argue, not only captures the semantic intuitions that give rise to the old and the new problem of hyperintensionality, but also points the way to an independently motivated solution to both problems. (shrink)

Eli Hirsch has argued in many places that non-commonsensical ontological claims just couldn't be true, since there is strong metasemantic pressure to charitably interpret natural language---correct interpretations must, unless all else is highly unequal, count a sentence (especially a perceptual sentence) as true if ordinary speakers regard it as being obviously true. In previous work I replied that ontologists can stipulatively introduce a new language, "Ontologese", that is exempt from this pressure toward charity. Hirsch has recently objected to this proposal; (...) this paper is my reply. (shrink)