Metoda Rezolucji i Tablice Analityczne w Symbolic Logic Lewisa Carrolla
PDF

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

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
https://doi.org/10.14746/il.2008.16.16
PDF

Bibliografia

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.