Abstract
We discuss Lewis Carroll’s invention of the rule of resolution and his prototype of the analytic tableaux method from 1896. A few examples are analyzed and a modest open problem is formulated. We conclude the paper with some metalogical and historical remarks.1References
Abeles, F. 1990. Lewis Carroll’s Method of Trees: Its Origin in „Studies in Logic”. Modern Logic 1, 25-35.
Abeles, F. 2005. Lewis Carroll’s Formal Logic. History and Philosophy of Logic 26, 33-46.
Bartley, W.W., III. 1977. Lewis Carroll’s Symbolic Logic. Clarkson N. Potter, New York.
Carroll, L. 1896. Symbolic Logic. Macmillan, London.
Carroll, L. 1994. El juego de la lógica y otros escritos. El Libro de Bolsillo, Madrid.
Coquand, Th. 2000. Lewis Carroll, Gentzen and EntailmentRelations. http://en.scientiflccommons.org/265225
Crisler, V. 1999. Logical Algebra: Part 2. The Sorites. http://vernerable.tripod.com/logic1.htm
Grattan-Guiness, I. 2000. The Search for Mathematical Roots, 1870-1940. Logics, Set Theories and the Foundation of Mathematics from Cantor through Russell to Godel. Princeton University Press, Princeton/Oxford.
Jussien, N. Programmation Logique — TP notó. Les sorites de Lewis Carroll. http://www.emn.fr/x-info/jussien/prolog/datą/tp-sorites-prolog.pdf
Peckhaus, V. 1999. 19th Century Logic Between Philosophy and Mathematics. Bulletin of Symbolic Logic 5, 433-450.
Simons, P. 1989. Tree Proofs for Syllogistic. Studia Logica 48, 539-554.