This paper argues against relativism, focusing on relativism based on the semantics of predicates of personal taste. It presents and defends a contextualist semantics for these predicates, derived from current work on gradable adjectives. It then considers metasemantic questions about the kinds of contextual parameters this semantics requires. It argues they are not metasemantically different from those in other gradable adjectives, and that contextual parameters of this sort are widespread in natural language. Furthermore, this paper shows that if such parameters (...) are rejected, it leads to an unacceptably rampant form of relativism, that relativizes truth to an open-ended list of parameters. (shrink)

Three leading philosopher-logicians present a clear and concise overview of formal theories of truth, explaining key logical techniques. Truth is as central topic in philosophy: formal theories study the connections between truth and logic, including the intriguing challenges presented by paradoxes like the Liar.

A team of 36 leading experts present the definitive guide to philosophical issues to do with truth. They survey how the concept of truth has been understood from antiquity to the present; offer critical assessments of the standard theories of truth; and explore the role of truth in logic, language, metaphysics, ethics, science, and mathematics.

This paper presents an approach to truth and the Liar paradox which combines elements of context dependence and hierarchy. This approach is developed formally, using the techniques of model theory in admissible sets. Special attention is paid to showing how starting with some ideas about context drawn from linguistics and philosophy of language, we can see the Liar sentence to be context dependent. Once this context dependence is properly understood, it is argued, a hierarchical structure emerges which is neither ad (...) hoc nor unnatural. (shrink)

One of the great successes in the study of language has been the application of formal methods, including those of formal logic. Even so, this chapter argues against one way of accounting for this success, by arguing that the study of natural language semantics and of logical consequence relations are not the same. There is indeed a lot we can glean about logic from looking at our languages, and at our inferential practices, but the semantic properties of natural languages do (...) not determine genuine logical consequence relations. We can get from natural language semantics to logical consequence, but only by a significant process of identification of logical constants, abstraction, and idealization. The chapter also discusses different approaches to the nature of logical consequence, and examines which allow logic and natural language to come closer together. (shrink)

About twenty-five years ago, Charles Parsons published a paper that began by asking why we still discuss the Liar Paradox. Today, the question seems all the more apt. In the ensuing years we have seen not only Parsons’ work (1974), but seminal work of Saul Kripke (1975), and a huge number of other important papers. Too many to list. Surely, one of them must have solved it! In a way, most of them have. Most papers on the Liar Paradox offer (...) some explanation of the behavior of paradoxical sentences, and most also offer some extension for the predicate ‘true’ that they think is adequate, at least in some restricted setting. But if this is a solution, then the problem we face is far from a lack of solutions; rather, we have an overabundance of conflicting ones. Kripke’s work alone provides us with uncountably many different extensions for the truth predicate. Even if it so happens that one of these is a conclusive solution, we do not seem to know which one, or why. We should also ask, given that we are faced with many technically elegant but contradictory views, if they are really all addressing the same problem. What we lack is not solutions, but a way to compare and evaluate the many ones we have. (shrink)

The Taming of the True continues the project Neil Tennant began in Anti-realism and Logic of investigating and defending anti-realism. Tennant’s earlier book anticipated a second volume, in which issues related to empirical discourse would be addressed in greater detail. The Taming of the True provides this sequel. It also attempts a ground-clearing project, by addressing challenges to some of the presuppositions and implications of Tennant’s anti-realist position. Finally, it takes an opportunity to revisit some of the issues examined in (...) the earlier book, in light of the evolving debate over realism and anti-realism. (shrink)

This paper argues for the thesis that, roughly put, it is impossible to talk about absolutely everything. To put the thesis more precisely, there is a particular sense in which, as a matter of semantics, quantifiers always range over domains that are in principle extensible, and so cannot count as really being ‘absolutely everything’. The paper presents an argument for this thesis, and considers some important objections to the argument and to the formulation of the thesis. The paper also offers (...) an assessment of just how implausible the thesis really is. It argues that the intuitions against the thesis come down to a few special cases, which can be given special treatment. Finally, the paper considers some metaphysical ideas that might surround the thesis. Particularly, it might be maintained that an important variety of realism is incompatible with the thesis. The paper argues that this is not the case. (shrink)

This paper argues that relativity of truth to a world plays no significant role in empirical semantic theory, even as it is done in the model-theoretic tradition relying on intensional type theory. Some philosophical views of content provide an important notion of truth at a world, but they do not constrain the empirical domain of semantic theory in a way that makes this notion empirically significant. As an application of this conclusion, this paper shows that a potential motivation for relativism (...) based on the relativity of truth to a world fails. (shrink)

Truth is one of the central subjects in philosophy. It is also one of the largest. Truth has been a topic of discussion in its own right for thousands of years. Moreover, a huge variety of issues in philosophy relate to truth, either by relying on theses about truth, or implying theses about truth.

The first sentence in this essay is a lie. There is something odd about saying so, as has been known since ancient times. To see why, remember that all lies are untrue. Is the first sentence true? If it is, then it is a lie, and so it is not true. Conversely, suppose that it is not true. As we (viz., the authors) have said it, presumably with the intention of you believing it when it is not true, it is (...) a lie. But then it is true! (shrink)

In this paper, we defend a traditional approach to semantics, that holds that the outputs of compositional semantics are propositional, i.e. truth conditions. Though traditional, this view has been challenged on a number of fronts over the years. Since classic work of Lewis, arguments have been offered which purport to show that semantic composition requires values that are relativized, e.g. to times, or other parameters that render them no longer propositional. Focusing in recent variants of these arguments involving quantification and (...) binding, we argue that a correct understanding of how composition works gives no reason to relativize semantic values, and that propositional semantic values are in fact the preferred option. We take our argument to be mainly empirical, but along the way, we defend some more general theses. Simple propositional semantic values are viable in composition, we maintain, because composition is itself a complex phenomenon, involving multiple modes of composition. Furthermore, some composition principles make adjustments to the meanings of constituents in the course of composition. These adjustments are by triggered syntactic environments. We argue such small contributions of meaning from syntactic structure are acceptable. (shrink)

Quantification is haunted by the specter of paradoxes. Since Russell, it has been a persistent idea that the paradoxes show what might have appeared to be absolutely unrestricted quantification to be somehow restricted. In the contemporary literature, this theme is taken up by Dummett (1973, 1993) and Parsons (1974a,b). Parsons, in particular, argues that both the Liar and Russell’s paradoxes are to be resolved by construing apparently absolutely unrestricted quantifiers as appropriately restricted.

This paper argues for the thesis that, roughly put, it is impossible to talk about absolutely everything. To put the thesis more precisely, there is a particular sense in which, as a matter of semantics, quantifiers always range over domains that are in principle extensible, and so cannot count as really being ‘absolutely everything’. The paper presents an argument for this thesis, and considers some important objections to the argument and to the formulation of the thesis. The paper also offers (...) an assessment of just how implausible the thesis really is. It argues that the intuitions against the thesis come down to a few special cases, which can be given special treatment. Finally, the paper considers some metaphysical ideas that might surround the thesis. Particularly, it might be maintained that an important variety of realism is incompatible with the thesis. The paper argues that this is not the case. (shrink)

In this paper, we offer a theory of the role of the nominal in complex demonstrative expressions, such as 'this dog' or 'that glove with a hole in it'.

This paper explores how words relate to concepts. It argues that in many cases, words get their meanings in part by associating with concepts, but only in conjunction with substantial input from language. Language packages concepts in grammatically determined ways. This structures the meanings of words, and determines which sorts of concepts map to words. The results are linguistically modulated meanings, and the extralinguistic concepts associated with words are often not what intuitively would be expected. The paper concludes by discussing (...) implications of this thesis for the relation of word to sentence meaning, and for issues of linguistic determinism. (shrink)

A great deal of discussion in recent philosophy of language has centered on the idea that there might be hidden contextual parameters in our sentences. But relatively little attention has been paid to what those parameters themselves are like, beyond the assumption that they behave more or less like variables do in logic. My goal in this paper is to show this has been a mistake. I shall argue there are at least two very different sorts of contextual parameters. One (...) is indeed basically like variables in logic, but the other is very different, and much more like overt referring expressions. This result is of interest in its own right, to those of us who are concerned to map out the details of the semantic and pragmatic workings of language. But it will have some wider morals as well. One of the important issues behind the debate over hidden parameters has been how we can posit hidden structure in language, and how far such structure can stray from the intuitive forms and contents speakers see in communication. I shall argue that one sort of hidden parameter is surprisingly close to the contents and forms speakers find intuitive, while another is more remote. I shall show that the.. (shrink)

A common objection to hierarchical approaches to truth is that they fragment the concept of truth. This paper defends hierarchical approaches in general against the objection of fragmentation. It argues that the fragmentation required is familiar and unprob-lematic, via a comparison with mathematical proof. Furthermore, it offers an explanation of the source and nature of the fragmentation of truth. Fragmentation arises because the concept exhibits a kind of failure of closure under reflection. This paper offers a more precise characterization of (...) the reflection involved, first in the setting of formal theories of truth, and then in a more general setting. (shrink)

ABSTRACT: This paper shows that several sorts of expressions cannot be interpreted metaphorically, including determiners, tenses, etc. Generally, functional categories cannot be interpreted metaphorically, while lexical categories can. This reveals a semantic property of functional categories, and it shows that metaphor can be used as a probe for investigating them. It also reveals an important linguistic constraint on metaphor. The paper argues this constraint applies to the interface between the cognitive systems for language and metaphor. However, the constraint does not (...) completely prevent structural elements of language from being available to the metaphor system. The paper shows that linguistic structure within the lexicon, specifically, aspectual structure, is available to the metaphor system. (shrink)

Philosophers like to talk about propositions. There are many reasons for this. Perhaps the most common is that philosophers are sometimes more interested in the content of a thought or utterance than in the particular sentence or utterance that might express it on some occasion. Propositions are offered as these contents.

Current theories of context see context as composed of information that is localizable to individual utterances. Current theories of discourse grant that discourses have important global properties that are not so localizable. In this paper, I argue that context, even narrowly construed as whatever combines with a sentence to determine truth conditions, must have a discourse -global component. I identify a context-dependence phenomenon related to the linguistic concepts of topic and focus, isolate the pertinent feature of context, and show that (...) this feature must be discourse -global in nature. I thus argue that context is as complicated as an entire discourse. (shrink)

The study of quantification in natural language has made remarkable progress. Quantification in natural language has been investigated extensively by philosophers, logicians, and linguists. The result has been an elegant and far-reaching theory. This article presents a survey of some of the important components of this theory. The first section presents the core of the theory of generalized quantifiers. This theory explores the range of expressions of generality in natural language, and studies some of their logical properties. The second section (...) turns to issues of how quantifiers enter into scope relations. Here there is less unanimity than in the theory of generalized quantifiers. Two basic approaches, representative of the main theories in the literature, are sketched and compared. The final section turns briefly to the general question of what a quantifier is. (shrink)

The discussion of supervenience is replete with the use of in?nitary logical operations. For instance, one may often ?nd a supervenient property that corresponds to an in?nite collection of supervenience-base properties, and then ask about the in?nite disjunction of all those base properties. This is crucial to a well-known argument of Kim (1984) that supervenience comes nearer to reduction than many non-reductive physicalists suppose. It also appears in recent discussions such as Jackson (1998).

∗Thanks to J. C. Beall, Alex Byrne, Jason Decker, Tyler Doggett, Paul Elbourne, Adam Elga, Warren Goldfarb, Delia Graff, Richard Heck, Charles Parsons, Mark Richard, Susanna Siegel, Jason Stanley, Judith Thomson, Carol Voeller, Brian Weatherson, Ralph Wedgwood, Steve Yablo, Cheryl Zoll, and an anonymous referee for valuable comments and discussions. Versions of this material were presented in my seminar at MIT in the Fall of 2000, and at the University of Maryland, Baltimore County. Parts of this paper also derive from (...) my comments on a paper of Scott Soames at the ‘Liars and Heaps’ conference at the University of Connecticut in the Fall of 2002. I am grateful for the help of these audiences, and especially to Prof. Soames. (shrink)

This paper reexamines some examples, discussed by Mates and others, of sentences containing both definite descriptions and quantifiers. It has frequently been claimed that these sentences provide evidence for the view that definite descriptions themselves are quantifiers. The main goal of this paper is to argue this is not so. Though the examples are compatible with quantificational approaches to definite descriptions, they are also compatible with views that treat definite descriptions as basically scopeless. They thus provide no reason to see (...) definite descriptions as quantifiers. Even so, this paper shows that the examples do raise a surprising range of complex issues about how quantifier scope works, and where it occurs. Thus, a clear picture of how these examples work will help us to understand better where definite descriptions fit into the larger picture of quantifiers and related phenomena. (shrink)

This paper argues against minimalism about truth. It does so by way of a comparison of the theory of truth with the theory of sets, and consideration of where paradoxes may arise in each. The paper proceeds by asking two seemingly unrelated questions. First, what is the theory of truth about? Answering this question shows that minimalism bears important similarities to naive set theory. Second, why is there no strengthened version of Russell's paradox, as there is a strengthened Liar paradox? (...) Answering this question shows that like naive set theory, minimalism is unable to make adequate progress in resolving the paradoxes, and must be replaced by a drastically different sort of theory. Such a theory, it is shown, must be fundamentally non-minimalist. (shrink)

Current theories of context see context as composed of information that is localizable to individual utterances. Current theories of discourse grant that discourses have important global properties that are not so localizable. In this paper, I argue that context, even narrowly construed as whatever combines with a sentence to determine truth conditions, must have a discourse–global component. I identify a context–dependence phenomenon related to the linguistic concepts of topic and focus, isolate the pertinent feature of context, and show that this (...) feature must be discourse–global in nature. I thus argue that context is as complicated as an entire discourse. (shrink)

This paper revisits a challenge for contextualist approaches to paradoxes such as the Liar paradox and Russell’s paradox. Contextualists argue that these paradoxes are to be resolved by appeal to context dependence. This can offer some nice and effective ways to avoid paradox. But there is a problem. Context dependence is, at least to begin with, a phenomenon in natural language. Is there really such context dependence as the solutions to paradoxes require, and is it really just a familiar linguistic (...) phenomenon at work? Not so clearly. In earlier work, I argued that the required form of context dependence does not look like our most familiar instances of context dependence in natural language. I called this extraordinary context dependence. In this paper, I shall explore, somewhat tentatively, a way that we can see the context dependence needed to address paradoxes as not so extraordinary. Doing so will also allow us to connect thinking about the context dependence of quantifier domains with some interesting ideas about the distinctive semantic properties of certain quantifiers. (shrink)

The Taming of the True continues the project Neil Tennant began in Anti-realism and Logic of investigating and defending anti-realism. Tennant’s earlier book anticipated a second volume, in which issues related to empirical discourse would be addressed in greater detail. The Taming of the True provides this sequel. It also attempts a ground-clearing project, by addressing challenges to some of the presuppositions and implications of Tennant’s anti-realist position. Finally, it takes an opportunity to revisit some of the issues examined in (...) the earlier book, in light of the evolving debate over realism and anti-realism. (shrink)

One of the mainstays of the theory of definite descriptions since Russell (1905) has been their interaction with negation. In particular, Russellians, who advocate the view that definite descriptions are a kind of quantifier, point to these interactions as evidence in favor of the their view. The argument runs roughly as follows.

The story goes that Epimenides, a Cretan, used to claim that all Cretans are always liars. Whether he knew it or not, this claim is odd. It is easy to see it is odd by asking if it is true or false. If it is true, then all Cretans, including Epimenides, are always liars, in which case what he said must be false. Thus, if what he says is true, it is false. Conversely, suppose what Epimenides said is false. Then (...) some Cretan at some time speaks truly. This might not tell us anything about Epimenides. But if, to make the story simple, he were the only Cretan ever to speak, and this was the only thing he ever said, then indeed, he would have to speak truly. And we would then have shown that if what he said was false, it must be true. (shrink)

This is a collection of eighteen solicited papers on the topics of the title: circularity, definition, and truth. The papers are loosely connected in subject matter, but present a great variety of issues, theories, and approaches. Amongst the many subjects discussed are: the revision theory of truth and applications of revision rules, partiality and fixed point constructions, substitutional quantification, fuzzy logic, negation, belief revision, context dependence, hierarchies, Tarski on truth, deflationism, correspondence theories of truth, and normative aspects of truth. The (...) Liar paradox figures prominently in this collection, but is not alone. Other familiar paradoxes are also discussed, including paradoxes of definability, the Sorites paradox, and the Surprise Exam paradox. So-called paradoxes of rationality, such as the Prisoner’s Dilemma, receive attention as well. (shrink)

In this short note, I discuss the viability of truth-conditional semantics in light of Pietroski’s criticisms. I explore an alternative view that follows Pietroski in putting emphasis on the relation of meanings to concepts, but makes some room for truth conditions.

In Logical Properties, Colin McGinn offers a new theory of truth, which he describes as “thick disquotationalism.” In keeping with wider theme of the book, truth emerges as conceptually primitive. Echoing Moore, it is simple and unanalyzable. Though truth cannot be analyzed, in the sense of giving a conceptual decomposition, McGinn argues that truth can be defined. A non-circular statement of its application conditions can be given. This makes truth a singularly remarkable property. Indeed, by McGinn’s lights, it is the (...) only property which enjoys being both unanalyzable and definable. (shrink)

A great deal of discussion in recent philosophy of language has centered on the idea that there might be hidden contextual parameters in our sentences. But relatively little attention has been paid to what those parameters themselves are like, beyond the assumption that they behave more or less like variables do in logic. My goal in this paper is to show this has been a mistake. I argue there are at least two very different sorts of contextual parameters. One is (...) indeed basically like variables in logic, but the other is very different, and much more like overt referring expressions. Most of this paper is an in-depth study of an example where we see both classes of contextual parameters at work: the case of predicates of personal taste. I claim they have standard parameter, like all gradable predicates, which behaves much as a variable does. But I also claim they have an experiencer parameter, which behaves strikingly like an overt referring expression, syntactically, semantically, and pragmatically. I show that the different properties of these two classes of parameters are reflected in different sorts of evidence we can bring to bear in showing their existence, and in different ways they interact with the contents speakers intuitively seek to convey with their utterances. (shrink)

In this paper, I shall explore a determiner in natural language which is ambivalent as to whether it should be classified as quantificational or objectdenoting: the determiner both. Both in many ways appears to be a paradigmatic quantifier; and yet, I shall argue, it can be interpreted as having an individual—an object—as semantic value. To show the significance of this, I shall discuss two ways of thinking about quantifiers. We often think about quantifiers via intuitions about kinds of thoughts. Certain (...) terms are naturally used to express singular thoughts, and appear to do so by contributing objects to the thoughts expressed. Other terms are naturally used to express general thoughts, and appear to do so by contributing higher-order properties to the thoughts expressed. Viewed this way, the main condition on whether a term is a quantifier or not is whether its semantic value is an object or a higher-order property. At least, these provide necessary conditions. Both can be interpreted as contributing objects to thoughts, and in many cases appears to express genuine singular thoughts. Thinking about quantifiers this way, both can appear object-denoting and non-quantificational. We also often think about quantifiers in terms of a range linguistic features, including semantic value, presupposition, scope, binding, syntactic distribution, and many others. Viewed this way, I shall argue, both can appear quantificational. In particular, it displays scope behavior that is one of the hallmarks of quantification. But, I shall show, it can do so even if given a semantics on which it denotes an object. Thus, both appears quantificational by some linguistic standards, and yet appears object-denoting by standards based on intuitions about the kinds.. (shrink)

The papers published in this volume were presented at the 6th International Symposium of Cognition, Logic and Communication, entitled ‘Formal Semantics and Pragmatics: Discourse, Context, and Models’, taking place at the University of Latvia, Riga, initially scheduled for April 2010.

Quantified terms are terms of generality. They are also provide some of our prime examples of the phenomenon of scope. The distinction between singular and general terms, as well as the ways that general terms enter into scope relations, are certainly fundamental to our understanding of language. Yet when we turn to natural language, we encounter a huge and apparently messy collection of general terms; not just every and some, but most, few, between five and ten, and many others. Natural-language (...) sentences also display a complex range of scope phenomena; unlike first-order logic, which clearly and simply demarcates scope in its notation. (shrink)

The papers published in this volume were presented at the 6th International Symposium of Cognition, Logic and Communication, entitled ‘Formal Semantics and Pragmatics: Discourse, Context, and Models’, taking place at the University of Latvia, Riga, initially scheduled for April 2010.