This book develops a framework for analysing strategic rationality, a notion central to contemporary game theory, which is the formal study of the interaction of rational agents and which has proved extremely fruitful in economics, political theory and business management. The author argues that a logical paradox lies at the root of a number of persistent puzzles in game theory, in particular those concerning rational agents who seek to establish some kind of reputation. Building on the work of Parsons, Burge, (...) Gaifman and Barwise and Etchemendy, Robert Koons constructs a context-sensitive solution to the whole family of liar-like paradoxes including, for the first time, a detailed account of how the interpretation of paradoxical statements is fixed by context. This analysis provides an understanding of how the rational agent model can account for the emergence of rules, practices and institutions. (shrink)

According to the dominant position among philosophers of language today, we can legitimately ascribe determinate contents to natural language sentences, independently of what the speaker actually means. This view contrasts with that held by ordinary language philosophers fifty years ago: according to them, speech acts, not sentences, are the primary bearers of content. François Recanati argues for the relevance of this controversy to the current debate about semantics and pragmatics. Is 'what is said' determined by linguistic conventions, or is it (...) an aspect of 'speaker's meaning'? Do we need pragmatics to fix truth-conditions? What is 'literal meaning'? To what extent is semantic composition a creative process? How pervasive is context-sensitivity? Recanati provides an original and insightful defence of 'contextualism', and offers an informed survey of the spectrum of positions held by linguists and philosophers working at the semantics/pragmatics interface. (shrink)

This self-contained introduction to natural language semantics addresses the majortheoretical questions in the field. The authors introduce the systematic study of linguistic meaningthrough a sequence of formal tools and their linguistic applications. Starting with propositionalconnectives and truth conditions, the book moves to quantification and binding, intensionality andtense, and so on. To set their approach in a broader perspective, the authors also explore theinteraction of meaning with context and use (the semantics-pragmatics interface) and address some ofthe foundational questions, especially in connection (...) with cognition in general. They also introducea few of the most accessible and interesting ideas from recent research to give the reader a bit ofthe flavor of current work in semantics. The organization of this new edition is modular; after theintroductory chapters, the remaining material can be covered in flexible order. The book presupposesno background in formal logic (an appendix introduces the basic notions of set theory) and only aminimal acquaintance with linguistics. This edition includes a substantial amount of completely newmaterial and has been not only updated but redesigned throughout to enhance itsuser-friendliness. (shrink)

Minimal Semantics asks what a theory of literal linguistic meaning is for - if you were to be given a working theory of meaning for a language right now, what would you be able to do with it? Emma Borg sets out to defend a formal approach to semantic theorising from a relatively new type of opponent - advocates of what she call 'dual pragmatics'. According to dual pragmatists, rich pragmatic processes play two distinct roles in linguistic comprehension: as well (...) as operating in a post-semantic capacity to determine the implicatures of an utterance, they also operate prior to the determination of truth-conditional content for a sentence. That is to say, they have an integral role to play within what is usually thought of as the semantic realm. Borg believes dual pragmatic accounts constitute the strongest contemporary challenge to standard formal approaches to semantics since they challenge the formal theorist to show not merely that there is some role for formal processes on route to determination of semantic content, but that such processes are sufficient for determining content. Minimal Semantics provides a detailed examination of this school of thought, introducing readers who are unfamiliar with the topic to key ideas like relevance theory and contextualism, and looking in detail at where these accounts diverge from the formal approach. Borg's defence of formal semantics has two main parts: first, she argues that the formal approach is most naturally compatible with an important and well-grounded psychological theory, namely the Fodorian modular picture of the mind. Then she argues that the main arguments adduced by dual pragmatists against formal semantics - concerning apparent contextual intrusions into semantic content - can in fact be countered by a formal theory. The defence holds, however, only if we are sensitive to the proper conditions of success for a semantic theory. Specifically, we should reject a range of onerous constraints on semantic theorizing (e.g., that it answer epistemic or metaphysical questions, or that it explain our communicative skills) and instead adopt a quite minimal picture of semantics. (shrink)

On reading the last sentence, did you interpret me as saying falsely that everything — everything in the entire universe — was packed into my carry-on baggage? Probably not. In ordinary language, ‘everything’ and other quantifiers (‘something’, ‘nothing’, ‘every dog’, ...) often carry a tacit restriction to a domain of contextually relevant objects, such as the things that I need to take with me on my journey. Thus a sentence of the form ‘Everything Fs’ is true as uttered in a (...) context C if and only if everything that is relevant in C satisfies the predicate ‘F’; ‘everything’ ranges just over the contextually relevant things. Such generality is restricted in a context-relative way. (shrink)

In this paper, we provide a comprehensive survey of the space of possible analyses of the phenomenon of quantifier domain restriction, together with a set of considerations which militate against all but our own proposal. Among the many accounts we consider and reject are the ‘explicit’ approach to quantifier domain restric‐tion discussed, for example, by Stephen Neale, and the pragmatic approach to quantifier domain restriction proposed by Kent Bach. Our hope is that the exhaustive discussion of this special case of (...) context‐dependence will provide guidelines for how to decide, for an arbitrary case of context‐dependent discourse, whether it should be treated syntactically, semantically, or pragmatically. (shrink)

Within the philosophy of language, pragmatics has tended to be seen as an adjunct to, and a means of solving problems in, semantics. A cognitive-scientific conception of pragmatics as a mental processing system responsible for interpreting ostensive communicative stimuli (specifically, verbal utterances) has effected a transformation in the pragmatic issues pursued and the kinds of explanation offered. Taking this latter perspective, I compare two distinct proposals on the kinds of processes, and the architecture of the system(s), responsible for the recovery (...) of speaker meaning (both explicitly and implicitly communicated meaning). (shrink)

What words mean plays a role in determining when they would be true; but not an exhaustive one. For that role leaves room for variation in truth conditions, with meanings fixed, from one speaking of words to another. What role meaning plays depends on what truth is; on what words, by virtue of meaning what they do are requied to have done (as spoken) in order to have said what is true. There is a deflationist position on what truth is: (...) the notion is exhausted by a given, specified, mass of 'platitudes', each to the effect that if words said (say) things to be thus, things must be that way. (The thought that thus-and-so is true iff thus-and-so.) These platitudes, and so deflationism, miss that aspect of truth that determines meaning's role. Truth requires words to have the uses which, given what they mean, they should have in the circumstances of their speaking. Through this link with use, when words would be true is a factor fixing what it is they said. (shrink)

A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

This volume tackles the slippery subject of 'meaning'.

INTRODUCTION Linguists who work within the tradition of transformational generative grammar tend to regard semantics as an intractable, perhaps ultimately ...

_Thoughts and Utterances_ is the first sustained investigation of two distinctions which are fundamental to all theories of utterance understanding: the semantics/pragmatics distinction and the distinction between what is explicitly communicated and what is implicitly communicated.

Tarskian model theory is almost universally understood as a formal counterpart of the preformal notion of semantics, of the “linkage between words and things”. The wide-spread opinion is that to account for the semantics of natural language is to furnish its settheoretic interpretation in a suitable model structure; as exemplified by Montague 1974.

Followers of Wittgenstein allegedly once held that a meaningful claim to know that p could only be made if there was some doubt about the truth of p. The correct response to this thesis involved appealing to the distinction between the semantic content of a sentence and features attaching to its use. It is inappropriate to assert a knowledge-claim unless someone in the audience has doubt about what the speaker claims to know. But this fact has nothing to do with (...) the semantic content of knowledgeascriptions; it is entirely explicable by appeal to pragmatic facts about felicitous assertion. (shrink)

A number of authors have recently weighed in on the issue of whether it is coherent to have bound variables that range over absolutely everything. Prima facie, it is difficult, and perhaps impossible, to coherently state the “relativist” position without violating it. For example, the relativist might say, or try to say, that for any quantifier used in a proposition of English, there is something outside of its range. What is the range of this quantifier? Or suppose we ask the (...) relativist if there are some things that cannot appear in the range of any bound variable. The likely response would be along these lines: “No. For each object o, it possible to include o in the range of quantifiers, but one cannot quantify over everything at once.” This sentence contains unrestricted quantifiers, or so it seems, pending some clever move from a relativist. On the other hand, in the context of set theory, the reasoning behind the Burali-Forti paradox strongly suggests that there are well-orderings strictly longer than the collection of all ordinals. And set theorists regularly do transfinite recursions and transfinite reductions along such well-orderings. The relativist simply points out that one can always define new ordinals, and thus expand the range of one’s bound variables. The purpose of this paper is to explore the iterative framework, proposed in Zermelo’s 1930 paper, “Über Grenzzahlen und Mengenbereiche” (“On boundary numbers and domains of sets”), in order to shed light on these issues, and see what is involved in resolving them. (shrink)

This is an exploration of a cluster of related logical results. Taken together these seem to have something philosophically important to teach us: something about knowledge and truth and something about the logical impossibility of totalities of knowledge and truth. The book includes explorations of new forms of the ancient and venerable paradox of the :Liar, applications and extensions of Kaplan and Montague's paradox of the Knower, generalizations of Godel's work on incompleteness, and new uses of Cantorian diagonalization. Throughout, the (...) concern is with metaphysical and epistemological implications of these results: what such results may have to teach us about knowledge, truth, and possibility. (shrink)

In a recent paper (Linguistics and Philosophy 23, 4, June 2000), Jason Stanley argues that there are no `unarticulated constituents', contrary to what advocates of Truth-conditional pragmatics (TCP) have claimed. All truth-conditional effects of context can be traced to logical form, he says. In this paper I maintain that there are unarticulated constituents, and I defend TCP. Stanley's argument exploits the fact that the alleged unarticulated constituents can be `bound', that is, they can be made to vary with the values (...) introduced by operators in the sentence. I show that Stanley's argument rests on a fallacy, and I provide alternative analyses of the data. (shrink)

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)

If we try to evaluate the sentence on line 1 we ¯nd ourselves going in an unending cycle. For this reason alone we may conclude that the sentence is not true. Moreover we are driven to this conclusion by an elementary argument: If the sentence is true then what it asserts is true, but what it asserts is that the sentence on line 1 is not true. Consequently the sentence on line 1 is not true. But when we write this (...) true conclusion on line 2 we ¯nd ourselves repeating the very same sentence. It seems that we are unable to deny the truth of the sentence on line 1 without asserting it at the same time. (shrink)

In this paper I want to explore the arguments for so-called ‘unarticulated constituents’ (UCs). Unarticulated constituents are supposed to be propositional elements, not presented in the surface form of a sentence, nor explicitly represented at the level of its logical form, yet which must be interpreted in order to grasp the (proper) meaning of that sentence or expression. Thus, for example, we might think that a sentence like ‘It is raining’ must contain a UC picking out the place at which (...) the speaker of the sentence asserts it to be raining. In §1 I will explore the nature of UCs a little further, and, in §2, suggest that we can recognise two different forms of argument for them.. (shrink)

What is insensitive semantics (also semantic minimalism, henceforth SM)? That will need to emerge, if at all, from the authors’ (henceforth C&L) objections to what they see as their opponents. They signal two main opponents: moderate contextualists (henceforth MCs); and radical contextualists (henceforth RCs). I am signaled as a main RC. I will thus henceforth represent that position in propria persona. In most general lines the story is this: MC collapses into RC; RC is incoherent, or inconsistent, on various counts; (...) SM is thus the only game in town. As to all of that, we shall see. (shrink)

The paper presents an argument against a "metaphysical" conception of logic according to which logic spells out a specific kind of mathematical structure that is somehow inherently related to our factual reasoning. In contrast, it is argued that it is always an empirical question as to whether a given mathematical structure really does captures a principle of reasoning. (More generally, it is argued that it is not meaningful to replace an empirical investigation of a thing by an investigation of its (...) a priori analyzable structure without paying due attention to the question of whether it really is the structure of the thing in question.) It is proposed to elucidate the situation by distinguishing two essentially different realms with which our reason must deal: "the realm of the natural", constituted by the things of our empirical world, and "the realm of the formal", constituted by the structures that we use as "prisms" to view, to make sense of, and to reconstruct the world. It is suggested that this vantage point may throw light on many foundational problems of logic. (shrink)

The aim of this article is to elucidate the processes that characterize natural language interpretation. The basic hypothesis is that natural language interpretation can be characterized as an optimization problem. This innovative view on interpretation is shown to account for the crucial role of contextual information while avoiding certain well-known problems associated withcompositionality. This will become particularly clear in the context of incomplete expressions. Our approach takes as a point of departure total freedom ofinterpretation in combination with the parallel application (...) of soft constraints on possible interpretations. These constraints can be contextual, intonational or syntactic in nature. The integration of pragmatic andsyntactic/semantic information in a system of ranked constraints is proposed to correctly derive the optimal interpretations in cases of nominal anaphorization, determiner quantification and elliptical comparatives. (shrink)

The aim of this article is to elucidate the processes that characterize natural language interpretation. The basic hypothesis is that natural language interpretation can be characterized as an optimization problem. This innovative view on interpretation is shown to account for the crucial role of contextual information while avoiding certain well-known problems associated with compositionality. This will become particularly clear in the context of incomplete expressions. Our approach takes as a point of departure total freedom of interpretation in combination with the (...) parallel application of soft constraints on possible interpretations. These constraints can be contextual, intonational or syntactic in nature. The integration of pragmatic and syntactic/semantic information in a system of ranked constraints is proposed to correctly derive the optimal interpretations in cases of nominal anaphorization, determiner quantification and elliptical comparatives. (shrink)

It has long ben recognised that there are referential uses of definite descriptions. It is not as widely recognised that there are atttributives uses of idexicals and other such paradigmatically singular terms. I offer an account of the referential/attributive distinction which is intended to give a unified treatment of both sorts of cases. I argue that the best way to account for the referential/attributive distinction is to treat is as semantically underdetermined which sort of propositions is expressed in a context. (...) In certain contexts the proposition expressed will be a descriptive one, and in others it will be an object-dependent one. I appeal to Sperer and Wilson's (1986) idea that the recovery of the content of an utterance involves pragmatic processes of enrichment of a representation of the logical form of utterance. According to the account I offer, the first-level descriptive meaning associated with an expression (whether this is an indexical or a definite description) is pragmatically enriched and then used either to track an individual in the context, or is taken to lay down a condition of satisfaction for an individual. The proposition that the listener takes the speaker to have expressed is recovered on the basis of considerations of relevance and contextually available information about the speaker's directive intentions. Although my account has affinities with those of Recanati (1993) and Nunberg (1993), it also differs from theirs in crucial ways. Each of these authors sees asymmetries where I see none. I give reasons for preferring my symmetrical account. (shrink)

This essay attempts to give substance to the claim that the liar''sparadox shows the truth predicate to be context sensitive. The aim ismodest: to provide an account of the truth predicate''s contextsensitivity (1) that derives from a more general understanding ofcontext sensitivity, (2) that does not depend upon a hierarchy ofpredicates and (3) that is able to address the liar''s paradox. Theconsequences of achieving this goal are not modest, though. Perhapssurprisingly, for reasons that will be discussed in the last section (...) ofthis essay, a natural account of the truth predicate''s contextsensitivity appears to lead naturally to a version of the correspondencetheory of truth according to which the truth predicate can be understoodas a relation holding between a sentence and a salient set of contexts.The plan of this essay is as follows. Section 1 contains a generalaccount of context sensitivity. The purpose of this section is toisolate certain features of context sensitivity and formal methods oftreating them, which we will then apply to the truth predicate. Section 2then outlines two minimal conditions to be satisfied by a truthpredicate. In Section 3, I present a version of the liar paradoxthat results from these conditions and the assumption that the truthpredicate is not context sensitive in the sense described in sectionone. Finally, in section four, I provide what appear to be naturalconsequences of a truth predicate''s context sensitivity. Section 4 isadmittedly speculative and points in the direction for future research. (shrink)

§1. Introduction. The problem raised by the liar paradox has long been an intriguing challenge for all those interested in the concept of truth. Many “solutions” have been proposed to solve or avoid the paradox, either prescribing some linguistical restriction, or giving up the classical true-false bivalence or assuming some kind of contextual dependence of truth, among other possibilities. We shall not discuss these different approaches to the subject in this paper, but we shall concentrate on a kind of formal (...) construction which was originated by Kripke's paper “Outline of a theory of truth” [11] and which, in different forms, reappears in later papers by various authors.The main idea can be presented as follows: assume a first order language ℒ containing, among other unspecified symbols, a predicate symbolTintended to represent the truth predicate for ℒ. Assume, also, a fixed modelM= 〈D, I〉 whereDcontains all sentences of ℒ andIinterprets all non-logical symbols of ℒ exceptTin the usual way. In general,Dmight contain many objects other than sentences of ℒ but as that would raise the problem of the meaning of sentences in whichTis applied to one of these objects, we shall assume that this is not the case. (shrink)

We argue that the presence of a word in an utterance serves as starting point for a relevance guided inferential process that results in the construction of a contextually appropriate sense. The linguistically encoded sense of a word does not serve as its default interpretation. The cases where the contextually appropriate sense happens to be identical to this linguistic sense have no particular theoretical significance. We explore some of the consequences of this view. One of these consequences is that there (...) may be many more mentally represented concepts than there are linguistically encoded concepts. (shrink)

Although the two volumes of _Logic, Language, and Meaning _can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions.

This book is about one of the most baffling of all paradoxes – the famous Liar paradox. Suppose we say: 'We are lying now'. Then if we are lying, we are telling the truth; and if we are telling the truth we are lying. This paradox is more than an intriguing puzzle, since it involves the concept of truth. Thus any coherent theory of truth must deal with the Liar. Keith Simmons discusses the solutions proposed by medieval philosophers and offers (...) his own solutions and in the process assesses other attempts to solve the paradox. Unlike such attempts, Simmons' 'singularity' solution does not abandon classical semantics and does not appeal to the kind of hierarchical view found in Barwise's and Etchemendy's The Liar. Moreover, Simmons' solution resolves the vexing problem of semantic universality – the problem of whether there are semantic concepts beyond the expressive reach of a natural language such as English. (shrink)