I review and reconsider some of the themes of ‘Two notions of necessity’ (Davies and Humberstone, 1980) and attempt to reach a deeper understanding and appreciation of Gareth Evans’s reflections (in ‘Reference and contingency’, 1979) on both modality and reference. My aim is to plot the relationships between the notions of necessity that Humberstone and I characterised in terms of operators in two-dimensional modal logic, the notions of superficial and deep necessity that Evans himself described, and the epistemic notion of (...) a priority. (shrink)

I develop and argue for a kind of externalism about certain kinds of non-doxastic attitudes that I call policy externalism. Policy externalism about a given type of attitude is the view that all the reasonable policies for having attitudes of that type will not involve the agent's beliefs that some relevant conditions obtain. My defense primarily involves attitudes like hatred, regret, and admiration, and has two parts: a direct deductive argument and an indirect linguistic argument, an inference to the best (...) explanation of some strange ways we use certain conditionals. The main thought throughout is that attitudes we reason with, like belief, are very different from attitudes we don't reason with, in a way that constrains the former but not the latter. Finally, I investigate some consequences of policy externalism, including that it secures the possibility of genuine conditional apologies. (shrink)

Kripke claims that there are necessary a posteriori truths and contingent a priori truths. These claims challenge the traditional Kantian view that (K) All knowledge of necessary truths is a priori and all a priori knowledge is of necessary truths. Kripke’s claims continue to be resisted, which indicates that the Kantian view remains attractive. My goal is to identify the most plausible principles linking the epistemic and the modal. My strategy for identifying the principles is to investigate two related questions. (...) Are there compelling general supporting arguments for (K)? Are there decisive counterexamples to (K)? My investigation uncovers two intuitively plausible principles that are not open to decisive counterexamples but which enjoy no compelling independent support. (shrink)

In ‘Reference and Definite Descriptions', Keith Donnellan claimed that Bertrand Russell and Peter Strawson ignored referential uses of definite descriptions. The intense debate that followed Donnellan's paper focused on the contrast between Donnellan and Russell, leaving Strawson aside. In this paper, I focus on the contrast between Donnellan and Strawson. By focusing on this contrast, my aim is, first, to clarify the nature of Donnellan's distinction between referential and attributive uses of definite descriptions and, second, to argue that a proper (...) understanding of referential uses holds the key to a proper understanding of direct reference. Contrary to the standard view, the crucial issue is not the nature of the proposition expressed (singular versus general) but how a speaker comes to talk about an object. (shrink)

My aim in this paper is to connect naming and analyticity and to argue that, like “Hesperus is Hesperus”, “Hesperus is Phosphorus” is analytic. In the paper, I also discuss several other unexpected cases of analytic truth like “Aristotle existed”.

Philosophers have justified extant theories of singular thought in at least three ways: they have invoked wide-ranging theories motivated by data from other philosophical areas, they have elicited direct intuitions about which thoughts are singular, and they have subjected propositional attitude reports to tests such as Russellian substitution and Quinean exportation. In these ways, however, we haven’t yet been able to tell what it takes to have singular thoughts, nor have we been able to tell which of our thoughts they (...) are. I propose, therefore, a methodological contribution, a new source of data about singular thought. We can tell whether a thought is singular if we ask what we can coherently deny at the same time at which we agree with the thought. When we agree with a thought that is general, we cannot coherently deny about the thought’s subject a certain description, the one that occurs in the thought’s subject position. To show how to use this new data source, I develop a linguistic method for testing whether a speaker expresses a singular or a general thought. (shrink)

Names and natural kind terms have long been a major focus of debates about meaning and reference. This article discusses some of the theories and arguments that have appeared in those debates. It is remarkably difficult to say what names are without making controversial theoretical assumptions. This article does not attempt to do so here. It instead relies on paradigm examples that nearly all theorists would agree are proper names, for instance, ‘Aristotle’, ‘Mark Twain’, ‘London’, ‘Venus’, and ‘Pegasus’. All of (...) the proper names that are discussed in the article are singular nouns that have no syntactic structure. Most of them refer to objects, but some, such as ‘Pegasus’, apparently do not. The article begins with proper names and the question ‘What is the meaning of a proper name?’ It turns to natural kind terms later. (shrink)

This paper presents a semantic and pragmatic theory of complex demonstratives. According to this theory, the semantic content of a complex demonstrative, in a context, is simply an object, and the semantic content of a sentence that contains a complex demonstrative, in a context, is a singular proposition. This theory is defended from various objections to direct reference theories of complex demonstratives, including King's objection from quantification into complex demonstratives.

Robert Stalnaker contrasts two interpretations, semantic and metasemantic, of the two-dimensionalist framework. On the semantic interpretation, the primary intension or diagonal proposition associated with an utterance is a semantic value that the utterance has in virtue of the actual linguistic meaning of the corresponding sentence, and that primary intension is both what a competent speaker grasps and what determines different secondary intensions or horizontal propositions relative to different possible worlds considered as actual. The metasemantic interpretation reverses the order of explanation: (...) an utterance has the primary intension it has because it yields the secondary intensions it yields relative to different possible worlds considered as actual. In these possible worlds, the semantic facts can be different: the metasemantic interpretation is metasemantic in the sense that the secondary intensions are determined relative to possible worlds considered as actual given the meanings the expressions have there. Stalnaker holds a causal picture of the reference of names, according to which names have no meaning over and above their unique referent, and therefore maintains that the semantic interpretation is not an option. He thus endorses the metasemantic interpretation, while insisting that this interpretation does not, contrary to what he originally thought, yield any account of a priori truth and knowledge. My double aim in this paper is to show (i) that the metasemantic interpretation, as sketched by Stalnaker, is not compatible with one natural understanding of the causal picture of reference, on which names are rigid because they have their original bearers essentially , and (ii) that a third kind of interpretation of the framework is available, the metasyntactic interpretation, which grants that names have their bearers essentially and yields some account of a priori knowledge. (shrink)

This article systematically challenges Kripke's modal argument and Soames's defence of this argument by arguing that, just like descriptions, names can take narrow or wide scopes over modalities, and that there is a big difference between the wide scope reading and the narrow scope reading of a modal sentence with a name. Its final conclusions are that all of Kripke's and Soames's arguments are untenable due to some fallacies or mistakes; names are not “rigid designators”; if there were rigid designators, (...) description(s) could be rigidified to refer fixedly to objects; so names cannot be distinguished in this way from the corresponding descriptions. A descriptivist account of names is still correct; and there is no justification for Kripke's theory of rigid designation and its consequences. (shrink)

Although much has been written about the truth-conditions of de re attitude reports, little attention has been paid to certain ‘ultra-liberal’ uses of those reports. We believe that if these uses are legitimate, then a number of interesting consequences for various theses in philosophical semantics follow. The majority of the paper involves describing these consequences. In short, we argue that, if true, ultra-liberal reports: bring counterexamples to a popular approach to de re attitude ascriptions, which we will call ‘descriptivism’; and (...) combine with independently plausible principles about the logic of belief to imply that subjects can achieve omniscience about what exists from the armchair. Although we are not committed to the view that ultra-liberal reports are false, in the final part of the paper we discuss the prospects of pursuing a line according to which the acceptability of such reports ought not be taken at face value. We conclude by arguing that those who are sympathetic with this move might have reason to doubt the truth of an even broader class of acceptable de re attitude reports, namely those that have been taken to undermine orthodox accounts of de re attitude ascriptions. (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)

According to social externalism, it is possible to possess a concept not solely in virtue of one’s intrinsic properties but also in virtue of relations to one’s linguistic community. Derek Ball (2009) argues, in effect, that (i) social externalism extends to our concepts of colour experience and (ii) this fact undermines both the knowledge argument against physicalism and the most popular physicalist response to it, known as the phenomenal concept strategy. I argue that Ball is mistaken about (ii) even granting (...) (i). The knowledge argument and the phenomenal concept strategy might have to be modified to make them consistent with social externalism, but not in fundamental or detrimental ways. (shrink)

Mary learns all the physical facts that one can learn by watching lectures on black-on-white television. According to Jackson, Mary learns new facts when she leaves the room and has color experiences, and that this undermines physicalism. Physicalists have responded by denying the new facts thesis; they argue, she acquires abilities, acquaintance knowledge, or new guises. I argue that the NFT is more plausible than any of the proposed alternatives. I also argue that the NFT does not undermine physicalism unless (...) physicalism entails that all physical facts are discursively learnable, and that the latter entailment is questionable. (shrink)

Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

I consider difficult data involving the interaction of attitudes and conditionals, specifically non-doxastic attitude expressions like 'regret'. I first show that felicitous attitude conditionals in "ignorance contexts", where the relevant person doesn't know the antecedent is true, give rise to a number of difficult problems given widely held assumptions in semantics. I then argue that, even so, we should expect these conditionals to be true and reasonable to utter in ignorance contexts, given certain other kinds of attitude construction that tend (...) to involve free relatives like `whatever'. I then use that observation to explain many of the more puzzling aspects of these conditionals, and to show that we should treat felicitous doxastic attitude conditionals differently from felicitous non-doxastic ones. I leave explaining felicitous doxastic attitude conditionals for future work, but offer constraints on a satisfying explanation of them. (shrink)

Nathan Salmon presents a selection of nineteen of his essays from the early 1980s to 2006, on a set of closely connected topics central to analytic philosophy. The book is divided into four thematic sections, on direct reference, apriority, belief, and the distinction between semantics and pragmatics. The volume concludes with four essays about the distinction between meaning and use, or more generally, the distinction between semantics and pragmatics.

I argue that you can have a priori knowledge of propositions that neither are nor appear necessarily true. You can know a priori contingent propositions that you recognize as such. This overturns a standard view in contemporary epistemology and the traditional view of the a priori, which restrict a priori knowledge to necessary truths, or at least to truths that appear necessary.

De re or singular thoughts are, intuitively, those essentially or constitutively about a particular object or objects; any thought about different objects would be a different thought. How should a philosophical articulation or thematization of their nature look like? In spite of extended discussion of the issue since it was brought to the attention of the philosophical community in the late fifties by Quine (1956), we are far from having a plausible response. This is glaringly revealed by the contrasting recent (...) takes on the issue by writers such as Soames (2005) – who adopts the view by Donnellan (1979) to be outlined presently – and Jeshion (2001), otherwise sharing a similar direct-reference approach to the prototypical expression of those contents. Discussing the matter in connection with the status of the Kripkean category of the contingent a priori in the just mentioned article, Donnellan (1979) argued that what can be properly classified as knowable a priori about utterances like those involving ‘one meter’ or ‘Neptune’ famously proposed by Kripke (1980) cannot be the very same singular content that is contingent; he distinguished to that end between knowing a true proposition expressed by an utterance, and knowing that an utterance expresses a true proposition. (Thus, for instance, if, while listening to an utterance in a language that I do not know, I am told by a reliable person who knows the language and whom I trust that the utterance is true, I come thereby to know that the sentence expresses a truth, without knowing the truth that it expresses.) Evans (1979) replied that, for a very specific sort of cases involving “descriptive names”, a related proto-two-dimensionalist account should be preferred, on which it is not the singular contingent content, but rather a general descriptive one which is knowable a priori. In a series of papers, Robin Jeshion (2000, 2001) has recently attacked Donnellan's proposal, arguing in favour of the most straightforward interpretation of Kripke's claim: in the relevant cases, the very same singular content can be both contingent and knowable a priori. In this paper, I will appeal to a generalized version of two-dimensional semantics to advance an account of the Kripkean cases along the lines of Evans's, and I will argue that Jeshion's compelling arguments against Donnellan's view do not apply to this version. (shrink)

Metaphysics is supposed to tell us about the metaphysical nature of our world: under what conditions composition occurs; how objects persist through time; whether properties are universals or tropes. It is near orthodoxy that whichever of these sorts of metaphysical claims is true is necessarily true. This paper looks at the debate between that orthodox view and a recently emerging view that claims like these are contingent, by focusing on the metaphysical debate between monists and pluralists about concrete particulars. This (...) paper argues that we should be contingentists about monism and pluralism, and it defends contingentism against some necessitarian objections by offering an epistemology of contingent metaphysical claims. (shrink)

Metaphysics is supposed to tell us about the metaphysical nature of our world: under what conditions composition occurs; how objects persist through time; whether properties are universals or tropes. It is near orthodoxy that whichever of these sorts of metaphysical claims is true is necessarily true. This paper looks at the debate between that orthodox view and a recently emerging view that claims like these are contingent, by focusing on the metaphysical debate between monists and pluralists about concrete particulars. This (...) paper argues that we should be contingentists about monism and pluralism, and it defends contingentism against some necessitarian objections by offering an epistemology of contingent metaphysical claims. (shrink)

This book proposes a novel theory of truth and falsity. It argues that truth is a form of reference and falsity is a form of reference failure. -/- Most of the philosophical literature on truth concentrates on certain ontological and epistemic problems. This book focuses instead on language. By utilizing the Fregean idea that sentences are singular referring expressions, the author develops novel connections between the philosophical study of truth and falsity and the huge literature in in the philosophy of (...) language on the notion of reference. The first part of the book constructs the author’s theory and argues for it in length. Part II addresses the ways in which the theory relates to, and is different from, some of the basic theories of truth. Part III takes up how to account for the truth of sentences with logical operators and quantifiers. Finally, Part IV discusses the applications and implications of the theory for longstanding problems in philosophy of language, metaphysics, and epistemology. -/- A Referential Theory of Truth and Falsity will appeal to researchers and advanced students working in philosophy of language, epistemology, metaphysics, and linguistics. -/- . (shrink)

Chastain and Sawyer, among others, claim that direct cognitive relations can be initiated in evidence cases. Direct cognitive relations will here include Chastain’s knowledge-of and Sawyer’s trace-based acquaintance, as well as related notions such as having-in-mind and singular thought. Against this controversial claim, it is often objected that such cases are better understood as cases of inference rather than cases of direct thought. When one detects something by its footprint, the objection goes, one merely infers that it exists rather than (...) thinking of it directly. The goal of this paper is to analyze what is meant by the inference objection and consider several possible responses to it. Ultimately, I will not offer a knock-down argument against the inference explanation; in fact, I’ll try to explain why I suspect one isn’t possible. Instead, I’ll appeal to the possibility of misdescription and analogous cases involving non-human animals to show that the inference explanation is less plausible than the account to which it provides an alternative. (shrink)

Philosophers of mind and language who advance causal theories face a sort of conjunction problem. When we say that the thing had in mind or the thing referred to is a matter of what causally impacted the thinker or speaker, we must somehow narrow down the long conjunction of items in a causal chain, all of which contributed to the having in mind, but only one of which becomes the object of thought or the linguistic referent. Here, I sketch a (...) notion of cognitive focus intended to do this narrowing. The notion borrows three key aspects from visual focus and some technological aides—causation, amplification, and suppression. I suggest a broader application of this framework to address the conjunction problem not only in ordinary contexts of perceptual focus but also in evidence cases involving non-perceptual cognitive focus. I further suggest cognitive focus is helpful in distinguishing referential vs. attributive thought. (shrink)

The apparently obviously true doctrine of opacity has been thought to be inconsistent with two others, to which many philosophers of language are also attracted: the referentialist account of the semantics of proper names and indexicals, on the one hand, and the principle of semantic innocence, on the other. I discuss here one of the most popular strategies for resolving the apparent inconsistency, namely Mark Richard’s theory of belief ascriptions, and raise three problems for it. Finally, I propose an alternative (...) theory of the semantics of belief-ascribing sentences that clearly avoids the three problems that trouble Richard’s theory, and advocate it as the best available strategy for resolving the apparent inconsistency between the doctrine of opacity, referentialism, and the principle of semantic innocence. (shrink)

The apparently obviously true doctrine of opacity has been thought to be inconsistent with two others, to which many philosophers of language are also attracted: the referentialist account of the semantics of proper names and indexicals, on the one hand, and the principle of semantic innocence, on the other. I discuss here one of the most popular strategies for resolving the apparent inconsistency, namely Mark Richard’s theory of belief ascriptions, and raise three problems for it. Finally, I propose an alternative (...) theory of the semantics of belief-ascribing sentences that clearly avoids the three problems that trouble Richard’s theory, and advocate it as the best available strategy for resolving the apparent inconsistency between the doctrine of opacity, referentialism, and the principle of semantic innocence. (shrink)

Kripke has argued that definitions of units of measurements provide examples of statements that are both contingent and a priori. In this paper I argue that definitions of units of measurement are intended to be stipulations of what Kripke calls "theoretical identities": a stipulation that two terms will have the same rigid designation. Hence such a definition is both a priori and necessary. The necessity arises because such definitions appeal to natural kind properties only, which on Kripke's account are necessary.

W. V. Quine famously claimed that no statement is immune to revision. This thesis has had a profound impact on twentieth century philosophy, and it still occupies centre stage in many contemporary debates. However, despite its importance it is not clear how it should be interpreted. I show that the thesis is in fact ambiguous between three substantially different theses. I illustrate the importance of clarifying it by assessing its use in the debate against the existence of a priori knowledge. (...) I show how the three different readings of the thesis can be used to generate three substantially different and philosophically significant arguments against the a priori. I further challenge each one of these arguments against the a priori. (shrink)

Following Neale, I call the notion that there can be no such thing as a structured referring expression ‘structure skepticism’. The specific aim of this paper is to defuse some putative counterexamples to structure skepticism. The general aim is to bolster the case in favor of the thesis that lack of structure—in a sense to be made precise—is essential to reference.

Theoria, Volume 88, Issue 2, Page 326-347, April 2022.

Although the historical‐causal picture of reference Kripke sketches in Naming and Necessity is highly influential, Kripke in fact says very little about what reference is and how it comes about. In this paper I point out that the possibility of asking WH‐questions (i.e. ‘what?’, ‘who?’, ‘which?’) about a sound or inscription pattern (e.g., what does that refer to?) shows that in case of names especially, their reference, if there is one, will be preserved by a causal‐historical chain constituted by transmissions (...) of the (physical) patterns themselves, even in absence of language users or any linguistic intentions. I sketch out a causal‐informational theory of reference, that holds that the causal aspect of refence transmission is due to two‐factors. On the other hand there are informational chains constituted by data transmissions, on the other, also communicational rules by which speakers can interpret the data as information of something are needed. In most part the causal‐informational theory sketched in the paper can be viewed as complementing Kripke’s original causal picture. However, I will argue that Kripke's account of fixing the reference of proper names in ‘initial baptisms’ is inadequate. I will argue that most cases of seemingly fixing the reference via use of a definite description (e.g., the naming of Neptune) in fact presuppose a prior causal‐informational connection to the named object, thus essentially fixing the reference in the same way as in cases of baptism by ostension. I will further argue that in the cases that do not fall into the previous category, the baptism by definite description simply fail to fix any reference. I thus conclude that there is no such thing as fixing the reference of a proper name by definite description. (shrink)

Rigid expressionism is the view that all natural kind terms and many other kind terms are rigid designators. Rigid expressionists embrace the ‘overgeneralization’ of rigidity, since they hold that not just natural kind terms but all unstructured kind terms are rigid designators. Unfortunately overgeneralization remains a defeating problem for rigid expressionism. It runs together natural kind terms and nominal kind terms in a way that enforces a false semantic uniformity. The Kripke/putnam view of natural kind terms minus the claim of (...) rigidity is correct, but a traditional descriptivist theory is appropriate for nominal kind terms. None of them should be thought of as either rigid or non-rigid, however. (shrink)

In a series of recent articles, Robin Jeshion has developed a theory of singular thought which she calls ‘cognitivism’. According to Jeshion, cognitivism offers a middle path between acquaintance theories—which she takes to impose too strong a requirement on singular thought, and semantic instrumentalism—which she takes to impose too weak a requirement. In this article, I raise a series of concerns about Jeshion's theory, and suggest that the relevant data can be accommodated by a version of acquaintance theory that distinguishes (...) unsuccessful thoughts of singular form from successful singular thoughts, and in addition allows for ‘trace-based’ acquaintance. (shrink)

My primary goal in this paper is to defend the plausibility of Kripke’s thesis that there are contingent a priori truths, and to fill out some gaps in Kripke’s own account of these truths. But the strategy here adopted is, to the best of my knowledge, still unexplored and different from the one adopted both by Kripke himself and by his critics. I first argue that Kripke’s examples of such truths can only be legitimate if seen as introduced by performative (...) utterances sense). And, if this is so, we can apply the machinery of illocutionary act theory to these utterances to explain how one can have a priori knowledge of some contingent facts generated by the utterances themselves. I shall argue that the overall strategy can fill out two gaps in Kripke’s original account: first, we can explain the nature of the truth-makers of contingent a priori truths sense, broadly conceived) and, second, we can explain how contingent a priori knowledge can be transmitted from one speaker to another. (shrink)

My responses to seven critical reviews of my book *Mental Files* published in a special issue of the journal Disputatio, edited by F. Salis. The reviewers are: Keith Hall, David Papineau, Annalisa Coliva and Delia Belleri, Peter Pagin, Thea Goodsell, Krista Lawlor and Manuel Garcia-Carpintero.

Instability occurs when the very fact of choosing one particular possible option rather than another affects the expected values of those possible options. In decision theory: An act is stable iff given that it is actually performed, its expected utility is maximal. When there is no stable choice available, the resulting instability can seem to pose a dilemma of practical rationality. A structurally very similar kind of instability, which occurs in cases of anti-expertise, can likewise seem to create dilemmas of (...) epistemic rationality. One possible line of response to such cases of instability, suggested by both Jeffrey (1983) and Sorensen (1987), is to insist that a rational agent can simply refuse to accept that such instability applies to herself in the first place. According to this line of thought it can be rational for a subject to discount even very strong empirical evidence that the anti-expertise condition obtains. I present a new variety of anti-expertise condition where no particular empirical stage-setting is required, since the subject can deduce a priori that an anti-expertise condition obtains. This kind of anti-expertise case is therefore not amenable to the line of response that Jeffrey and Sorensen recommend. (shrink)

I argue that beliefs that are true whenever held-like I exist, I am thinking about myself, and (in an object-dependent framework) Jack = Jack-needn't on that account be a priori. It does however seem possible to remove the existential commitment from the last example, to get a belief that is knowable a priori. I discuss some difficulties concerning how to do that.