A number of authors in favor of a unitary account of singular descriptions have alleged that the unitary account can be extrapolated to account for plural definite descriptions. In this paper I take a closer look at this suggestion. I argue that while the unitary account is clearly onto something right, it is in the end empirically inadequate. At the end of the paper I offer a new partitive account of plural definite descriptions (...) that avoids the problems with both the unitary account and standard Russellian analyses. (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.

This paper defends 'plural reference', the view that definite plurals refer to several individuals at once, and it explores how the view can account for a range of phenomena that have been discussed in the linguistic literature.

“Slingshot Arguments” are a family of arguments underlying the Fregean view that if sentences have reference at all, their references are their truth-values. Usually seen as a kind of collapsing argument, the slingshot consists in proving that, once you suppose that there are some items that are references of sentences (as facts or situations, for example), these items collapse into just two items: The True and The False. This dissertation treats of the slingshot dubbed “Gödel’s slingshot”. Gödel argued that there (...) is a deep connection between these arguments and definite descriptions. More precisely, according to Gödel, if one adopts Russell’s interpretation of definite descriptions (which clashes with Frege’s view that definite descriptions are singular terms), it is possible to evade the slingshot. We challenge Gödel’s view in two manners, first by presenting a slingshot even with a Russellian interpretation of definite descriptions and second by presenting a slingshot even when we change from singular terms to plural terms in the light of new developments of the so-called Plural Logic. The text is divided in three chapters, in the first, we present the discussion between Russell and Frege regarding definite descriptions, in the second, we present Gödel’s position and reconstructions of Gödel’s argument and in the third we prove our slingshot argument for Plural Logic. In light of these results we conclude that we can maintain the validity of slingshot arguments even within a Russellian interpretation of definite descriptions or in the context of Plural Logic. (shrink)

ABSTRACT: This paper discusses ancient versions of paradoxes today classified as paradoxes of presupposition and how their ancient solutions compare with contemporary ones. Sections 1-4 air ancient evidence for the Fallacy of Complex Question and suggested solutions, introduce the Horn Paradox, consider its authorship and contemporary solutions. Section 5 reconstructs the Stoic solution, suggesting the Stoics produced a Russellian-type solution based on a hidden scope ambiguity of negation. The difference to Russell's explanation of definite descriptions is that in (...) the Horn Paradox the Stoics uncovered a hidden conjunction rather than a hidden existential sentence. Sections 6 and 7 investigate hidden ambiguities in 'to have' and 'to lose' (including inalienable and alienable possession) and ambiguities of quantification based on substitution of indefinite plural expressions for indefinite or anaphoric pronouns, and Stoic awareness of these. Section 8 considers metaphorical readings and allusions that add further spice to the paradox. (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)

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)

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 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)

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)

This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper extends the proof of a cut elimination theorem for this system by Indrzejczak by proving the cases for the rules of I. There are also brief comparisons of the present approach to the more common one that formalises definite (...) descriptions with a term forming operator. In the final section rules for I for negative free and classical logic are also mentioned. (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.

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)

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)

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)

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)

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.

This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown (...) to be sound and complete for the semantics. The system has a number of novel features and is briefly compared to the usual approach of formalising ‘the F ’ by a term forming operator. It does not coincide with Hintikka’s and Lambert’s preferred theories, but the divergence is well-motivated and attractive. (shrink)

Despite its enormous popularity, Russell’s theory of definite descriptions has received various criticisms. Two of the most important objections against this theory are those arising from the Argument from Incompleteness and the Argument from Donnellan’s Distinction. According to the former although a speaker may say something true by assertively uttering a sentence containing an incomplete description , on the Russellian analysis such a sentence expresses a false proposition; so, Russell’s theory cannot adequately deal with such sentences. According to (...) the latter objection a descriptive sentence is actually ambiguous—it expresses a general proposition when the description contained in it is used attributively, and a singular proposition when the description in question is used referentially; Russell’s theory is inadequate as it fails to capture this ambiguity and offers an analysis according to which a descriptive sentence expresses only a general proposition. These objections are examined in the present dissertation. It is shown here that these objections arise from: (i) ignoring the distinction between the meaning of a sentence and the assertions made by using it, (ii) the failure to distinguish between the semantic meaning of a sentence and the pragmatic meaning with which it is used on a particular occasion. To make the distinction mentioned in (i), a significant part of Scott Soames’ theory concerning meaning and assertions has been adopted in this dissertation; and, to make the distinction mentioned in (ii), a test, namely the cancellability test, and two Distinguishing Criteria, namely DC-1 and DC-2, have been developed here. It has been argued here that if we properly make the relevant distinctions, then we will find that: (a) the phenomenon cited by the Argument from Incompleteness can be well explained keeping the Russellian analysis of descriptive sentences intact, (b) the phenomenon arising from the Argument from Donnellan’s Distinction raises an issue of pragmatics and is irrelevant to Russell’s semantic analysis of descriptive sentences. So, none of the above criticisms poses a genuine threat to Russell’s theory of definite descriptions; his theory actually provides, to a large extent, a correct semantic analysis of descriptive sentences. (shrink)

This paper shows that Russell’s theory of descriptions gives the wrong se-mantics for definite descriptions occurring in questions and imperatives. Depending on how that theory is applied, it either assigns nonsense to per-fectly meaningful questions and assertions or it assigns meanings that di-verge from the actual semantics of such sentences, even after all pragmatic and contextual variables are allowed for. Given that Russell’s theory is wrong for questions and assertions, it must be wrong for assertoric state-ments; for (...) the semantics of ‘the phi’ obviously doesn’t vary depending on whether it occurs in a question or an assertion or a command. (shrink)

In this paper I respond to the objections put forth by Kresimir Agbaba 22: 1-6) against my earlier paper 20: 7-13) in which I argue that given Donnellan's formulation|as well as Kripke's and Salmon's gen- eralized accounts|an attributive use of a denite description is a very rare linguistic phenomenon.

Recent philosophical work on the concept of human nature disagrees on how to respond to the Darwinian challenge, according to which biological species do not have traditional essences. Three broad kinds of reactions can be distinguished: conservative intrinsic essentialism, which defends essences in the traditional sense, eliminativism, which suggests dropping the concept of human nature altogether, and constructive approaches, which argue that revisions can generate sensible concepts of human nature beyond traditional essences. The different constructive approaches pick out one or (...) two of the three epistemic roles that are fused in traditional essentialist conceptions of human nature: descriptive, explanatory, definitional, or explanatory and definitional. These turns towards diverging epistemic roles are best interpreted pluralistically: there is a plurality of concepts of human nature that have to be clearly distinguished, each with a legitimate role in respective scientific contexts. (shrink)

This essay aims to coherently introduce a four-dimensional view adapting to the three-spatial-plus-one- temporal-dimensions (3+1) physical world. To orient the discussions, the essay presents several central claims. First, the only description a proper name abbreviates is that of being called, yet a proper name is capable of bringing up the entire object from its birth to its end. Second, there is a crucial difference in the behaviors of proper names and definite descriptions. Third, a co-knowing state may be (...) decisive in exchanging information about the physical world. Lastly, one way to consider the truth value of propositions containing fictional characters is to consider such propositions as about a summarized or entailed property of the physically stored coding texts. On the other hand, fictional worlds typically are well-established four-dimensional simulations. (shrink)

Abstract A Note to Cogito Les Jones Blackburn College Previous submissions include -Intention, interpretation and literary theory, a first lookWittgenstein and St Augustine A DiscussionAreas of Interest – History of Western Philosophy, Miscellaneous Philosophy, European A Note on Cogito Descartes' brilliance in driving out doubt, and proving the existence of himself as a thinking entity, is well documented. Sartre's critique (or maybe extension) is both apposite and grounded and takes these enquiries on to another level. Let's take a look. 'I (...) think' somehow, for all its power, lacks something. What? Consider what one does when thinking (difficult, but we can try). Implicit in the word 'think', in fact the very essence of the word 'think', is that activity is going on, and if such activity is going on then it must be going on about something, an object, an emotion, a problem,or maybe some dreamlike state, but common to all these is that something is going on. Is that really so? Well, if that wasn't so we would be able to think in a pure state, wouldn't we? But what does a pure state of 'thinking' mean? It can't mean that there isnothing there, because if there were nothing there then no thinking would be taking place. Can it mean that we are thinking of nothing? Well no, because if we are thinking of nothing then we are thinking of something, we are contemplating the notion, or the nature, of nothing. In fact, one can argue that if we talk of something, inthis case nothing or nothingness, then in our head we have some notion of what that is, i.e. something exists in the mind for it to come out of our mouths. Thinking is a recognition of something outside the individual, for the very act of direction, which isan indispensable part of thinking, recognises, must recognise, that there are things to address outside the individual. Something else to bear in mind. According to Sartre human beings are condemned to freedom. Why condemned? Human beings did not choose to be born, but the act ofbeing born also imparts the freedom of which Sartre speaks. Freedom is something which we parrot off as being a sine qua non for the human condition. I believe that's true, but freedom in this sense isn't without its consequences for the individual humanbeing, for individual human beings handle freedom differently. To some it enables them to fly, to others it imparts immense pressures, anguish, heartbreak, unhappiness can all be associated with such freedom. Each individual is responsible for his destiny, for his direction. If someone says that God impelled him, that individual chose his or her God, and chose to obey his or her God. This believer has to sift through the multitude of things that his or her God desire of him or her. All this is fine, so long as we acknowledge what is going on here. Belief in God is, by definition, a belief. Belief, following Wittgenstein, is a language game with its rules and its boundaries. The essential feature of religion as language game are its boundaries, which can be summed up in the word belief. OK, belief has its practises which are its constituent parts, but belief is the boundary between religion and other language games, as the proof constituents are different. Our world is determined by the language used to describe everything that goes on within it. The boundaries of our world are set by the language we use. This might be better put as language gives access to ever expending boundaries. Ever expanding boundaries are only possible by ever expanding thought, and ever expanding thought is only possible by ever expanding directions to our thought brought about through language. It is a fact taken that to be conscious is to think. How could this be otherwise? Consciousness without thought just does not make sense. Imagine a state of consciousness without directional thought. What would it be like? It would be something never experienced, completely out of our understanding. Why? Because understanding itself is a directional thought process. If we say we are going outside our understanding then that is a world of void, and a world of void does not exist. Can such a world be contemplated in our thinking? Well, yes, but then it requires thinking, and thinking requires direction, and such direction requires language. Why does direction require language? Because there is no other way for human beings to articulate a directional thought. Could one point at an image without language? Well, one could have an image in mind, but the essence of saying something about it, of descriptive power, brings us back to the essence, to the power of language to direct. So what of this language of which we speak? Wittgenstein's private language argument points us towards the notion that language itself constantly develops and redevelops through human interaction. Descarte's cogito implies that thinking rules out doubt of one's own existence. But such thinking, to be valid, to make sense, to direct, must develop in a language that has developed, has been verified, by a plurality, by a plurality whose essence is social. Correct use of language symbols, i.e. words, requires that we verify and reverify the accuracy of such symbols. How do we do that? We do that in constant usage, in constant interaction, with other human beings. An individual using a private language could not be understood by others, his symbol system has not been verified by others, his meanings may not be your meanings. It follows from what we have said above that language is constructed, and is continually constructed, in a social context. Given our previous thoughts regarding verification this could not be otherwise. Language has a normative form. All language users are required, by their very use of the language, to verify the use of terms, grammar etc etc. As Wittgenstein cites (appropriately) games as a model, let us take a look. If I play e.g. Ludo, I am governed by the rules. It is not just that I may play dishonestly, for if I were to play at all that very dishonesty, to count as Ludo, would have to be rule governed. The rules of Ludo are Ludo, they are the essence and the constitution of it. Wittgenstein, particularly in his later writings, interweaves many concepts, and connects them in different and sometimes rather elusive ways. Wittgenstein sees concepts like emotions, sentiments and experiences in these interweaving maps. Of course these can be regarded as psychological concepts ** Language can be considered in another but related way, as embodying the elements of a cultural heritage. Language was seen as embodying the notion of higher culture in the arts, architecture etc. Over recent decades this has tended to shift to consider less tangible benefits, such things as oral traditions, cultural values and cultural identity. So language enables us to explore, through the achievements of past generations, cultural mores that may have laid unchallenged for many years. Many of these values and mores may be seen as independent of the language by which they are transmitted, but still this monumental accomplishment of mankind i.e. language, enables man to explore, to modify, to codify, to extend the boundaries of human experience. There are therefore massive implications for our Note on Cogito of Wittgenstein's work. Following Wittgenstein emotions and other psychological concepts can be termed depth grammar, and are distinguished by the fact that the third person of the present is recognised by observation, the first person is not. Taking Wittgenstein's well known pain example the sentence 'He is in pain' is a third person statement of an observational nature. The sentence 'I am in pain' is not derived from observation but from experience, it is an expression of that experience, it's essence is the experience. The asymmetry consists in the fact that predicting psychological attributes of others is warranted by what they do and say. By contrast, the use of such statements in the first person present tense does not rest on one's observation of one's own behaviour. (Hacker 2010:287) p 9 According to Wittgenstein 'I am in pain' is more like a cry of pain, an expression of pain, than a report of some pain. Of course this appertains for other similar statements. 'I feel good' etc. (shrink)

La logique peut-elle se détacher des facteurs environnementaux et opérer indépendamment des états mentaux des locuteurs ? Dans cette article, nous montrons comment on est passé d’une réponse positive à une réponse négative à cette question. La critique de la formalisation logique des descriptions définies amorcée par Strawson, a été critiquée et étendue par Donnellan, qui distingue les usage référentiels et attributifs du langage et montre que la formalisation des énoncés en langue naturelle est inextricable de facteurs pragmatiques non (...) automatisables. Nous terminons cet article en abordant brièvement les conséquences d’une telle position sur les développements récents de l’Intelligence Artificielle. Mots clé : Logique, Descriptions définies, Russell, Strawson, Donnellan //////////////////////////////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////////////////////// -/- Abstract Can logic operate independently of environmental factors and of the mental states of speakers? In this article, we show how we went from a positive to a negative answer to this question. The critique of the logical formalization of definite descriptions initiated by Strawson, was extended by Donnellan, who distinguishes the referential and attributive uses of language and shows that the formalization of statements in natural language is inextricable from pragmatic factors. We end this article by briefly addressing the consequences of such a position on recent developments in Artificial Intelligence. Keywords: Logic, Definite descriptions, Russell, Strawson, Donnellan . (shrink)

This paper addresses a certain objection to the quantificational theory of definite descriptions. According to this objection, the quantificational account cannot provide correct interpretations of definite descriptions embedded in the non-doxastic attitude ascriptions and therefore ought to be rejected. In brief, the objection says that the quantificational theory is committed to the view that a sentence of the form “The F is G” is equivalent to the claim that there is a unique F and it is (...) G, while the ascription such as, e.g., “S wants the F to be G” is not equivalent to the statement that S wants there to be a F and for it to be G. I argue that this objection is invalid as it rests on a false assumption concerning the substitutivity of the relative clauses in the non-doxastic attitude ascriptions. (shrink)

Almost entirely ignored in the linguistic theorising on names and descriptions is a hybrid form of expression which, like definite descriptions, begin with 'the' but which, like proper names, are capitalised and seem to lack descriptive content. These are expressions such as the following, 'the Holy Roman Empire', 'the Mississippi River', or 'the Space Needle'. Such capitalised descriptions are ubiquitous in natural language, but to which linguistic categories do they belong? Are they simply proper names? Or (...) are they definite descriptions with unique orthography? Or are they something else entirely? This paper assesses two obvious assimilation strategies: (i) assimilation to proper names and (ii) assimilation to definite descriptions. It is argued that both of these strategies face major difficulties. The primary goal is to lay the groundwork for a linguistic analysis of capitalised descriptions. Yet, the hope is that clearing the ground on capitalised descriptions may reveal useful insights for the on-going research into the semantics and syntax of their lower-case or 'the'-less relatives. (shrink)

Estonian doesn't have a definite article. Instead, bare singular noun phrases can unambiguously bear either a definite interpretation or an indefinite interpretation. This paper argues that the pragmatic principles governing the felicitous use of three English articles ("a", "the" and "another"), described by A Grønn and KJ Sæbø (2012, 'A, the, another: A game of same and different' Journal of Logic, Language and Information 21, 75-95) can also account for the conditions under which a bare singular noun phrase (...) in Estonian bears a definite or instead an indefinite interpretation. The two languages use the same pragmatic principles to determine the definiteness interpretation of a noun phrase. The difference is just that in English (where definiteness meanings have been lexicalized) these pragmatic principles govern the felicity of article use, whereas in Estonian they govern the interpretation of a bare singular noun phrase. (shrink)

In this paper I offer a defence of a Russellian analysis of the referential uses of incomplete (mis)descriptions, in a contextual setting. With regard to the debate between a unificationist and an ambiguity approach to the formal treatment of definite descriptions (introduction), I will support the former against the latter. In 1. I explain what I mean by "essentially" incomplete descriptions: incomplete descriptions are context dependent descriptions. In 2. I examine one of the best (...) versions of the unificationist “explicit” approach given by Buchanan and Ostertag. I then show that this proposal seems unable to treat the normal uses of misdescriptions. I then accept the challenge of treating misdescriptions as a key to solving the problem of context dependent descriptions. In 3. I briefly discuss Michael Devitt’s and Joseph Almog’s treatments of referential descriptions, showing that they find it difficult to explain misdescriptions. In 4. I suggest an alternative approach to DD as contextuals, under a normative epistemic stance. Definite descriptions express (i) what a speaker should have in mind in using certain words in a certain context and (ii) what a normal speaker is justified in saying in a context, given a common basic knowledge of the lexicon. In 5. I define a procedure running on contextual parameters (partiality, perspective and approximation) as a means of representing the role of pragmatics as a filter for semantic interpretation. In 6. I defend my procedural approach against possible objections concerning the problem of the boundaries between semantics and pragmatics, relying on the distinction between semantics and theory of meaning. (shrink)

We argue that definite noun phrases give rise to uniqueness inferences characterized by a pattern we call definiteness projection. Definiteness projection says that the uniqueness inference of a definite projects out unless there is an indefinite antecedent in a position that filters presuppositions. We argue that definiteness projection poses a serious puzzle for e-type theories of (in)definites; on such theories, indefinites should filter existence presuppositions but not uniqueness presuppositions. We argue that definiteness projection also poses challenges for dynamic (...) approaches, which have trouble generating uniqueness inferences and predicting some filtering behavior, though unlike the challenge for e-type theories, these challenges have mostly been noted in the literature, albeit in a piecemeal way. Our central aim, however, is not to argue for or against a particular view, but rather to formulate and motivate a generalization about definiteness which any adequate theory must account for. (shrink)

Although Strawson’s main aim in “On Referring” was to argue that definite descriptions can be used referentially – that is, “to mention or refer to some individual person or single object . . . , in the course of doing what we should normally describe as making a statement about that person [or] object” (1950, p. 320) – he denied that definite descriptions are always used referentially. The description in ‘Napoleon was the greatest French soldier’ is (...) not used referentially, says Strawson, since it is used not to mention an individual, but only “to say something about an individual already mentioned” (p. 320). This is an example of what we may call a predicative use of a definite description, though such uses might be better illustrated by considering the false sentence.. (shrink)

Standard rigid designator accounts of a name’s meaning have trouble accommodating what I will call a descriptive name’s “shifty” character -- its tendency to shift its referent over time in response to a discovery that the conventional referent of that name does not satisfy the description with which that name was introduced. I offer a variant of Kripke’s historical semantic theory of how names function, a variant that can accommodate the character of descriptive names while maintaining rigidity for proper names. (...) A descriptive name’s shiftiness calls for a semantic account of names that makes their semantic values bipartite, containing both traditional semantic contents and what I call "modes of introduction." Both parts of a name's semantic value are derived from the way a name gets introduced into discourse -- from what I refer to as its "context of introduction." Making a name's semantic value bipartite in this way allows for a definite description to be a part of proper name's meaning without thereby sacrificing that name’s status as a rigid designator. On my view, a definite description is part of descriptive name’s mode of introduction. That is, it is part of what determines the content assigned to that name. As it turns out, making a definite description part of a descriptive name’s mode of introduction allows for that definite description to play the role of a mere reference-fixer regarding that name’s content, as Kripke would have it. However, my account allows a definite description to fix a descriptive name’s content actively over time, thereby explaining its inherent shiftiness. (shrink)

Research groups around the world are currently busy trying to invent new life in the laboratory, looking for extraterrestrial life, or making machines increasingly more life-like. In the case of astrobiology, any newly discovered life would likely be very old, but when discovered it would be new to us. In the case of synthetic organic life or life-like machines, humans will have invented life that did not exist before. Together, these endeavors amount to what we call the emerging plurality of (...) lives because we see a future where we are surrounded by, and interact with, life of many different origins, as well as entities that we have not traditionally seen as being alive. In the future these entities will likely possess properties that we so far have only associated with living beings, thereby transcending and perhaps blurring the borders between life and non-life. (shrink)

The first aim of this paper is to elucidate Russell’s construction of spatial points, which is to be <br>considered as a paradigmatic case of the "logical constructions" that played a central role in his epistemology and theory of science. Comparing it with parallel endeavours carried out by Carnap and Stone it is argued that Russell’s construction is best understood as a structural representation. It is shown that Russell’s and Carnap’s representational constructions may be considered as incomplete and sketchy harbingers of (...) Stone’s representation theorems. The representational program inaugurated by Stone’s theorems was one of the success stories of 20th century’s mathematics. This suggests that representational constructions à la Stone could also be important for epistemology and philosophy of science. More specifically it is argued that the issues proposed by Russellian definite descriptions, logical constructions, and structural representations still have a place on the agenda of contemporary epistemology and philosophy of science. Finally, the representational interpretation of Russell’s logical constructivism is used to shed some new light on the recently vigorously discussed topic of his structural realism. (shrink)

In this study, I intend to show how and why, in the Port-Royal Logic, a singular term can reveal the nature of the logical judgment in the handbook. As I argue, the treatment given to one of thee singular terms, namely, the defined descriptions, in the terminology introduced by Russell, leads to an opening to langage that sounds unexpected and unjustified. Considering the privilege of thinking over langage and also that judgment is the mental act that defines logic, however, (...) we may understand how the authors regard langage, in relation to the epistemic constituents, namely, the mental acts within the terms. In doing so we are compelled to recognize the implications of this step towards pragmatism in fixing the meaning of defined descriptions to the nature of judgment in the handbook. This opening to langage reveals the conception of judgment as a twofold mental act: a formal and a practical (moral and theological) one. (shrink)

In “Descriptions as Predicates” (Fara 2001) I argued that definite and indefinite descriptions should be given a uniform semantic treatment as predicates rather than as quantifier phrases. The aim of the current paper is to clarify and elaborate one of the arguments for the descriptions-aspredicates view, one that concerns the interaction of descriptions with adverbs of quantification.

This paper offers a unified, quantificational treatment of incomplete descriptions like ‘the table’. An incomplete quantified expression like ‘every bottle’ (as in “Every bottle is empty”) can feature in true utterances despite the fact that the world contains nonempty bottles. Positing a contextual restriction on the bottles being talked about is a straightforward solution. It is argued that the same strategy can be extended to incomplete definite descriptions across the board. ncorporating the contextual restrictions into semantics involves (...) meeting a complex array of desiderata, yet the apparently simpler pragmatic alternative faces severe problems and is therefore a nonstarter. (shrink)

The project “A Plurality of Lives” was funded and hosted by the Pufendorf Institute for Advanced Studies at Lund University, Sweden. The aim of the project was to better understand how a second origin of life, either in the form of a discovery of extraterrestrial life, life developed in a laboratory, or machines equipped with abilities previously only ascribed to living beings, will change how we understand and relate to life. Because of the inherently interdisciplinary nature of the project aim, (...) the project took an interdisciplinary approach with a research group made up of 12 senior researchers representing 12 different disciplines. The project resulted in a joint volume, an international symposium, several new projects, and a network of researchers in the field, all continuing to communicate about and advance the aim of the project. (shrink)

Some contemporary semantic views defend an asymmetry thesis concerning defi-nite descriptions and indexicals. Semantically, indexicals are devices of singular refer-ence; they contribute objects to the contents of the speech acts made with utterances including them. Definite descriptions, on the other hand, are generalized quantifiers, behaving roughly the way Russell envisaged in “On Denoting”. The asymmetry thesis depends on the existence of a sufficiently clear-cut distinction between semantics and pragmatics, because indexicals and descriptions are often used in (...) ways that apparently contradict the asymmetry thesis; the semantics/pragmatics distinction is invoked to see behind the appearances. The paper critically examines arguments by Schiffer against the asymmetry thesis, based on referential uses of incomplete descriptions. (shrink)

Description Logics (DLs) are a family of well-known terminological knowledge representation formalisms in modern semantics-based systems. This research focuses on analysing how our developed Occurrence Logic (OccL) can conceptually and logically support the development of a description logic. OccL is integrated into the alternative theory of natural language syntax in `Deviational Syntactic Structures' under the label `EFA(X)3' (or the third version of Epi-Formal Analysis in Syntax, EFA(X), which is a radical linguistic theory). From the logical point of view, OccL is (...) a formal logic that mainly deals with the occurrences of symbols as well as with their priorities within linguistic descriptions, i.e. natural language syntax, semantics and phonology. In this article---based on our OccL-based definitions of the concepts of `strong implication' and `occurrence value' as well as of the logical concept `identical occurrence constructor (IDOC)' that is the most fundamental logical concept in our formalism---we will model Occurrence Description Logic ($\mathcal{ODL}$). Accordingly, we will formally-logically analyse `occurrence(s) of symbol(s)' within descriptions of the world in $\mathcal{ODL}$. In addition, we will analyse and assess the logical concepts of `occurrence' and `occurrence priority' in $\mathcal{ODL}$. This research can make a strong logical background for our future research in the development of a Modal Occurrence Description Logic. (shrink)

The paper provides some introductory comments and a preliminary translation of Avicenna’s Burhān, IV, 2. I shall first set the stage by outlining the structure of the book (sec. 1). I will then briefly introduce (sec. 2) a number of notions that are dealt with in the first treatise of the Burhān (e.g. definition, description). Burhān, IV, 2 is split into two parts: the first focuses mainly on Aristotle’s An. Post., B, 4, whereas the second covers some of the topics (...) of B, 5 and B, 6. Accordingly, sec. 3 will be devoted to a cursory presentation of Aristotle’s arguments in An. Post., B, 4 along with a more detailed discussion of its Avicennan counterpart, focusing on the indemonstrability of definition; sec. 4, finally, will be a presentation of the second part of the chapter, concerning the relationship between definition and division. An English translation of the entire chapter is appended to the paper and is accompanied by some notes. (shrink)

Oscar Horta has argued that speciesism is wrong by definition. In his view, there can be no more substantive debate about the justification of speciesism than there can be about the legality of murder, for it stems from the definition of “speciesism” that speciesism is unjustified just as it stems from the definition of “murder” that murder is illegal. The present paper is a case against this conception. I distinguish two issues: one is descriptive and the other normative. Relying on (...) philosophers’ use of the term, I first answer the descriptive question negatively: speciesism is a purely descriptive concept. Then, based on both its main functions in the philosophical and public debates and an analogy with racism, I answer the normative question negatively: speciesism should remain a purely descriptive concept. If I am correct, then speciesism neither is nor should be wrong by definition. (shrink)

Keith Donnellan wrote his paper on definite descriptions in 1966 at Cornell University, an environment where nearly everybody was discussing Wittgenstein’s ideas of meaning as use. However, his idea of different uses of definite descriptions became one of the fundamental tenets against descriptivism, which was considered one of the main legacies of the Frege–Russell– Wittgenstein view; and I wonder whether a more Wittgensteinian interpretation of Donnellan’s work is possible.