The Review of Symbolic Logic

Research Article

A FORMAL SYSTEM FOR EUCLID’S ELEMENTS

JEREMY AVIGADa1 c1, EDWARD DEANa2 c2 and JOHN MUMMAa3 c3

a1 Department of Philosophy and Department of Mathematical Sciences, Carnegie Mellon University

a2 Department of Philosophy, Carnegie Mellon University

a3 Division of Logic, Methodology, and Philosophy of Science, Suppes Center for History and Philosophy of Science

Abstract

We present a formal system, E, which provides a faithful model of the proofs in Euclid’s Elements, including the use of diagrammatic reasoning.

(Received May 08 2009)

Correspondence:

c1 JEREMY AVIGAD, DEPARTMENT OF PHILOSOPHY, CARNEGIE MELLON UNIVERSITY, PITTSBURGH, PA 15213 E-mail: avigad@cmu.edu

c2 EDWARD DEAN, DEPARTMENT OF PHILOSOPHY, CARNEGIE MELLON UNIVERSITY, PITTSBURGH, PA 15213 E-mail: edean@andrew.cmu.edu

c3 JOHN MUMMA, DIVISION OF LOGIC METHODOLOGY, AND PHILOSOPHY OF SCIENCE AT THE SUPPES, CENTER FOR HISTORY AND PHILOSOPHY OF SCIENCE, BUILDING 200, STANFORD, CA 94305–2024 E-mail: john.mumma@gmail.com