11

9

de inesse asserts is true, and therefore
it is true, no matter how it may be
with A. If however the antecedent, A,
is true, while the consequent, B, is false, then, and
then only is the conditional proposition de
inesse false. This sort of conditional says
nothing at all about any real connection
between antecedent and consequent; but limits
itself to saying “If you should find that A is true,
then you may know that B is true,” never mind
the why or wherefore.

The question of the proper way of expressing a
conditional proposition de inesse in a
system of existential graphs has formed the
subject of an elaborate investigation with
the reasoning of which I will not trouble you.
Suffice it to say that it is found that there
is essentially but one proper mode of
representing it. Namely, in order to assert
of the universe of discourse that if it

9

de inesse asserts is true, and therefore
it is true, no matter how it may be
with A. If however the antecedent, A,
is true, while the consequent, B, is false, then, and
then only is the conditional proposition de
inesse false. This sort of conditional says
nothing at all about any real connection
between antecedent and consequent; but limits
itself to saying “If you should find that A is true,
then you may know that B is true,” never mind
the why or wherefore.

The question of the proper way of expressing a
conditional proposition de inesse in a
system of existential graphs has formed the
subject of an elaborate investigation with
the reasoning of which I will not trouble you.
Suffice it to say that it is found that there
is essentially but one proper mode of
representing it. Namely, in order to assert
of the universe of discourse that if it