Toward a visual proof system: Lewis Carroll's method of trees
Document Type
Article
Publication Date
10-1-2012
Abstract
In the period 1893-1897 Charles Dodgson, writing as Lewis Carroll, published two books and two articles on logic topics. Manuscript material first published in 1977 together with letters and diary entries provide evidence that he was working toward a visual proof system for complex syllogistic propositional logic based on a mechanical tree method that he devised. © 2012 Springer Basel AG.
Publication Title
Logica Universalis
First Page Number
521
Last Page Number
534
DOI
10.1007/s11787-012-0049-6
Recommended Citation
Abeles, Francine F., "Toward a visual proof system: Lewis Carroll's method of trees" (2012). Kean Publications. 2140.
https://digitalcommons.kean.edu/keanpublications/2140