First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

The task of axiomatizing physical theories has attracted, in recent years, some interest among both empirical scientists and logicians. However, the axiomatizations produced by either one of these two groups seldom appear satisfactory to the members of the other. It is the purpose of this paper to develop an approach that will satisfy the criteria of both, hence permit us to construct axiomatizations that will meet simultaneously the standards and needs of logicians and of empirical scientists.