Lewis Carroll's Formal Logic
History and Philosophy of Logic 26 (1):33-46 (2005)
| Abstract | Charles L. Dodgson's reputation as a significant figure in nineteenth-century logic was firmly established when the philosopher and historian of philosophy William Warren Bartley, III published Dodgson's ?lost? book of logic, Part II of Symbolic Logic, in 1977. Bartley's commentary and annotations confirm that Dodgson was a superb technical innovator. In this paper, I closely examine Dodgson's methods and their evolution in the two parts of Symbolic Logic to clarify and justify Bartley's claims. Then, using more recent publications and unpublished letters, I argue that Dodgson approached the elimination problem in class logic differently than his contemporaries, and in doing so, anticipated several important concepts and techniques in automated deductive reasoning. These materials also provide additional insight into his reasons for writing this book | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesPeter Smith (2003). An Introduction to Formal Logic. Cambridge University Press.
Merrie Bergmann (2003). The Logic Book. Mcgraw-Hill.
Irving H. Anellis (2011). The Logic Pamphlets of Charles Lutwidge Dodgson and Related Pieces (Review). Journal of the History of Philosophy 49 (4):506-507.
Uwe Schöning (1989). Logic for Computer Scientists. Birkhäuser.
Francine Abeles (2007). Lewis Carroll's Visual Logic. History and Philosophy of Logic 28 (1):1-17.
P. T. Geach (1978). Symbolic Logic By Lewis Carroll. Edited by W. W. Bartley III. New York: Clarkson N. Potter, Inc, 1977. Pp. Xxv, 496. $14.95. [REVIEW] Philosophy 53 (203):123-.
Charles Lutwidge Dodgson (2010). The Logic Pamphlets of Charles Lutwidge Dodgson and Related Pieces. University Press of Virginia.
Analytics
Monthly downloads |
Added to index2010-08-10Total downloads17 ( #71,024 of 549,014 )Recent downloads (6 months)1 ( #63,261 of 549,014 )How can I increase my downloads? |
My notes
Discussion
