Passage 1
Although the Logical Abacus considerably reduced the labour of using the Indirect Method, it was not free from the possibility of error. I thought moreover that it would afford a conspicuous proof of the generality and power of the method if I could reduce it to a purely mechanical form. … It seemed strange that in the more intricate science of quantity mechanism could be applicable, whereas in the simple science of qualitative reasoning, the syllogism was only by analogy or simile called an Instrument. … [Smee's designs] do not attempt the performance of logical inference.
Tools and agentsCognition, attention, and judgmentreasoning is reckoning · advancesLogic, language, and formal reasoningScientific or empirical evidenceNo judgment offeredIndividualMachine or artificial systemMind and body
Jevons treats formal logical inference as a process whose generality can be demonstrated by mechanical realization, not as evidence that a machine has independent purposes or personhood.
Vol. I, ch. VI, "The Logical Machine," pp. 123–124