В ГЛАВ E XXI я рассмотрел то, что может быть названо пародией на эмпиризм, и выступил против нее. Я не имел намерения выступать против всех возможных форм эмпиризма, а только хотел выявить определенные следствия того, что обычно признается в качестве научного знания, следствия, которые, как мне кажется, недостаточно осознаются большинством современных эмпиристов. Мои рассуждения способствуют приданию точности тому, что я утверждаю, сравнивая это с мнениями, почти совпадающими с моими. С этой целью я намерен в настоящей главе исследовать в подробностях некоторые части работы Карнапа «Проверяемость и значение»1. Данная работа представляет важный и тщательный анализ, в частности, различия между «редукцией» и «определением», что проливает свет на теорию научного метода. Если у меня и имеются разногласия с Карнапом, они почти целиком возникают из убеждения, что он несколько запаздывает со своим разбором проблем и что некоторые более ранние проблемы, которым главным образом и посвящена настоящая работа, являются куда более важными, чем Карнап склонен считать. К защите этого мнения в полемической форме я сейчас и перехожу.
Карнап начинает с обсуждения отношения между тремя понятиями: «значение», «истина» и «верифицируемость». (То, что он называет «значением», является тем, что я называю «значимостью» т. е. это свойство предложений.) Он говорит:
1 Carnap R. Testability end Meaning //Philosophy of Science, w. Ill, IV, 1936 и 1937.