Science is a system of statements based on direct experience, and controlled by experimental verification. Verification in science is not, however, of single statements but of the entire system or a sub-system of such statements.

Logic is the last scientific ingredient of Philosophy; its extraction leaves behind only a confusion of non-scientific, pseudo problems.

In order to determine whether or not one sentence is a consequence of another, no reference need be made to the meaning of the sentences. The mere statement of the truth-values is certainly too little; but the statement of the meaning is, on the other hand, too much. It is sufficient that the syntactical design of the sentences be given.

According to this view, the sentences of metaphysics are pseudo-sentences which on logical analysis are proved to be either empty phrases or phrases which violate the rules of syntax. Of the so-called philosophical problems, the only questions which have any meaning are those of the logic of science. To share this view is to substitute logical syntax for philosophy.

By the logical syntax of a language, we mean the formal theory of the linguistic forms of that language -- the systematic statement of the formal rules which govern it together with the development of the consequences which follow from these rules. A theory, a rule, a definition, or the like is to be called formal when no reference is made in it either to the meaning of the symbols (for examples, the words) or to the sense of the expressions (e.g. the sentences), but simply and solely to the kinds and order of the symbols from which the expressions are constructed.

Philosophy is to be replaced by the logic of science -- that is to say, by the logical analysis of the concepts and sentences of the sciences, for the logic of science is nothing other than the logical syntax of the language of science.

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.

Logic is not concerned with human behavior in the same sense that physiology, psychology, and social sciences are concerned with it. These sciences formulate laws or universal statements which have as their subject matter human activities as processes in time. Logic, on the contrary, is concerned with relations between factual sentences (or thoughts). If logic ever discusses the truth of factual sentences it does so only conditionally, somewhat as follows: if such-and-such a sentence is true, then such-and-such another sentence is true. Logic itself does not decide whether the first sentence is true, but surrenders that question to one or the other of the empirical sciences.

When I met Wittgenstein, I saw that Schlick's warnings were fully justified. But his behavior was not caused by any arrogance. In general, he was of a sympathetic temperament and very kind; but he was hypersensitive and easily irritated. Whatever he said was always interesting and stimulating and the way in which he expressed it was often fascinating. His point of view and his attitude toward people and problems, even theoretical problems, were much more similar to those of a creative artist than to those of a scientist; one might almost say, similar to those of a religious prophet or a seer. When he started to formulate his view on some specific problem, we often felt the internal struggle that occurred in him at that very moment, a struggle by which he tried to penetrate from darkness to light under an intense and painful strain, which was even visible on his most expressive face. When finally, sometimes after a prolonged arduous effort, his answers came forth, his statement stood before us like a newly created piece of art or a divine revelation. Not that he asserted his views dogmatically … But the impression he made on us was as if insight came to him as through divine inspiration, so that we could not help feeling that any sober rational comment of analysis of it would be a profanation.

The function of logical analysis is to analyse all knowledge, all assertions of science and of everyday life, in order to make clear the sense of each such assertion and the connections between them. One of the principal tasks of the logical analysis of a given proposition is to find out the method of verification for that proposition.