This paper discusses the notion of necessity in the light of results from contemporary mathematical practice. Two descriptions of necessity are considered. According to the first, necessarily true statements are true because they describe ‘unchangeable properties of unchangeable objects’. The result that I present is argued to provide a counterexample to this description, as it concerns a case where objects are moved from one category to another in order to change the properties of these objects. The second description concerns necessary (...) ‘structural properties’. Although I grant that mathematical statements could be considered as necessarily true in this sense, I question whether this justifies the claim that mathematics as a whole is necessary. (shrink)

The general question (G) How do we categorize artifacts? can be subject to three different readings: an ontological, an epistemic and a semantic one. According to the ontological reading, asking (G) is equivalent to asking in virtue of what properties, if any, a certain artifact is an instance of some artifact kind: (O) What is it for an artifact a to belong to kind K? According to the epistemic reading, when we ask (G) we are investigating what properties of the (...) object we exploit in order to decide whether a certain artifact belongs to a certain kind. (G) thus becomes: (E) How can we know that artifact a belongs to kind K? Finally, (G) can also be read as a question concerning the semantics of artifact kind terms. The semantic reading of (G) is: (S) What kind of reference do artifact kind terms have, if any? In this editorial we expand on the different answers to (O), (E) and (S) that are given in the selected literature on the topic. The result should give us an overall picture of the possible answers to (G). (shrink)

In an addendum to Naming and Necessity, Saul Kripke argues against his earlier view that Sherlock Holmes is a possible person. In this paper, I suggest a nonstandard interpretation of the addendum. A key feature of this non-standard interpretation is that it attempts to make sense of why Kripke would be rejecting the view that Sherlock Holmes is a possible person without asserting that it is not the case that Sherlock Holmes is a possible person.

Reply to criticsThe replies in this symposium are some of the most insightful contributions to contemporary metaphilosophy I have read. I wish I had seen them before I wrote Philosophy without Intuitions . It would have made it a better book. I also wish I had space to explore all the important issues raised, but unfortunately, the focus here will have to be on points of disagreement. The replies build on each other—I draw on material from the earlier replies in (...) the later ones. It is possible to read each reply in isolation, but they are best read in sequence.Socratic knowledge and its role in philosophy: Reply to WeathersonWeatherson presents one of the most interesting accounts of the role of intuitions in philosophy that I have encountered. For Weatherson, the role is limited, fragile, and elusive .One of the most interesting ideas in the paper is that “the important intuitions are the ones you bar .. (shrink)

I reply to commentaries on my book Philosophy Without Intuitions from Paul Boghossian, Berit Brogaard, and Mark Richard.

This paper addresses four issues: 1. What is nonsense? 2. Is nonsense possible? 3. Is nonsense actual? 4. Why do the answers to (1)–(3) matter, if at all? These are my answers: 1. A sentence (or an utterance of one) is nonsense if it fails to have or express content (more on ‘express’, ‘have’, and ‘content’ below). This is a version of a view that can be found in Carnap (1959), Ayer (1936), and, maybe, the early Wittgenstein (1922). The notion (...) I propose abstracts away from their favored (but wrong) theories of what meaning is. It is a notion of nonsense that can be appealed to by all semantic frameworks and all theories of what content is, but structurally it is just like e.g. Carnap’s. Nonsense, as I construe it, is accompanied by illusions of thought (and I think that was part of Carnap’s conception as well). 2. Yes. In particular, I examine three arguments for the impossibility of illusion of thought (which on my construal accompanies linguistic nonsense) and they are all unsound. 3. Yes. There might be a lot of nonsense, both in ordinary and theoretical speech. In particular, it is likely that much of contemporary philosophy consists of nonsense. Empirical work is required to determine just how much. 4. The struggle to avoid nonsense (and achieve meaningfulness) is at least as important as the struggle for truth. The avoidance of nonsense is a precondition not just for having a truth value but also for more important properties such as saying something interesting or kind. (shrink)

In this paper, I argue against Millian Descriptivism: that is, the view that, although sentences that contain names express singular propositions, when they use those sentences speakers communicate descriptive propositions. More precisely, I argue that Millian Descriptivism fares no better (or worse) than Fregean Descriptivism: that is, the view that sentences express descriptive propositions. This is bad news for Millian Descriptivists who think that Fregean Descriptivism is dead.

Some descriptivists reply to the modal argument by appealing to scope ambiguities. In this paper, we argue that those replies don’t work in the case of apparently empty names like ‘Sherlock Holmes’.

In this paper, I defend the claim that an object can have a property only if it exists from two arguments, both of which turn on how to understand Plantinga’s notion of the α-transform of a property.

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)

I argue that the explanatory gap is generated by factors consistent with the view that qualia are physical properties. I begin by considering the most plausible current approach to this issue based on recent work by Valerie Hardcastle and Clyde Hardin. Although their account of the source of the explanatory gap and our potential to close it is attractive, I argue that it is too speculative and philosophically problematic. I then argue that the explanatory gap should not concern physicalists because (...) it makes excessive demands on physical theory. (shrink)

I begin by contrasting three approaches one can take to the distinction between the essential and accidental properties: an ontological, a deflationary, and a mind‐dependent approach. I then go on to apply that distinction to the necessary a posteriori, and defend the deflationist view. Finally I apply the distinction to modal truth in general and argue that the deflationist position lets us avoid an otherwise pressing problem for the actualist: the problem of accounting for the source of modal truth.

We should not admit categorial restrictions on the significance of syntactically well formed strings. Syntactically well formed but semantically absurd strings, such as ‘Life’s but a walking shadow’ and ‘Caesar is a prime number’, can express thoughts; and competent thinkers both are able to grasp these and ought to be able to. Gareth Evans’ generality constraint, though Evans himself restricted it, should be viewed as a fully general constraint on concept possession and propositional thought. For (a) even well formed but (...) semantically cross-categorial strings often do possess substantive inferential roles; (b) hearers exploit these inferential roles in interpreting such strings metaphorically; (c) there is no good reason to deny truth-conditions to strings with inferential roles. (shrink)

There is widespread disagreement as to what the facts are concerning just when a collection of objects composes some further object; but there is widespread agreement that, whatever those facts are, they are necessary. I am unhappy to simply assume this, and in this paper I ask whether there is reason to think that the facts concerning composition hold necessarily. I consider various reasons to think so, but find fault with each of them. I examine the theory of composition as (...) identity, but argue that the version of this doctrine that entails universalism is implausible. I consider the claim that the a priority of such facts leads to their necessity, but give a defence of substantial contingent a priori truths. I ask whether the contingency of such facts would lead to unwelcome possibilities, but argue that the worrying looking possibilities can be blocked if it is desired. Next, I argue against the thought that the Lewis-Sider argument against restricted composition might give us reason to accept the necessity of universalism. Lastly, I respond to two objections from the 2006 BSPC. I conclude in favour of the contingency of the facts concerning when some things compose some thing. (shrink)

This paper attempts to locate, within an actualist ontology, truthmakers for modal truths: truths of the form or . In Sect. 1 I motivate the demand for substantial truthmakers for modal truths. In Sect. 21 criticise Armstrong's account of truthmakers for modal truths. In Sect. 31 examine essentialism and defend an account of what makes essentialist attributions true, but I argue that this does not solve the problem of modal truth in general. In Sect. 41 discuss, and dismiss, a theistic (...) account of the source of modal truth proposed by Alexander Pruss. In Sect. 5 I offer a means of (dis)solving the problem. (shrink)

The traditional point of view on analyticity implies that truth in virtue only of meaning entails a priori acceptability and vice versa. The argument for this claim is based on the idea that meaning as it concerns truth and meaning as it concerns competence are one and the same thing. In this paper I argue that the extensions of these notions do not coincide. I hold that truth in virtue of meaning— truth for semantic reasons—doesn't imply a priori acceptability, and (...) that a priori reflection based only on knowledge of meaning—in the sense of competence—doesn't necessitate true conclusions.The main consequence of this view concerns conceptual analysis, as it presupposes we have a privileged—incorrigible in the face of empirical evidence—access to non-trivial truths about the world on the basis of mere a priori reflection founded on meaning. If, as I argue, such access is not incorrigible the project of conceptual analysis loses its special epistemological status. (shrink)

Contemporary accounts of the Trinity and Incarnation sometimes employ aspects of Peter Geach's theory of relative identity. Geach's theory provides an account not merely of identity predicates, but also proper names and restricted quantification. In a previous work I developed an account of the doctrines of the Trinity and Incarnation incorporating these three aspects of Geach's theory and tried to show how each might contribute to our understanding of the doctrines. Joseph Jedwab has recently argued that my account—or any that (...) employs Geach's treatment of restricted quantifiers—leads to serious doctrinal errors. I reply to his criticisms. (shrink)

In this article I will evaluate the popular view that we acquire most of our concepts by means of learning. I will do this through an examination of Jerry Fodor’s dissenting views and those of some of his most persistent and significant critics. Although I will be critical of Fodor’s central claim that it is impossible to learn a concept, I will ultimately conclude that we should be more sceptical than is normal about the power of learning when it comes (...) to concept acquisition, particularly with respect to natural kind concepts. Central to my argument for this conclusion will be an examination of the bearings of psychological essentialism on concept acquisition. (shrink)

Psychological essentialism is a prominent view within contemporary developmental psychology and cognitive science according to which children have an innate commitment to essentialism. If this view is correct then a commitment to essentialism is an important aspect of human nature rather than a culturally specific commitment peculiar to those who have received a specific philosophical or scientific education. In this article my concern is to explore the philosophical significance of psychological essentialism with respect to the relationship between the content of (...) our concepts and thoughts and the nature of the extra-cranial world. I will argue that, despite first appearances, psychological essentialism undermines a form of externalism that has become commonplace in the philosophy of mind and language. (shrink)

Two of the most fundamental questions about language are these: what are languages?; and, what is it to know a given language? Many philosophers who have reflected on these questions have presented answers that attribute a central role to conventions. In one of its boldest forms such a view runs as follows. Languages are either social entities constituted by networks of social conventions or abstract objects where when a particular community speaks a given language they do so in virtue of (...) the conventions operative within that community. Consequently, for an individual to know a given language is for them to be party to the relevant conventions. Call this view conventionalism. In this article my aim is to evaluate conventionalism. I will argue that although there are linguistic conventions and that they do play an important role in language development and communication conventionalism should be rejected in favour of a more psychologistically orientated position. (shrink)

Many contemporary physicalists concede to dualists that conscious subjects have distinctive “phenomenal concepts” of the phenomenal qualities of their experiences. Indeed, they contend that idiosyncratic characteristics of these concepts facilitate responses to influential anti-physicalist arguments. Like some some other critics of this approach, James Tartaglia maintains that phenomenal concepts express contents that conflict with physicalism, but as a physicalist, the moral he distinctively draws from this is that phenomenal concepts misrepresent. He contends further that the contemporary physicalists’ account cannot accommodate (...) this feature, and that in consequence, physicalists should abandon phenomenal concepts and return to the identity theory championed by Place and Smart in the 1950s. I respond to Tartaglia by identifying lacunae in his interpretation of contemporary physicalism and arguing that phenomenal concepts as conceived by the contemporary physicalists do not express content... (shrink)

b>: there is no “mind-body problem”, or “hard problem of consciousness”; if there is a hard problem of something, it is the problem of reconciling the manifest and scientific images.

Anything is similar to anything, provided the respects of similarity are allowed to be gerrymandered or gruesome, as Goodman observed.2 But similarity in non-gruesome or—as I shall say—genuine respects is much less ecumenical. Colors, it seems, provide a compelling illustration of the distinction as applied to similarities among properties.3 For instance, in innumerable gruesome respects, blue is more similar to yellow than to purple. But in a genuine respect, blue is more similar to purple than to yellow (genuinely more similar, (...) as I shall sometimes put it). (shrink)

SummaryA familiar sort of argument for skepticism about the external world appeals to the evidential similarity between what is presumed to be the normal case and the case where one is a brain in a vat . An argument from Putnam has been taken by many to provide an a priori refutation of this sort of skeptical argument. The question I propose to address in this paper is whether Putnam's argument affords us an a priori refutation of skeptical arguments that (...) appeal to the claim that one does not know that one is not a BIV. I will develop a negative answer to this question along two related fronts. Along the first front I defend against new criticisms the common position that the externalism on which Putnam's argument is based entails skepticism about the meanings of sentences in our language and the contents of our thoughts. I do not take this to be a refutation of externalism or externalist arguments; rather, I see this as a motivation to locate the difficulty with arguments for externalism. But if externalism is abandoned, of course, the anti‐skeptical argument it has widely been taken to support must be abandoned along with it. I will argue, however, that this is not a significant loss, because along a second front I will argue that externalism cannot be given a priori justification; it is therefore ill‐suited to ground an a priori refutation of BIV skepticism anyway. (shrink)

I argue that the reference for “God” is determined by the definite description “the being that is worthy of our worship.” I describe two desiderata for rival theories of the reference of “God” to meet: accessibility and scope. I explain the deficiencies of a view where God is dubbed “God” and the name passed down by causal chains and a view where “God” picks out the unique satisfier of a traditional definite description. After articulating the “Worship-Worthiness” view, I show how (...) it best satisfies the desiderata. I then respond to some putative counterexamples to the view. (shrink)

The source, status, and significance of the derivation of the necessity of identity at the beginning of Kripke’s lecture “Identity and Necessity” is discussed from a logical, philosophical, and historical point of view.

There are statements of the form “There are no Fs” that we would like to count as true, yet it is hard to see how they could be true. The relevant Fs are general terms that we take to be semantically fundamental or primitive, especially those native to metaphysical discourse. A case can be made the problem is no less difficult than the corresponding problem for singular terms.

Metalinguistic descriptivism is the view that proper names are semantically equivalent to descriptions featuring their own quotations (e.g., ?Socrates? means ?the bearer of ?Socrates??). The present paper shows that Millians can actually accept an inferential version of this equivalence thesis without running afoul of the modal argument. Indeed, they should: for it preserves the explanatory virtues of more familiar forms of descriptivism while avoiding objections (old and new) to Kent Bach's nominal description theory. We can make significant progress on Frege's (...) puzzle and Plato's beard without committing ourselves one way or the other on the semantic values of proper names. The view on offer can also be motivated by analogy with Tarski's schema T, inviting the idea that the equivalence between a name and the associated nominal description has more to do with the semantics of representational locutions than it does with names per se. My response to the modal argument exploits the Kripkean distinction between reference at a world and reference in a world, and can be accepted by metalinguistic descriptivists and Millians alike. (shrink)

In this paper, I present the case of the discovery of complex numbers by Girolamo Cardano. Cardano acquires the concepts of (specific) complex numbers, complex addition, and complex multiplication. His understanding of these concepts is incomplete. I show that his acquisition of these concepts cannot be explained on the basis of Christopher Peacocke’s Conceptual Role Theory of concept possession. I argue that Strong Conceptual Role Theories that are committed to specifying a set of transitions that is both necessary and sufficient (...) for possession of mathematical concepts will always face counterexamples of the kind illustrated by Cardano. I close by suggesting that we should rely more heavily on resources of Anti-Individualism as a framework for understanding the acquisition and possession of concepts of abstract subject matters. (shrink)

In this introduction to the special issue of Theoretical Medicine and Bioethics on the topic of personal identity and bioethics, I provide a background for the topic and then discuss the contributions in the special issue by Eric Olson, Marya Schechtman, Tim Campbell and Jeff McMahan, James Delaney and David Hershenov, and David DeGrazia.

Philosophers have been talking about brain states for almost 50 years and as of yet no one has articulated a theoretical account of what one is. In fact this issue has received almost no attention and cognitive scientists still use meaningless phrases like 'C-fiber firing' and 'neuronal activity' when theorizing about the relation of the mind to the brain. To date when theorists do discuss brain states they usually do so in the context of making some other argument with the (...) result being that any discussion of what brain states are has a distinct en passant flavor. In light of this it is a goal of mine to make brain states the center of attention by providing some general discussion of them. I briefly look at the argument of Bechtel and Mundale, as I think that they expose a common misconception philosophers had about brain states early on. I then turn to briefly examining Polger's argument, as I think he offers an intuitive account of what we expect brain states to be as well as a convincing argument against a common candidate for knowledge about brain states that is currently "on the scene." I then introduce a distinction between brain states and states of the brain: Particular brain states occur against background states of the brain. I argue that brain states are patterns of synchronous neural firing, which reflects the electrical face of the brain; states of the brain are the gating and modulating of neural activity and reflect the chemical face of the brain. (shrink)

Since the publication of David Lewis’ Counterfactuals, the standard line on subjunctive conditionals with impossible antecedents (or counterpossibles) has been that they are vacuously true. That is, a conditional of the form ‘If p were the case, q would be the case’ is trivially true whenever the antecedent, p, is impossible. The primary justification is that Lewis’ semantics best approximates the English subjunctive conditional, and that a vacuous treatment of counterpossibles is a consequence of that very elegant theory. Another justification (...) derives from the classical lore than if an impossibility were true, then anything goes. In this paper we defend non-vacuism, the view that counterpossibles are sometimes non-vacuously true and sometimes non-vacuously false. We do so while retaining a Lewisian semantics, which is to say, the approach we favor does not require us to abandon classical logic or a similarity semantics. It does however require us to countenance impossible worlds. An impossible worlds treatment of counterpossibles is suggested (but not defended) by Lewis (Counterfactuals. Blackwell, Oxford, 1973), and developed by Nolan (Notre Dame J Formal Logic 38:325–527, 1997), Kment (Mind 115:261–310, 2006a: Philos Perspect 20:237–302, 2006b), and Vander Laan (In: Jackson F, Priest G (eds) Lewisian themes. Oxford University Press, Oxford, 2004). We follow this tradition, and develop an account of comparative similarity for impossible worlds. (shrink)

I start out by reviewing the semantics of ‘seem’. As ‘seem’ is a subject-raising verb, ‘it seems’ can be treated as a sentential operator. I look at the semantic and logical properties of ‘it seems’. I argue that ‘it seems’ is a hyperintensional and contextually flexible operator. The operator distributes over conjunction but not over disjunction, conditionals or semantic entailments. I further argue that ‘it seems’ does not commute with negation and does not agglomerate with conjunction. I then show that (...) the mental states expressed by perceptual uses of ‘seem’ have non-conceptual, yet perspectival contents. In the final part of the paper I argue that while the content of the mental states expressed by perceptual uses of ‘seem’ are non-conceptual, having a mental state of this type requires possessing conceptual abilities corresponding to what the mental state represents. (shrink)

Attitude reports are reports about people’s states of mind. They are reports about what people think, believe, know, know a priori, imagine, hate, wish, fear, and the like. So, for example, I might report that s knows p, or that she imagines p, or that she hates p, where p specifies the content to which s is purportedly related. One lively current debate centers around the question of what sort of specification is involved when such attitude reports are successful. Some (...) hold that it is specification of the precise content of a mental state; others hold that it is specification of the content of a mental state only relative to a mode of presentation; yet others hold that it is merely a description or characterization of the content of a mental state. After providing a brief introduction to the traditional debate on attitude reports, this entry argues that for certain kinds of knowledge reports and for so-called de re attitude reports, descriptive theories emerge as the most plausible. The entry concludes with a discussion of how the characterizing relation between attitude reports and mental states might be construed. (shrink)

This essay explores some of the central aspects of Aquinas's account of mental representation, focusing in particular on his views about the intentionality of concepts (or intelligible species). It begins by demonstrating the need for a new interpretation of his account, showing in particular that the standard interpretations all face insurmountable textual difficulties. It then develops the needed alternative and explains how it avoids the sorts of problems plaguing the standard interpretations. Finally, it draws out the implications of this interpretation (...) with the aim of correcting some persistent misunderstandings of the connection between Aquinas's views and those developed by contemporary philosophers of mind. (shrink)

Semantic externalism in contemporary philosophy of language typically – and often tacitly – combines two supervenience claims about idiolectical meaning (i.e., meaning in the language system of an individual speaker). The first claim is that the meaning of a word in a speaker’s idiolect may vary without any variation in her intrinsic, physical properties. The second is that the meaning of a word in a speaker’s idiolect may vary without any variation in her understanding of its use. I here show (...) that a conception of idiolectical meaning is possible that accepts the “anti-internalism” of the first claim while rejecting (what I shall refer to as) the “anti-individualism” of the second. According to this conception, externally constituted idiolectical meaning supervenes on idiolectical understanding. (shrink)

In this paper, I argue that informational semantics, the most well-known and worked-out naturalistic account of intentional content, conflicts with a fundamental psychological principle about the conditions of belief-formation. Since this principle is an important premise in the argument for informational semantics, the upshot is that the view is self-contradictory??indeed, it turns out to be guilty of a sophisticated version of the fallacy famously committed by Euthyphro in the eponymous Platonic dialogue. Criticisms of naturalistic accounts of content typically proceed piecemeal (...) by narrowly constructed counterexamples, but I argue that the current result is more robust. It affects a broad family of accounts, and provokes a wider doubt about the possibility of successful execution of the naturalistic project. (shrink)

Mereological nihilism is the thesis that composite objects—objects with proper parts—do not exist. Nihilists generally paraphrase talk of composite objects F into talk of there being “xs arranged F-wise” . Recently several philosophers have argued that nihilism is defective insofar as nihilists are either unable to say what they mean by such phrases as “there are xs arranged F-wise,” or that nihilists are unable to employ such phrases without incurring significant costs, perhaps even undermining one of the chief motivations for (...) nihilism. In this paper I defend nihilism against these objections. A key theme of the paper is this: if nihilists need to employ such phrases as “there are xs arranged F-wise,” non-nihilists will need to do so as well. Accordingly, any costs incurred by the nihilist when she employs such phrases will be shared by everyone else. What’s more, such phrases are intelligible when employed by the nihilist, as well as when they are employed by the non-nihilist, insofar as analyses of such phrases will not essentially involve mereological concepts incompatible with nihilism. (shrink)

In this paper, I defend a well-known theory of belief reports from an important objection. The theory is Russellianism, sometimes also called `neo-Russellianism', `Millianism', `the direct reference theory', `the "Fido"-Fido theory', or `the naive theory'. The objection concernssubstitution of co-referring names in belief sentences. Russellianism implies that any two belief sentences, that differ only in containing distinct co-referring names, express the same proposition (in any given context). Since `Hesperus' and `Phosphorus' both refer to the planet Venus, this view implies that (...) all utterances of (1) and.. (shrink)

The paper defends a combination of perdurantism with mereological universalism by developing semantics of temporary predications of the sort ’some P is/was/will be (a) Q’. We argue that, in addition to the usual application of causal and other restrictions on sortals, the grammatical form of such statements allows for rather different regimentations along three separate dimensions, according to: (a) whether ‘P’ and ‘Q’ are being used as phase or substance sortal terms, (b) whether ‘is’, ‘was’, and ‘will be’ are the (...) ‘is’, ‘was’, ‘will be’ of identity or of constitution, and (c) whether ‘Q’ is being used as a subject or predicate term. We conclude that this latitude is beneficial, as it conforms with linguistic reality (i.e., the multiple uses actually in place) and also enables one to turn what is ordinarily perceived as a problem for universalist perdurantism viz., a commitment to all sorts of weird and gerrymandered temporally extended entities, into an advantage, for the richness in questions allows us to make sense of. (shrink)

This paper presents a number of objections to Jeffrey King's quantificational theory of complex demonstratives. Some of these objections have to do with modality, whereas others concern attitude ascriptions. Various possible replies are considered. The debate between quantificational theorists and direct reference theorists over complex demonstratives is compared with recent debates concerning definite descriptions.

John Stuart Mill (1843) thought that proper names denote individuals and do not connote attributes. Contemporary Millians agree, in spirit. We hold that the semantic content of a proper name is simply its referent. We also think that the semantic content of a declarative sentence is a Russellian structured proposition whose constituents are the semantic contents of the sentence’s constituents. This proposition is what the sentence semantically expresses. Therefore, we think that sentences containing proper names semantically express singular propositions, which (...) are propositions having individuals as constituents. For instance, the sentence ‘George W. Bush is human’ semantically expresses a proposition that has Bush himself as a constituent. Call this theory Millianism. Many philosophers initially find Millianism quite appealing, but find it much less so after considering its many apparent problems. Among these problems are those raised by non-referring names, which are sometimes (tendentiously) called empty names. Plausible examples of empty names include certain names from fiction, such as ‘Sherlock Holmes’, which I shall call fictional names, and certain names from myth and false scientific theory, such as ‘Pegasus’ and ‘Vulcan’, which I shall call mythical names. I have defended Millianism from objections concerning empty names in previous work (Braun 1993). In this paper, I shall re-present those objections, along with some new ones. I shall then describe my previous Millian theory of empty names, and my previous replies to the objections, and consider whether the theory or replies need revision. I shall next consider whether fictional and mythical names are really empty. I shall argue that at least some utterances of mythical names are. (shrink)