Skip to main content
SpringerLink
Log in

Constructive geometrical reasoning and diagrams

  • Published:
Synthese Aims and scope Submit manuscript

Abstract

Modern formal accounts of the constructive nature of elementary geometry do not aim to capture the intuitive or concrete character of geometrical construction. In line with the general abstract approach of modern axiomatics, nothing is presumed of the objects that a geometric construction produces. This study explores the possibility of a formal account of geometric construction where the basic geometric objects are understood from the outset to possess certain spatial properties. The discussion is centered around Eu, a recently developed formal system of proof (presented in Mumma (Synthese 175:255–287, 2010)) within which Euclid’s diagrammatic proofs can be represented.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • Avigad J., Dean E., Mumma J. (2009) A formal system for euclid’s elements. Review of Symbolic Logic 2: 700–768

    Article  Google Scholar 

  • Beeson, M. (2010). Constructive geometry. In Proceedings of the Tenth Asian Logic Colloquium, Kobe, Japan, 2008 (Arai, T., Ed.), pp. 19–84. World Scientific, Singapore.

  • Bernays, P. (1976). Die Philosophie der Mathematik und die Hilbertsche Beweistheorie. In Abhandlugen zur philosophie der mathematik, pp. 17–61. Darmstadt: Wissenschaftliche Buchgesellschaft.

  • Chihara C. (2007) A structuralist account of mathematics. Clarendon Press, Oxford

    Google Scholar 

  • Hilbert D. (1971) Foundations of geometry. Open Court Publishing Company, La Salle, Illinois

    Google Scholar 

  • Kijne D. (1956) Plane construction field theory. Van Gorcum, Assen

    Google Scholar 

  • Lombard M., Vesley R. (1998) A common axiom set for classical and intuitionistic plane geometry. Annals of Pure and Applied Logic 95: 229–255

    Article  Google Scholar 

  • Manders K. (2008) The Euclidean diagram. In: Mancosu (ed.) Philosophy of Mathematical Practice. Clarendon Press, Oxford, pp 112–183

    Google Scholar 

  • Moler N., Suppes P. (1968) Quantifier free axioms for constructive plane geometry. Compositio Mathematica 20: 143–152

    Google Scholar 

  • Mueller, I. (1981). Philosophy of mathematics and deductive structure in Euclid’s elements. New york: Dover.

  • Mumma, J. (2006). Intuition formalized: Ancient and modern methods of proof in elementary Euclidean geometry. PhD dissertation. Pittsburgh, PA: Carnegie Mellon University.

  • Mumma J. (2010) Proofs, pictures, and Euclid. Synthese 175: 255–287

    Article  Google Scholar 

  • Pambuccian V. (2008) Axiomatizing geometric constructions. Journal of Applied Logic 6: 24–46

    Article  Google Scholar 

  • Schlimm D. (2010) Pasch’s philosophy of mathematics. Review of Symbolic Logic 3: 93–118

    Article  Google Scholar 

  • Tarski A. (1959) What is elementary geometry?. In: Henkin , Suppes , Tarksi (eds.) The axiomatic method, with special reference to geometry and physics. North Holland Publishing Company, Amsterdam, pp 16–29

    Google Scholar 

  • Vesley R. (2000) Constructivity in geometry. History and Philosophy of Logic 20: 291–294

    Article  Google Scholar 

  • von Plato J. (1995) The axioms of constructive geometry. Annals of Pure and Applied Logic 6: 169–200

    Article  Google Scholar 

  • von Plato J. (1997) Formalization of Hilbert’s geometry of incidence and parallelism. Synthese 110: 127–141

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Division of Logic, Methodology, and Philosophy of Science at the Suppes Center for History and Philosophy of Science, Stanford Universtiy, Stanford, USA

    John Mumma

Authors
  1. John Mumma
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to John Mumma.

Additional information

Research supported in part by a fellowship from the Ideals of Proof project (headed by Michael Detlefsen, ANR Senior Chaire d’excellence).

Rights and permissions

Reprints and permissions

About this article

Cite this article

Mumma, J. Constructive geometrical reasoning and diagrams. Synthese 186, 103–119 (2012). https://doi.org/10.1007/s11229-011-9981-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-011-9981-x

Keywords

Search

Navigation