Theory and History of Ontology

website ontology logoeBook version

My other websites:

History of Logic

website logic logoeBook version 


website bibliographia logoeBook version

Theory and History of Ontology by Raul Corazzon | e-mail:


Key Terms in Ontology: Existence. Definitions by Major Philosophers


"I think an almost unbelievable amount of false philosophy has arisen through not realizing what 'existence' means." (p. 234)

From: Bertrand Russell, Logic and Knowledge. Essays 1901-1950, New York: Macmillan 1956.

"Philosophical discussion of the notion of existence, or being, has centered on two main problems which have not always been very clearly distinguished. First, there is the problem of what we are to say about the existence of fictitious objects, such as centaurs, dragons, and Pegasus; second, there is the problem of what we are t o say about the existence of abstract objects, such as qualities, relations, and numbers. Both problems have tempted philosophers to say that there are inferior sorts of existence a s well as the ordinary straightforward sort, and they therefore often suggest that we use the word "being" to cover both kinds but restrict "existence" to "being" of the common, non-fictitious, non-abstract sort. (Sometimes the term "reality" is proposed for "existence" or for "being.") T he problems of fiction and abstraction are different, how ever, for there are both real and fictitious abstractions. For example, the integer between two and four is real, but the integer between two and three is fictitious. On the other hand, there are both concrete and abstract fictions; for example, the winged horse of Bellerophon and the integer between two and three. Accordingly, philosophers have often dealt with the two problems in quite different ways and perhaps ought to do so.

While these are the two main problems, there are others, f or example, that of what we are to say of the being of objects which have not yet begun, or have now ceased, to exist. The history of this subject, moreover, has been tangled with theological issues, to which it will be necessary to refer at certain points." (p. 493)

From: Paul Edwards (ed.), Encyclopedia of Philosophy, New York: Macmillan 1967, entry Existence, by Arthur Norman Prior; Second edition: Donald M. Borchert (ed.), New York: Thomson Gale 2006, vol. 3, pp. 493-500.

"The Indo-European languages in which all the philosophers from Parmenides to Sartre have written have a verb represented in English by 'be', which some of the time at least does the same work as is done by 'exist'. Everything that can be called philosophy of existence that was written by the Greek philosophers of antiquity was expressed with the help of 'einai', the Greek equivalent of 'be'; and it is impossible to reach any clear understanding of their doctrines without examining how they used this word, and how its synonyms in other languages are used." (Preface, p. VIII-IX) "German and French idioms, which most frequently use 'Es gibt' and 'Il y a' in place of 'There is', seem to show a stronger awareness than English of the difference between existential propositions and propositions ascribing properties to objects. Nevertheless even these languages have forms 'Es ist' and 'Il est', which make use of equivalents of the verb 'be', as English uses 'be' in 'There is' and 'There are', and one would have to look further a field to find languages where there was no possibility of construing an existential judgement as predicating being of an object or objects in the same way as dwelling in Transylvania or coming down the road can be predicated of an object or objects. Latin, as we have seen, has the simple unadorned use of 'est' and 'sunt' as a possible substitution for the verbs 'existit' and 'existunt'. Classical Greek, which lacks any word obviously equivalent to 'exist', is forced to use parts of 'einai', its synonym for 'be', much more widely than the languages we have mentioned, for the expression of existential judgements. Thereby hangs a philosophical story of epic dimensions, a Great Chain of Philosophies of Being." (p. 3)

From: Christopher John Fards Williams, What is Existence?, Oxford: Clarendon Press 1981.

"In the extended discussion of the concept (or concepts) of Being in Greek philosophy from Parmenides to Aristotle, the theme of existence does not figure as a distinct topic for philosophical reflection. My aim here is to defend and illustrate this claim, and at the same time to suggest some of the reasons why it is that the concept of existence does not get singled out as a topic in its own right. Finally, I shall raise in a tentative way the question whether or not the neglect of this topic was necessarily a philosophical disadvantage.

Let me make clear that my thesis is limited to the classical period of Greek philosophy, down to Aristotle. The situation is more complicated in Hellenistic and Neoplatonic thought, (...) I suspect that a careful study of these Greek terms would reveal that even in their usage we find no real equivalent of our concept of existence. In any case, this later terminology (...) plays no part in the formulation of Plato's and Aristotle's ontology, and I shall ignore it here. My general view of the historical development is that existence in the modern sense becomes a central concept in philosophy only in the period when Greek ontology is radically revised in the light of a metaphysics of creation: that is to say, under the influence of Biblical religion. As far as I can see, this development did not take place with Augustine or with the Greek Church Fathers, who remained under the sway of classical ontology. The new metaphysics seems to have taken shape in Islamic philosophy, in the form of a radical distinction between necessary and contingent existence: between the existence of God, on the one hand, and that of the created world, on the other." (p. 7)


To return now to the question with which we began: Why does existence not emerge as a distinct concept in Greek philosophy? In principle the answer is clear. My explanation is that in Greek ontology in its early stages, in Plato and Parmenides, the veridical concept was primary, and the question of Being was the question of "reality" as determined by the concept of truth. Since this conception of reality is articulated in Plato by copula sentences of the form "X is Y," it turns out that even the concept of existence gets expressed in this predicative form: as we have seen, Platonic Greek for "X exists" is "X is something" . In the scheme of categories which Aristotle takes as the starting point for his own investigation of being, this same predicative pattern serves as the primary device for analyzing what there is, and for showing how the various kinds of being are related to one another. So it is naturally the theory of predication, and not the concept of existence, which becomes the central and explicit theme of Aristotle's metaphysics, as it was the implicit theme of Plato's discussion of Being in the Sophist. (p. 15).

From: Charles H. Kahn, Why Existence does not Emerge as a Distinct Concept in Greek Philosophy, in: Parviz Morewedge (ed.), Philosophies of Existence. Ancient and Medieval, New York: Fordham University Press 1982, pp. 7-17. (Reprinted in C. H. Kahn. Essays on Being, New York: Oxford University Press 2009, pp. 62-74.)

Origins of the term "existence"

"The terminology for existence is much more complicated, and I can only give a rough sketch of the problem. We have first to consider how ὑπάρχειν (hyparkein) comes to be used as a synonym for εἶναι (einai) in its "existential" use, and then to follow the history of existere as the Latin rendering of ὑπάρχειν in this sense. Either topic could supply a separate monograph.

ὑπάρχειν originally means "to make a beginning", "to take the initiative", "to take the first step (in doing so-and-so)", e.g. to begin a guest-friendship (in the earliest occurrence of the verb, Odyssey 24.286) or to initiate hostilities (...)

Thus before ὑπάρχειν becomes specialized as a verb of "existence" we find it used in a predicative construction as an expressive equivalent for εἶναι as copula verb.

It is, however, not this copula use but the more frequent construction with the dative that accounts for the first technical use of the verb in philosophy: the use in which it expresses in logical terms the attributive relation which is normally expressed in grammatical form by the copula. Instead of "A is B" Aristotle prefers to say τὁ β τὸ ἀ ὑπάρχειν B belongs to A" (Prior Analytics 25a,5 and throughout). Hence τα ὑπάρχοντα attributes (of a subject) " e.g. at De Interpretatione 16b 10. (And see Bonitz, Index Aristotelicum 789a29-b2; compare the more non-technical use ibid. a12-28.) Since "what belongs to a thing" includes not only its accidents but also essential or substantial attributes in the first category, ὑπάρχειν is said in as many ways as εἶναι, i.e. in as many ways as there are categories or combinations of categories (Pr. An. 48b2-4, 49a6-9). (...)

Apart from this technical use in logic and grammar, the most common meaning of ὑπάρχειν in later Greek seems to be that which we render as 'to exist' or "'to be real'. (This occasionally leads to rather ludicrous confusion, when a late commentator can no longer distinguish between Aristotle's technical sense and his own ordinary use of ὑπάρχειν. (...).

It should be pointed out that although this use of ὑπάρχειν for real existence (in contrast to a mere word or an imaginary object) seems to be the dominant use in late Greek philosophy, the corresponding verb may still be construed both with paralocative and nominal predicates, as we can see from Sextus' discussion of the existence of the gods, e.g. IX-I43 (...).

And the same predicative construction is normal for the corresponding verb exsistere in classical Latin (as will be seen in a moment). In neither case, then, would our familiar contrast between an existential and a copulative verb naturally arise.(...)

I have neither space nor skill to follow the history of exsistere, exsistentia in Latin. I note, however, that like other derivatives of stare, exsistere serves in Varro, Lucretius, and later authors as a stylistic variant for esse, often with the nuance (suggested by ex-) of 'emerge' come into being' 'be produced'. As in the case of ὑπάρχειν this quasi-existential sense of exsistere is fully compatible with the copulative construction: (pecora) quae post tempus nascuntur, fere vitiosa atque inutilia exsistunt. (Varro Rerum rust. II.1.7)

The noun exsistentia seems not be attested before Marius Victorinus and Candidus in the 4th century A.D. It is a learned invention, designed to render ὑπάρχειν; in metaphysical texts where the latter term is distinguished from οὐσια (substantia) as the more general concept, sheer being without categorial determination, while οὐσια presents some determinate form of being, like 'substance' in the first Aristotelian category: Id est exsistentia vel subsistentia vel, si ... dicas ... vel exsistentialitatem vel substantialitatem vel essentialitatem (Adversus Arium III.7.9, cited in Pierre Hadot, Porphyre et Victorinus (Paris, 1968), II p. 29 text 40).

But this terminology was not taken up by Boethius, who apparently preferred esse to exsistere as a rendering of the technical use of ὑπάρχειν for pure, indeterminate being. (1)

As we have seen, Priscian in the 6th century A.D. renders ὑπάρχειν as substantivum. Thus neglected by Boethius and Priscian, the technical use of exsistentia as contrasted with substantia in late Neo-Platonism had no direct impact on early medieval terminology.

Abelard's usage is mixed. He often employs exsistere, exsistens for 'to exist', 'existing (thing)', but rarely uses the abstract noun and then in a rather surprising way: exsistentiae rerum seems to mean '(actual) states of affairs' in contrast to res, the existing thing, whose existence may be expressed by esse. (Dialectica, 154, 11 and 156, 29. Compare Kneale and Kneale, The Development of Logic, p. 206).

Aquinas' usage is even more Boethian: his normal expression for what we call 'existence' is esse or actus essendi. Only with the esse existentiae of Duns Scotus at the end of the thirteenth century do we find existentia firmly established as a technical term contrasted with essentia. Thus the modern terminology of 'existence' seems to derive from Scotus.

What connections (if any) can be traced between Scotus' use of existentia and the technical terminology of Victorinus nearly a millennium earlier, I do not know. In his translations of Proclus, William of Moerbeke renewed the ancient practice of rendering ὑπάρχειν by existentia, (P. O. Kristeller, Journal of Philosophy, 1962, p. 77) and these translations must have had some influence on the shaping of the medieval terminology. But ὑπάρχειν for Proclus is not quite the same either as exsistentia for Victorinus or existentia for Scotus. What role was played here by the concepts and terminology of Islamic philosophy I can only guess. The history of 'existence' seems to consist largely of still unanswered questions.(2)" (pp. 151-155)


(1) Compare they key passage of Boethius' De Hebdomadibus with the corresponding citation from Damascius in P. Hadot "La distinction de l'être et de l'étant dans le 'De Hebdomadibus' de Boèce", Miscellanea Medievalia, 2, (1963), pp. 147 and 151, n. 25. Boethius shows no trace of the exsistentia-substantia distinction we find in Victorinus and Candidus. It has been pointed out (by Graham, below) that Boethius normally renders the substantival τὸ ὂν by the artificial form ens, but sometimes resorts to the more natural Latin form exsistens for the verbal-adjectival use of the Greek participle as predicate or attribute.

(2) For some remarks on the contrast between Arabic and Greek terminology for "being", see A. C. Graham "'Being' in Linguistics and Philosophy", Foundations of Language, 1 (1965), 223 ff. For doctrinal contacts between Avicenna and Duns Scotus on the question of existence, see E. Gilson, L'être et l'essence, pp. 128-131.

From: Charles H. Kahn, On the Terminology for Copula and Existence, in: S. M. Stern, Albert Hourani and Vivian Brown (eds.), Islamic Philosophy and the Classical Tradition. Essays Presented by His Friends and Pupils to Richard Walzer on His Seventieth Birthday, London: Bruno Cassirer 1972, pp. 141-158. (Reprinted in C. H. Kahn. Essays on Being, New York: Oxford University Press 2009, pp. 41-61.)

Logic and Existence

"The contemporary attempts to determine in a purely logical way the nature of existence, by constructing a logic of existence(1) or a free logic which makes "no assumptions about the existence of the purported designata of its terms, general or singular,"(2) seems to be still premature as long as the problem of existence in its philosophical implications is not adequately resolved. Historically, there are three main problems in logic involving a conception of existence, which clearly show that the logical problem of existence has a philosophical background influencing the "logic of existence" in its technical sense.

The first problem arose in the period of the algebra of logic, when G. Boole (implicitly) and E. Schroeder (explicitly) introduced the concept of the empty class. This innovation resulted in a criticism of the traditional square of opposites and Aristotelian syllogistics, and the conception of the existential import of categorical statements. A further consequence, already recognized in the period of G. Frege and B. Russell, was the interpretation of particular statements as existential statements and of universal statements as hypothetical ones. It was maintained that "all general propositions deny the existence of something or other,"(3) and for these reasons no valid inference of a statement with existential import from a statement without existential import was admitted.

The second problem comprises the "fanciful Russellian analyses of proper names in existential contexts,"(4) with its special theory of descriptions, directed against Meinong's conception that a grammatically correct denoting phrase stands for an object, even if it does not subsist, and a similar view of H. MacColl who assumed two sorts of individuals -- real and unreal.(5) Russell's theory of descriptions is evidently a philosophical reflection of his views concerning the nature of existence as the fundamental problem cf ontology, a technical term introduced for the first time by Chr. Wolff in his Philosophia prima sive Ontologia . .. (1730). For philosophical reasons, Russell attempts to refute the ontological argument of Anselm of Canterbury. In the course of his argument. he adopts both conclusions of Kant's refutation in his Critique of Pure Reason (B 620ff), namely that (1) "all existential propositions are synthetic" and that (2) "Being is obviously not a real predicate; that is, it is not a concept of something which could be added to the concept of a thing." His conviction that "existence is quite definitely not a predicate" is another reason for his introduction of the concept of the existential qualifier.

The third problem, introduced recently by W. V. Quine in his famous dictum, "To be is, purely and simply, to be the value of a variable,"(6) is connected with the contemporary discussion on universals and the attempts to reformulate the language of logic and mathematics in a nominalistic sense.(7)" (pp. 157-158)


(1) See esp. H. S. Leonard, "The Logic of Existence," Philosophical Studies, VII, 49-64 [1956].

(2) K. Lambert, "Free Logic and the Concept of Existence," Notre Dame Journal of Formal Logic, VIII, 138 [1967]. Comp. J. Hintikka, "Existential Presuppositions and Existential Commitments," Journal of Philosophy, LVI, 135 [1959].

(3) B. Russell, "The Philosophy of Logical Atomism," Monist, XXIX, 191 [1918].

(4) S. Candlish, "Existence and the Use of Proper Names," Analysis, XXVIII, 157 [1968].

(5) Comp. B. Russell, "On Denoting," Mind, N. S., XIV, 479-493 [1905]

(6) W. V. Quine, "On What There Is," Review of Metaphysics, II, 32 [1948].

(7) See, e.g., N. Goodman and W. V. Quine, "Steps Toward a Constructive Nominalism," Journal of Symbolic Logic, XII, 105-22 [1947]; I. M. Bochenski, A. Church, and N. Goodman, The Problem of Universals, (Notre Dame, 1956).

From: Karel Berka, "Existence in Modern Logic", in Cael G. Vaught (ed.), Essays in Metaphysics, University Park: Pennsylvania University Press 1970, pp. 157-174.

Definition of "existence": Avicenna (Ibn Sina) (980-1037)

[First distinction between essence and existence]

"The primary analysis of the nature of being, its application to numerous things, and an introduction to the exposition of substance.

Being is recognized by reason itself without the aid of definition or description. Since it has no definition it has neither genus nor differenzia because nothing is more general than it.(1) Being does not have a description since nothing is better known than it. It is possible that one can recognize its name in one language by means of another language. Thus, by some means, it is possible to acquaint someone with what is meant by a term like being. For example, if being appears in Arabic, it can be explained in Persian, and one can indicate that it is that from which other things are derived.

In its first division, being is prima facie of two kinds: the one is called substance and the other accident. Accident is that whose being subsists in something else, so hat that being which is complete without it is either active by itself or due to something else. An example of this condition is the whiteness of a cloth. We note that the cloth exists either by itself due to itself, or by means of those things which bring about its being. Whiteness subsists in a dependent manner in it. Whiteness and whatever is analogous to it are called accidents. In this context, the receptable of whiteness is called a subject, although in another context something else is meant by 'subject'. Thus, a substance is that which is not an accident, whose being, moreover, is not in a subject, but is a reality such that the being of that reality that essence are not receptive to another thing having the aforesaid characteristics. One may regard the substance as a receptable which lacks this character. But to be active, this substance needs to be accepted by this receptacle whose reality we t establish later when we clarify its nature. One may regard the substance neither as a receptable nor as being in a receptacle, as we shall also establish subsequently when we explain its being. This, then, is called a 'substance'." (pp. 15-16).

(1) "The term used by ibn Sina to designate 'being' is hasti, a Persian term for which no equivalent appears in his Arabic texts. To be sure, in Shifa' he points out the term wujud (existence) has several meanings: (1) haqiqa (the essence, reality of something, the fact that it exists), and (2) the particular existence of something, and by making these distinctions, he confirms his awareness of the various senses of 'existence', but even in view of these different senses of 'existence', there is still no term in his Arabic works which could render hasti adequately. Although one could attempt to find a Greek equivalent for this term translating it perhaps as tò òn hê òn by which 'being-qua-being' is commonly rendered, one should nevertheless be cautious not to equate this term with ousía for the reason that ousía is sometimes defined as 'substance'. Ibn Sina, however, holds 'being' in the sense of basti to be the most determinable concept. Hence, if we choose to accept the translation of ousía for being, then ibn Sina's views will definitely be at odds with those of many Neo-Platonists, such as Proclus, who states that the One and the Gods are to be regarded as 'supra being' (hyperoûsios) (Elements, p. 105), or Plotinus, who proclaims that the One generates gennetés (being) (Enneads V [1]). In view of the preceding discussion in this chapter, it is evident that ibn Sina's doctrine disagrees with that of these Greek philosophers, for he asserts that nothing is above being, and whatever exists is a determination of being. However, Aristotle's notion of being-qua-being as tò òn hé òn (Metaphysica, book IV, ch. 1) corresponds to ibn Sina's notion of hasti. Aristotle's position becomes clear in subsequent sections of the Metaphysica when he indicates that mathematics 'cuts off ' a part of being, whereas metaphysics investigates being as being, ignoring those elements of being which are related to it in an accidental manner (i.e. are a determination of being). For a detailed account of this topic, see J. Owens, The Doctrine of Being in the Aristotelian Metaphysics, Toronto, 1953, esp. ch. 7 and 8. In order to achieve greater clarity on this issue and circumvent various ambiguous usages of the term ousía, Owens suggests the use of the term ' entity' as a better translation of it." (pp. 112-113)

From: Parviz Morewdge, The Metaphysica of Avicenna (ibn Sina). A critical translation-commentary and analysis of the fundamental arguments in Avicenna's Metaphysica in the Danish Nama-i-ala i (The Book of Scientific Knowledge), London: Routledge & Kegan Paul 1973.

Francisco Suárez (1548-1617)

[Essence and existence according to Suárez]

"To avoid an equivocation in terms and to make it unnecessary later to make distinctions about an essential being, an existential being or a subsistential being or a being of truth in a proposition, I suppose by being we understand the actual existence of things. For essential being, if it is truly distinguished from existence, adds nothing real to the essence itself, but only differs from it in the way it is conceived or signified. Hence, just as the essence of a creature as such, in virtue of its concept, does not say that it would be something actually real with being outside its causes, so the essential being as by standing precisely in this, does not express an actual being by which an essence outside it causes would be constituted in act. For if to be actual in this latter way is not of the essence of the creature, neither will it be able to pertain to its essential being. Hence, being of a creature as such will prescind of itself from actual being outside its causes by which a created thing comes to be beyond nothing, by which name we designate actual existential being. But subsistential being is also more contracted than existential being, for the latter is common to substance and accidents. The former is proper to substance. Besides, subsistential being (as I suppose from what is to be proved below) is something distinct from the existential being of a substantial created nature and separable from it, because it does not constitute a nature in the order of actual entity, which pertains to existence. Now the being of truth in a pro position of itself is not a real and intrinsic being, but it is an objective being in the intellect as it is composing; hence it belongs also to privations. For we say, accordingly: Blindness is or A man is blind, as Aristotle discusses at greater length in book 5 of Metaphysics, chapter seven. Hence, the discussion is about created existence concerning which, furthermore, we suppose that it is something real and intrinsic to an existing thing; this seems self-evident. For through existence a thing is understood to be something in the nature of things. Therefore, it is necessary that existence be both something real and intrinsic, that is, within the existing thing itself. For a thing cannot be existing by some extrinsic denomination or some being (ens) of reason. Other wise, how would existence constitute a real being (ens) in act and beyond nothing?" (p. 45).

"I say thirdly: that being by which the essence of a creature is formally constituted in essential actuality is the true existential being. (...) Now this statement is proved in a variety of ways. First, because this being, understood precisely, is sufficient for the truth of this statement with a second adjacent: essence is. Hence, that being is true existence. The consequence is clear, for according to the common meaning and human conception, the is of a second adjacent, is not divorced from time. But it signifies being in act in the realm of things, which all of us understand by the name existence or by existential being. You will say that the "is" is always said truly of an actual essence, yet not formally because of the actuality of an essence, nor on account of that being by which it is formally constituted in such actuality, but because it never has this being without existence, although distinct from such an essential being or actuality. But against this retort the antecedent of the argument given is proved. For, by this actual essential being, taken formally and precisely, such an essence is a being (ens) in act and distinguished from a being (ens) in potency. Hence, by virtue of that being, such an essence is, for the inference is correct: it is a being (ens) in act; therefore it is. For to be a being (ens) in act does not reduce the character of being (ens) which includes the verb "is". So, even if we grant that this actual essential being depends on a further limit or act, as on a necessary condition or something of this sort, still that very being will formally constitute a being (ens) in act and will distinguish the latter from a being (ens) in potency. Thus, by virtue of that being a thing is truly and absolutely said to be, just as an accident by virtue of its being is said to be a being (ens) in act and to be absolutely, even though that being requires an inherence in a subject so that, without it, it could not exist naturally." (p. 74).

From: Francisco Suárez, De essentia entis finiti ut tale est et de illius esse eorumque distinctione. (Disputatio XXXI) - (Translated as: On the Essence of Finite Being as Such, on the Existence of that Essence and Their Distinction, by Norman J. Wells, Milwaukee: Marquette University Press 1983).

Rné Descartes (1596-1650)

"To know what existence is, all we have to do is to understand the meaning of the word, for it tells us at once what the thing is which the word stands, for, in so far as we can know it. There is no need here for a definition, which would confuse rather than clarify the issue" (AT X, 525; CSM II, 418).

From: René Descartes, Recherche de la Verité, in: Charles Adam, Paul Tannery (eds.), Oeuvres de Descartes, Paris: Vrin, 1964-1976 (12 volumes; referred as 'AT'); translated as: The Search of Truth, in: J. Cottingham, R. Stoothoff, D. Murdoch (eds.) The Philosophical Writings of Descartes, Cambridge: Cambridge University Press 1985 (referred as 'CSM').

[According to Descartes, existence is a property]

"Here I do not see what sort of thing you want existence to be, nor why it cannot be said to be a property just like omnipotence - provided, of course, that we take the word 'property' to stand for any attribute, or for whatever can be predicated of a thing; and this is exactly how it should be taken in this context." (AT VII, 382; CSM II 262)"

From: René Descartes, Replies to the Objections [by Gassendi] to the Fifth Meditation.

Baruch Spinoza (1632-1677)

"I call a thing impossible whose nature implies that it would be contradictory for it to exist; necessary whose nature implies that it would be contradictory for it not to exist; and possible whose existence be contradictory for it to exist; necessary whose nature implies that it would be contradictory for it not to exist; and possible whose existence, (*) by its very nature, does not imply a contradiction -- either for it to exist or for it not to exist -- but whose necessity or impossibility of existence depends on causes unknown to us, so long as we feign its existence. So if its necessity or impossibility, which depends on external causes, were known to us, we would have been able to feign nothing concerning it.

[54] From this it follows that, if there is a God, or something omniscient, he can feign nothing at all. For as far as We are concerned, after I know that I exist, (s) I cannot feign either that I exist or that I do not exist; nor can I feign an elephant which passes through the eye of a needle; nor, after I know the nature of God, can I feign either that he exists or that he does not exist. (t) The same must be understood of the Chimera, whose nature implies that it would be contradictory for it to exist. From this what I have said is evident: that the fiction of which we are speaking here does not occur concerning eternal truths. (u) I shall also show immediately that no fiction is concerned with eternal truths.

[55] But before proceeding further, I must note here in passing that the same difference that exists between the essence of one thing and the essence of another also exists between the actuality or existence of the one thing and the actuality or existence of the other. So if we wished to conceive the existence of Adam, for example, through existence in general, it would be the same as if, to conceive his essence, we attended to the nature of being, so that in the end we defined him by saying that Adam is a being. Therefore, the more generally existence is conceived, the more confusedly also it is conceived, and the more easily it can be ascribed fictitiously to anything. Conversely, the more particularly it is conceived, then the more clearly it is understood, and the more difficult it is for us, [even] when we do not attend to the order of Nature, to ascribe it fictitiously to anything other than the thing itself This is worth noting." (pp. 24-25) [56] Now we must consider those things that are commonly said to be feigned, although we understood clearly that the thing is not really as we feign it. E.g., although I know that the earth is round, nothing prevents me from saying to someone that the earth is a hemisphere and like half an orange on a plate, or that the sun moves around the earth, and the like. 1f we attend to these things, we shall see nothing that is not compatible with what we have already said, provided we note first that we have sometimes been able to err, and now are conscious of our errors; and then, we can feign, or at least allow, that other men are in the same error, or can fall into it, as we did previously.

We can feign this, I say, so long as we see no impossibility and no necessity. Therefore, when I say to someone that the earth is not round, etc., I am doing nothing but recalling the error which I, perhaps, made, or into which I could have fallen, and afterwards feigning, or allowing, that he to whom I say this is still in the same error, or can fall into it. As I have said, I feign this so long as I see no impossibility and no necessity.


(s) Because the thing makes itself evident, provided it is understood, we require only an example, without other proof. The same is true of its contradictory -- it need only be examined for its falsity to be clear. This will be plain immediately, when we speak of fictions concerning essence.

(t) Note. Although many say that they doubt whether God exists, nevertheless they have nothing but the name, or they feign something which they call God; this does not agree with the nature of God, as I shall show later in the proper place.

(u) By an eternal truth I mean one, which, if it is affirmative, will never be able to be negative. Thus it is a first and eternal truth that God is; but that Adam thinks is not an eternal truth. That there is no Chimera is an eternal truth; but not that Adam does not think." (II, 20)"

(*) Joachim (Spinoza's Tractatus de Intellectus Emendatione, Oxford: Clarendon Press, 1940) suggests reading essentia, though the Opera Posthuma's 'existentia' is supported by the Nagelate Schriften. If it were not for the immediately following phrase (ipsa sua natura), I would think this almost certainly correct. 1 have translated the Latin as it stands, but (with Eisenberg) I feel certain that what Spinoza means is that the essence of the thing by itself does not entail either that the thing cannot, or that it must, exist. [Note by Edward Curley]

From: Treatise on the Emendation of the intellect, in: The Collected Works of Spinoza, edited and translated by Edwin Curley, Princeton: Princeton University Press 1985.

Gottfried Wilhelm Leibniz (1646-1716)

[According to Leibniz, existence is not a property]

"Existence. It can be doubted very much whether existence is a perfection or degree of reality; for it can be doubted whether existence is one of those things that can be conceived -- that is, one of the parts of essence; or whether it is only a certain imaginary concept, such as that of heat and cold, which is a denomination only of our perception, not of the nature of things. Yet if we consider more accurately, [we shall see] that we conceive something more when we think that a thing A exists, than when we think that it is possible. Therefore it seems to be true that existence is a certain degree of reality; or certainly that it is some relation to degrees of reality. Existence is not a degree of reality, however; for of every degree of reality it is possible to understand the existence as well as the possibility. Existence will therefore be the superiority of the degrees of reality of one thing over the degrees of reality of an opposed thing. That is, that which is more perfect than all things mutually incompatibles exists, and conversely what exists is more perfect than the non-existent, but it is not true that existence itself is a perfection, since it is only a certain comparative relation [comparatio] of perfections among themselves." (p. 165)

From: Robert Merrihew Adams, Leibniz. Determinist, Theist, Idealist, Oxford: Oxford University Press 1994 (undated memorandum by Leibniz).

Christian Wolff (1679-1754)

"Christian Wolff was a rationalistic school philosopher in the German Enlightenment. During the period between the death of Leibniz (1714) and the publication of Kant's critical writings (1780s), Wolff was perhaps the most influential philosopher in Germany.

(...) Wolff thought of philosophy as that discipline which provides reasons to explain why things exist or occur and why they are even possible. Thus, he included within philosophy a much broader range of subjects than might now be recognized as 'philosophical'. Indeed for Wolff all human knowledge consists of only three disciplines: history, mathematics and philosophy.

(...) For Wolff, the immediate objective of philosophical method is to achieve certitude by establishing an order of truths within each discipline and a system within human knowledge as a whole. The ultimate goal is to establish a reliable foundation for the conduct of human affairs and the enlargement of knowledge." (pp. 776-777)

From: Charles A. Corr, "Wolff, Christian", in: Edward Craig (ed.), The Routledge Encyclopedia of Philosophy, New York: Routledge 1998.

"Wolff's Ontology begins ( 27) with the assertion of the two laws of contradiction and sufficient reason, both fundamental to the assertion that something is, or that it is not. The former requires that what is must be free from inner conflict, the latter that, if it does not, like a necessary being, have a reason for being in its own nature, it must depend on such a reason in something other than itself. The law of causation, as we ordinarily understand it, is for Wolff only a special form of the law of sufficient reason, pertinent to temporal, changeable things and their states ( 71). From these principles Wolff proceeds to the consideration of the metaphysical modalities, of which the most fundamental is the possible, the negation of the self-contradictory, or logically impossible. Everything actual, he holds, is by the law of contradiction possible, but he here embraces some invalid theorems, for instance, that a possible consequence can only have possible premisses. Obviously, modal logic is still insecure, though Wolff's treatment of apagogic proof in 98 is of some interest. From Wolffian principles it follows that the notion of an entity not wholly determinate is "imaginary', and that the indeterminate is only what is for us determinable, and that it will have to be determined by a sufficient reason ( 111, 117). There is no room in Wolffianism, any more than in Leibnizianism, for radical alternativity: Kant, however, will diverge from this position under the influence of Crusius.

All this leads, however, to Wolff's treatment of what he calls an entity: an entity is defined as any thing which can exist, to which existence is not repugnant. Thus warmth in this stone is a something, an entity, since a stone certainly can be warm or a warm stone can exist. There does not need to be any actual stone-warmth for us to have an entity before us. An entity is, however, rightly called fictitious or imaginary, if it lacks existence, which does not, however, make it less of an entity. These near-Meinongian positions are of great contemporary interest, and form the spring-board for much of Kant's later criticisms of the ontological proof, which is Wolffian enough to treat 100 possible dollars as if they certainly were something. Wolff goes on to draw the distinctions of essential features and attributes, on the one hand, which always must belong to an entity, and its modes, on the other hand, which are merely the characters that it can have and also can not have. Obviously, however, something must be added to possibility to raise it to full existence, and this Wolff is simply content to call the possibility-complement ( 174)." (pp. 39-40).

From: John N. Findlay, Kant and the Transcendental Object. A Hermeneutic Study, Oxford: Clarendon Press, 1981.

"Being is what can exist and, consequently, that with which existence is not incompatible" (§ 134)

"Hinc existentiam definio per complementum possibilitatis" (Existence is defined as the complement of possibility)." (§ 174)

From: Christian Wolff, Philosophia prima sive Ontologia (1730), (First Philosophy, or Ontology).

Christian Augustus Crusius (1715-1775)

"Crusius was a pivotal figure in the middle period of the German Enlightenment, linking Pufendorf and Thomasius with Kant. Though sometimes wrongly characterized (for example by Hegel) as a Wolffian, he was instead an important critic of that position. His system reflected a new alliance between Pietism and Lutheran orthodoxy, offering a comprehensive antirationalist, realist, and voluntarist alternative to the neoscholastic tradition as renovated by Leibniz. Crusius was important in Kant's development and helps us understand the latter's philosophical Protestantism." (p. 736)

From: Michael J. Seidler, "Crusius, Christian August", in: Edward Craig (ed.), The Routledge Encyclopedia of Philosophy, New York: Routledge 1998.

"Crusius' influence on Kant. Recent historical scholarship has stressed Crusius' importance in Kant's development, and the view that Kant's philosophy was rooted in Wolff's system has been more and more questioned. Recent research has shown that Kant, educated in the Pietistic, eclectic, and anti-Wolffian milieu of Königsberg University, was mainly trying in his precritical development (1745-1768) -- despite the nonorthodox Wolffian influence of his teacher, Martin Knutzen -- to counteract Wolffian philosophy in an increasingly original way. He therefore appealed both to recent anti-Wolffian trends -- to Maupertuis and his Berlin circle and through Maupertuis to Newton -- and to Crusius, the new leader of Pietist philosophy and only nine years his senior, whose reputation grew tremendously from 1744 on. Crusius' influence on Kant consists in six main points, some of which were also held by other Pietist philosophers or by Maupertuis. Crusius stressed the limits of human understanding, a theme that recurs in Kant's writings under different forms from 1755 on. He rejected the Ontological Argument, as did Kant after 1755, and he later rejected all theoretical proofs of God's existence. He assumed a multiplicity of independent first principles; Kant did so after 1755. He denied the importance of formal logic, and simplified it. He rejected the possibility of defining existence, and accepted a multiplicity of simple notions. He rejected the mathematical method as applied to philosophy. Kant adopted these last three positions in 1762.

Kant's Crusianism reached its climax in his Untersuchung über die Deutlichkeit der Grundsätze der naturlichen Theologie und der Moral ("Investigations Concerning the Distinctness of the Fundamental Principles of Natural Theology and Morals," Berlin, 1764), written in 1762. By 1763 Kant's enthusiasm for Crusius' philosophy was waning, but he did not reject the six tenets above and was still influenced by Crusius on individual points as late as the 1770s. Bohatec has claimed that Crusius' doctrines in revealed theology exerted some influence on Kant's late works in religion." (p. 270).

From: Paul Edwards (ed.), Encyclopedia of Philosophy, New York: Macmillan 1967, entry "Crusius, Christian August", by Giorgio Tonelli.

[First definition of existence as a predicate]

Existence is "that predicate of a thing by virtue of which the thing is to be encountered somewhere and at some time outside thought." (section 46)

From: Christian August Crusius, Entwurf der notwendingen Venunftwharheiten, (1745), (Sketch of Necessary Truths of Reason).

Immanuel Kant (1724-1804)

(under construction)

BEertand Russell (1872-1970)

"Being is that which belongs to every conceivable term, to every possible object, of thought-in short to everything that can possibly occur in any proposition, true or false, and to all such propositions themselves. Being belongs to whatever can be counted. If A be any term that can be counted as one, it is plain that A is something, and therefore that A is. 'A is not' must always be either false or meaningless. For if A were nothing, it could not be said not to be ; 'A is not' implies that there is a term A whose being is denied, and hence that A is. Thus unless 'A is not' be an empty sound, it must be false. Whatever A may be, it certainly is. Numbers, the Homeric gods, relations, chimeras and four-dimensional spaces all have being, for if they were not entities of a kind, we could make no propositions about them. Thus being is a general attribute of everything, and to mention anything is to show that it is.

Existence, on the contrary, is the prerogative of some only amongst beings. To exist is to have a specific relation to existence-a relation, by the way, which existence itself does not have. This shows, incidentally, the weakness of the existential theory of judgment-the theory, that is, that every proposition is concerned with something that exist, For if this theory were true, it would still be true that existence itself is an entity, and it must be admitted that existence does not exist, Thus the consideration of existence itself leads to non-existential pro, positions, and so contradicts the theory. The theory seems, in fact, to have arisen from neglect of the distinction between existence and being Yet this distinction is essential, if we are ever to deny the existence of anything. For what does not exist must be something, or it would be meaningless to deny its existence ; and hence we need the concept of being, as that which belongs even to the non-existent." (pp. 449-450)

From: Bertrand Russell, The Principles of Mathematics, New York: W. W. Norton Company 1903, second edition 1937.