Historical Notes on The Axiomatic Method
Overview
 Oriented toward supporting discussion of a broad conception of logical truth.
 Introduction Aristotle Euclid Hilbert
 Leibniz Logicism Set Theory Contructive Foundations
Introduction
 Aristotle The axiomatic method begins of course in ancient Greece, and much of the detail of its early evolution is lost to us. By the time of Aristotle it seems to be well established. I mention three aspects of Aristotle's work. The recognition that deduction must begin from unproven principles, and certain terminology relating to these starting points. The recognition that deduction should proceed according to proper rules, and their formalisation in syllogistic logic. The characterisation of a special kind of proof and truth known as "demonstrative" At this stage, and until quite recently, items 1 and 2 do not fit together. The formal rules of deduction are not adequate or practicable for the kinds of mathematical deduction (notable in geometry) in which the axiomatic method is most successfully applied, and so the axiomatic method is applied only informally, right up to the 20th Century.
 Euclid In Euclidean geometry is found the most systematic and complete application of the axiomatic method until the twentieth century.