This essay examines the role of non-existent objects in "epistemological ontology"--the study of the entities that make thinking possible. An earlier revision of Meinong's Theory of Objects is reviewed, Meinong's notions of Quasisein and Aussersein are discussed, and a theory of Meinongian objects as "combinatorially possible" entities is presented.

This essay examines the role of non-existent objects in "epistemological ontology" — the study of the entities that make thinking possible. An earlier revision of Meinong's Theory of Objects is reviewed, Meinong's notions of Quasisein and Außersein are discussed, and a theory of Meinongian objects as "combinatorially possible" entities is presented.

This essay examines the role of non-existent objects in "epistemological ontology" — the study of the entities that make thinking possible. An earlier revision of Meinong's Theory of Objects is reviewed, Meinong's notions of Quasisein and Außersein are discussed, and a theory of Meinongian objects as "combinatorially possible" entities is presented.

One of the most widespread claims combining epistemology and metaphysics in post-Avicennian Islamic philosophy was that every object of thought is real. In Muʿtazilite reading, it was endorsed due to a theory of knowledge which states that knowledge is a connection or relation between the knower and the object known. Avicennists accepted it due to the rule that in a proposition “s is p” if p is something positive s has to be positive and real too. Hence, insofar as one (...) can conceptually distinguish between two non-existent items, they have to be real. In this article, the author presents significant consequences of this theory: the acceptance and denial of non-existent yet real extramental objects; the concept of mental existence as an alternative solution; the conceivability of paraconsistent ideas and their reality or reducibility to some real objects. (shrink)

The Nyāya philosopher Udayana devotes the first chapter of his Ātmatattvaviveka to refuting the Buddhist thesis of universal momentariness—the view that nothing which exists can persist through time—and to establishing the contrary view that things can and do persist. In the course of his critique of the Buddhists' "inference from existence" which purports to establish the momentariness thesis, Udayana is forced to consider the problem of how, if at all, it is possible to meaningfully and reliably think and talk about (...) things which do not exist.In this paper, I offer a close reading of this section of the ĀTV, taking seriously both the philosophical context and commitments of Udayana's work in general, and the... (shrink)

This essay argues for the importance of developing theories of nonexistent objects. The grounds are utility and smoothness of logical theory. In the latter case a parallel with the theory of negative and imaginary numbers is exploited. The essay concludes with a counterexample to a general argument against the enterprise of developing theories of nonexistent objects, and outlining the foremost problem an adequate theory of nonexistent objects must solve.

This essay argues for the importance of developing theories of nonexistent objects. The grounds are utility and smoothness of logical theory. In the latter case a parallel with the theory of negative and imaginary numbers is exploited. The essay concludes with a counterexample to a general argument against the enterprise of developing theories of nonexistent objects, and outlining the foremost problem an adequate theory of nonexistent objects must solve.

The objective of this study is twofold: to examine the patterns that govern social reporting with reference to an Islamic framework and to identify the moral legitimacy factors that influence them. We select 146 publicly listed Sharia‐compliant companies and classify the disclosures in their annual reports according to an Islamic framework that categorises items as either Required, Expected or Desired to indicate the degree of importance each item carries from an Islamic perspective. Based on this framework, we then analyse moral (...) legitimacy factors, specifically the type of Sharia screening body and the proportion of Muslims in the population, that may influence the prioritisation of the different categories of social reporting. We find that disclosures that fall into the Required category of our framework—especially those that relate to companies’ involvement in “haram” activities (activities not permissible in Islam)—are still few among the companies studied. Our research also reveals that both moral legitimacy factors under investigation influence the three categories of social reporting, although in different ways. This research contributes to the existing literature by empirically examining how organisations prioritise their disclosure of virtues and the moral legitimacy factors that influence that prioritisation. (shrink)

The argument is an investigation of the philosophy of Austrian philosopher Alexius Meinong. There are three chapters. The first chapter argues that there are non-existent objects. It is argued that negative existential statements have a simple subject-predicate logical form. The conclusion follows from this premise, together with realist assumptions about truth and predication. Positive and negative existential statements have subject-predicate logical form, I argue, because; that is the grammatical form they appear to have, and the alternative analysis of (...) their logical form is unable to explain certain features of positive and negative existential statements. ;The second chapter presents Meinong's theory and explains his terminology. Meinong was primarily interested in the phenomenon of intentionality, and developed his own technical idiom. An assumption is a mental state, akin to judgment but without the element of conviction. It refers to a circumstance, which is a mind-independent arrangement of objects. Intending an object is a matter of assuming a circumstance. Two theses characterize Meinong's thought. The Principle of Independence: Objects can be in positive predicative circumstances, even when they are not in positive existential circumstances. And the Principle of Indifference: An object is equally adapted to entering into both positive and negative existential circumstances. ;The third chapter examines issues arising from charges that Meinong's theory is inconsistent. Meinong's theory is not inconsistent. Logical re-constructions of Meinong's theory, however, exploit primitive logical distinctions that lack a clear metaphysical justification. Meinong's technical notion of a modal moment is suited to the solution of difficulties Meinong was unaware of, and has been neglected by Meinong's other commentators. (shrink)

In this discussion of Colin McGinn's book, 'Logical Properties', I comment first on the chapter "Existence", then on the chapter "Modality." With respect to existence, I argue that McGinn's view that existence is a property that some objects have and other objects lack requires the property of existence to be fundamentally unlike ordinary qualitative properties. Moreover, it opens up a challenging skeptical problem: how do I know that I exist? With respect to modality, I argue that McGinn's argument (...) that quantificational analyses of modality in terms of possible worlds are inevitably circular does not apply to modal theorists who hold that the notion of an impossible world is incoherent. (shrink)

Should objects count as necessarily having certain properties, despite their not having those properties when they do not exist? For example, should a cat that passes out of existence, and so no longer is a cat, nonetheless count as necessarily being a cat? In this essay I examine different ways of adapting Aldo Bressan’s MLν so that it can accommodate an affirmative answer to these questions. Anil Gupta, in The Logic of Common Nouns, creates a number of languages that (...) have a kinship with Bressan’s MLν , three of which are also tailored to affirmatively answering these questions. After comparing their languages, I argue that metaphysicians and philosophers of language should prefer MLν to Gupta’s languages in most applications because it can accommodate essential properties, like being a cat, while being more uniform and less cumbersome. (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)

This paper is concerned with neo-Fregean accounts of reference to abstract objects. It develops an objection to the most familiar such accounts, due to Bob Hale and Crispin Wright, based upon what I call the 'proliferation problem': Hale and Wright's account makes reference to abstract objects seem too easy, as is shown by the fact that any equivalence relation seems as good as any other. The paper then develops a response to this objection, and offers an account of (...) what it is for abstracta to exist that is Fregean in spirit but more robust than familiar views. (shrink)

The question of the existence of gravitational stress-energy in general relativity has exercised investigators in the field since the inception of the theory. Folklore has it that no adequate definition of a localized gravitational stress-energetic quantity can be given. Most arguments to that effect invoke one version or another of the Principle of Equivalence. I argue that not only are such arguments of necessity vague and hand-waving but, worse, are beside the point and do not address the heart of the (...) issue. Based on a novel analysis of what it may mean for one tensor to depend in the proper way on another, which, en passant, provides a precise characterization of the idea of a "geometric object", I prove that, under certain natural conditions, there can be no tensor whose interpretation could be that it represents gravitational stress-energy in general relativity. It follows that gravitational energy, such as it is in general relativity, is necessarily non-local. Along the way, I prove a result of some interest in own right about the structure of the associated jet bundles of the bundle of Lorentz metrics over spacetime. I conclude by showing that my results also imply that, under a few natural conditions, the Einstein field equation is the unique equation relating gravitational phenomena to spatiotemporal structure, and discuss how this relates to the non-localizability of gravitational stress-energy. (shrink)

Whether in Plato’s Sophist or in Quine’s “Plato’s Beard,”1 the representation of unreal or non-existent objects is usually presented as a puzzle. How is it that we can think and talk coherently about things that do not exist or are not real, given that thinking and talking about such things seem to involve relations between things that exist and things that don’t exist? Uriah Kriegel articulates the problem most generally as the following inconsistent triad:One can think of non-existents.One (...) cannot bear a relation to non-existents.Thinking of something involves bearing a relation to it.2Each of these propositions is difficult to reject. Experience and introspection seem to... (shrink)

Does the real world, defined as a world of objects that exist independent of human interests, concerns, and cognitive activities, really exist? Jan Westerhoff argues that we have good reason to believe it does not. His discussion considers four main facets of the idea of the real world, ranging from the existence of a separate external and internal world, to the existence of an ontological foundation that grounds the existence of all the entities in the world, and the existence (...) of an ultimately true theory that provides a final account of all there is. As Westerhoff discusses the reasons for rejecting the postulation of an external world behind our representations, he asserts that the internal world is not as epistemically transparent as is usually assumed, and that there are good reasons for adopting an anti-foundational account of ontological dependence. Drawing on conclusions from the ancient Indian philosophical system of Madhyamaka Buddhism, Westerhoff defends his stance in a purely Western philosophical framework, and affirms that ontology, and philosophy more generally, need not be conceived as providing an ultimately true theory of the world. (shrink)

In this paper, I consider two curious subsystems ofFrege's Grundgesetze der Arithmetik: Richard Heck's predicative fragment H, consisting of schema V together with predicative second-order comprehension (in a language containing a syntactical abstraction operator), and a theory T in monadic second-order logic, consisting of axiom V and 1 1-comprehension (in a language containing anabstraction function). I provide a consistency proof for the latter theory, thereby refuting a version of a conjecture by Heck. It is shown that both Heck and T (...) prove the existence of infinitely many non-logical objects (T deriving,moreover, the nonexistence of the value-range concept). Some implications concerning the interpretation of Frege's proof of referentiality and the possibility of classifying any of these subsystems as logicist are discussed. Finally, I explore the relation of T toCantor's theorem which is somewhat surprising. (shrink)

Consider predicates like 'is a fictional character' and 'is a mythical object'. Since their ascription entails a corresponding Negative Existential claim, call these 'NE-characterizing predicates'. Objectualists such as Parsons, Sylvan, van Inwagen, and Zalta think that NE-characterizing properties are genuine properties of genuinely non-existent objects. But how, then, to make room for statements like 'Vulcan is a failed posit' and 'that little green man is a trick of the light'? The predicates involved seem equally NE-characterizing yet on the (...) surface fail to mark a genuine property o f things. Instead, the truth of such predications strongly supervenes on types of referential failure. Kendall Walton's anti-objectualist account of talk about fiction provides a neat solution to this supervenience problem by invoking special games of make-believe. The present paper claims that while Walton's view thereby gains an important advantage over objectualism, the solution faces problems of its own. The rest of the paper desribes another solution, one that assigns a large role to the idea of metaphor. (shrink)

In this book, Jiri Benovsky defends the view that he doesn't exist. In this book, he also defends the view that this book itself doesn't exist. But this did not prevent him to write the book, and although in Benovsky's view you don't exist either, this does not prevent you to read it. Benovsky defends a brand of non-exceptionalist eliminativism. Some eliminativists, typically focusing on ordinary material objects such as chairs and hammers, make exceptions, for instance for blue whales (...) (that is, living beings) or for persons (that is, conscious organisms). Benovsky takes one by one all types of allegedly existing objects like chairs, whales, and persons and shows that from the metaphysical point of view they are more trouble than they are worth – we are much better off without them. He thus defends an eliminativist view about ordinary objects as well as the 'no-Self' view, where he explores connections between metaphysics, phenomenology, and Buddhist thought. He then also considers the case of aesthetic objects, focusing on musical works and photographs, and shows that the claim of their non-existence solves the many problems that arise when one tries to find an appropriate ontological category for them, and that such an eliminativist view is more natural than what we might have thought. The arguments provided here are always topic-specific: each type of entity is given its own type of treatment, thus proving a varied and solid foundation for a generalized, non-exceptionalist, full-blown eliminativist worldview. (shrink)

This chapter focuses on two clusters of questions concerning existence. The first cluster concerns the scope of existence, examining how wide the domain of existing things is and whether it encompass absolutely everything. The second cluster concerns vagueness and indeterminacy, explaining whether vague things and vague categories of things are there or all vagueness is a matter of referring indifferently to a large number of absolutely precise things and showing the ultimate source of vagueness. There are two theories of vagueness, (...) epistemic and metaphysical. The chapter focuses on Meinongian definitions of 'existence' and examines four arguments in favor of Anti‐Actualism. The first and second respectively appeals to common sense and the need for intentional objects, that is, objects of certain mental attitudes. The third appeals to the need for fictional and illusory entities. And the fourth appeals to the need for non‐existent things as constituents of certain merely possible situations. (shrink)

That certain paper bills have monetary value, that Vladimir Putin is the president of Russia, and that Prince Philip is the husband of Queen Elizabeth II: such facts are commonly called ‘institutional facts’. IFF are, by definition, facts that exist by virtue of collective recognition. The standard view or tacit belief is that such facts really exist. In this paper we argue, however, that they really do not—they really are just well-established illusions. We confront realism about IFF with six criteria (...) of existence, three established and three less so but highly intuitive. We argue that they all tell against the existence of IFF. An obvious objection to IFF non-realism is that since people’s behaviour clearly reflects the existence of IFF, denying their existence leaves an explanatory gap. We reject this argument by introducing a variant of the so-called ‘Thomas Theorem,’ which says that when people collectively recognize a fact as existing, they largely behave accordingly, regardless of whether that fact really exists or not. (shrink)

Two connected themes have been at the core of the old perplexity regarding thinking and speaking about non-existent objects. One involves a question of reference. Can we refer to non-existent objects without, thereby, recognizing, in some sense, non-existent entities as objects of reference? The other involves a question about existence. Is existence a property representable by a predicate in a logically adequate symbohsm? It is argued (1) that existence is not to be construed as (...) an attribute represented by a predicate, (2) that nonnaming names introduce problems, not solutions to problems, (3) that purported properties such as self-identical are specious, and (4) that the Russell property is also seen to be specious by our consideration of predication. (shrink)

Two connected themes have been at the core of the old perplexity regarding thinking and speaking about non-existent objects. One involves a question of reference. Can we refer to non-existent objects without, thereby, recognizing, in some sense, non-existent entities as objects of reference? The other involves a question about existence. Is existence a property representable by a predicate in a logically adequate symbohsm? It is argued (1) that existence is not to be construed as (...) an attribute represented by a predicate, (2) that nonnaming names introduce problems, not solutions to problems, (3) that purported properties such as self-identical are specious, and (4) that the Russell property is also seen to be specious by our consideration of predication. (shrink)

Two connected themes have been at the core of the old perplexity regarding thinking and speaking about non-existent objects. One involves a question of reference. Can we refer to non-existent objects without, thereby, recognizing, in some sense, non-existent entities as objects of reference? The other involves a question about existence. Is existence a property representable by a predicate in a logically adequate symbohsm? It is argued (1) that existence is not to be construed as (...) an attribute represented by a predicate, (2) that nonnaming names introduce problems, not solutions to problems, (3) that purported properties such as self-identical are specious, and (4) that the Russell property is also seen to be specious by our consideration of predication. (shrink)

This paper addresses the ontological status of the ontological categories as defended within E.J. Lowe’s four-category ontology (kinds, objects, properties/relations, and modes). I consider the arguments in Griffith (2015. “Do Ontological Categories Exist?” Metaphysica 16 (1):25–35) against Lowe’s claim that ontological categories do not exist, and argue that Griffith’s objections to Lowe do not work once we fully take advantage of ontological resources available within Lowe’s four-category ontology. I then argue that the claim that ontological categories do not exist (...) has no undesirable consequences for Lowe’s brand of realism. (shrink)

First it will be necessary to examine the argument, and the meaning of the argument, by which Mr. Ingram-Pearson is led to uphold such an unusual position. Using the statement, "fairies do not exist," as his example, he observes: "In order to achieve its obvious status as a denial this statement must have some object of reference for its subject term; for denials which are denials of nothing are not denials in any sense at all." What, then, is the designate (...) of the term "fairies"? It is, we are told, "an existent [italics mine] which at least one person believes to be present in the world and which another person at the same time and in the same context believes is not there." To say that "fairies do not exist" is therefore to say that "certain entities, designated by the term 'fairies,' are not present in the world," or "specific entities, designated by the term 'fairies,' are really absent from the world." The latter statement is positive, and Mr. Ingram-Pearson tells us explicitly that positive statements cannot "succeed in making intelligible" something made intelligible by negative statements about non-existents; but he has in mind such "ordinary" positive statements as "fairies are imagined beings." In other words, it is not that negative statements about. (shrink)

This paper examines the role existence plays in measurement validity. I argue that existing popular theories of measurement and of validity follow a correspondence framework, which starts by assuming that an entity exists in the real world with certain properties that allow it to be measurable. Drawing on literature from the sociology of measurement, I show that the correspondence framework faces several theoretical and practical challenges. I suggested the validity-first framework of measurement, which starts with a practice-based validation process as (...) the basis for a measurement theory, and only posits objective existence when it is scientifically useful to do so. (shrink)

It is probably true to say that the majority of philosophers have considered the universe to be mental. If the universe is really mental, it follows that matter cannot be quite real, and many philosophers have in fact brought forward cogent reasons for regarding matter as in some sense illusory. Those who hold this view are called Idealists. Idealism has historically assumed a number of different forms, between some of which there is little in common, but all forms of Idealism (...) agree in maintaining that objects, such as chairs and tables, of which common sense believes the external world to exist, are not material. (shrink)

I shall defend in this paper the thesis that, if there are irreducible powers such as the power to produce a certain object (generative powers), then there are objects that do not exist and they are part of the fundamental level of the universe. Thus, generative powers come together with Meinongianism. After having clarified my argument, I shall examine and criticize Armstrong (1997)’s attempt to reduce powers to other sorts of entities. Finally, I shall deal with five accounts of (...) generative powers that are somehow alternative to Meinongianism and with some (more general) miscellaneous concerns about the truth of this doctrine. (shrink)

Worlds, Lewis says this: Let us say that something persists iff, somehow or other, it exists at various times; this is the neutral word. Something perdures iff it persists by having different temporal parts, or stages, at different times, though no one part of it is wholly present at more than one time; whereas it endures iff it persists by being wholly present at more than one time. Perdurance corresponds to the way a road persists through space; part of it (...) is here, and part of it is there, and no part is wholly present at two different places. Endurance corresponds to the way a universal, if there are such things, would be wholly present wherever and whenever it is instantiated. Endurance involves overlap: the content of two different times has the enduring thing as a common part. Perdurance does not.1 Lewis's remarks suggest the following formulations of the two views in the 3D/4D controversy.2.. (shrink)

Can we refer to objects which do not exist? Searle says that we cannot. He postulates an ‘axiom of existence’ such that, if an object does not exist, we cannot refer to it. This ‘axiom of existence’ could be taken simply as a way of defining the notion of ‘reference’; we would not count a reference to a non-existent object as a ‘reference’ in the philosophical sense; or perhaps it might count as a reference but not as a (...) ‘successful’ or ‘consummated’ reference, to use the terminology which Searle sometimes adopts. Whichever way we take Searle's doctrine I wish to argue that it is objectionable. The conceptual scheme he advocates obscures the truth. But I do not deny that there is a temptation to resort to it, and I hope to show that, where lawyers have yielded to the temptation, pernicious doctrines have resulted. (shrink)

Despite its importance for early analytic philosophy, Gottlob Frege's account of existence statements, according to which they classify concepts, has been thought to succumb to a number of well-worn criticisms. This article does two things. First, it argues that, by remaining faithful to the letter of Frege's claim that concepts are functions, the Fregean account can be saved from many of the standard criticisms. Second, it examines the problem that Frege's account fails to generalize to cases which involve definite descriptions (...) and proper names. To deal with this the proffered analysis deviates from the letter of Frege's views, while remaining within its spirit. It proposes, in opposition to Frege, that expressions which grammatically look like singular terms should not always be read as referring to objects, but are sometimes best analysed as indicating functions. (shrink)

When Husserl speaks of the so-called ‘transcendental reduction’ or ‘phenomenological epochē’ many believe that he is eschewing the question of truth or existence. Two reasons are given for this: First, Husserl explicitly states that when we perform the reduction, we should no longer naively ‘accept [the world] as it presents itself to me as factually existing’ (Id I §30, p. 53) and should suspend our judgement with regard to ‘the positing of its actual being’ (Id I §88, p. 182). Second, (...) Husserl seems to have no problem in referring to an ‘object’ of thought even when we refer to non-existent, hallucinatory or indeed impossible objects. This seems to suggest that he is not interested in the question whether or not there is a corresponding ‘ordinary’ object. The paper seeks to question this and will show that his inquiry never loses sight of the questions of truth and existence but rather brings them into the foreground. (shrink)

Non-existence provides big problems for ontology and modest for logic. Logical problems of non-existence consist in licensing inferences in which sentences with empty terms are involved. The standard predicate logic solves this question by presupposing that every individual constant has an object to which it refers. This means that empty domains are excluded from semantics for the first-order logic. However, there is a temptation to consider logic without existential presuppositions.The ontological problem of non-existence leads to the question of the meaning (...) of 'nothing'. We encounter "various conceptions of nothing" in the history of philosophy from Parmenides to our times. However, nothing (or nothingness) is always a negation of being. Since we have distributive and collective (mereological) concepts of being, we also should distinguish nothing in the distributive and mereological meaning. This difference is important because only the former leads to the paradox of nothing of all nothings, analogical to the paradox of all sets. A closer analysis of the nothing in the distributive sense shows that any meaningful talk about non-existence requires a relativisation to a fixed domain of discourse. This seems; to entail that the empty set is the formal model of nothing what means that the concept of absolute nothing in the distributive sense is simply inconsistent. To some extent, being and nothing are mutually dual. This motivates that the concept of nothing is governed by so-called dual logic connected with processes of rejection. More specifically, statements on "nothing" are not asserted but rejected. (shrink)

Non-existence provides big problems for ontology and modest for logic. Logical problems of non-existence consist in licensing inferences in which sentences with empty terms are involved. The standard predicate logic solves this question by presupposing that every individual constant has an object to which it refers. This means that empty domains are excluded from semantics for the first-order logic. However, there is a temptation to consider logic without existential presuppositions.The ontological problem of non-existence leads to the question of the meaning (...) of 'nothing'. We encounter "various conceptions of nothing" in the history of philosophy from Parmenides to our times. However, nothing (or nothingness) is always a negation of being. Since we have distributive and collective (mereological) concepts of being, we also should distinguish nothing in the distributive and mereological meaning. This difference is important because only the former leads to the paradox of nothing of all nothings, analogical to the paradox of all sets. A closer analysis of the nothing in the distributive sense shows that any meaningful talk about non-existence requires a relativisation to a fixed domain of discourse. This seems; to entail that the empty set is the formal model of nothing what means that the concept of absolute nothing in the distributive sense is simply inconsistent. To some extent, being and nothing are mutually dual. This motivates that the concept of nothing is governed by so-called dual logic connected with processes of rejection. More specifically, statements on "nothing" are not asserted but rejected. (shrink)

Can we refer to objects which do not exist? Searle says that we cannot. He postulates an ‘axiom of existence’ such that, if an object does not exist, we cannot refer to it. This ‘axiom of existence’ could be taken simply as a way of defining the notion of ‘reference’; we would not count a reference to a non-existent object as a ‘reference’ in the philosophical sense; or perhaps it might count as a reference but not as a (...) ‘successful’ or ‘consummated’ reference, to use the terminology which Searle sometimes adopts. Whichever way we take Searle's doctrine I wish to argue that it is objectionable. The conceptual scheme he advocates obscures the truth. But I do not deny that there is a temptation to resort to it, and I hope to show that, where lawyers have yielded to the temptation, pernicious doctrines have resulted. (shrink)

InPart I of my article I have tried to show how the problem of negation has led the Jains to accept Non-existence and Existence as constituents ordharmas of every real object and to formulate their first dialectical principle:sad-asad-rŪpa $$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\cdot}$}}{m} $$ vastu or ‘Every real object possesses a mode as an existent and as a non-existent’. Their interpretation of negation seems to be based on the ‘primitive’ realistic standpoint that every word in a true proposition, including the word ‘not(-)’, (...) must have some sort of objective reference. InPart II I have tried to show, using Mereology as a logical tool, howHaribhadra SŪri in the first chapter of theAnekānta-jaya-patākā defends the Jain viewpoint. (shrink)

Of course it is necessary to distinguish clearly between statements which actually purport to be about non-existents and seemingly similar statements in which the question of non-existents is not in fact broached at all. These latter statements are to be distinguished from statements about non-existents, not in not being about non-existents and therefore being about existents, but in being distinct from the questions both of existence and nonexistence. They deal with another question altogether, namely that of the various predicative uses (...) of the substantive verb. The statement "fairies have wings," for instance, is a statement falling within this latter category: it is not concerned with the existential status of the objects of reference designated by the subject term nor indeed with any designation whatever; merely with the signification and analysis of the concept "fairy"; whether having wings is a subsidary and implicit description within the signification "fairy.". (shrink)

An attempt is made in the present essay to accommodate various senses of the notion of existence and ofthat of non-existence within the framework of logic. With this aim in view a system of Lesniewski's Ontology, referred to as System S, is outlined. Equipped with appropriate definitions and illustrated with a selection of theses it offers a logical theory of existence and non-existence. The usefulness of the theory is then tested by interpreting in its terms some of the principal notions (...) and assertions of Meinong's ontology. A few brief comments on the notion of 'possible object' and on 'semantics' of fiction conclude the essay. (shrink)

An attempt is made in the present essay to accommodate various senses of the notion of existence and ofthat of non-existence within the framework of logic. With this aim in view a system of Lesniewski's Ontology, referred to as System S, is outlined. Equipped with appropriate definitions and illustrated with a selection of theses it offers a logical theory of existence and non-existence. The usefulness of the theory is then tested by interpreting in its terms some of the principal notions (...) and assertions of Meinong's ontology. A few brief comments on the notion of 'possible object' and on 'semantics' of fiction conclude the essay. (shrink)