History and Philosophy of Logic 26 (1):33-46 (2005)
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||categorize this paper)|
References found in this work BETA
Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 2007 - Cambridge University Press.
Citations of this work BETA
Guest Editor's Introduction: JvH100. [REVIEW]Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):249-267.
Similar books and articles
The Logic Pamphlets of Charles Lutwidge Dodgson and Related Pieces (Review).Irving H. Anellis - 2011 - Journal of the History of Philosophy 49 (4):506-507.
Logic with Trees: An Introduction to Symbolic Logic.Colin Howson - 1997 - Routledge.
The Logic of Lewis Carroll: A Study of Lewis Carroll's Contribution to Logic: His Logical Discoveries and His Endeavours to Teach the Subject to Children.Edward Wakeling - 1978 - [The Author].
Symbolic Logic By Lewis Carroll. Edited by W. W. Bartley III. New York: Clarkson N. Potter, Inc, 1977. Pp. Xxv, 496. $14.95. [REVIEW]P. T. Geach - 1978 - Philosophy 53 (203):123-.
The Logic Pamphlets of Charles Lutwidge Dodgson and Related Pieces.Charles Lutwidge Dodgson - 2010 - University Press of Virginia.
Added to index2010-08-10
Total downloads26 ( #194,828 of 2,163,687 )
Recent downloads (6 months)2 ( #188,898 of 2,163,687 )
How can I increase my downloads?