It is not, as is commonly supposed, an essential characteristic of a concept that it should contain much under it, that is to say, that many ideas of perception, or it may be other abstract ideas, should stand to it in the relation of its ground of knowledge, i.e., be thought through it. This is merely a derived and secondary characteristic, and, as a matter of fact, does not always exist, though it must always exist potentially. This characteristic arises from the fact that a concept is an [pg 054] idea of an idea, i.e., its whole nature consists in its relation to another idea; but as it is not this idea itself, which is generally an idea of perception and therefore belongs to quite a different class, the latter may have temporal, spacial, and other determinations, and in general many relations which are not thought along with it in the concept. Thus we see that several ideas which are different in unessential particulars may be thought by means of one concept, i.e., may be brought under it. Yet this power of embracing several things is not an essential but merely an accidental characteristic of the concept. There may be concepts through which only one real object is thought, but which are nevertheless abstract and general, by no means capable of presentation individually and as perceptions. Such, for example, is the conception which any one may have of a particular town which he only knows from geography; although only this one town is thought under it, it might yet be applied to several towns differing in certain respects. We see then that a concept is not general because of being abstracted from several objects; but conversely, because generality, that is to say, non-determination of the particular, belongs to the concept as an abstract idea of the reason, different things can be thought by means of the same one.
It follows from what has been said that every concept, just because it is abstract and incapable of presentation in perception, and is therefore not a completely determined idea, has what is called extension or sphere, even in the case in which only one real object exists that corresponds to it. Now we always find that the sphere of one concept has something in common with the sphere of other concepts. That is to say, part of what is thought under one concept is the same as what is thought under other concepts; and conversely, part of what is thought under these concepts is the same as what is thought under the first; although, if they are [pg 055] really different concepts, each of them, or at least one of them, contains something which the other does not contain; this is the relation in which every subject stands to its predicate. The recognition of this relation is called judgment. The representation of these spheres by means of figures in space, is an exceedingly happy idea. It first occurred to Gottfried Plouquet, who used squares for the purpose. Lambert, although later than him, used only lines, which he placed under each other. Euler carried out the idea completely with circles. Upon what this complete analogy between the relations of concepts, and those of figures in space, ultimately rests, I am unable to say. It is, however, a very fortunate circumstance for logic that all the relations of concepts, according to their possibility, i.e., a priori, may be made plain in perception by the use of such figures, in the following way:—
(1.) The spheres of two concepts coincide: for example the concept of necessity and the concept of following from given grounds, in the same way the concepts of Ruminantia and Bisulca (ruminating and cloven-hoofed animals), also those of vertebrate and red-blooded animals (although there might be some doubt about this on account of the annelida): they are convertible concepts. Such concepts are represented by a single circle which stands for either of them.
(2.) The sphere of one concept includes that of the other.
(3.) A sphere includes two or more spheres which exclude each other and fill it.
(4.) Two spheres include each a part of the other.
(5.) Two spheres lie in a third, but do not fill it.