ABSTRACT
Why to axiomatize? When we think about the logical foundations of science, the use of the axiomatic method arises as a rather natural idea. The axiomatic method is unique in allowing us to organize a field of knowledge and put it in a logically coherent structure; it clarifies and provides a sharp understanding of how distinct parts of the body of knowledge, when axiomatized, connect themselves, giving us the edifice of the whole discipline. Besides, the possibility of metatheoretical studies is another great advantage of rigorous formulation delivered by the axiomatic method, an advantage that must be explored for foundational studies. So, in the face of it, we take it that the axiomatic method is the preferred tool for the kind of study we wish to approach here. As we discussed rather briefly in the previous chapter, the main differences between approaches to theories may also be expressed as differences in styles of axiomatization. So a first look at the general features of the method is not only convenient, but also required.
