Logical abacus
A logical abacus is a mechanical digital computer.
Also referred to as a "logical machine", the logical abacus is analogous to the ordinary (mathematical) abacus. It is based on the principle of truth tables.
It is constructed to show all the possible combinations of a set of logical terms with their negatives, and, further, the way in which these combinations are affected by the addition of attributes or other limiting words, i.e., to simplify mechanically the solution of logical problems. These instruments are all more or less elaborate developments of the "logical slate", on which were written in vertical columns all the combinations of symbols or letters that could logically be made out of a definite number of terms. These were compared with any given premises, and incompatible ones crossed off. In the abacus the combinations are inscribed each on a single slip of wood or similar substance, which is moved by a key; incompatible combinations can thus be mechanically removed at will, in accordance with any given series of premises.
The principal examples of such machines are those of William Stanley Jevons (logic piano), John Venn,[1] and Allan Marquand.
References
- John Venn (1894). Symbolic logic (2nd ed.). London: Macmillan. Here: p.135f,
- Chisholm, Hugh, ed. (1911). . Encyclopædia Britannica (11th ed.). Cambridge University Press.
- William Stanley Jevons, Element. Lessons in Logic, c. xxiii.
- Allan Marquand, American Academy of Arts and Sciences, 1885, pp. 303–7.
- Allan Marquand, Johns Hopkins University Studies in Logic, 1883).
- Barrett, Lindsay; Connell, Matthew (2005), "Jevons and the Logic 'Piano'", Rutherford Journal, 1.
- William Stanley Jevons (1869). The substitution of similars, the true principle of reasoning, derived from a modification of Aristotle's dictum. London: MacMillan. — On p.55f, Jevons gives a description of his logical abacus.
This article incorporates text from a publication now in the public domain: Chisholm, Hugh, ed. (1911). "Abacus". Encyclopædia Britannica. 1 (11th ed.). Cambridge University Press. pp. 5–6.