Metoda Rezolucji i Tablice Analityczne w Symbolic Logic Lewisa Carrolla

Main Article Content

Jerzy Pogonowski

Abstrakt

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

Downloads

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. https://doi.org/10.14746/il.2008.16.16
Dział
Artykuły

Bibliografia

  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. http://en.scientiflccommons.org/265225
  7. Crisler, V. 1999. Logical Algebra: Part 2. The Sorites. http://vernerable.tripod.com/logic1.htm
  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. http://www.emn.fr/x-info/jussien/prolog/datą/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.