Metoda Rezolucji i Tablice Analityczne w Symbolic Logic Lewisa Carrolla

Main Article Content

Jerzy Pogonowski


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.1


Download data is not yet available.

Article Details

Jak cytować
Pogonowski, J. (2008). Metoda Rezolucji i Tablice Analityczne w Symbolic Logic Lewisa Carrolla. Investigationes Linguisticae, 16, 195-218.


  1. Abeles, F. 1990. Lewis Carroll’s Method of Trees: Its Origin in „Studies in Logic”. Modern Logic 1, 25-35.
  2. Abeles, F. 2005. Lewis Carroll’s Formal Logic. History and Philosophy of Logic 26, 33-46.
  3. Bartley, W.W., III. 1977. Lewis Carroll’s Symbolic Logic. Clarkson N. Potter, New York.
  4. Carroll, L. 1896. Symbolic Logic. Macmillan, London.
  5. Carroll, L. 1994. El juego de la lógica y otros escritos. El Libro de Bolsillo, Madrid.
  6. Coquand, Th. 2000. Lewis Carroll, Gentzen and EntailmentRelations.
  7. Crisler, V. 1999. Logical Algebra: Part 2. The Sorites.
  8. 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.
  9. Jussien, N. Programmation Logique — TP notó. Les sorites de Lewis Carroll.ą/tp-sorites-prolog.pdf
  10. Peckhaus, V. 1999. 19th Century Logic Between Philosophy and Mathematics. Bulletin of Symbolic Logic 5, 433-450.
  11. Simons, P. 1989. Tree Proofs for Syllogistic. Studia Logica 48, 539-554.