Euler's visual logic
History and Philosophy of Logic 19 (1):1-29 (1998)
| 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesLeonhard Euler (1833/1975). Letters of Euler on Different Subjects in Natural Philosophy. Arno Press.
Mario Savio (1998). AE (Aristotle-Euler) Diagrams: An Alternative Complete Method for the Categorical Syllogism. Notre Dame Journal of Formal Logic 39 (4):581-599.
Jan Krajíček (2004). Approximate Euler Characteristic, Dimension, and Weak Pigeonhole Principles. Journal of Symbolic Logic 69 (1):201 - 214.
Sun-Joo Shin (1994). Peirce and the Logical Status of Diagrams. History and Philosophy of Logic 15 (1):45-68.
Jan Krajíček & Thomas Scanlon (2000). Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings. Bulletin of Symbolic Logic 6 (3):311-330.
Carlos Minguez (1985). Euler Y Kant: EI Espacio Absoluto (1). Theoria 1 (2):411-438.
Euler (2009). Leonhard Euler: Letters to a German Princess (1760-1762). In Eric Watkins (ed.), Kant's Critique of Pure Reason: Background Source Materials. Cambridge University Press.
W. Bednarowski (1955). Hamilton's Quantification of the Predicate. Proceedings of the Aristotelian Society 56:217 - 240.
Koji Mineshima, Mitsuhiro Okada & Ryo Takemura (2012). A Diagrammatic Inference System with Euler Circles. Journal of Logic, Language and Information 21 (3):365-391.
Analytics
Monthly downloads |
Added to index2010-08-10Total downloads15 ( #78,732 of 549,198 )Recent downloads (6 months)1 ( #63,397 of 549,198 )How can I increase my downloads? |
My notes
Discussion
