From Wikipedia, the free encyclopedia

Logical machine, a term used by Allan Marquand (1853-1924) in 1883, perhaps in response to the ideas of Charles Peirce's Logical Machines (The American Journal of Psychology, 1. Nov. 1887, p. 165 - 170).

• Marquand, Allan, 1983 (1883), "A Machine for Producing Syllogistic Variation" in Charles Peirce, ed., Studies in Logic by members of the Johns Hopkins University. John Benjamins.
• ------, 1886, "A New Logical Machine," Proceedings of the American Academy of Arts and Sciences 21: 303-07.
• Charles Peirce, 1993, "Letter to Marquand, 30 Dec. 1886" in Kloesel, C. et al, eds., Writings of C. S. Peirce: A Chronological Edition, Vol. 5. Indiana Univ. Press: 3nn-nn.

[edit] See

• Logics for computability