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

Authors
Abstract
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1080/01445340600704481
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,268
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Development of Logic.W. C. Kneale - 1962 - Oxford University Press.
The Development of Logic.William Kneale & Martha Kneale - 1962 - Studia Logica 15:308-310.
Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.
The Development of Logic.A. R. Lacey - 1964 - Journal of Hellenic Studies 84:194-195.
Logical Reasoning with Diagrams.Gerard Allwein & Jon Barwise (eds.) - 1996 - Oxford University Press.

View all 38 references / Add more references

Citations of this work BETA

View all 6 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2010-08-10

Total views
70 ( #130,896 of 2,325,396 )

Recent downloads (6 months)
4 ( #222,908 of 2,325,396 )

How can I increase my downloads?

Downloads

My notes