Lewis Carroll's visual logic

History and Philosophy of Logic 28 (1):1-17 (2007)
  Copy   BIBTEX


John Venn and Charles L. Dodgson (Lewis Carroll) created systems of logic diagrams capable of representing classes (sets) and their relations in the form of propositions. Each is a proof method for syllogisms, and Carroll's is a sound and complete system. For a large number of sets, Carroll diagrams are easier to draw because of their self-similarity and algorithmic construction. This regularity makes it easier to locate and thereby to erase cells corresponding with classes destroyed by the premises of an argument, a particularly difficult task in Venn diagrams for more than four sets. Carroll diagrams can represent existential propositions easily, so they are capable of clearly representing more complex problems than Venn's system can. Finally, both Carroll and Venn diagrams are maximal, in the sense that no additional logic information like inclusive disjunctions is able to be represented by them. Carroll's logic diagrams and logic trees constitute his visual logic system



    Upload a copy of this work     Papers currently archived: 92,347

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

110 (#161,955)

6 months
13 (#201,871)

Historical graph of downloads
How can I increase my downloads?