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||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Leonhard 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.
Keith Stenning & Jon Oberlander (1997). A Cognitive Theory of Graphical and Linguistic Reasoning: Logic and Implementation. Cognitive Science. .
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.
Added to index2010-08-10
Total downloads17 ( #77,993 of 722,708 )
Recent downloads (6 months)1 ( #60,247 of 722,708 )
How can I increase my downloads?