I have uploaded a new draft:
Axiomatic systemsIt includes the definition and main elements of an axiomatic system, a bit of history, examples of axiomatic systems in physics, and more.
The presentation is made from the point of view of a scientist. That is, I do not present axiomatic systems
per se, but axiomatic systems as an invaluable tool for the scientist.
Physicists have a strong tendency to axiomatize their discipline. However, the lack of axiomatization in chemistry is, in my opinion, one of its weak points. This weakness is not only present at research level, but at educative level.
For instance, textbooks in quantum chemistry (e.g., Levine) present the axioms (postulates) of quantum mechanics; however, textbooks in chemical thermodynamics still present the subject in a 19th-century-style via heat engines, early empirical laws, and all that ancient stuff.
The modern axiomatic formulation of thermodynamics is by far better. I give in this draft advantages of the axiomatic formulations of scientific theories.
An example of the advantage of an axiomatic formulation was shown recently in this forum. Someone asked
why does one have to use external p to calculate work. In my first response to the OP, I stated that I found the use of external pressure disturbing: "For me p would be the pressure of the system".
I did not explain then why I was disturbed. This is because the Tisza & Callen axioms of thermodynamics imply that p has to be the
pressure of the system or otherwise the thermodynamic theory is internally
inconsistent.
In all the chemical thermodynamic and physical chemistry textbooks that I know thermodynamics is presented in a non-axiomatic form. And all those textbooks claim that p in thermodynamic work has to be
external pressure. The contradiction is evident!
In subsequent responses to the OP in
why does one have to use external p to calculate work I posted my finding and study of the Chemical education paper «Thermodynamic Calculation of Work for some irreversible processes», Journal of Chemical Education 2005: 82(6), 874-877 by Gary L. Bertrand.
Where Bertrand presents two recent experiments that disagree with the usual formula
$$W=-\int P_{ext}\mathrm{d}V$$
found in chemical literature, whereas ##W=-\int P_{gas}\mathrm{d}V## gives the correct results in agreement with experiments. He reports that only a textbook in chemical engineering gives the
correct expression for the work ##W=-\int P_{gas}\mathrm{d}V##.
As most of you, I was also said by my teachers of chemical thermodynamic and physical chemistry that p is the external pressure. They were wrong. Now I understand better the Tisza & Callen axiomatic approach to thermodynamics and I am ready to say that this old dispute about what is the correct definition of work, --a fundamental question which has been debated by many people (see the introduction in Bertrand paper and the references cited) during years--, could be solved in five minutes by the axiomatic formulation of thermodynamics described in the celebrated textbook by Callen, without any need to perform expensive experiments as those reported by Bertrand in his recent paper.
I would like to know what other chemists think about axiomatic systems and if you think that the disciplines of chemistry would be axiomatized or not.
As always comments and corrections to the draft are welcomed.