Article ID: CBB001214122

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

unapi

Abeles, Francine F. (Author)


Logica Universalis
Volume: 6
Pages: 521--534


Publication Date: 2012
Edition Details: Part of a special issue, “Perspectives on the History and Philosophy of Modern Logic: Van Heijenoort Centenary”
Language: English

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.

...More
Included in

Article Anellis, Irving (2012) Guest Editor's Introduction: JvH100. Logica Universalis (p. 249). unapi

Citation URI
https://data.isiscb.org/isis/citation/CBB001214122/

Similar Citations

Article Moretti, Alessio; (2014)
Was Lewis Carroll an Amazing Oppositional Geometer? (/isis/citation/CBB001550610/)

Article Centrone, Stefania; (2012)
Strenge Beweise und das Verbot der metábasis eis állo génos (/isis/citation/CBB001210991/)

Article Babbitt, Donald; Goodstein, Judith; (2011)
Federigo Enriques's Quest to Prove the “Completeness Theorem” (/isis/citation/CBB001211747/)

Article Anellis, Irving; (2012)
Jean van Heijenoort's Contributions to Proof Theory and Its History (/isis/citation/CBB001214119/)

Article Dick, Stephanie; (2011)
AfterMath: The Work of Proof in the Age of Human--Machine Collaboration (/isis/citation/CBB001220009/)

Book John P. Burgess; (2015)
Rigor and Structure (/isis/citation/CBB621282384/)

Book Amirouche Moktefi; Francine F. Abeles; (2016)
‘What the Tortoise Said to Achilles’. Lewis Carroll’s Paradox of Inference (/isis/citation/CBB285901732/)

Book Dodgson, Charles Lutwidge; Abeles, Francine F.; (2010)
The Logic Pamphlets of Charles Lutwidge Dodgson and Related Pieces (/isis/citation/CBB001023270/)

Article Centrone, Stefania; (2012)
Das Problem der apagogischen Beweise in Bolzanos Beyträgen und seiner Wissenschaftslehre (/isis/citation/CBB001210996/)

Book Dodgson, Charles Lutwidge (Lewis Carroll); (2001)
The Political Pamphlets and Letters of Charles Lutwidge Dodgson and Related Pieces: A Mathematical Approach (/isis/citation/CBB000101218/)

Article Eder, Günther; (2013)
Remarks on Independence Proofs and Indirect Reference (/isis/citation/CBB001212142/)

Article Weltya, Ivan; (2011)
Frege on Indirect Proof (/isis/citation/CBB001210988/)

Book Wilson, Robin J.; (2008)
Lewis Carroll in Numberland: His Fantastical Mathematical Logical Life (/isis/citation/CBB000953065/)

Book Chemla, Karine; (2012)
The History of Mathematical Proof in Ancient Traditions (/isis/citation/CBB001320137/)

Article Lützen, Jesper; (2009)
Why Was Wantzel Overlooked for a Century? The Changing Importance of an Impossibility Result (/isis/citation/CBB000953071/)

Article Bir, Atilla; Kaçar, Mustafa; (2005)
Salih Zeki's Articles on the Trisection of an Angle (/isis/citation/CBB000931404/)

Article Cox, David A.; (2011)
Why Eisenstein Proved the Eisenstein Criterion and Why Schönemann Discovered It First (/isis/citation/CBB001211029/)

Authors & Contributors
Moktefi, Amirouche
Dodgson, Charles Lutwidge
Centrone, Stefania
Abeles, Francine F.
Derek Ball
Moretti, Alessio
Concepts
Mathematics
Proof
Logic
Philosophy
Science and literature
Geometry
Time Periods
19th century
20th century, early
Medieval
Ancient
20th century, late
20th century
Places
China
Ottoman Empire
Mesopotamia
India
Great Britain
Institutions
Oxford University
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment