Toward a visual proof system: Lewis Carroll's method of trees

Document Type

Article

Publication Date

10-1-2012

Abstract

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.

Publication Title

Logica Universalis

First Page Number

521

Last Page Number

534

DOI

10.1007/s11787-012-0049-6

This document is currently not available here.

Share

COinS