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)

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)

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 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 (...) class='Hi'>definite descriptions recommended here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (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)

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)

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)

Contextualism, Pragmatics and Definite Descriptions Very few philosophers and linguists doubt that definite descriptions have attributive uses and referential uses. The point of disagreement concerns whether the difference in uses is grounded on a difference in meaning. The Ambiguity Theory holds while the Implicature Theory denies that definite descriptions are ambiguous expressions, having an attributive meaning and a referential meaning. Contextualists have attempted to steer between the Ambiguity Theory and the Implicature Theory. I claim (...) that the early contextualist account provided by Recanati and Bezuidehnout based on the idea that definite descriptions are semantically underdetermined and in need of a completion from the contextually available information through an optional top-down pragmatic process suffers from an explanatory gap. (shrink)

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.

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.

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)

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.

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)

Definite articles and demonstratives share many features in common including a related etymology and a number of parallel communicative functions. The following paper is concerned with developing a novel proposal on how to distinguish the two types of expression. First, crosslinguistic evidence is presented to argue that demonstratives contain locational markers that are employed in deictic uses to force contrastive focus and accentuate an intended referent against a contextual background. Conversely, definite articles lack such markers. Demonstratives are thus (...) more likely to force referential interpretations, whereas definite descriptions are more open to attributive ones. Second, an analysis of determiner phrases is provided to illustrate that certain syntactic projections capture deictic differences between the two expressions. Semantic correlates of the proposal are then considered before it is situated with respect to contemporary work distinguishing the two categories on the basis of a non‐redundancy condition (that the overt noun phrase complement of a demonstrative may not denote a singleton set), which I suggest is derivative on the presence of contrastive deictic markers in demonstratives. (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.

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.

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 (...) class='Hi'>descriptions within our calculus. In this paper we prove an elimination theorem for this calculus. (shrink)

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)

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)

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)

I n order to appreciate properly what we are doing in this book it is necessary to realize that our approach to linguistic theorizing differs from the prevailing views. Our approach can be described by indicating what distinguishes it from the methodological ideas current in theoretical linguistics, which I consider seriously misguided. Linguists typically construe their task in these days as that of making exceptionless generalizations from particular examples. This explanatory strategy is wrong in several different ways. It presupposes that (...) we can have "intuitions" about particular examples, usually examples invented by the linguist himself or herself, reliable and sharp enough to serve as a basis of sharp generalizations. It also presupposes that we cannot have equally reliable direct access to general linguistic regularities. Both assumptions appear to me extremely dubious, and the first of them has in effect been challenged by linguists like Dwight Bol inger. There is also some evidence that the degree of unanimity among linguists is fairly low when it comes to less clear cases, even in connection with such relatively simple questions as grammaticality (acceptability). For this reason we have tried to rely more on quotations from contemporary fiction, newspapers and magazines than on linguists' and philosophers' ad hoc examples. I also find it strange that some of the same linguists as believe that we all possess innate ideas about general characteristics of humanly possible grammars assume that we can have access to them only via their particular consequences. (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.

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)

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)

Slightly modified version, as it appeared in Striegnitz, K. et al. Special Issue: The Language Sections of the ESSLLI-01 Student Session, Human Language Technology Theses. 2002.

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)

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)

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.

Speaking of dental floss contaminated with bacteria, I may separate the dental floss that is sterile from the dental floss that isn’t sterile. The definite description “the dental floss that isn’t sterile” contracts its reference to just the dental floss near bacteria, although it, the dental floss whole, isn’t sterile. To accommodate the definite descriptions that contract their reference, received definitions for ⌜the Φ⌝ are amended from to read as in : ⌜the Φ⌝ refers to that which (...) any Φ is part of and is the least such. ⌜the Φ⌝ refers to that which any Φ overlaps and is the least such. If definite description is to be based on a purely logical notion of plural and mass predication, it is further amended. Like overt demonstratives—⌜this/these Φ⌝, ⌜that/those Φ⌝—any definite description in natural language is also perspectival, scanning everywhere the description Φ is satisfied:⌜the Φ⌝ refers to the least Φ that overlap Φ anywhere there is Φ. (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)

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.

This paper proves normalisation theorems for intuitionist and classical negative free logic, without and with the $\invertediota$ operator for definite descriptions. Rules specific to free logic give rise to new kinds of maximal formulas additional to those familiar from standard intuitionist and classical logic. When $\invertediota$ is added it must be ensured that reduction procedures involving replacements of parameters by terms do not introduce new maximal formulas of higher degree than the ones removed. The problem is solved by (...) a rule that permits restricting these terms in the rules for $\forall$, $\exists$ and $\invertediota$ to parameters or constants. A restricted subformula property for deductions in systems without $\invertediota$ is considered. It is improved upon by an alternative formalisation of free logic building on an idea of Ja\'skowski's. In the classical system the rules for $\invertediota$ require treatment known from normalisation for classical logic with $\lor$ or $\exists$. The philosophical significance of the results is also indicated. (shrink)

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)

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)

The present article contains a defense of the thesis that definite descriptions can have referential meanings that include a descriptive component from the following objections contained in the preceding articles: the idea that the thesis at stake cannot adequately account for cases of misdescriptions, the claim that referential descriptions should be considered to be purely referential, with no descriptive meaning component whatsoever, and the alleged viability of a pragmatic approach according to which definite descriptions do (...) not have referential meanings but can only be referentially used. As far as is concerned, it is argued that misdescriptions can be clearly accounted for in pragmatic terms. Against, it is pointed out that sentences of the form 'The/an F is not F' have a contradictory status -they are taken to be contradictory even when the descriptions involved have referential meanings. Finally, regarding, it is argued that, in defending a very audience-directed stance, Caso confuses the epistemic and constitutive dimensions of reference determination, and as a consequence he is committed to an extreme form of linguistic pragmatism according to which the meaning of an expression is constitutively determined by the way in which hearers interpret utterances. El presente artículo contiene una defensa de la tesis según la cual las descripciones definidas pueden tener significados referenciales que incluyen un componente descriptivo frente a las siguientes objeciones contenidas en los artículos precedentes: la idea según la cual la tesis en cuestión no explica adecuadamente los casos de descripciones fallidas, la tesis de que no hay razones para creer que los significados referenciales de las descripciones incluyan un componente descriptivo, y la supuesta viabilidad de una perspectiva pragmática, desde la cual se considera que las descripciones no tienen significados referenciales sino que pueden ser usadas referencialmente. En relación con, se sostiene que las descripciones fallidas pueden ser claramente explicadas en términos pragmáticos. Contra, se destaca que las oraciones de la forma 'El/un F no es F' tienen un carácter contradictorio -se considera que son contradictorias aun en los casos en los que las descripciones involucradas tienen significados referenciales. Finalmente, contra, se argumenta que, al defender un acercamiento muy orientado hacia la audiencia, Caso confunde la dimensión epistémica de la determinación de la referencia con su dimensión constitutiva y, en consecuencia, resulta comprometido con una forma extrema de pragmatismo lingüístico según la cual el significado de una expresión se encuentra constitutivamente determinado por la manera en que los hablantes interpretan las emisiones. (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)

In this essay I argue that given Donnellan’s formulation of the attributive uses of definite descriptions, as well as Kripke’s [6] and Salmon’s [10] generalized accounts, most uses of definite descriptions that are taken to be attributive turn out not to be so. In building up to my main thesis, I first consider certain problematic cases of uses of definite descriptions that do not neatly fit into any category. I then argue that, in general, (...) a complete definite description we use is complex, in which there is an embedded singular term that is used referentially. From this I conclude that an attributive use of a definite description is an extremely rare linguistic phenomenon, much less frequent than what Donnellan, Kripke, and Salmon have presupposed; so much so that the standard examples given by Donnellan of the attributive use of definite descriptions do not qualify as attributive. (shrink)

The proper statement and assessment of Russell's theory depends on one's semantic presuppositions. A semantic framework is provided, and Russell's theory formulated in terms of it. Referential uses of descriptions raise familiar problems for the theory, to which there are, at the most general level of abstraction, two possible Russellian responses. Both are considered, and both found wanting. The paper ends with a brief consideration of what the correct positive theory of definite descriptions might be, if it (...) is not the Russellian theory. (shrink)