Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...) fields get up to speed on open research-level problems. (shrink)

I develop and argue for a novel theory of the mental state of identity confusion. I also argue that this mental state can corrupt the proper function of singular terms in linguistic communication. Finally, I propose a theory according to which identity confusion should be treated as a the source of a new sort of linguistic performance error, similar to malapropism, slips of the tongue, and so-called intentional obfuscation (inducing false belief by manipulating language in specific ways). -/- Going into (...) a bit more detail, I start by arguing that contemporary analytic philosophy, and philosophy of language in particular, has been dominated by a ‘puzzle-driven’ methodology. This tradition, I claim, seeks to provide a coherent system for describing semantic features of all conceivable cases where a speaker is confused about the identity or distinctness of an object. On my view, identity confusion is a mental state of an agent who either believes falsely that a is identical to b or believes falsely that a is not identical to b. I show how many influential arguments in philosophy – e.g., Kripke on semantic reference and speaker’s reference – are invalidated because of false assumptions about the state of identity confusion. -/- More positively, I assume an ‘explanation-driven’ approach, combining strands in Gricean intentionalism and Ruth Millikan’s teleosemantics. On this view, confused speakers are ‘sub-optimal’: their mental state disrupts the proper function of the relevant singular terms in their idiolects. Furthermore, I flesh out a theoretically fruitful notion of ‘edenic reference,’ which idealizes away from confusion in defining the optimal or stabilizing function of singular terms. I argue that speakers must satisfy certain broadly cognitive constraints if their utterances are to play a role in explaining the maintenance of a practice of using a singular term in a linguistic community. (shrink)

The standard view of "believes" and other propositional attitude verbs is that such verbs express relations between agents and propositions. A sentence of the form “S believes that p” is true just in case S stands in the belief-relation to the proposition that p; this proposition is the referent of the complement clause "that p." On this view, we would expect the clausal complements of propositional attitude verbs to be freely intersubstitutable with their corresponding proposition descriptions—e.g., "the proposition that p"—as (...) they are in the case of "believes." In many cases, however, intersubstitution of that-clauses and proposition descriptions fails to preserve truth value or even grammaticality. These substitution failures lead some philosophers to reject the standard view of propositional attitude reports. Others conclude that propositional attitude verbs are systematically ambiguous. I reject both these views. On my view, the that-clause complements of propositional attitude verbs denote propositions, but proposition descriptions do not. (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)

Famously, both Saul Kripke and Keith Donnellan opposed description theories and insisted on the role of history in determining the reference of a proper name token. No wonder, then, that their views on proper names have often been assimilated. By focusing on reference borrowing—an alleged phenomenon that Kripke takes to be fundamental—we argue that they should not be. In particular, we claim that according to Donnellan a proper name token never borrows its reference from preceding tokens which it is historically (...) connected to. On the contrary, its reference is always fixed anew on who or what the speaker has in mind when he or she produces it. In fact, what is important to realize is that Donnellan and Kripke took two different histories to be relevant: that of the proper name token produced by the speaker , and that of the cognitive status of the speaker when he or she produces it . We end by suggesting that this difference between Kripke’s and Donnellan’s accounts of proper names rests on a more general difference in their approach to language. (shrink)

A recent challenge to Russell’s theory of definite description centers upon the divergent behavior of definites and their Russellian paraphrases in non-extensional contexts. Russellians can meet this challenge, I argue, by incorporating the familiarity theory of definiteness into Russell’s theory. The synthesis of these two seemingly incompatible theories produces a conceptually consistent and empirically powerful framework. As I show, the coalescence of Russellianism and the familiarity theory of definiteness stands as a legitimate alternative to both Traditional Russellianism and alternative semantic (...) frameworks. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

I discuss Andrea Iacona’s idea that logical form mirrors truth conditions, and that logical form, and thus truth conditions, are in turn represented by means of adequate formalization. I criticize this idea, noting that the notion of adequate formalization is highly indefinite, while the pre-theoretic idea of logical form is often much more definite. I also criticize Iacona’s claim that certain distinct sentences, with the same truth conditions and differing only by co-referential names, must be formalized by the same formula (...) (in the same context). I criticize this claim, noting that it imposes implausible demands on adequate formalization. Finally, I offer some brief remarks on the connection between Iacona’s ideas and the distinction between logical and non-logical constants. (shrink)

The goal of creating Artificial General Intelligence (AGI) – or in other words of creating Turing machines (modern computers) that can behave in a way that mimics human intelligence – has occupied AI researchers ever since the idea of AI was first proposed. One common theme in these discussions is the thesis that the ability of a machine to conduct convincing dialogues with human beings can serve as at least a sufficient criterion of AGI. We argue that this very ability (...) should be accepted also as a necessary condition of AGI, and we provide a description of the nature of human dialogue in particular and of human language in general against this background. We then argue that it is for mathematical reasons impossible to program a machine in such a way that it could master human dialogue behaviour in its full generality. This is (1) because there are no traditional explicitly designed mathematical models that could be used as a starting point for creating such programs; and (2) because even the sorts of automated models generated by using machine learning, which have been used successfully in areas such as machine translation, cannot be extended to cope with human dialogue. If this is so, then we can conclude that a Turing machine also cannot possess AGI, because it fails to fulfil a necessary condition thereof. At the same time, however, we acknowledge the potential of Turing machines to master dialogue behaviour in highly restricted contexts, where what is called “narrow” AI can still be of considerable utility. (shrink)

In recent years, a new argument in favor of Donnellan’s (Philos Rev 77: 281–304, 1966) semantic distinction between attributive and referential descriptions has been proposed by Michael Devitt and Marga Reimer. This argument is based on two empirical premises concerning regularity of use and processing ease. This paper is an attempt to demonstrate (a) that these empirical observations are dubious and fail to license the conclusion of the argument and (b) that if the argument were sound, it would severely overgenerate. (...) The general lesson of the paper is that empirical observations about (a) how frequent an expression E is used to mean M and (b) how easy and fast M is processed cannot be taken to provide reliable evidence about the lexically encoded semantic properties of E. (shrink)

This paper is about the difficulties involved in establishing criteria for definiteness. A number of possibilities are considered – traditional ones such as strength, uniqueness, and familiarity, as well as several which have been suggested in the wake of Montague’s analysis of NPs as generalized quantifiers. My tentative conclusion is that Russell’s uniqueness characteristic (suitably modified) holds up well against the others.

The argument from convention contends that the regular use of definite descriptions as referential devices strongly implies that a referential semantic convention underlies such usage. On the presumption that definite descriptions also participate in a quantificational semantic convention, the argument from convention has served as an argument for the thesis that the English definite article is ambiguous. Here, I revisit this relatively new argument. First, I address two recurring criticisms of the argument from convention: its alleged tendency to overgenerate and (...) its apparent evidential inadequacy. These criticisms are found wanting. Second, following Zacharska, I argue that while the argument from convention does alter the landscape of logical possibilities insofar as it provides good grounds for treating Donnellan’s referential–attributive distinction as having truth-conditional consequences, the argument from convention nonetheless fails to demonstrate that ‘the’ requires two lexical entries. (shrink)

There are many examples offered as evidence that proper names are predicates. Not all of these cases speak to a name’s semantic content, but many of them do. Some of these include attributive, quantifier, and ambiguity cases. We will explore those cases here, and we will see that none of them conclusively show that names are predicates. In fact, all of these constructions can be given alternative analyses that eliminate the predicative characteristics of names they feature. These analyses do not (...) involve having names functioning as predicates in any way at all. In attributive cases, the names within them are to be understood as occurring in a comparative construction, not an attributive construction. In the last two sorts of cases, the names that occur are analyzed as part of a more complex referring device for a specific domain, rather than functioning as predicates. Both paraphrases can be given plausible semantic treatments that have significant advantages over their competitors. For this reason, there is less motivation to focus on predicative views of proper names. (shrink)

Explicatures are not cancellable. Theoretical considerations.

Although there is no consensus about what kinds are, there is a common understanding that kinds can be regarded as collections of objects that share certain properties. What these properties exactly are is often left unspecified. This paper explores the semantics of ad hoc kind-referring terms, where the determination of the relevant set of shared properties does not rely on “natural” properties or world knowledge. Rather, information provided by a nominal modifier, typically a relative clause, is used to impute the (...) required regular behavior on the kind-referring NP. Building on Carlson’s disjointness condition, I show that we can not only account for the ubiquity of these expressions, but we can also extend the analysis to other constructions that have traditionally not been taken to be kind referring, such as Amount and Degree Relative constructions. (shrink)

It is usually taken for granted, in discussions about fiction, that real things or events can occur as referents of fictional names . In this paper, I take issue with this view, and provide several arguments to the effect that it is better to take the names in fiction to refer to fictional surrogates of real objects. Doing so allows us to solve a series of problems that arise on the reference-continuity view. I also show that the arguments philosophers usually (...) rely on in order to ban surrogates are not as serious as they have been taken to be. In the first part of the paper, I describe the two conflicting views. In the second part, I discuss several specific arguments in favor of surrogates. In the third part I take up the kind of reasons ordinarily offered against them. (shrink)

Although there is no consensus about what kinds are, there is a common understanding that kinds can be regarded as collections of objects that share certain properties. What these properties exactly are is often left unspecified. This paper explores the semantics of ad hoc kind-referring terms, where the determination of the relevant set of shared properties does not rely on “natural” properties or world knowledge. Rather, information provided by a nominal modifier, typically a relative clause, is used to impute the (...) required regular behavior on the kind-referring NP. Building on Carlson’s disjointness condition, I show that we can not only account for the ubiquity of these expressions, but we can also extend the analysis to other constructions that have traditionally not been taken to be kind referring, such as Amount and Degree Relative constructions. (shrink)