In this paper I shall examine the bearing of the relationship between the concepts of existence and predication upon Anselm’s ontological argument.

It is advisable to treat some sorts of discourse about fiction with the aid of an intensional operator "in such-And-Such fiction...." the operator may appear either explicitly or tacitly. It may be analyzed in terms of similarity of worlds, As follows: "in the fiction f, A" means that a is true in those of the worlds where f is told as known fact rather than fiction that differ least from our world, Or from the belief worlds of the community in (...) which the fiction originated. (shrink)

The authors develop an axiomatic theory of nonexistent objects and and give a formal semantics for the language of the theory.

For Meinong, familiarly, fictional entities are not created, but rather merely discovered (or picked out) from the inexhaustible realm of Aussersein (beyond being and non-being). The phenomenologist Roman Ingarden, in contrast, offers in his Literary Work of Art of 1931 a constructive ontology of fiction, which views fictional objects as entities which are created by the acts of an author (as laws, for example, are created by acts of parliament). We outline the logic of fiction which is implied by Ingarden’s (...) approach, showing how it distinguishes the properties possessed by fictional objects (for instance of having been created by such and such an author in such and such a work) from characteristics (for instance of smoking a pipe, of living in Baker Street) which are merely associated with such objects. (shrink)

I have argued elsewhere that there are facts, and possibilities, that are not purely qualitative. In a second paper, however, I have argued that all possibilities are purely qualitative except insofar as they involve individuals that actually exist. In particular, I have argued that there are no thisnesses of nonactual individuals (where the thisness of x is the property of being x, or of being identical with x), and that there are no singular propositions about nonactual individuals (where a singular (...) proposition about an individual x is a proposition that involves or refers to x directly, perhaps by having x or the thisness of x as a constituent, and not merely by way of x's qualitative properties or relations to other individuals). I am also inclined to believe that there are not yet any thisnesses of individuals that will exist but do not yet, nor any singular propositions about future individuals--and, hence, that all possibilities are purely qualitative except insofar as they involve individuals that already do exist or have existed (counting timeless individuals, if any, as already existing). This thesis about the relation of time to thisness is the subject of the present paper, in which the conclusions of my previous papers will be presupposed. (shrink)

The essay outlines the character of free logic, and motivation for its construction and development. It details some technical achievements of high philosophical interest, but urges that the role of existence assumptions in logic is still not fully understood, that unresolved old problems, both technical and philosophical, abound, and presents some new problems of considerable philosophical import in free logic.

In this paper I argue against the usual interpretation of\nMeinong's argument for nonexistent objects, an\ninterpretation according to which Meinong imported\nnonexistent objects like "the golden mountain" to account\ndirectly for the truth of statements like the golden\nmountain is golden'. I claim instead (using evidence from\nMeinong's "On Assumptions") that his argument really\ninvolves an ineliminable appeal to the notion of pretense.\nThis appeal nearly convinced Meinong at one stage that he\ncould do without nonexistent objects. The reason, I argue,\nwhy he nonetheless embraced an ontology of nonexistents (...) has\nto do with the phenomenology of representation, and not\nwith semantics. (shrink)

The ontological argument fails because of an operator order switch between (1) “necessarily there is an perfect being” and (2) “there is a being which necessarily is perfect”. Here (1) is trivially true logically but (2) problematic. Since Kant's criticisms were directed at the notion of existence, not at the step from (1) to (2), they are misplaced. They are also wrong, because existence can be a predicate. Moreover, Kant did not anticipate Frege's claim that “is” is ambiguous between existence, (...) predication, identity, and class‐inclusion. To restore the ontological argument, an extra premise is needed to the effect that it is known who the existentially perfect being is. The question is raised whether Kant could have meant the failure of this extra premise by his thesis that existence is not a real predicate. (shrink)

Logical Atomism is a philosophy that sought to account for the world in all its various aspects by relating it to the structure of the language in which we articulate information. In _The Philosophy of Logical Atomism,_ Bertrand Russell, with input from his young student Ludwig Wittgenstein, developed the concept and argues for a reformed language based on pure logic. Despite Russell’s own future doubts surrounding the concept, this founding and definitive work in analytical philosophy by one of the world’s (...) most significant philosophers is a remarkable attempt to establish a novel way of thinking. (shrink)

The aim of this paper is to present an argument to show both that ‘exists ’ is not a predicate of things or continuants and that ‘is present ’ is not a predicate of events or states of affairs. I shall confine my remarks to statements having a singular referring expression as their subject. My argument requires that we accept as a premiss that Strawson’s account of referring correctly depicts the working of statements containing a singular referring expression as their (...) subject. According to the Strawsonian account, a subject–predicate sentence can be used to make a statement, that is, to say something that can be said to be true or false, only if its subject expression refers successfully. Thus the statement ‘The S is φ presupposes the existential statement ‘There is one and only one S’, such that if this latter statement is false nothing true or false has been said, but rather there has been, what Strawson calls, a spurious or incorrect use made of the sentence ‘The S is φ’. (shrink)

It is persons who are ontologically committed. But a person is not ontologically committed by virtue of his character, his height, his social standing or whatever, but by virtue of the sentences he assents to. Hence we should look to sentences for a criterion of ontological commitment. This is precisely what is done by advocates of what I will call the Referential theory. In this paper I argue that the Referential theory faces serious objections related to the role paraphrase must (...) play in it. I then present a modified Referential theory and go on to discuss certain implications of the modified theory. More precisely, the paper divides up as follows. In §1 I present the Referential theory. In §2 I argue that it is in trouble over paraphrase. In §3 I consider a general objection to the arguments of §2. In §4 I present the modified theory. In §5 I consider the implications of the modified theory for polemic over what there is and for the existence of properties or universals. (shrink)

I shall unfold Kant’s views on three topics. Kant holds that knowledge of anything’s existence is obtained only by existential judgments. He distinguishes several respects in which the predicate of such a judgment differs from other predicates. In the light of these, Kant sets forth what is required for verifying existential judgments.

THE PHILOSOPHY which I advocate is generally regarded as a species of realism, and accused of inconsistency because of the elements in it which seem contrary to that doctrine. For my part, I do not regard the issue between realists and their opponents as a funda- mental one; I could alter my view on this issue without changing my mind as to any of the doctrines upon which I wish to lay stress. I hold that logic is what is fundamental (...) in philosophy, and that schools should be characterized rather by their logic than by their metaphysic. My own logic is atomic, and it is this aspect upon which I should wish to lay stress. Therefore I prefer to describe my philosophy as "logical atomism," rather than as "realism," whether with or without some prefixed adjective. (shrink)