Abstract
The developments of recent years have made it more and more clear that one of the most fruitful approaches to the science of science, i.e. to a logical, epistemological and methodological analysis of science, consists in the analysis of the language of science. This analysis is meant not only as an analysis of the general structure of the scientific language, but also as an analysis of the expressions of that language as they are used in science, e.g. of the words used, of the sentences of different forms asserted by scientists, of the theories consisting of such sentences, of proofs and derivations for such sentences, etc