We pose two arguments for the view that sentences containing definite descriptions semantically express multiple propositions: a general proposition as Russell suggested, and a singular proposition featuring the individual who uniquely satisfies the description at the world-time of utterance. One argument mirrors David Kaplan's arguments that indexicals express singular propositions through a context-sensitive character. The second argument mirrors Kent Bach's and Stephen Neale's arguments for pluralist views about terms putatively triggering conventional implicatures, appositive, and nonrestrictive relative clauses. After (...) presenting these arguments, we show that rival explanations (appeals to implicature, referential use, presupposition, etc.) do not offer equally compelling explanations of the data, and defend the methodology employed in the arguments against some criticisms. (shrink)

In some sentences, demonstratives can be substituted with definite descriptions without any change in meaning. In light of this, many have maintained that demonstratives are just a type of definite description. However, several theorists have drawn attention to a range of cases where definite descriptions are acceptable, but their demonstrative counterparts are not. Some have tried to account for this data by appealing to presupposition. I argue that such presuppositional approaches are problematic, and present a pragmatic (...) account of the target contrasts. On this approach, demonstratives take two arguments and generally require that the first, covert argument is non-redundant with respect to the second, overt argument. I derive this condition through an economy principle discussed by Schlenker (2005). (shrink)

Paul Elbourne defends the Fregean view that definite descriptions ('the table', 'the King of France') refer to individuals, and offers a new and radical account of the semantics of pronouns. He draws on a wide range of work, from Frege, Peano, and Russell to the latest findings in linguistics, philosophy of language, and psycholinguistics.

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite (...) descriptions recommended here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

We provide an application of a sequent calculus framework to the formalization of definite descriptions. It is a continuation of research undertaken in [20, 22]. In the present paper a so-called free description theory is examined in the context of different kinds of free logic, including systems applied in computer science and constructive mathematics for dealing with partial functions. It is shown that the same theory in different logics may be formalised by means of different rules and gives (...) results of varying strength. For all presented calculi a constructive cut elimination is provided. (shrink)

In this article, I use Edmund Gettier’s Ten Coins hypothetical scenario to illustrate some reasoning errors in the use of definite descriptions. The Gettier problem, central as it is to modern epistemology, is first and foremost an argument, which Gettier (Analysis 23(6):121–123, 1963) constructs to prove a contrary conclusion to a widely held view in epistemology. Whereas the epistemological claims in the case have been extensively analysed conceptually, the strategies and tools from other philosophical disciplines such as analytic philosophy (...) of language, logic and argumentation that Gettier deploys in the case have scarcely received any attention. This work abstracts from the epistemological content and examines Gettier’s handling of the definite description involved, and how that affects the cogency of his argument. (shrink)

This paper challenges the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief cannot be understood referentially, his ignorance of the coins in his (...) pocket shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (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)

Paul Elbourne claims that Russellians cannot accommodate the behavior of certain embedded definite descriptions. Since Fregeans can handle such descriptions, Elbourne urges theorists to reject Russell's theory in favor of Frege's. Here, I show that such descriptions pose no threat to Russellianism. These descriptions, I argue, are neutral between the two camps.

The paper presents an argument against referential treatment of definite descriptions' semantics. Referentialism with respect to semantics of definite descriptions claims that when descriptions are used referentially, then they are semantically referring expressions. It is argued that this picture does not lead to a satisfactory representation of propositions expressed by utterances involving definite descriptions. For if propositions are what primarily enters the relation of entailment, then referentialism is commited to the view that (i) some inferences usually taken (...) as valid are claimed to be invalid; (ii) some inferences usually taken as invalid are claimed to be valid; (iii) some inferences that are by no means trivially valid must be taken to be such. It is argued that Russellian‐ism with respect to definite descriptions gives us a better representation of propositions expressed by utterances involving descriptions. (shrink)

Machery et al. presented data suggesting the existence of cross-cultural variation in judgments about the reference of proper names. In this paper, we examine a previously overlooked confound in the subsequent studies that attempt to replicate the results of Machery et al. using East Asian languages. Machery et al. and Sytsma et al. claim that they have successfully replicated the original finding with probes written in Chinese and Japanese, respectively. These studies, however, crucially rely on uses of articleless, ‘bare noun (...) phrases’ in Chinese and Japanese, which according to the linguistic literature are known to be multiply ambiguous. We argue that it becomes questionable whether the extant studies using East Asian languages revealed genuine cross-cultural variation when the probes are reevaluated based on a proper linguistic understanding of Chinese and Japanese bare noun phrases and English definite descriptions. We also present two experiments on native Japanese speakers that controlled the use of ambiguous bare noun phrases, the results of which suggest that the judgments of Japanese speakers concerning the reference of proper names may not diverge from those of English speakers. (shrink)

Bertrand Russell's theory of definite descriptions sparked an ongoing debate concerning the proper logical and linguistic analysis of definite descriptions. While it is now widely acknowledged that, like the indexical expressions 'I', 'here', and 'now', definite descriptions in natural language are context-sensitive, there is significant disagreement as to the ultimate challenge this context-sensitivity poses to Russell's theory.This reader is intended both to introduce students to the philosophy of language via the theory of descriptions, and to provide scholars (...) in analytic philosophy with ready access to some of the central contributions in this area. It includes classic works by Russell, Carnap, Strawson, Lambert, Donnellan, Grice, Peacocke, Kripke, Wettstein, Soames, Neale, and Schiffer. (shrink)

Previous theorists have claimed that Russell’s theory of definite descriptions gives the wrong truth conditions to sentences in which definite descriptions are embedded under certain other operators; but the other operators used, such as conditionals and propositional attitude verbs, have introduced intensional and hyperintensional complications that might be thought to obscure the point against Russell. This paper shows that the same kind of problem arises when the operator in question allows the context to be extensional. It is further (...) argued that presuppositional theories of definite descriptions give intuitively satisfying analyses of the novel data. (shrink)

This article discusses the “Argument from Inference” raised against the view that definite descriptions are semantically referring expressions. According to this argument, the indicated view is inadequate since it evaluates some invalid inferences with definite descriptions as “valid” and vice versa. I argue that the Argument from Inference is basically wrong. Firstly, it is crucially based on the assumption that a proponent of the view that definite descriptions are referring expressions conceives them as directly referring terms, i.e., (...) the terms which contribute their referents into the semantic content of the sentences in which they occur. However, the framework of direct reference is not essential to the idea that descriptions might have semantic referential interpretation. Secondly, the Argument of Inference - if correct - suffices to establish an overgeneralized conclusion that even paradigmatically referring terms, like proper names, cannot be semantically referential. This fact indicates that the argument is flawed. In the final part of this article, I briefly consider what the source of the problem with the Argument of Inference might be. (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)

The paper provides a proof theoretic characterization of the Russellian theory of definite descriptions (RDD) as characterized by Kalish, Montague and Mar (KMM). To this effect three sequent calculi are introduced: LKID0, LKID1 and LKID2. LKID0 is an auxiliary system which is easily shown to be equivalent to KMM. The main research is devoted to LKID1 and LKID2. The former is simpler in the sense of having smaller number of rules and, after small change, satisfies cut elimination but fails (...) to satisfy the subformula property. In LKID2 an additional analysis of different kinds of identities leads to proliferation of rules but yields the subformula property. This refined proof theoretic analysis leading to fully analytic calculus with constructive proof of cut elimination is the main contribution of the paper. (shrink)

This paper demonstrates that the progressive interpretation in Ga is an effect of the interaction between the imperfective aspect and a definite description of events. Crucially, the data from Ga point to the consequences of the view that definite descriptions of events encode the familiarity of the discourse referent and its uniqueness in bearing the property in question. Namely, they yield direct evidentiality and the necessary ongoingness of the event at the topic time. Thus, the paper identifies (...) previously unattested variation in the semantics of the progressive in a cross-linguistic perspective and shows that not only lexical but also grammatical aspect exhibits striking parallelisms with the nominal domain. (shrink)

This paper demonstrates that the progressive interpretation in Ga is an effect of the interaction between the imperfective aspect and a definite description of events. Crucially, the data from Ga point to the consequences of the view that definite descriptions of events encode the familiarity of the discourse referent and its uniqueness in bearing the property in question. Namely, they yield direct evidentiality and the necessary ongoingness of the event at the topic time. Thus, the paper identifies (...) previously unattested variation in the semantics of the progressive in a cross-linguistic perspective and shows that not only lexical but also grammatical aspect exhibits striking parallelisms with the nominal domain. (shrink)

This paper demonstrates that the progressive interpretation in Ga is an effect of the interaction between the imperfective aspect and a definite description of events. Crucially, the data from Ga point to the consequences of the view that definite descriptions of events encode the familiarity of the discourse referent and its uniqueness in bearing the property in question. Namely, they yield direct evidentiality and the necessary ongoingness of the event at the topic time. Thus, the paper identifies (...) previously unattested variation in the semantics of the progressive in a cross-linguistic perspective and shows that not only lexical but also grammatical aspect exhibits striking parallelisms with the nominal domain. (shrink)

This paper demonstrates that the progressive interpretation in Ga is an effect of the interaction between the imperfective aspect and a definite description of events. Crucially, the data from Ga point to the consequences of the view that definite descriptions of events encode the familiarity of the discourse referent and its uniqueness in bearing the property in question. Namely, they yield direct evidentiality and the necessary ongoingness of the event at the topic time. Thus, the paper identifies (...) previously unattested variation in the semantics of the progressive in a cross-linguistic perspective and shows that not only lexical but also grammatical aspect exhibits striking parallelisms with the nominal domain. (shrink)

Definite descriptions are in the focus of philosophical discussion at least since Russell's famous paper "On Denoting". We present in this paper a logic with descriptions in Russell's spirit. The formulation, however, is closely related to Schütte's development of predicate logic, i.e. the formulation of the calculus uses positive- and negative-parts. With respect to this slightly more sophisticated formulation it is possible to formalize Russell's convention that is originally stated in the metalanguage of his theory of descriptions within our (...) calculus. In this paper we prove an elimination theorem for this calculus. (shrink)

Definite descriptions (e.g. 'The king of France in 1997', 'The teacher of Aristotle') do not stand for particulars. Or so I will assume. The semantic alternative has seemed to be that descriptions only have meaning within sentences: i.e., that their semantic contribution is given syncategorimatically. This doesn't seem right, however, because descriptions can be used and understood outside the context of any sentence. Nor is this use simply a matter of "ellipsis." Since descriptions do not denote particulars, but seem (...) to have a meaning in isolation, I propose that they be assigned generalized quantifiers as denotations — i.e. a kind of function, from sets/properties to propositions. I then defend the pragmatic plausibility of this proposal, using Relevance Theory. Specifically, I argue that, even taken as standing for generalized quantifiers, descriptions could still be used and understood in interpersonal communication. (shrink)

This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.

I critically examine an argument, due to howard wettstein, purporting to show that sentences containing definite descriptions are semantically ambiguous between referential and attributive readings. Wettstein argues that many sentences containing nonidentifying descriptions--descriptions that apply to more than one object--cannot be given a Russellian analysis, and that the descriptions in these sentences should be understood as directly referential terms. But because Wettstein does not justify treating referential uses of nonidentifying descriptions differently than attributive uses of nonidentifying descriptions, his argument (...) fails. (shrink)

Contrary to a claim made by Kaplan (Mind 114:933–1003, 2005) and Neale (Mind 114:809–871, 2005), the readings available to sentences containing definite descriptions embedded under propositional attitude verbs and conditionals do pose a significant problem for the Russellian theory of definite descriptions. The Fregean theory of descriptions, on the other hand, deals easily with the relevant data.

Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was (...) presented in (Kürbis 2019), INFι is first compared to a system of Tennant’s and an axiomatic treatment of a term forming ι operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INFι in which the G of ιx[F, G] is restricted to identity. INFι is then compared to an intuitionist version of a system of Lambert’s which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion. (shrink)

Three views on definite descriptions are summarized and discussed, including that of P. F. Strawson in which reference failure results in lack of truth value. When reference failure is allowed, a problem arises concerning Universal Instantiation. Van Fraassen solves the problem by the use of supervaluations, preserving as well such theorems as a=a, and Fa or ~Fa, even when the term a fails to refer. In the present paper a form of relevant, quasi-analytic implication is set out which allows (...) reference failure to infect even a=a and Fa or ~Fa with lack of truth-value. Reference failure causes lack of truth-value in a subwff to spread throughout any wff built up by the classical connectives. As a result none of the classical first-order axiom schemes remain as axiom schemes in the system presented. (shrink)

According to Donnellan the characteristic mark of a referential use of a definite description is the fact that it can be used to pick out an individual that does not satisfy the attributes in the description. Friends and foes of the referential/attributive distinction have equally dismissed that point as obviously wrong or as a sign that Donnellan's distinction lacks semantic import. I will argue that, on a strict semantic conception of what it is for an expression to (...) be a genuine referential device, Donnellan is right: if a use of a definite description is referential, it must be possible for it to refer to an object independently of any attributes associated with the description, including those that constitute its conventional meaning. (shrink)

The paper revisits Sharvy's theory of plural definite descriptions. An alternative account of plural definite descriptions building on the ideas of plural quantification and non-distributive plural predication is developed. Finally, the alternative is extrapolated to account for generic uses of definite descriptions.

The principal question asked in this paper is: in the case of attributive usage, is the definite description to be analyzed as Russell said or is it to be treated as a referring expression, functioning semantically as a proper name? It answers by defending the former alternative.

Subjects were exposed to sentences containing “direct” and “indirect” uses of names and definite descriptions. On a subsequent recognition test incorrect rejections tended to be of sentences involving indirect uses, and false alarms to sentences involving direct uses. This finding is contrary to the predictions of models that suggest indiscriminate substitution of names for descriptions, as do those of Anderson and Bower, and Rumelhart and Norman. The implication is that models of semantic memory must incorporate distinct intensional and extensional (...) representations to avoid semantic distortion. (shrink)

This paper challenges the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief cannot be understood referentially, his ignorance of the coins in his (...) pocket shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (shrink)

We provide a version of first-order hybrid tense logic with predicate abstracts and definite descriptions as the only non-rigid terms. It is formalised by means of a tableau calculus working on sat-formulas. A particular theory of DD exploited here is essentially based on the approach of Russell, but with descriptions treated as genuine terms. However, the reductionist aspect of the Russellian approach is retained in several ways. Moreover, a special form of tense definite descriptions is formally developed. A (...) constructive proof of the interpolation theorem for this calculus is given, which is an extension of the result provided by Blackburn and Marx. (shrink)

A distinction is developed between two uses of definite descriptions, the "attributive" and the "referential." the distinction exists even in the same sentence. several criteria are given for making the distinction. it is suggested that both russell's and strawson's theories fail to deal with this distinction, although some of the things russell says about genuine proper names can be said about the referential use of definite descriptions. it is argued that the presupposition or implication that something fits the (...) description, present in both uses, has a different genesis depending upon whether the description is used referentially or attributively. this distinction in use seems not to depend upon any syntactic or semantic ambiguity. it is also suggested that there is a distinction between what is here called "referring" and what russell defines as denoting. definite descriptions may denote something, according to his definition, whether used attributively or referentially. (shrink)

A sentence containing a number of definite descriptions, each lying within the scope of its predecessor, is naturally read as asserting the uniqueness of a sequence of objects satisfying the descriptions. The project of providing a general uniform procedure for eliminating embedded definite descriptions that gets this and other logical forms right is impeded by several puzzles.

We investigate incomplete symbols, i.e. definite descriptions with scope-operators. Russell famously introduced definite descriptions by contextual definitions; in this article definite descriptions are introduced by rules in a specific calculus that is very well suited for proof-theoretic investigations. That is to say, the phrase ‘incomplete symbols’ is formally interpreted as to the existence of an elimination procedure. The last section offers semantical tools for interpreting the phrase ‘no meaning in isolation’ in a formal way.

The author defends a combination of Strawson’s account of definite descriptions as devices of singular reference par excellence with the Russellian truth-evaluation of utterances of sentences with descriptions. The complex Russellian proposition is, according to the author’s view, introduced by such utterances into communication as a by-product of the instrumental side of an attempt to make a singular statement. This, precisely like the instrumental aspects of similar attempts exploiting names or demonstratives has to be reflected by analysis but should (...) not be confused with the communicative function of utterances. The success of all these attempts depends on the fulfilment of empirical conditions of various types, given by semantics of descriptions, names or demonstratives . But their communicative function does not consist in claiming that these conditions are fulfilled.The author agrees with Strawson that the first two conjuncts of the complex Russellian proposition are introduced into communication as presuppositions: but argues in favour of defining presupposition in normative, rather the intentional terms. (shrink)

Michael Devitt claims that the predicative material that constitutes complex referential expressions makes a semantic contribution to the proposition expressed. He thus deviates from direct referentialism, according to which every referential expression -either simple or complex- contributes just with an object to the proposition expressed, leaving the predicative material out of the semantic content. However, when dealing with misdescriptions, Devitt has suggested a pragmatic way out: the audience can understand what the speaker is referring to even if the object does (...) not fall under the corresponding description. From my perspective, this proposal questions the semantic validity of the predicative material, together with Devitt's original claim. In this paper, I propose a way to solve the problem posed by misdescriptions that appeals to the idea of epistemically relativized properties, according to which the properties ascribed to the object -by means of the predicative material- correspond to the way the speaker thinks of it and not to the way the object really is. Michael Devitt sostiene que el material predicativo que constituye las expresiones referenciales complejas hace un aporte semántico a la proposición expresada, alejándose así del referencialismo directo, para el cual toda expresión referencial -sea ésta simple o compleja- contribuye sólo con un objeto singular a la proposición expresada. Sin embargo, al enfrentarse al problema de las descripciones fallidas, Devitt ofrece una salida pragmática: el oyente comprende a qué se refiere el hablante aun cuando el objeto referido no caiga bajo la descripción utilizada. Esto pone en cuestión la validez semántica del material predicativo, desestimando la postura original de Devitt. En el trabajo propongo una solución a este problema, apelando a la idea de propiedades epistémicamente relativizadas, de acuerdo con la cual lo que se predica del objeto por medio del material predicativo corresponde a las creencias del hablante, y no a lo que el objeto realmente es. (shrink)

François Recanati; IV*—Contextual Dependence and Definite Descriptions, Proceedings of the Aristotelian Society, Volume 87, Issue 1, 1 June 1987, Pages 57–74, h.