MS 145

84

I use these same (deletion) symbols (or characters of characters and for characters of characters of characters, but in the diagrams in different colours

Thus

[diagram of symbols in a table] will mean that there are fine objects between which there are three triadic relations, one of the objects being the second corrolate of all these relations, two the thrid correlate of the first and first correlate of the second and third correlate of the second and first of the third while the first correlate the first and third of the third are different individuals; and the first triadic relation has one relation to the second and the second a relation to the third. These two dyadic relatins having a common quality.

The notation is now nearly complete. I use a dotted enclosure to denote the single character which consists in the logical possibility of the thema written within it. [??] provided a [??]] written in books [inelligible] attached outside. It is the name of a single character, ahalogant to a proper name.

quality, a proper name of a ens rationis, whatever that be apparently it is something which does not affect the senses but is discovered by thought. I suppose, then, a man is an ens rationis, - I mean the man himself, not his carcase. The operatin of hypostatic abstraction consists in substituting for any predicatin that of possessing a quality, or that of standings in a relation. It is so that in mathematics an operation in itself made the subject of operations. The hypostatically abstract quality of relation is necessarily general, that is, as not subject to the principle of excluded middle. The universe of characters is thereby quite outside the universe of existentsThe second needed improvement is that there should be, some way of expressing collective wholes, from a collective assertion one can pass to a distributive general, provided the collective assertion were universal. The reverse

transformation can be effected under certain conditions. The collection of Spaniards is an adorer of the whole collection of women, provided every Spaniard adores a woman and every woman is adored by a Spaniard. That every Spaniard adoresa woman shows that all Spaniards are adorers of woman, but not that all Spaniards are adorers of a woman. It is sometimes desirable to speak of a collection of Spaniards, and at other times, though rarely except in the theory of numbers, to speak of the collection of whatever Spaniards there may be. Usually, a collective is indefinite. It always refers to vistents. for possibilities are not units of collections. In the rare cases in which we wish to say, for example, that the number of all Spaniards is divisible by seven, we, can say that there is a collection of Spaniards such that there is no exclusive collection of Spaniards which is a

collection of seven collections of Spaniards. The collective certainly refers exclusively to what is, not to what might be, and it is best takken as indefinite, like any ordinary class-name, as a Spaniard. Corresponding to every abstraction, to every predicate is a possible collection but whether or no there actually is a collection of say 6001 phoenixes is another question. Such an object may or may not have existential being, like a phenix. In short, a collectin is indefinite like any ordinary predicater. A collection of phoenixes is of course a different object from a collection of 1001 phoenixes, But the [unclear] is that a collection of 1001 phoenixes not consistent with a collection of 7 phoenixes is impossible.

Any collection whatever such as the 10th [unclear]

of [Saturn?], the pillow that smothered Desdemona, and Julius Ceaesars crossing of the Rubicon has some character commen and peculiar to the members, as De Morgan very simply showed, Vant had stated it as regulative proposition, but itis a constitutive principle.

A collection is an object whose mode of existence is that of an indefinate object, that is one not in all respects subject to the principle of contradiction whose existence consists in the existence of certain objects, its members, which are such that the existence of more of them consists the existence of the collection. A hyperstatical abstract is an object whose being consists in the possibility of the predicate and which stands in a peculiar relation, that of being possessed by, to whatever few may be of what that predicate is [unclear]

I have [??] word a suitable mode of presenting