As our data will show, negative existential sentences containing socalled empty names evoke the same strong semantic intuitions in ordinary speakers and philosophers alike.Santa Claus does not exist.Superman does not exist.Clark Kent does not exist.Uttering the sentences in (1) seems to say something truth-evaluable, to say something true, and to say something different for each sentence. A semantic theory ought to explain these semantic intuitions.The intuitions elicited by (1) are in apparent conflict with the Millian view of proper names. According (...) to Millianism, the meaning (or 'semantic value') of a proper name is just its referent. But empty names, such as 'Santa Claus' and 'Superman', appear to lack a .. (shrink)

The challenge of handling fictional discourse is to find the best way to resolve the apparent inconsistencies in our ways of speaking about fiction. A promising approach is to take at least some such discourse to involve pretense, but does all fictional discourse involve pretense? I will argue that a better, less revisionary, solution is to take internal and fictionalizing discourse to involve pretense, while allowing that in external critical discourse, fictional names are used seriously to refer to fictional characters. (...) I then address two objections to such realist theories of fiction: One, that they can’t adequately account for the truth of singular nonexistence claims involving fictional names, and two, that accepting that there are fictional characters to which we refer is implausible or ontologically profligate. (shrink)

This paper describes the SNePS knowledge-representation and reasoning system. SNePS is an intensional, propositional, semantic-network processing system used for research in AI. We look at how predication is represented in such a system when it is used for cognitive modeling and natural-language understanding and generation. In particular, we discuss issues in the representation of fictional entities and the representation of propositions from fiction, using SNePS. We briefly survey four philosophical ontological theories of fiction and sketch an epistemological theory of fiction (...) using a story operator and rules for allowing propositions to migrate into and out of story spaces. (shrink)

There seems to be a perfectly ordinary sense in which different speakers can use an empty name to talk about the same thing. Call this fictional coreference. It is a constraint on an adequate theory of empty names that it provide a satisfactory account of fictional coreference. The main claim of this paper is that the pretense theory of empty names does not respect this constraint.

Anselm's Ontological Argument fails, but not for any of the various reasons commonly adduced. In particular, its failure has nothing to do with violating deep Kantian principles by treating ‘exists’ as a predicate or making reference to ‘Meinongian’ entities. Its one fatal flaw, so far from being metaphysically deep, is in fact logically shallow, deriving from a subtle scope ambiguity in Anselm's key phrase. If we avoid this ambiguity, and the indeterminacy of reference to which it gives rise, then his (...) argument is blocked even if his supposed Meinongian extravagances are permitted. Moreover it is blocked in a way which is straightforward and compelling (by contrast with the Kantian objections), and which generalizes easily to other versions of the Ontological Argument. A significant moral follows. Fear of Anselm's argument has been hugely influential in motivating ontological fastidiousness and widespread reluctance to countenance talk of potentially non-existing entities. But if this paper is correct, then the Ontological Argument cannot properly provide any such motivation. Some of the most influential contributions to ontology, from Kant to Russell and beyond, rest on a mistake. (shrink)

In [2] a semantics for implication is offered that makes use of stories — sets of sentences assembled under various constraints. Sentences are evaluated at an actual world and in each member of a set of stories. A sentence B is true in a story s just when B s. A implies B iff for all stories and the actual world, whenever A is true, B is true. In this article the first-order language of [2] is extended by the addition (...) of the operator the story... says that..., as in The story Flashman among the Redskins says that Flashman met Sitting Bull. The resulting language is shown to be sound and complete. (shrink)

Unentwegt werden neue technische Produkte gestaltet. Doch was macht die technische Gestaltung aus? Wie lässt sich ihr Gegenstand - (noch) nicht existierende Artefakte - adäquat auf den Begriff bringen? Michael Kuhn begreift technische Ideen vor ihrer Realisierung als Fiktionen. Er bietet eine fiktionstheoretische Rekonstruktion der Gestaltungstätigkeit und entwickelt hieraus eine Ethik der Gestaltung. Der stark interdisziplinäre Zugang zwischen Technikphilosophie und Ingenieurwissenschaften liefert neue Erkenntnisse für beide Fachrichtungen und stellt wertvolle Grundlagen bereit.

This paper tries to unleash the nature of the paradox of nonexistence or non-being or negative singular existentials by using a General Metalogical Theory. In the first section, this paper explains in detail the paradox of negative singular eixistentials and explains how Alexius Meinong and Bertrand Russell respond to this paradox. Russell resolves the paradox using quantification method which Quine extends to formulate a criterion of ontological commitments. In the second section, a General Metalogical Theory is explained, and it is (...) shown that how the developed General Metalogical Theory is useful in unleashing the paradox of nonexistence. The principles of General Metalogical Theory is developed from Quine’s criterion: to be is to be the value of bound variable. In Quine’s criterion, the notion of the bound variable is significant. The General Metalogical Theory in unleashing the nature of the paradox mainly focuses on the question: from where does the binding of the bound variable come? The paper argues that it is not enough to say that the binding of the bound variable comes from the existentially loaded use of the particular quantifier. General Metalogical Theory attempts to show that the binding of the bound variable comes from somewhere else, so that we attach the particular quantifier to the variable and use the particular quantifier in an existentially loaded sense. Explaining the binding nature of the bound variable in the above-mentioned manner will unleash the nature of the paradox. (shrink)

Nathan Salmon has defended what might be called “weak modal anti-realism”—the view that possible-object names can refer to possible objects that neither exist nor are otherwise real. But rather than adopting a similar view in the fictional case, he instead defends fictional creationism—the view that fictional characters are existent but abstract entities created by authors of fiction. In this paper, I first argue that if weak modal antirealism is defensible then weak fictional antirealism is defensible as well. Second, I argue (...) that there is no reason to prefer fictional creationism over weak fictional antirealism but there is very good reason to prefer the latter over the former. And third, I defend weak fictional antirealism against the charge that it cannot provide a satisfactory account of statements that prima facie involve reference to or quantification over fictional characters. (shrink)

According to the so-called ‘artifactual theory’ of fiction, fictional objects are to be considered as abstract artifacts. Within this framework, fictional objects are defined on the basis of their complex dependence on literary works, authors, and readership. This theory is explicitly distinguished from other approaches to fictions, notably from the imaginary-object theory. In this article, I argue that the two approaches are not mutually exclusive but can and should be integrated. In particular, the ontology of fiction can be fruitfully supplemented (...) by a phenomenological analysis, which allows us to clarify the defining modes of givenness of fictional objects. Likewise, based on the results of the artifactual theory, some assumptions in the imaginary-object theory, which are liable to be interpreted as laying the ground to phenomenalism, can be corrected. (shrink)

To solve the referential sub-problem of negative existentials one must explain why we interpret uses of, e.g., ‘Sherlock Holmes doesn’t exist’ as saying something coherent and intuitively true, even though the speaker purports to refer to something. Pragmatic Meinongism solves this problem by allowing ‘does not exist’ to be pragmatically modulated to express an inclusive sense under which it can be satisfied by something. I establish three points in defense of pragmatic Meinongism: it is superior to Russell-inspired solutions; it is (...) supported by independent evidence of pragmatic modulation; and it requires no dubious ontological commitments. (shrink)

The aim of this paper is to explore the possibility that, at least, some metaphysical debates are ‘metalinguistic negotiations’. I will take the dispute between the dominant approaches of realism and the anti-realism ones about the ontological status of scientific models as a case-study. I will argue that such a debate may be better understood as a disagreement, at bottom normatively, motivated, insofar as a normative and non-factual question may be involved in it: how the relevant piece of language ought (...) to be used. Even though I will generally assess the prospects for a broadly deflationist approach, I shall outline a sense in which the dispute can be recast as ‘minimally substantive’. (shrink)

Within the framework of Meinongianism, nothingness turns out to have contradictory features—it seems to be an object and not. In this paper, we explore two different kinds of Meinongian accounts of nothingness. The first one is the consistent account, which rejects the contradiction of nothingness, while the second one is the inconsistent account, which accepts the contradiction of nothingness. First of all, after showing that the consistent account of nothingness defended by Jacquette fails, we express some concerns on the general (...) possibility of consistently characterizing nothingness. Secondly, starting from Priest’s inconsistent characterization of nothingness :146–158, 2014b), we will introduce our own inconsistent account. The key idea of our account is to take nothingness as the complement of the totality. Finally, we will make formal sense of it by constructing an inconsistent mereological system, which is the development of the paraconsistent mereology proposed by Weber and Cotnoir. (shrink)

ABSTRACTI propose a different account of fictional objects from the ones already present in the literature. According to my account, fictional objects are culturally created abstract objects dependent for their existence on the pretence attitude adopted by a group of people towards a single fictional content. My work is divided into three parts: in the first one, I present how fictional objects come into existence according to my proposal; in the second part, I illustrate how the existence of fictional objects (...) so conceived may be ontically indeterminate; in the last part, I consider what happens when vague existence and indeterminate identity are claimed within fictional texts. (shrink)

Mereological principles are often controversial; perhaps the most stark contrast is between those who claim that Weak Supplementation is analytic—constitutive of our notion of proper parthood—and those who argue that the principle is simply false, and subject to many counterexamples. The aim of this paper is to diagnose the source of this dispute. I’ll suggest that the dispute has arisen by participants failing to be sensitive to two different conceptions of proper parthood: the outstripping conception and the non-identity conception. I’ll (...) argue that the outstripping conception, can deliver the analyticity of Weak Supplementation on at least one sense of ‘analyticity’. I’ll also suggest that the non-identity conception cannot do so independently of considerations to do with mereological extensionality. (shrink)

In this paper we explain how the intentional objects of our mental states can be represented by the intensional objects of conceptual realism. We first briefly examine and show how Brentano’s actualist theory of judgment and his notion of an immanent object have a clear and natural representation in our conceptualist logic of names. We then briefly critically examine Meinong’s theory of objects before turning finally to our own representation of intentional objects in terms of the intensional objects of conceptual (...) realism. We conclude by explaining why existence-entailing concepts are so basic to our commonsense framework and how these concepts and their intensions can be used to model Meinong’s ontology. (shrink)

Scientific discourse is rife with passages that appear to be ordinary descriptions of systems of interest in a particular discipline. Equally, the pages of textbooks and journals are filled with discussions of the properties and the behavior of those systems. Students of mechanics investigate at length the dynamical properties of a system consisting of two or three spinning spheres with homogenous mass distributions gravitationally interacting only with each other. Population biologists study the evolution of one species procreating at a constant (...) rate in an isolated ecosystem. And when studying the exchange of goods, economists consider a situation in which there are only two goods, two perfectly rational agents, no restrictions on available information, no transaction costs, no money, and dealings are done immediately. Their surface structure notwithstanding, no competent scientist would mistake descriptions of such systems as descriptions of an actual system: we know very well that there are no such systems. These descriptions are descriptions of a model-system, and scientists use model-systems to represent parts or aspects of the world they are interested in. Following common practice, I refer to those parts or aspects as target-systems. What are we to make of this? Is discourse about such models merely a picturesque and ultimately dispensable façon de parler? This was the view of some early twentieth century philosophers. Duhem (1906) famously guarded against confusing model building with scientific theorizing and argued that model building has no real place in science, beyond a minor heuristic role. The aim of science was, instead, to construct theories, with theories understood as classificatory or representative structures systematically presented and formulated in precise symbolic.. (shrink)

According to Meinongianism, some objects do not exist but we can legitimately refer to and quantify over them. Moreover, Meinongianism standardly regards nonexistent objects as contributing to the truth-makers of sentences about nonexistent objects. Recently, Tim Crane has proposed a weak form of Meinongianism, a reductionism, which denies any contribution of nonexistent objects to truth-making. His reductionism claims that, even though we can truly talk about nonexistent objects by using singular terms and quantifiers about them, any truth about nonexistent objects (...) is reducible to some truths about existent objects. In this paper, we critically examine the reductionism casting some doubts on the reducibility of truths of sentences like ‘a winged pig is possible’ or ‘some winged pig does not exist’ into truths about existent objects. We also argue that the truth of such sentences can be explained by adopting a strong form of Meinongianism which admits contribution of nonexistent objects to the truth-making of such sentences. (shrink)

We want to say both that Sherlock Holmes does not exist, and that he is a fictional character. But how can we say these things without committing ourselves to the existence of Sherlock Holmes? Here I develop and defend a non-commital paraphrase of quantification over fictional characters, modeled on the non-commital paraphrase Kit Fine provides for quantification over possibilia. I also develop and defend the view that names for fictional characters are weakly non-referring, in Nathan Salmon’s sense, and so provide (...) us with a non-commital means to express singular propositions. The resulting position allows us to reap the benefits of Fictional Realism without paying the associated ontological cost. (shrink)

Alexius Meinong advocated a bold new theory of nonexistent objects, where we could gain knowledge and assert true claims of things that did not exist. While the theory has merit in interpreting sentences and solving puzzles, it unfortunately paves the way for contradictions. As Bertrand Russell argued, impossible objects, such as the round square, would have conflicting properties. Meinong and his proponents had a solution to that charge, posing genuine and non-genuine versions of the Law of Non-Contradiction. No doubt, they (...) had a clever response, but it may not adequately address Russell’s concern. Moreover, as I argue, genuine contradictions are inherent to the set of all nonexistent objects. And such contradictions lead to even further absurdities, for example, that nonexistent objects have and lack every property. Unfortunately, such implications of the theory make it too treacherous to adopt. (shrink)

The overgeneration argument attempts to show that accepting second-order validity as a sound formal counterpart of logical truth has the unacceptable consequence that the Continuum Hypothesis is either a logical truth or a logical falsehood. The argument was presented and vigorously defended in John Etchemendy’s The Concept of Logical Consequence and it has many proponents to this day. Yet it is nothing but a seductive fallacy. I demonstrate this by considering five versions of the argument; as I show, each is (...) either unsound or lacks a troubling conclusion. (shrink)

Is arguing over ontology a mistake? A recent proposal by Karen Bennett suggests that some metaphysical disputes, such as those over constitution and composition, can be dismissed on epistemic grounds. Given that both sides in a dispute try to minimize the differences between them, there are no good metaphysical grounds for choosing between them. In this paper, I expand on her epistemic dismissivism, arguing that given the Quinean conception of the task and method of metaphysics, we are warranted in believing (...) that all ontological disputes will end in a draw, even if they have not yet done so. By a draw, I mean that while both sides in a dispute are genuinely disagreeing about what there is and there are still moves open to them, there are no moves remaining that will advance the discourse further. (shrink)

Table of Formal and Descriptivists Ontologists (PDF - from Bernard Bolzano to present time) Ontologists of the 19th and 20th Centuries (a selection of critical judgments about some of the greatest philosophers of the recent past) Living Ontologists (a list of authors with an interest in ontology, with synthetic bibliographies).

[Draft substantially revised, September 2021] David Lewis acclimated us to talk of “nonactual concreta that exist,” regarding talking donkeys and the like. I shall argue that this was not for the best, and try to normalize a way of describing them as “actual concreta that do not exist.” The basis of this is a defense of the Meinongian thesis “there are objects of which it is true that there are no such objects,” re: fictitious and illusory objects. I first formulate (...) the problem of negative existentials in a novel way, and discuss why this new version is more forceful against anti-Meinongians. Additional data is also pressed against anti-Meinongians--e.g., the truth of ‘Pegasus is imaginary’, and a reading of ‘There actually are illusory objects’ where it comes out true. The Meinongian, in contrast, easily and uniformly explains the same data, by allowing the existence Pegasus, pink elephants, and the like. But contra Meinong, these cases suggest that the nonexistent objects are mind-dependent objects, and I clarify and defend this suggestion from several objections. The resulting Meinongianism is thus “conservative” in that it merely acknowledges the sense in which there are mind-dependent objects, imaginary and illusory objects being prime examples. Of special note, the “ideology” is conservative as well in that the typical Meinongian jargon of “nuclear” or “encoded” properties is paraphrased away. New suggestions about the ontology of abstracta, mere possibilia, and impossibilia are sketched in light of this. Comparisons are also made with Thomasson, Crane, and McGinn, among others. (shrink)

I advance an objection to Graham Priest’s account of fictional entities as nonexistent objects. According to Priest, fictional characters do not have, in our world, the properties they are represented as having; for example, the property of being a bank clerk is possessed by Joseph K. not in our world but in other worlds. Priest claims that, in this way, his theory can include an unrestricted principle of characterization for objects. Now, some representational properties attributed to fictional characters, a kind (...) of fictional entities, involve a crucial reference to the world in which they are supposed to be instantiated. I argue that these representational properties are problematic for Priest’s theory and that he cannot accept an unrestricted version of the principle of characterization. Thus, while not refuting Priest’s theory, I show that it is no better off than other Meinongian theories. (shrink)

I dub a certain central tradition in philosophy of language (and mind) the de re tradition. Compelling thought experiments show that in certain common cases the truth conditions for thoughts and public-language expressions categorically turn on external objects referred to, rather than on linguistic meanings and/or belief assumptions. However, de re phenomena in language and thought occur even when the objects in question don't exist. Call these empty de re phenomena. Empty de re thought with respect to numeration is explored (...) in this paper, and such thought with respect to hallucinations is touched on. (shrink)

This paper examines the logic of fictions within fictions. I argue that consistently nested consistent fictions must have certain formal characteristics. The most important is that they form a tree structure. Depending on one’s theory of fictional objects, additional constraints may apply regarding the appearance of a fictional object in two or more fictional universes. The background motivation for the paper is to use iterated fiction operators as a tool for making sense of iterated modal operators; I conclude by noting (...) briefly where the results about nested fictions can, and where they cannot, be extended to nested possible worlds. (shrink)

In this paper, I respond to D. Jacquette's paper, "Mally's Heresy and the Logic of Meinong's Object Theory" (History and Philosophy of Logic, 10 (1989): 1-14), in which it is claimed that Ernst Mally's distinction between two modes of predication, as it is employed in the theory of abstract objects, is reducible to, and analyzable in terms of, a single mode of predication plus the distinction between nuclear and extranuclear properties. The argument against Jacquette's claims consists of counterexamples to his (...) reductions and analyses. Reasons are offered for thinking that no such reduction/analysis of the kind Jacquette proposes could be successful. (shrink)

Average-NPs, such as the one in the title of this paper, have been claimed to be ‘linguistically identical’ to any other definite-NPs but at the same time to be ‘semantically inconsistent’ with these other definite-NPs. To some this is an ironclad proof of the irrelevance of semantics to linguistics. We argue that both of the initial claims are wrong: average-NPs are not ‘linguistically identical’ to other definite-NPs but instead show a number of interesting divergences, and we provide a plausible semantic (...) account for them that is not ‘semantically inconsistent’ with the account afforded other definite-NPs but in fact blends quite nicely with one standard account of the semantics for NPs. (shrink)

This is a study of the epistemology of indexical reference, Or its foundation in the intentionality of the speaker's awareness of the referent. Where the referent is the object of the speaker's acquaintance on that occasion, The sense expressed is the generic content of that awareness. This, Indexical sense determines indexical reference, But indexical sense works by appeal to the context of the speaker's awareness of the referent. It is discussed how, By virtue of indexical sense, Indexical reference is rigid, (...) I.E. Picks out the same referent in any possible world. (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)

In this talk I present the main results from Anta (2021), namely, that the theoretical division between Boltzmannian and Gibbsian statistical mechanics should be understood as a separation in the epistemic capabilities of this physical discipline. In particular, while from the Boltzmannian framework one can generate powerful explanations of thermal processes by appealing to their microdynamics, from the Gibbsian framework one can predict observable values in a computationally effective way. Finally, I argue that this statistical mechanical schism contradicts the Hempelian (...) (1958) thesis that the predictive power of a scientific theory is directly proportional to its explanatory potential, and vice versa. (shrink)

Mirdamad, a prominent philosopher of the Late Medieval Period active in the Islamic world, regards existence as nothing in reality. In this paper, I employ methods devised by contemporary analytic...

Modal Meinongianism provides the semantics of sentences involving intentional verbs Priest. To that end, Modal Meinongianism employs a pointed non-normal quantified modal logic model. Like earlier Meinongian views Modal Meinongianism has a characterisation principle, that claims that any condition whatsoever is satisfied by some object in some world. Recently, Everett has proposed an argument against QCP that, if successful, gives rise to problems identical to those Russell raised for Naïve Meinongianism, namely that it allows for true contradictions, and allows us (...) to define anything into existence. Everett claims that the ordinary meanings of “actual” license an inference pattern, such that if an object satisfies Actual A at some world, then that object satisfies A in the actual world. Given that actual world is the designated point of evaluation for truth simpliciter, QCP would fall prey to Russell’s criticisms. As opposed to Everett, I argue that, even if we grant Everett the assumption that “actual” is a modal indexical that rigidly refers to the actual world, it does not conform to the inference pattern above. This is because when an object satisfies Actual A at some world, this alters the assertoric force of “actual”, because “actual” is interpreted in the scope of some modal or intentional operator. I also explain that Everett’s proposed example carries existential commitment because the problematic noun-phrase occurs outside the scope of a modal or intentional operator. (shrink)

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

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)