It is perhaps worth while saying that semantics as conceived in this paper (and in former papers of the author) is a sober and modest discipline whic… - Alfred Tarski

If a mathematician wishes to disparage the work of one of his colleagues, say, A, the most effective method he finds for doing this is to ask where the results can be applied. The hard pressed man, with his back against the wall, finally unearths the researches of another mathematician B as the locus of the application of his own results. If next B is plagued with a similar question, he will refer to another mathematician C. After a few steps of this kind we find ourselves referred back to the researches of A, and in this way the chain closes.

For reasons mentioned at the beginning of this section, we cannot offer here a precise structural definition of semantical category and will content ourselves with the following approximate formulation: two expressions belong to the same semantical category if (I) there is a sentential function which contains one of these expressions, and if (2) no sentential function which contains one of these expressions ceases to be a sentential function if this expression is replaced in it by the other. It follows from this that the relation of belonging to the same category is reflective, symmetrical and transitive. By applying the principle of abstraction, all the expressions of the language which are parts of sentential functions can be divided into mutually exclusive classes, for two expressions are put into one and the same class if and only if they belong to the same semantical category, and each of these classes is called a semantical category. Among the simplest examples of semantical categories it suffices to mention the category of the sentential functions, together with the categories which include respectively the names of individuals, of classes of individuals, of two-termed relations between individuals, and so on. Variables (or expressions with variables) which represent names of the given categories likewise belong to the same category.

There can be no doubt that the knowledge of logic is of considerable practical importance for everyone who desires to think and infer correctly.