History and Philosophy of Logic 19 (1):1-29 (1998)
Authors |
|
Abstract |
The evolution of Euler diagrams is examined from Euler's original system through the modifications made by Venn and Peirce. It is shown that these modifications were motivated by an attempt to increase the expressivity of the diagrams, but that a side effect of these modifications was a loss of the visual clarity of Euler's original system. Euler's original system is reconstructed from a modern, logical point of view. Formal semantics and rules of inference are provided for this reconstruction of Euler's system, and basic logical properties are proved
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
ISBN(s) | |
DOI | 10.1080/01445349808837293 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
View all 10 references / Add more references
Citations of this work BETA
Semantics of Pictorial Space.Gabriel Greenberg - 2021 - Review of Philosophy and Psychology 1 (4):847-887.
Introduction: Varieties of Iconicity.Valeria Giardino & Gabriel Greenberg - 2015 - Review of Philosophy and Psychology 6 (1):1-25.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
How Diagrams Can Support Syllogistic Reasoning: An Experimental Study.Yuri Sato & Koji Mineshima - 2015 - Journal of Logic, Language and Information 24 (4):409-455.
View all 9 citations / Add more citations
Similar books and articles
Leonhard Euler: Letters to a German Princess (1760-1762). Euler - 2009 - In Eric Watkins (ed.), Kant's Critique of Pure Reason: Background Source Materials. Cambridge University Press.
A Cognitive Theory of Graphical and Linguistic Reasoning: Logic and Implementation. Cognitive Science.Keith Stenning & Jon Oberlander - 1995 - Cognitive Science 19:97-140.
Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings.Jan Krajíček & Thomas Scanlon - 2000 - Bulletin of Symbolic Logic 6 (3):311-330.
Peirce and the Logical Status of Diagrams.Sun-Joo Shin - 1994 - History and Philosophy of Logic 15 (1):45-68.
AE (Aristotle-Euler) Diagrams: An Alternative Complete Method for the Categorical Syllogism.Mario Savio - 1998 - Notre Dame Journal of Formal Logic 39 (4):581-599.
A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
Analytics
Added to PP index
2010-08-10
Total views
73 ( #157,905 of 2,506,844 )
Recent downloads (6 months)
2 ( #277,244 of 2,506,844 )
2010-08-10
Total views
73 ( #157,905 of 2,506,844 )
Recent downloads (6 months)
2 ( #277,244 of 2,506,844 )
How can I increase my downloads?
Downloads