Toward a visual proof system: Lewis Carroll's method of trees
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.
First Page Number
Last Page Number
Abeles, Francine F., "Toward a visual proof system: Lewis Carroll's method of trees" (2012). Kean Publications. 2140.