74

Logic 74

and attempts not all reasoning is computation it is certainly time that numerical computation is reasoning.
But calculating machines are in everday use and Babbage's analytical engine would perform considerable feats in mathematics.
Other logical machines have been constructed.
All those instruments perform inferences and thos inferences are subject to the rules of logic.
If from true premisses they always yield true conclusions what more could be desired?
Yet those machines have no souls that we know of.
They do not appear to think at all in any psychical sense and even if we should discover that they do so it would be a fact altogether without bearing upon the logical correctness of their operations which we should still have to assure ourselves if in the same way we do now.

The idea I am endeavoring to convey is difficult to seize.
It cannot be seized by a reader who instead of