Are there nonexistent objects, i.e., objects that do not exist? Some examples often cited are: Zeus, Pegasus, Sherlock Holmes, Vulcan (the hypothetical planet postulated by the 19th century astronomer Le Verrier), the perpetual motion machine, the golden mountain, the fountain of youth, the round square, etc. Some important philosophers have thought that the very concept of a nonexistent object is contradictory (Hume) or logically ill-formed (Kant, Frege), while others (Leibniz, Meinong, the Russell of Principles of Mathematics) have embraced it wholeheartedly. (...) This entry is an examination of the many questions which arise in connection with the view that there are nonexistent objects. The following are particularly salient: What reasons are there (if any) for thinking that there are nonexistent objects? If there are nonexistent objects, then what kind of objects are they? How can they be characterized? Is it possible to provide a consistent theory of nonexistent objects? What is the explanatory force of a consistent theory of nonexistent objects (if such a thing is possible)? (shrink)

Thanks to the Inlaks Foundation in India, I was able to do my doctoral research on Our Talk About Nonexistents at Oxford in the early eighties. The two greatest philosophers of that heaven of analytical philosophy - Peter Strawson and Michael Dummett - supervised my work, reading and criticising all the fledgling philosophy that I wrote during those three years. At Sir Peter's request, Gareth Evans, shortly before his death, lent me an unpublished transcript of Kripke's John Locke Lectures. Work (...) on the Appendix about Indian Philosophy was supervised by the late Professor Bimal Krishna Matilal with whom informal but intense philosophical conversations used to spill over into dinner at his place almost every other day. It was Professor Matilal who sent me, over a summer, to study a tough Navya-Nyaya text under his own Nyaya teacher Pandit Visvabandhu Tarkatirtha at Calcutta. All four of these teachers were as kind to me as my life-long mentor in philosophy Professor Pranab Kumar Sen, whose clarity and depth remain the unreachable regu lative ideal of my intellect. When I came back to India, my life became blissfully free of the agonising anxiety to publish, until, after a conference at Jadavpur University where I gave an impromptu paper, ironically enough, on Non-doings, I met Derek Parfit. He had a six-hour conversation with me, explicitly planning my life. Five years had already elapsed since I had finished my D. Phil, but Derek read my thesis and liked it. (shrink)

Meu objetivo neste texto é apresentar uma resposta cética ao argumento ontológico tal como aparece em algumas de suas principais variações. O que todas essas variações têm em comum é tentar provar a existência de Deus a priori. Sustentarei que o sucesso de qualquer argumento desse tipo depende de dois pressupostos fundamentais, o primeiro é que existência é uma propriedade e o segundo que é uma perfeição. Mesmo aceitando que existência seja uma propriedade, recusarei que possamos saber se ela é (...) uma perfeição e, portanto, que possamos saber se devemos atribuí-la a um ser perfeito. Serão trabalhadas quatro formulações diferentes desse argumento, começando por Anselmo, Descartes, e a formulação que Norman Malcom acredita haver em Anselmo. Por fim, considerarei a versão de Alvin Plantinga, que defende o argumento ontológico sem sustentar que existência é uma perfeição. Sustentarei que seu argumento falha em provar que Deus existe, pois é inválido. (shrink)

The subject of this article is the Principle of Characterization—the most controversial principle of Alexius Meinong’s Theory of Objects. The aim of this text is twofold. First of all, to show that Bertrand Russell’s well-known objection to the Principle of Characterization can be reformulated against contemporary unrestricted interpretations of it. Second, to propose an alternative formulation of this principle. This refers to the methodology of metaphysics and is based on the distinction between pre-theoretical and theoretical languages. The proposed formulation fits (...) well with every type of contemporary interpretation of the Theory of Objects and helps to overcome Russell’s criticism. (shrink)

In Modal Logic as Metaphysics, Timothy Williamson claims that the possibilism-actualism (P-A) distinction is badly muddled. In its place, he introduces a necessitism-contingentism (N-C) distinction that he claims is free of the confusions that purportedly plague the P-A distinction. In this paper I argue first that the P-A distinction, properly understood, is historically well-grounded and entirely coherent. I then look at the two arguments Williamson levels at the P-A distinction and find them wanting and show, moreover, that, when the N-C (...) distinction is broadened (as per Williamson himself) so as to enable necessitists to fend off contingentist objections, the P-A distinction can be faithfully reconstructed in terms of the N-C distinction. However, Williamson’s critique does point to a genuine shortcoming in the common formulation of the P-A distinction. I propose a new definition of the distinction in terms of essential properties that avoids this shortcoming. (shrink)

This is a slightly opinionated review of three main factions in metaontology: Quineans, Carnapians, and Meinongians. Emphasis is given to the last camp, as the metaontological aspect of Meinongianism has been underappreciated. The final section then offers some general remarks about the legitimacy of ontology, touching on ideas I have developed in other publications.

In The Metaphysics of Interpretation, I explore the ontological issues surrounding fictional characters, literary works, and literary interpretation. My central claim is that if one accepts a certain position on the ontology of fictional characters and literary works – artifactualism – then, under certain circumstances, the misinterpretation of a literary work will result in the full-fledged destruction of that work. Some related matters that are studied include: realism about fictional characters, artifactualism’s implications for the debate between textualism and constructivism, the (...) seeming temporal “gappiness” of literary works, and the question of validity in interpretation. (shrink)

Meinongian 'objects' are evoked in an effort to critique and expand upon traditional theories of reference. The argument stems from an account of Peirce's categories of meaning in light of vague, contradictory, inconsistent, general, incomplete, and incompleteable signs. In addition to signs as either 'true', 'false', or meaningless, the function of imaginary numbers reveals the possibility of a sign's being both 'true' and 'false' or neither 'true' nor 'false', over time, and dialogically speaking. This demands a tolerance for vagueness, ambiguity, (...) contradiction, and incessantly changing meaning. (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

The views of David Lewis and the Meinongians are both often met with an incredulous stare. This is not by accident. The stunned disbelief that usually accompanies the stare is a natural first reaction to a large ontology. Indeed, Lewis has been explicitly linked with Meinong, a charge that he has taken great pains to deny. However, the issue is not a simple one. "Meinongianism" is a complex set of distinctions and doctrines about existence and predication, in addition to the (...) famously large ontology. While there are clearly non-Meinongian features of Lewis' views, it is our thesis that many of the characteristic elements of Meinongian metaphysics appear in Lewis' theory. Moreover, though Lewis rejects incomplete and inconsistent Meinongian objects, his ontology may exceed that of a Meinongian who doesn't accept his possibilia. Thus, Lewis explains the truth of "there might have been talking donkeys" by appealing to possibilia which are talking donkeys. But the Meinongian need not accept that there exist things which are talking donkeys. Indeed, we show that a Meinongian even need not accept that there are nonexistent things which are talking donkeys! (shrink)

This paper analyzes and compares the attempts at solving the paradox of non-existence put forward by Alexius Meinong and Edmund Husserl. It will be argued that Meinong’s solution is not convincing since he retreats from the field of predicate logic, in which the paradox arises, to a version of propositional logic. On the other hand, Husserl´s approach is more promising since he moves forward to an extension of predicate logic, in which judgments may be evaluated in relation to different contexts (...) or, in Husserl´s terminology, “spheres”. More precisely, to Husserl, existential judgments have to be interpreted as a kind of cross-sphere judgments, and thus existence fulfills a function loosely analogous to that of modal operators in possible-worlds semantics. (shrink)

An Adequate theory of meaning and truth is semantically important. Such a theory necessarily includes in its analysis nonentities, items that do not exist. So what is semantically, and hence logically, important is bound to include nonentities. In virtue of the modifier ‘semantically“, the first premiss is analytic, and it is comparatively uncontroversial. By contrast the second premise of the syllogism, which we want to stick to, is decidedly controversial. So too is the thesis – which implies the inadequacy of (...) classical logical theories – that there are a great many natural language statements, statements an adequate theory should be able to treat of, which cannot be analysed logically, and semantically, without the equivalent of an appeal to nonentities. Defence of the thesis has been somewhat piecemeal, taking the form that all the theories so far offered which try to dispense with nonentities break down or run into insuperable difficulties, difficulties which are readily surmounted given appropriate talk about nonentities. In what follows we shall outline more general sorts of argument for the thesis, designed to show that no theory which dispenses with nonentities as objects of discourse can do justice to the data. (shrink)

The paper argues that no second order theory is ontologically commited to anything beyond what its individual variables range over.

How hard is it to answer an ontological question? Ontological trivialism,, inspired by Carnap’s internal-external distinction among “questions of existence”, replies “very easy.” According to, almost every ontologically disputed entity trivially exists. has been defended by many, including Schiffer and Schaffer. In this paper, I will take issue with. After introducing the view in the context of Carnap-Quine dispute and presenting two arguments for it, I will discuss Hofweber’s argument against and explain why it fails. Next, I will introduce a (...) modified version of ontological trivialism, i.e. negative ontological trivialism,, defended by Hofweber, according to which some ontologically disputed entities, e.g. properties, trivially do not exist. I will show that fails too. Then I will outline a Meinongian answer to the original question, namely, ‘How hard is it to answer an ontological question?’ The Carnapian intuition of the triviality of internal questions can be saved by the Meinongian proposal that quantification and reference are not ontologically committing and the Quinean intuition of the legitimacy of interesting ontological questions can be respected by the Meinongian distinction between being and so-being. (shrink)

Neo-Russellianism, which incorporates both Millianism (with regard to proper names) and the thesis of singular Russellian propositions, has widely been defended after the publication of Kripke's Naming and Necessity. The view, however, encounters various problems regarding empty names, names that do not have semantic referents. Nathan Salmon and Scott Soames have defended neo-Russellianism against such problems in a novel way; to account for various intuitions of competent and rational speakers regarding utterances of sentences containing empty names, Salmon and Soames appeal (...) neither to entities similar to Fregean senses, e.g. propositional guises or modes of presentation, nor to Gricean implicatures. In this paper, however, I argue that their view slips into neo-Meinongianism; it is committed to nonexistent objects, assigns various properties to them, and allows quantifiers range over such entities. This, I conclude, makes Salmon and Soames' view less appealing, if not implausible. (shrink)