The task of making more exact a vague or not quite exact concept used in everyday life or in an earlier stage of scientific or logical development, o… - Rudolf Carnap

If we compare. e.g. the systems of classical mathematics and of intuitionistic mathematics, we find that the first is much simpler and technically more efficient, while the second is more safe from surprising occurences, e.g. contradictions. At the present time, any estimation of the degree of safety of the system of classical mathematics, in other words, the degree of plausibility of its principles, is rather subjective. The majority of mathematicians seem to regard this degree as sufficiently high for all practical purposes and therefore prefer the application of classical mathematics to that of intuitionistic mathematics. The latter has not, so far as I know, been seriously applied in physics by anybody.

For those who want to develop or use semantical methods, the decisive question is not the alleged ontological question of the existence of abstract entities but rather the question whether the rise of abstract linguistic forms or, in technical terms, the use of variables beyond those for things (or phenomenal data), is expedient and fruitful for the purposes for which semantical analyses are made, viz. the analysis, interpretation, clarification, or construction of languages of communication, especially languages of science.

After the new forms are introduced into the language, it is possible to formulate with their help internal questions and possible answers to them. A question of this kind may be either empirical or logical; accordingly a true answer is either factually true or analytic.