| 2317
can anywhere be made or anywhere be destroyed.
This is called the rule of two cuts.
The third second rule is that any graph scribed
on any area can be iterated, that is,
scribed in a new replica, on
the same area or within any additional
cuts; and if a graph is already so
iterated, it can be deiterated by erasing
the inner replica. This is called the rule of iteration
and deiteration.
It follows by means of the principle of contraposition
from the fact that if
we have on the sheet of assertion
It rains
we can write
It rains
It rains.
The ordinary logics give a form of
inference called the modus ponens.
The premisses are: If A is true, B is true
and A is true. The conclusion is
that B is true. Our system analyzes
this into three inferential steps.
| 2317
The second rule is that any graph scribed
on any area can be iterated, that is,
scribed in a new replica, on
the same area or within any additional
cuts; and if a graph is already so
iterated, it can be deiterated by erasing
the inner replica. This is called the rule of iteration
and deiteration. It follows by means of the principle of contraposition
from the fact that if
we have on the sheet of assertion
It rains
we can write
It rains
It rains.
The ordinary logics give a form of
inference called the modus ponens.
The premisses are: If A is true, B is true
and A is true. The conclusion is
that B is true. Our system analyzes
this into three inferential steps.
|