Rudolf Carnap, a German-born philosopher and naturalized U.S. citizen, was a leading exponent of logical positivism and was one of the major philosophers of the twentieth century. He made significant contributions to philosophy of science, philosophy of language, the theory of probability, inductive logic and modal logic. He rejected metaphysics as meaningless because metaphysical statements cannot be proved or disproved by experience. He asserted that many philosophical problems are indeed pseudo-problems, the outcome of a misuse of language.
For a book of mathematical logic, the book is written in easy to be read manner even when speaking about the most abstract topics such as the difference between formal logic and other philosophy concerning the syntaxical composition of sentences.