The first group consists of those whose aim is to study 'the language of science', and whose chosen philosophical method is the construction of artificial model languages; that is to say, the construction of what they believe to be models of 'the language of science'.