- The Euclidean Diagram.Kenneth Manders - 2008 - In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oxford, England: Oxford University Press. pp. 80--133.details
|
|
Philosophy of mathematics and deductive structure in Euclid's Elements.Ian Mueller - 1981 - Mineola, N.Y.: Dover Publications.details
|
|
Logical reasoning with diagrams.Gerard Allwein & Jon Barwise (eds.) - 1996 - New York: Oxford University Press.details
|
|
Proofs and pictures.James Robert Brown - 1997 - British Journal for the Philosophy of Science 48 (2):161-180.details
|
|
(2 other versions)New essays concerning human understanding.Gottfried Wilhelm Leibniz - 2007 - In Elizabeth Schmidt Radcliffe, Richard McCarty, Fritz Allhoff & Anand Vaidya (eds.), Late modern philosophy: essential readings with commentary. Oxford: Wiley-Blackwell. pp. 293-297.details
|
|
The Shaping of Deduction in Greek Mathematics: A Study in Coginitive History. [REVIEW]Jenz Høyrup - 2005 - Studia Logica 80 (1):143-147.details
|
|
Philosophy of Mathematics and Deductive Structure of Euclid 's "Elements".Ian Mueller - 1983 - British Journal for the Philosophy of Science 34 (1):57-70.details
|
|
A formal system for euclid’s elements.Jeremy Avigad, Edward Dean & John Mumma - 2009 - Review of Symbolic Logic 2 (4):700--768.details
|
|
Nathaniel Miller. Euclid and his twentieth century rivals: Diagrams in the logic of euclidean geometry. Csli studies in the theory and applications of diagrams.John Mumma - 2008 - Philosophia Mathematica 16 (2):256-264.details
|
|
The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History.Reviel Netz - 1999 - Cambridge and New York: Cambridge University Press.details
|
|
The derivation-indicator view of mathematical practice.Jody Azzouni - 2004 - Philosophia Mathematica 12 (2):81-106.details
|
|
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry.Nathaniel Miller - 2007 - Center for the Study of Language and Inf.details
|
|
Proclus: A Commentary on the First Book of Euclid's Elements.Glenn R. Morrow (ed.) - 1970 - Princeton University Press.details
|
|
The Shaping of Deduction in Greek Mathematics a Study in Cognitive History.Jenz Høyrup - 1999details
|
|
Operational constraints in diagrammatic reasoning.Atsushi Shimojima - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical reasoning with diagrams. New York: Oxford University Press.details
|
|
A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices.Yehuda Rav - 2007 - Philosophia Mathematica 15 (3):291-320.details
|
|
Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.details
|
|
Visualization in Logic and Mathematics.Paolo Mancosu - 2005 - In Paolo Mancosu, Klaus Frovin Jørgensen & S. A. Pedersen (eds.), Visualization, Explanation and Reasoning Styles in Mathematics. Springer. pp. 13-26.details
|
|
David Hilbert's lectures on the foundations of geometry 1891–1902. edited by Michael Hallett and Ulrich Majer, David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891–1933, vol. 1. Springer, Berlin, Heidelberg and New York, 2004, xviii + 661 pp.Jan von Plato - 2006 - Bulletin of Symbolic Logic 12 (3):492-494.details
|
|
Review of Sun-Joo Shin: The Logical Status of Diagrams. [REVIEW]Sun-joo Shin - 1997 - British Journal for the Philosophy of Science 48 (2):290-291.details
|
|
Diagrams and the concept of logical system.Jon Barwise & Eric Hammer - 1996 - In Gerard Allwein & Jon Barwise (eds.), Logical reasoning with diagrams. New York: Oxford University Press.details
|
|
Philosophy of Mathematics and Deductive Structure of Euclid 's "Elements".Michael Boylan - 1983 - Philosophy of Science 50 (4):665-668.details
|
|
Can Pictures Prove?Ian Dove - 2002 - Logique Et Analyse 45.details
|
|