A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is
Nature, Cognition and System II
Philosophical analysis of axiomatic methods goes back at least to Aristotle. In the large literature of many centuries a great variety of issues have been raised by those holding viewpoints that range from that of Proclus to that of Hilbert. Here I try to consider in detail only a highly selected set of ideas, but they are ones I judge important. The first section gives a brief overview of the formalization of theories within frrst-order logic. The second section develops the axiomaticdoi:10.1007/978-94-011-2779-0_12 fatcat:kmufrzjv4nfzvgoyyxppqdhohu