Toward A Visual Proof System: Lewis Carroll's Method of Trees

Logica Universalis 6 (3-4):521-534 (2012)
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
Keywords Tree proofs  Dodgson
Categories (categorize this paper)
DOI 10.1007/s11787-012-0049-6
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,865
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Principles of Mathematics.Bertrand Russell - 1903 - Cambridge University Press.
Symbolic Logic.John Venn - 1881 - New York: B. Franklin.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles


Added to PP index

Total downloads
25 ( #253,707 of 2,293,801 )

Recent downloads (6 months)
1 ( #410,358 of 2,293,801 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature