From the Robin Catalogue:
A. MS., n.p., n.d., pp. 2-29, incomplete.
The fine gradations between subconscious or instinctive mind and conscious, controlled reason. Logical machines are not strictly reasoning machines because they lack the ability of self-criticism and the ability to correct defects which may crop up. Three kinds of reasoning: inductive, deductive, hypothetical. Quasi-inferences.