In “On Sense and Reference,” surrounding his discussion of how we describe what people say and think, identity is Frege’s first stop and his last. We will follow Frege’s plan here, but we will stop also in the land of make-believe.

I reject the contention that an important theoretical difference exists between formal and natural languages.

This is an attempt at reviving Kneale's version of the description theory of names, which says that a proper name is synonymous with a definite description of the form ‘the individual named so-and-so’. To begin with, I adduce a wide range of observations to show that names and overt definites are alike in all relevant respects. I then turn to Kripke's main objection against Kneale's proposal, and endeavour to refute it. In the remainder of the paper I elaborate on Kneale's (...) analysis, adopting a theory of presupposition proposed by van der Sandt. (shrink)

It is occasionally tempting, after climbing a mountain, to use the elevation one has gained to dash up to the top of a connected peak which does not have sufficient interest to induce one to climb so high for its sake alone. It is in this spirit that I turn to Geach's Latin Prose theory of relative clauses. The matter itself is of no very great moment, and some new ground will have to be covered in dealing with Geach's arguments. (...) Nevertheless we shall primarily be applying the theory constructed in the body of the paper, and when one is in a position to expose bad arguments relatively rapidly, it is perhaps a good idea not to leave them unchallenged, especially when they appear to be gaining currency. (shrink)

We discuss presupposition, the phenomenon whereby speakers mark linguistically the information that is presupposed or taken for granted, rather than being part of the main propositional content of a speech act. Expressions and constructions carrying presuppositions are called “presupposition triggers”, forming a large class including definites and factive verbs. The article first introduces the range of triggers, the basic properties of presuppositions such as projection and cancellability, and the diagnostic tests used to identify them. The reader is then introducedto major (...) models of presupposition from the last 50 years, separated into three classes: Frege-Strawson derived semantic models, pragmaticmodels such as that offered by Stalnaker, and dynamic models. Finallywe discuss some of the main current issues in presupposition theory. These involve accommodation, which occurs when a hearer's knowledge state is adjusted to meet the speaker's presuppositions; presupposition failure, which occurs when a presupposition is false; the interaction between presuppositions and attitudes; and the triggering problem, i.e., the problem of explaining why presuppositions occur in the first place. (shrink)

This volume puts forward a distinct new theory of direct reference, blending insights from both the Fregean and the Russellian traditions, and fitting the general theory of language understanding used by those working on the pragmatics of natural language.

Several of these essays have been printed whole in journals; others are in varying degrees new. Two main themes run through them. One is the problem of meaning, particularly as involved in the notion of an analytic statement. The other is the notion of ontological, commitment, particularly as involved in the problem of universals.

This is the 1991 (2nd) edition of the 1986 book (MIT Press), considered to be the classic defense of Millianism. The nature of the information content of declarative sentences is a central topic in the philosophy of language. The natural view that a sentence like "John loves Mary" contains information in which two individuals occur as constituents is termed the naive theory, and is one that has been abandoned by most contemporary scholars. This theory was refuted originally by philosopher Gottlob (...) Frege. His argument that the naive theory did not work is termed Frege's puzzle, and his rival account of information content is termed the orthodox theory. In this detailed study, Nathan Salmon defends a version of the naive theory and presents a proposal for its extension that provides a better picture of information content than the orthodox theory gives. He argues that a great deal of what has generally been taken for granted in the philosophy of language over the past few decades is either mistaken or unsupported, and consequently, much current research is focused on the wrong set of questions. Salmon dissolves Frege's puzzle as it is usually formulated and demonstrates how it can be reconstructed and strengthened to yield a more powerful objection to the naive theory. He then defends the naive theory against the new Frege puzzle by presenting an idea that yields both a surprisingly rich and powerful extension of the naive theory and a better picture of information content than that of the original orthodox theory. Nathan Salmon is Professor of Philosophy, University of California at Santa Barbara. (shrink)

A study of the contribution semantics makes to the syntactic patterns of English: an intepretive theory of grammar.

Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...

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)

Presenting a novel account of singular thought, a systematic application of recent work in the theory of speech acts, and a partial revival of Russell's analysis of singular terms, this book takes an original approach to the perennial problems of reference and singular terms by separating the underlying issues into different levels of analysis.

In Groenendijk & Stokhof [1989] a system of dynamic predicate logic (DPL) was developed, as a compositional alternative for classical discourse representation theory (DRT ). DPL shares with DRT the restriction of being a first-order system. In the present paper, we are mainly concerned with overcoming this limitation. We shall define a dynamic semantics for a typed language with λ-abstraction which is compatible with the semantics DPL specifies for the language of first-order predicate logic. We shall propose to use this (...) new logical system as the semantic component of a Montague-style grammar (referred to as dynamic Montague grammar, DMG), which will enable us to extend the compositionality of DPL to the subsentential level. Furthermore, we shall extend this analysis also in this sense that we shall add new, dynamic interpretations for logical constants which in DPL were treated in a static fashion. This will substantially increase the descriptive coverage of DMG. (shrink)

When philosophers talk about descriptions, usually they have in mind singular definite descriptions such as ‘the finest Greek poet’ or ‘the positive square root of nine’, phrases formed with the definite article ‘the’. English also contains indefinite descriptions such as ‘a fine Greek poet’ or ‘a square root of nine’, phrases formed with the indefinite article ‘a’ (or ‘an’); and demonstrative descriptions (also known as complex demonstratives) such as ‘this Greek poet’ and ‘that tall woman’, formed with the demonstrative articles (...) ‘this’ and ‘that’. Following the custom in philosophy, in this chapter often we use ‘description’ as short for ‘definite description’; and following the custom in linguistics, often we use ‘definite’, ‘indefinite’, and ‘demonstrative’ as shorthand nouns. For the most part we focus on definite and indefinites, although a few words about demonstratives are called for. At the centre of debates about descriptions is the matter of whether they are devices of reference or of predication (simple or higher-order), and much discussion focuses on how various proposals are to be incorporated into broader theories of the semantics of natural language. But philosophical interest goes beyond the confines of linguistics, logic, and the philosophy of language because choices made about the semantics of descriptions have repercussions elsewhere, particularly in epistemology and metaphysics. A simple match of form and meaning appears to fail.1 First, many occurrences of expressions of both forms ‘the φ’ and ‘a φ’ appear to be used to talk about particular individuals. Consider (1). (shrink)

Indexicals are unique among expressions in that they depend for their literal content upon extra-semantic features of the contexts in which they are uttered. Taking this peculiarity of indexicals into account yields solutions to variants of Frege's Puzzle involving objects of attitude-bearing of an indexical nature. If names are indexicals, then the classical versions of Frege's Puzzle can be solved in the same way. Taking names to be indexicals also yields solutions to tougher, more recently-discovered puzzles such as Kripke's well-known (...) case involving Paderewski. We argue that names are in fact rigidly designating indexicals. We also argue that fully developed, the direct reference theory's best strategy for solving the puzzles amounts to the adoption of the indexical theory of names – a move that we argue should be thought of as a natural development of the direct reference theory, and not as antagonistic to it. (shrink)

Evidence is presented to show that the role of a generative grammar of a natural language is not merely to generate the grammatical sentences of that language, but also to relate them to their logical forms. The notion of logical form is to be made sense of in terms a natural logic, a logical for natural language, whose goals are to express all concepts capable of being expressed in natural language, to characterize all the valid inferences that can be made (...) in natural language, and to mesh with adequate linguistic descriptions of all natural languages. The latter requirement imposes empirical linguistic constraints on natural logic. A number of examples are discussed. (shrink)

The main aim of this paper is that of providing a unified analysis for some interesting uses of quotation marks, including so-called scare quotes. The phenomena exemplified by the cases I discuss have remained relatively unexplored, notwithstanding a growing interest in the behavior of quotation marks. They are, however, of no lesser interest than other, more widely studied effectsachieved with the help of quotationmarks. In particular, as I argue in whatfollows, scare quotes and other similar instances bear interesting relations with (...) someimportant themes in the study of natural languages, such as questions regarding alleged devicesof conventional implicature, cases of so-called metalinguistic negation, and, moregenerally, problems pertaining to the distinction between semantic and pragmatic fieldsof inquiry.In Section 1, I begin with a description of some examples involvingthe uses of quotation marks I intend to discuss, and I hint at some desiderata fortheir analysis. In Section 2, I temporarily abandon quotation marks, and, inspired by therecent work of Stephen Neale and Kent Bach on alleged devices of conventional implicature,I present what I call the theory of message and attachment. In Sections 3 and 4,I return to my initial examples, I employ the theory of message and attachment in theiranalysis, and I discuss certain features regarding the behavior of negation in some related cases. (shrink)

Demonstratives seem to have posed a severe difficulty for Frege’s philosophy of language, to which his doctrine of incommunicable senses was a reaction. In “The Thought,” Frege briefly discusses sentences containing such demonstratives as “today,” “here,” and “yesterday,” and then turns to certain questions that he says are raised by the occurrence of “I” in sentences (T, 24-26). He is led to say that, when one thinks about oneself, one grasps thoughts that others cannot grasp, that cannot be communicated. However, (...) nothing could be more out of the spirit of Frege’s account of sense and thought than an incommunicable, private thought. In the first part of the paper, I explain the problem demonstratives pose for Frege, and explore three ways he might have dealt with it. I argue that none of these ways provides Frege with a solution to his problem consistent with his philosophy of language. The first two are plausible as solutions, but contradict his identification of the sense expressed by a sentence with a thought. The third preserves the identification, but is implausible. In the second part, I suggest that Frege was led to his doctrine of incommunicable senses as a result of some appreciation of the difficulties his account of demonstratives faces, for these come quickly to the surface when we think about “I.” I argue that incommunicable senses won’t help. I end by trying to identify the central problem with Frege’s approach, and sketching an alternative. (shrink)

Definite descriptions, I shall argue, have two possible functions. 1] They are used to refer to what a speaker wishes to talk about, but they are also used quite differently. Moreover, a definite description occurring in one and the same sentence may, on different occasions of its use, function in either way. The failure to deal with this duality of function obscures the genuine referring use of definite descriptions. The best known theories of definite descriptions, those of Russell and Strawson, (...) I shall suggest, are both guilty of this. Before discussing this distinction in use, I will mention some features of these theories to which it is especially relevant. (shrink)

I hope I have convinced the reader that DR theory offers at least some exciting potential when applied to the semantics of belief reports. It differs considerably from other approaches, and it makes intuitively acceptable predictions that other theories do not. The theory also provides a novel approach to the semantics of other propsitional attitude reports. Further, DR theory enables one to approach the topic of anaphora within belief and other propositional attitude contexts in a novel way, thus combining the (...) semantics developed here with one of the theory's original motivations (Kamp, 1981a). However, these are unfortunately topics that I must reserve for another time. (shrink)