Although the view that sees proper names as referential singular terms is widely considered orthodoxy, there is a growing popularity to the view that proper names are predicates. This is partly because the orthodoxy faces two anomalies that Predicativism can solve: on the one hand, proper names can have multiple bearers. But multiple bearerhood is a problem to the idea that proper names have just one individual as referent. On the other hand, (...) as Burge noted, proper names can have predicative uses. But the view that proper names are singular terms arguably does not have the resources to deal with Burge’s cases. In this paper I argue that the Predicate View of proper names is mistaken. I first argue against the syntactic evidence used to support the view and against the predicativist’s methodology of inferring a semantic account for proper names based on incomplete syntactic data. I also show that Predicativism can neither explain the behaviour of proper names in full generality, nor claim the fundamentality of predicative names. In developing my own view, however, I accept the insight that proper names in some sense express generality. Hence I propose that proper names—albeit fundamentally singular referential terms—express generality in two senses. First, by being used as predicates, since then they are true of many individuals; and second, by being referentially related to many individuals. I respond to the problem of multiple bearerhood by proposing that proper names are polyreferential, and also explain the behaviour of proper names in light of the wider phenomenon I called category change, and show how Polyreferentialism can account for all uses of proper names. (shrink)

There is a fairly general consensus that names are Millian (or Russellian) genuine terms, that is, are singular terms whose sole semantic function is to introduce a referent into the propositions expressed by sentences containing the term. This answers the question as to what sort of proposition is expressed by use of sentences containing names. But there is a second serious semantic problem about proper names, that of how the referents of proper names are (...) determined. This is the question that I will discuss in this paper. Various views consistent with Millianism have been proposed as to how the semantic referents of proper names are determined. These views can be classified into (1) description theories and (2) causal theories, but they can also be classified into (3) social practice theories, on which a name’s referent is determined by a social practice involving the referent, and (4) individualistic theories, on which the referent of the use of a name is determined by the speaker’s state of mind. Here I argue against social practice theories of the sorts proposed by Kripke and Evans and in favor of an individualistic approach to name reference. I argue that social practice is irrelevant to determining name reference and that, as a consequence, names have no meanings in natural languages. In the second part of the paper I motivate and propose a new form of individualistic theory which incorporates features of both description theories and Evans’s social practice theory. (shrink)

A thesis I call the name-based singular thought thesis is part of orthodoxy in contemporary philosophy of mind and language: it holds that taking part in communication involving a proper name puts one in a position to entertain singular thoughts about the name’s referent. I argue, first, that proponents of the NBT thesis have failed to explain the phenomenon of name-based singular thoughts, leaving it mysterious how name-use enables singular thoughts. Second, by outlining the reasoning that makes the NBT (...) thesis seem compelling and showing how it can be resisted, I argue that giving up the NBT thesis is not a cost, but rather a benefit. I do this by providing an expanded conception of understanding for communication involving names, which sheds light on the nature of communication involving names and the structure of name-using practices. (shrink)

This is a defence of the claim that names are predicates with a demonstrative element in their singular use.

This is review essay of Mark Sainsbury's Reference without Referents. Its main part is a critical discussion of Sainsbury's proposal for the individuation of proper name using practices.

The theory of proper names proposed by J.S. Mill in A system of logic (1843), and discussed in S. Kripke’s Naming and necessity (1980), is shown to be predated by A. Rosmini’s Nuovo saggio sull’origine delle idee (1830) and T. Reid’s Essays on the intellectual powers of man (1785). For philological reasons, Rosmini probably did not obtain his view of proper names from Reid. For philosophical reasons, it is unlikely that he got it from Hobbes, Locke, (...) Smith, or Stewart. Although not explicitly indicated by Rosmini himself, he may have been influenced by St. Thomas, who in Summa theologica discusses suppositum and natura in relation to the equivocal functions of the terms ”God” and ”sun” as common and proper names. As previously observed, forerunners of the idea can be found in Antiquity, in Plato’s Theaetetus and Aristotle’s Metaphysics. From a historical point of view, the fully developed ”Millian” opinion that connotation is not a fundamental aspect of proper names, and that their referents are not fixed by description, could more accurately be termed the Reid-Rosmini-Mill theory. (shrink)

The question of transtemporal identity of objects in general and persons in particular is an important issue in both philosophy and psychology. While the focus of philosophers traditionally was on questions of the nature of identity relation and criteria that allow to settle ontological issues about identity, psychologists are mostly concerned with how people think about identity, and how they track identity of objects and people through time. In this article, we critically engage with widespread use of inferring folk judgments (...) of identity from study participants’ use of proper names in response to experimental vignettes. We provide reasons to doubt that using this method one can reliably infer judgments of numerical identity over time and transformations. We also critically examine allegedly-Kripkean justification of this method and find it lacking. Merely assuming that names are rigid designators will not help. A study participant’s use of proper names can be taken to track the participant’s identity judgments only if supported by the participant’s belief that names used in the scenario are used rigidly. (shrink)

My aim is to show that once we appreciate how Searle (1958) fills in the details of his account of proper names – which I will dub the presuppositional view – and how we might supplement it further, we are in for a twofold discovery. First, Searle’s account is crucially unlike the so-called cluster-of-descriptions view, which many philosophers take Searle to have held. Second, the presuppositional view he did hold is interesting, plausible, and worthy of serious reconsideration. The (...) idea that Searle’s account is a largely Fregean interlude between the Fregean description theory of proper names and Kripke’s proposals presented in “Naming and Necessity” is in major ways a myth, a mythical chapter in how the story of 20th-century philosophy of language is often told. (shrink)

Searle has proposed a "presupposition-Theory" of proper names in which he maintains that names are not short for descriptions and which, He claims, Solves frege's puzzle as to how an identity-Sentence containing co-Referential names can be informative. Two possible interpretations of searle's view are proposed, And it is argued that neither interpretation can be used to solve frege's puzzle and that, On the most plausible interpretation of his view, Searle is committed to the thesis that (...) class='Hi'>names are short for descriptions after all. (shrink)

Evolutionary theory has recently been applied to language. The aim of this paper is to contribute to such an evolutionary approach to language. I argue that Kripke’s causal account of proper names, from an ecological point of view, captures the information carried by uses of a proper name, which is that a certain object is referred to. My argument appeals to Millikan’s concept of local information, which captures information about the environment useful for an organism.

In this paper, I want to show that, far from being incompatible, a Predicate Theory of proper names and the Direct Reference thesis can be combined in a syncretistic account. There are at least three plausible such accounts – one which compares proper names in their referential use to referentially used proper definite descriptions, another one that compares them in this use to demonstratives, and a third one which, although it is as indexicalist as the (...) second one, conceives proper names in this use as a sui generis form of indexicals, indexinames. Finally, I will try to give both technical and substantive reasons as to why the third account is to be preferred to the other two. (shrink)

Presentation and comparison of the main causal theories of reference for proper names, and a proposal of a new approach based on the analogy of the causal chain of reference with the block chain from blockchain technology and Paul Ricœur's narrative theory. After a brief Introduction in which the types of sentences from the concept of possible worlds are reviewed, and an overview of the theory in the Causal Theory of Reference, I present the causal theory of the (...) reference proposed by Saul Kripke, then two hybrid causal theories developed by Gareth Evans and Michael Devitt. In the section Blockchain and the causal tree of reference I present my idea of developing a new causal theory of reference for proper names through a causal tree of reference. In the Conclusions I talk about the further development of the ways in which the terms of reference could refer to certain objects and individuals, the main criticisms of the causal theories, and suggestions for future development. -/- CONTENTS: -/- Abstract Introduction 1. The causal theory of reference 2. Saul Kripke 3. Gareth Evans 4. Michael Devitt 5. Blockchain and the causal tree of reference Conclusions Bibliografie -/- DOI: 10.13140/RG.2.2.26330.90562 . (shrink)

Abstract. On the Direct Reference thesis, proper names are what I call ‘genuine terms’, terms whose sole semantic contributions to the propositions expressed by their use are the terms’ semantic referents. But unless qualified, this thesis implies the false consequence that sentences containing names that fail to refer can never express true or false propositions. (Consider ‘The ancient Greeks worshipped Zeus’, for instance.) I suggest that while names are typically and fundamentally used as genuine terms, there (...) is a small class of names, which I call ‘descriptive names’, whose reference is fixed by commonly associated definite descriptions, and I also suggest that there is an idiom of natural language on which such names can be used as abbreviated definite descriptions in a limited set of sentential contexts, including (1) positive and negative existentials, (2) cognitive ascriptions, and (3) uses of names to talk about myth. Uses of empty descriptive names in such contexts can then be either true or false. Relying on Gregory Currie’s theory of truth in fiction, I also propose an idiom on which fictional names can be used as short for a certain type of description in talk about fiction. Along the way, I provide arguments that names are used as short for descriptions in substantive existential statements as well as in both metamythic and metafictive contexts. I also discuss and criticize alternative views of these matters, including the views of David Braun, Saul Kripke, Peter van Inwagen, and others. (shrink)

The fact that names refer to individuals is a basic assumption of referentialist theories of proper names, but the notion of individual is systematically taken for granted in those theories. The present paper follows that basic assumption, but proposes to analyze the notion of individual prior to the development of any semantic theory of proper names. It will be argued that a particular perdurantist conception of individual should be adopted, which distinguishes the notions of individual (...) occurrence, and individual simpliciter. A new theory of proper names (called the cluster-occurrence theory) is presented, according to which names refer to individual occurrences, and the intension associated with a name is an individual simpliciter. The merits of the new theory are then assessed in confrontation with its standard rival accounts. (shrink)

MILLIANISM and DESCRIPTIVISM are without question the two most prominent views with respect to the semantics of proper names. However, debates between MILLIANS and DESCRIPTIVISTS have tended to focus on a fairly narrow set of linguistic data and an equally narrow set of problems, mainly how to solve with Frege's puzzle and how to guarantee rigidity. In this article, the author focuses on a set of data that has been given less attention in these debates—namely, so-called predicative uses, (...) bound uses, and shifted uses of names. The author first shows that these data points seem to favor a DESCRIPTIVIST view over a MILLIAN view, but the author then introduces an alternative view of names that not only provides a simple and elegant way of dealing with the data, but also retains rigidity without becoming subject to the problems raised by Frege's puzzle. This is the view that names are variables, also called VARIABILISM. (shrink)

The orthodox view of proper names, Millianism, provides a very simple and elegant explanation of the semantic contribution of referential uses of names–names that occur as bare singulars and as the argument of a predicate. However, one problem for Millianism is that it cannot explain the semantic contribution of predicative uses of names. In recent years, an alternative view, so-called the-predicativism, has become increasingly popular. According to the-predicativists, names are uniformly count nouns. This straightforwardly (...) explains why names can be used predicatively, but is prima facie less congenial to an analysis of referential uses. To address this issue, the-predicativists argue that referential names are in fact complex determiner phrases consisting of a covert definite determiner and a count noun—and so, a referential name is a definite description. In this paper, I will argue that despite the appearance of increased theoretical complexity, the view that names are ambiguous between predicative and referential types is in fact superior to the unitary the-predicativist view. However, I will also argue that to see why this ambiguity view is better, we need to give up the standard Millian analysis. Consequently, I will first propose an alternative analysis of referential names that retains the virtues of Millianism, but provides an important explanatory connection to the predicative uses. Once this analysis of names is adopted, the explanation for why names are systematically ambiguous between referential and predicative types is both simple and elegant. Second, I will argue that the-predicativism has the appearance of being simpler than an ambiguity view, but is in fact unable to account for certain key properties of referential names without making ad hoc stipulations. (shrink)

It is fairly widely accepted that Saul Kripke, Keith Donnellan, and others showed in the 1960s–1980s that proper names, in particular uses by speakers, can refer to things free of anything like the epistemic requirements posited by Gottlob Frege and Bertrand Russell. This paper separates two aspects of the Frege–Russell view of name reference: the metaphysical thesis that names in particular uses refer to things in virtue of speakers thinking of those things and the epistemic thesis that (...) thinking of things requires a means of determining which thing one is thinking of. My question is whether the Kripke–Donnellan challenge should lead us to reject,, or both. Contrary to a popular line of thinking that sees practices or conventions, rather than singular thinking, as determinative of linguistic reference, my answer is that we should reject only the epistemic thesis, not the metaphysical one. (shrink)

The object of this paper is to sketch an approach to propositions, meaning and names. The key ingredients are a Twin-Earth-inspired distinction between internal and external meaning, and a middle-Wittgenstein-inspired conception of internal meaning as role in language system. I show how the approach offers a promising solution to the problem of the meaning of proper names. This is a plea for a neglected way of thinking about these topics.

Fictional names pose a difficult puzzle for semantics. We can truthfully maintain that Frodo is a hobbit, while at the same time admitting that Frodo does not exist. To reconcile this paradox I propose a way to formalize the interpretation of fiction as ‘prescriptions to imagine’ (Walton 1990) within an asymmetric semantic framework in the style of Kamp (1990). In my proposal, fictional statements are analyzed as dynamic updates on an imagination component of the interpreter’s mental state, while plain (...) assertions are updates on a belief component. Proper names – regular, empty, or fictional – are uniformly analyzed as presupposition triggers. The possibility of different attitude components referentially depending on each other is what ultimately allows us to account for the central paradox mentioned above. (shrink)

This paper is about how to interpret and evaluate purported evidence for predicativism about proper names. I aim to point out some underappreciated thorny issues and to offer both predicativists and non-predicativists some advice about how best to pursue their respective projects. I hope to establish three related claims: that non-predicativists have to posit relatively exotic, though not entirely implausible, polysemic mechanisms to capture the range of data that predicativists have introduced ; that neither referentialism nor extant versions (...) of predicativism can offer a very plausible account of the interpretive possibilities for singular unmodified definite descriptions containing names ; and that the most plausible version of predicativism would treat bare names as non-anaphoric definite descriptions. (shrink)

Predicativists hold that proper names have predicate-type semantic values. They face an obvious challenge: in many languages names normally occur as, what appear to be, grammatical arguments. The standard version of predicativism answers this challenge by positing an unpronounced determiner in bare occurrences. I argue that this is a mistake. Predicativists should draw a distinction between two kinds of semantic type—underived semantic type and derived semantic type. The predicativist thesis concerns the underived semantic type of proper (...) names and underdetermines a view about the semantic type of bare occurrences. I’ll argue that predicativists should hold that bare names are derived individual-denoting expressions. I end by considering what this result means for the relationship between predicativism and other metalinguistic theories of names. (shrink)

This paper reviews the role of sortals in the syntax and semantics of proper names and the related question of a mass-count distinction among proper names. The paper argues that sortals play a significant role with proper names and that that role matches individuating or ‘sortal’ classifiers in languages lacking a mass-count distinction. Proper names do not themselves classify as count, but may classify as mass or rather number-neutral. This also holds for (...) other expressions or uses of expressions that lack a syntactic mass-count distinction, namely that-clauses, predicative phrases, intensional NPs, quotations, as well as verbs with respect to their event arguments. In all those cases, the relevant diagnostics show a number-neutral status, rather than a division into mass and count. This is remarkable because it means that count status is independent of the nature of the semantic values of an expression or its conceptual content. It also means that even languages such as English or German are classifier languages when it comes to expressions or uses of expressions to which a syntactic mass-count distinction is inapplicable. (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)

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)

I argue, in this thesis, that proper name reference is a wholly pragmatic phenomenon. The reference of a proper name is neither constitutive of, nor determined by, the semantic content of that name, but is determined, on an occasion of use, by pragmatic factors. The majority of views in the literature on proper name reference claim that reference is in some way determined by the semantics of the name, either because their reference simply constitutes their semantics (which (...) generally requires a very fine-grained individuation of names), or because names have an indexical-like semantics that returns a referent given certain specific contextual parameters. I discuss and criticize these views in detail, arguing, essentially, in both cases, that there can be no determinate criteria for reference determination—a claim required by both types of semantic view. I also consider a less common view on proper name reference: that it is determined wholly by speakers’ intentions. I argue that the most plausible version of this view—a strong neo-Gricean position whereby all utterance content is determined by the communicative intentions of the speaker—is implausible in light of psychological data. In the positive part of my thesis, I develop a pragmatic view of proper name reference that is influenced primarily by the work of Charles Travis. I argue that the reference of proper names can only be satisfactorily accounted for by claiming that reference occurs not at the level of word meaning, but at the pragmatic level, on an occasion of utterance. I claim that the contextual mechanisms that determine the reference of a name on an occasion are the same kinds of thing that determine the truth-values of utterances according to Travis. Thus, names are, effectively, occasion sensitive in the way that Travis claims predicates and sentences (amongst other expressions) are. Finally, I discuss how further research might address how my pragmatic view of reference affects traditional issues in the literature on names, and the consequences of the view for the semantics of names. (shrink)

A recent defence of analyzing names as predicates that relies on a calling relation to explain their meanings,an account developed by Fara, is claimed to escape the problems afflicting standard meta-linguistic analyses. For Fara, this is because the calling relation itself is not essentially meta-linguistic; there are attributive uses of the calling relation as well. Distinguishing between meta-linguistic and attributive notions of calling is supposed to disperse with the common objection to calling accounts, specifically, Kripke's objection that these kinds (...) of accounts cannot be informative. I argue that while the account may be informative in some superficial sense, it does not in fact increase our understanding of acts of naming. Indeed, I offer an objection to the account that shows that it cannot be the correct account of acts of naming, and offer a different analysis of its nature relying on the idea of meta-linguistic performatives to explain how individuals get named. (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)

This paper criticizes the view that number words in argument position retain the meaning they have on an adjectival or determiner use, as argued by Hofweber :179–225, 2005) and Moltmann :499–534, 2013a, 2013b). In particular the paper re-evaluates syntactic evidence from German given in Moltmann to that effect.

This paper is an attempt to situate Yorùbá proverbs, names, role-expectations, aspirations and consciousness towards building and contributing to the development of a national consciousness. The paper proceeds with a critical exposition of the general nature of Yorùbá proverbs, an exploration of the dialectical relationship between Yorùbá proverbs and names, and argues that this relationship instantiates a descriptivist theory of reference of names in the philosophy of language, with concluding particulars that critically espouses the values and virtues (...) embedded in selected Yorùbá proverbs and names. (shrink)

Recent literature contains influential arguments for variabilism, the view that we should understand proper names as analogues not of constants but of variables. In particular, proper names are said to sometimes take semantic values that are not referential but purely general. I present a counter-example to this view.

In Jeffrey King’s theory of structured propositions, propositional structure mirrors the syntactic structure of natural language sentences that express it. I provide cases where this claim individuates propositions too finely across languages. Crucially, King’s paradigmatic proposition-fact ^that Dara swims^ cannot be believed by a monolingual Greek speaker, due to Greek syntax requiring an obligatory article in front of proper names. King’s two possible replies are: (i) to try to streamline the syntax of Greek and English; or (ii) to (...) insist that English speakers can believe propositions inexpressible in Greek. I argue that the former option entails giving up a neo-Russelian framework, and the latter makes King’s account arbitrary or trivial. I conclude that the mirroring claim is untenable. (shrink)

Some hold that proper names and indexicals are “Kaplan rigid”: they designate their designata even in worlds where the designata don’t exist. An argument they give for this is based on the analogy between time and modality. It is shown how this argument gains forcefulness at the expense of carefulness. Then the argument is criticized as forming a part of an inconsistent philosophical framework, the one with which David Kaplan and others operate. An alternative account of a certain (...) class of negative existentials is developed, one which eliminates both the inconsistency and the need for Kaplan rigidity. After all, mustn’t whatever is referred to exist? (shrink)

This paper attempts to define indexicality so as to semantically distinguish indexicals from proper names and definite descriptions. The widely-accepted approach that says that indexical reference is distinctive in being dependent on context of use is criticized. A reductive approach is proposed and defended that takes an indexical to be (roughly) an expression that either is or is equivalent to ‘here’ or ‘now’, or is such that a tokening of it refers by relating something to the place and/or (...) time that would have been referred to had ‘here’ and ‘now’ been tokened instead. Alternative reductive approaches are criticized. (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)

An exchange of letters among proper names and natural-kind terms, dealing with various identity and individuation problems (rigid designation, use-mention ambiguities, translation) from their point of view.

We present a unified diagnosis of three well-known puzzles about proper names, based on a new view of the metaphysics of words and proper names in particular adumbrated by David Kaplan in “Words”. While our solution comes at some metaphysical price, we think it is worth being considered a serious contender and may illustrate the promise of taking more seriously the metaphysical foundations of our semantic theories.

Art historians and philosophers often talk about the interpretive significance of titles, but few have bothered with their historical origins. This omission has led to the assumption that an artwork's title is its proper name, since names and titles share the essential function of facilitating reference to their bearers. But a closer look at the development of our titling practices shows a significant point of divergence from standard analyses of proper names: the semantic content of a (...) title is often crucial to the identification, individuation, and interpretation of its associated artwork. This paper represents a first step towards an empirically centred study of our titling practices. I argue that, in order to accept titles as proper names, we must first recognize the social, rather than the referential, function of naming. (shrink)

Standard approaches to proper names, based on Kripke's views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e.\ that their values are \emph{constant} functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is \emph{truly intensional} in the sense that it does not validate the (...) axiom scheme of Extensionality, we develop a simple theory of names in which Kripke's intuitions concerning rigidity are accounted for, but the more unpalatable consequences of standard implementations of his theory are avoided. The logic uses Frege's distinction between sense and reference and while it accepts the rigidity of names it rejects the view that names have direct reference. Names have constant denotations across possible worlds, but the semantic value of a name is not determined by its denotation. (shrink)

In this paper I am concerned with an analysis of negative existential sentences that contain proper names only by using negative or neutral free logic. I will compare different versions of neutral free logic with the standard system of negative free logic (Burge, Sainsbury) and aim to defend my version of neutral free logic that I have labeled non-standard neutral free logic.

Confused terms appear to signify more than one entity. Carnap (1957) maintained that any putative name that is associated with more than one object in a relevant universe of discourse fails to be a genuine name. Although many philosophers have agreed with Carnap, they have not always agreed among themselves about the truth-values of atomic sentences containing such terms. Some hold that such atomic sentences are always false, and others claim they are always truth-valueless. Field (1973) maintained that confused terms (...) can still refer, albeit partially, and offered a supervaluational account of their semantic properties on which some atomic sentences with confused terms can be true. After outlining many of the most important theoretical considerations for and against various semantic theories for such terms, we report the results of a study designed to investigate which of these accounts best accords with the truth-value judgments of ordinary language users about sentences containing these terms. We found that naïve participants view confused names as capable of successfully referring to one or more objects. Thus, semantic theories that judge them to involve total reference failure do not comport well with patterns of ordinary usage. (shrink)

I’m going to present a new idea about how to find the right place for the indexical and demonstrative expressions in Gottlob Frege’s semantics. My main thesis is: that it is possible to find such interpretation of Frege’s view on indexicals and demonstratives which is entirely “fregean” and is not vulnerable to the counterexamples given by Kaplan and Perry. According to the interpretation I propose, these expressions are functional and they denote first-level functions defined on objects. These functional expressions taken (...) together with an object form a hybrid proper name. (shrink)

In a series of recent works, Kit Fine, 605–631, 2003, 2007) has sketched a novel solution to Frege’s puzzle. Radically departing from previous solutions, Fine argues that Frege’s puzzle forces us to reject compositionality. In this paper we first provide an explicit formalization of the relational semantics for first-order logic suggested, but only briefly sketched, by Fine. We then show why the relational semantics alone is technically inadequate, forcing Fine to enrich the syntax with a coordination schema. Given this enrichment, (...) we argue, that that the semantics is compositional. We then examine the deep consequences of this result for Fine’s proposed solution to Frege’s puzzle. We argue that Fine has mis-diagnosed his own solution–his attempted solution does not deny compositionality. The correct characterization of Fine’s solution fits him more comfortably among familiar solutions to the puzzle. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...) that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

Based on the notion of a trope, this paper gives a novel analysis of identificational sentences such as 'this is Mary','this is a beautiful woman', 'this looks like Mary', or 'this is the same lump of clay, but not the same statue as that'.

It is commonly accepted, after Frege, that identity statements like “Tully is Cicero” differ from statements like “Tully is Tully”. For the former, unlike the latter, are informative. One way to deal with the information problem is to postulate that the terms ‘Tully’ and ‘Cicero’ come equipped with different informative values. Another approach is to claim that statements like these are of the subject/predicate form. As such, they should be analyzed along the way we treat “Tully walks”. Since proper (...) names can appear in predicative position we could go as far as to dismiss the sign of identity altogether, some told us. I will try to discuss the advantages and/or disadvantages of this approach and investigate whether Frege’s view that the ‘is’ of identity must be distinguished from the ‘is’ of predication can be reconciled with the fact that names can appear in predicative position. (shrink)

In “Naming and Necessity” Saul Kripke describes some cases which, he claims, provide counterexamples both to cluster theories and, more generally, to description theories of proper names. My view of these cases is that while they do not provide counterexamples to cluster theories, they can be used to provide evidence against single-description theories. In this paper I shall defend both of the claims involved in my view.

In 'The Reference Book' (2012), Hawthorne and Manley observe the following contrast between (1) and (2): -/- (1) In every race John won. (2) In every race, the colt won. -/- The name 'John' in (1) must intuitively refer to the same single individual for each race. However, the description 'the colt' in (2) has a co-varying reading, i.e. a reading where for each race it refers to a different colt. This observation is a prima facie problem for proponents of (...) so-called The-Predicativism which is the view that the name in (1) is really a covert definite description, viz. 'the John'. If the The-Predicativism is correct, (1) and (2) are therefore syntactically equivalent, but this makes it mysterious why only (2) would have a co-varying reading. In a recent paper, Fara (2015) argues that there is a simple and elegant way for proponents of The-Predicativism to explain this contrast. This explanation relies on discerning some subtle syntactic differences between (1) and (2) which in turn are based on assumptions about nominal restrictions a la Stanley and Szabó (2000). In this short paper, I demonstrate that Fara's proposed explanation has a variety of serious shortcomings and hence that the contrast between (1) and (2) remains a significant problem for Predicativism. (shrink)

In “Naming with Necessity”, it is argued that Kripke’s thesis that proper names are rigid designators is best seen as being motivated by an individual-driven picture of modality, which has two parts. First, inherent in proper-name usage is the expectation that names refer to modally robust individuals: individuals that can sustain modal predications like ‘is necessarily human’. Second, these modally robust individuals are the fundamental building blocks on the basis of which possible worlds should be conceived (...) in a modal semantics intended to mirror the conceptual apparatus behind ordinary modal talk. The individual-driven picture is distinct from two views inspired by Kripke, direct reference theory and Millianism. The former covers only the first half of the picture, while the latter explicitly gives up on that half even, opting to remain neutral about what expectation expressions impose on the nature of their referents. (shrink)

The essays collected in this volume are all concerned with the connection between fiction and truth. This question is of utmost importance to metaphysics, philosophy of language, philosophical logic and epistemology, raising in each of these areas and at their intersections a large number of issues related to creation, existence, reference, identity, modality, belief, assertion, imagination, pretense, etc. All these topics and many more are addressed in this collection, which brings together original essays written from various points of view by (...) philosophers of diverse trends. These essays constitute major contributions to the current debates that the connection between truth and fiction continually enlivens, and give a sense of the directions in which research on this question is heading. Contributors: Fred Adams, Frederick Kroon, Robert Howell, Brendan Murday, Terence Parsons, Graham Priest, Erich Rast, Manuel Rebuschi, Marion Renauld, R.M. Sainsbury, Grant Tavinor, Alberto Voltolini. (shrink)