After defining semantical concepts like logical truth and related ones, I proposed to interpret the modalities as those properties of propositions which correspond to certain semantical properties of the sentences expressing the propositions. For example, a proposition is logically necessary if and only if a sentence expressing it is logically true.

For me personally, Wittgenstein was perhaps the philosopher who, besides Russell and Frege, had the greatest influence on my thinking. The most important insight I gained from his work was the conception that the truth of logical statements is based only on their logical structure and on the meaning of the terms. Logical statements are true under all conceivable circumstances; thus their truth is independent of the contingent facts of the world. On the other hand, it follows that these statements do not say anything about the world and thus have no factual content.

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.

To be sure, we have to face at this point an important question; but it is a practical, not a theoretical question; it is the question of whether or not to accept the new linguistic forms. The acceptance cannot be judged as being either true or false because it is not an assertion. It can only be judged as being more or less expedient, fruitful, conducive to the aim for which the language is intended. Judgments of this kind supply the motivation for the decision of accepting or rejecting the kind of entities.

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.

If someone wishes to speak in his language about a new kind of entities, he has to introduce a system of new ways of speaking, subject to new rules; we shall call this procedure the construction of a linguistic framework for the new entities in question.

A decisive difference between our method and Frege's consists in the fact that our concepts, in distinction to Frege's, are independent of the context.

Frege's pair of concepts (nominatum and sense) is compared with our pair (extension and intension). The two pairs coincide in ordinary (extensional) contexts, but not in oblique (nonextensional) contexts.

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, or rather of replacing it by a newly constructed, more exact concept, belongs among the most important tasks of logical analysis and logical construction. We call this the task of explicating, or of giving an explication for the earlier concept; this earlier concept, or sometimes the term used for it, is called the explicandum; and the new concept, or its term, is called an explicatum of the old one.

The main purpose of this book is the development of a new method for the semantical analysis of meaning, that is, a new method for analyzing and describing the meanings of linguistic expressions. This method, called the method of extension and intension, is developed by modifying and extending certain customary concepts, especially those of class and property. The method will be contrasted with various other semantical methods used in traditional philosophy or by contemporary authors.