not-brave men." We then arrange
thus:--
"No | existing Things | are | not-brave men deserving
of the fair."
(6)
"All bankers are rich men."
This is equivalent to the two Propositions "Some bankers are
rich men" and "No bankers are poor men."
Here we arrange thus:--
"Some | existing Things | are | rich bankers";
and
"No | existing Things | are | poor bankers."]
[Work Examples Sec. =1=, 1-4 (p. 97).]
pg022
BOOK III.
THE BILITERAL DIAGRAM.
.-------------.
| | |
| xy | xy' |
| | |
|------|------|
| | |
| x'y | x'y' |
| | |
.-------------.
CHAPTER I.
_SYMBOLS AND CELLS._
First, let us suppose that the above Diagram is an enclosure assigned to
a certain Class of Things, which we have selected as our 'Universe of
Discourse.' or, more briefly, as our 'Univ'.
[For example, we might say "Let Univ. be 'books'"; and we might
imagine the Diagram to be a large table, assigned to all
"books."]
[The Reader is strongly advised, in reading this Chapter, _not_
to refer to the above Diagram, but to draw a large one for
himself, _without any letters_, and to have it by him while he
reads, and keep his finger on that particular _part_ of it,
about which he is reading.]
pg023
Secondly, let us suppose that we have selected a certain Adjunct, which
we may call "x," and have divided the large Class, to which we have
assigned the whole Diagram, into the two smaller Classes whose
Differentiae are "x" and "not-x" (which we may call "x'"), and that we
have assigned the _North_ Half of the Diagram to the one (which we may
call "the Class of x-Things," or "the x-Class"), and the _South_ Half to
the other (which we may call "the Class of x'-Things," or "the
x'-Class").
[For example, we might say "Let x mean 'old,' so that x' will
mean 'new'," and we might suppose that we had divided books into
the two Classes whose Differentiae are "old" and "new," and had
assigned the _North_ Half of the table to "_old_ books" and the
_South_ Half to "_new_ books."]
Thirdly, let us suppose that we have selected another Adjunct, which we
may call "y", and have subdivided t
|