Ladies and Gentlemen: At the end of the last lecture I gave a rule for positively ascertaining whether or not a graph is alpha-possible. In case it be so, the rule further furnishes a description of the states of the universe to which it's possibility is limited. If I had time to set before you the train of thought which determined the formulation of that rule, it would afford an instructive simple example of methodical reasoning. Unfortunately, there is not time for any such illustration in this course, for less can the scientific methodeutic be touched upon that great third of logic that teaches the principles upon which reasonings are to be arranged into systematic developments
of theory. I will only say that in formulating that rule, I considered that of the six fundamental permissible operations, two are non-reversible, namely erasure and insertion.
Where That is where there can either of these can be performed the reverse operation cannot be performed. I further considered that three of the six fundamental permissible operations complicate the graph, while the other three simplify it. Namely, insertion, iteration, and the placing of marking introduction of a double cut, complicate the graph, while erasure, deiteration, and the removal of a double cut simplify it. It is necessary for the purpose to modify the non-reversible operations so as to render them reversible; and it fortunately happens
that this can be done without erasure, the only one of them that is simplicative, being rendered complicative. In the next place, since the result aimed at must be of extreme simplicity, it is necessary to place restrictions upon the employment of the complicative operations. To this end, each of these was studied and the precise ways in which it could further the general purpose of the rule was ascertained; and thus (??) in place of the complicative operations were substituted a set of operations condusive to the purpose.
The process of the rule is, as I said, probably not the most facile. But since the system of existential graphs is not intended as a calculus